equal
deleted
inserted
replaced
16 |
16 |
17 \newcommand{\tttext}[1]{{\consolas{#1}}} |
17 \newcommand{\tttext}[1]{{\consolas{#1}}} |
18 |
18 |
19 \newcommand{\ZERO}{\mbox{\bf 0}} |
19 \newcommand{\ZERO}{\mbox{\bf 0}} |
20 \newcommand{\ONE}{\mbox{\bf 1}} |
20 \newcommand{\ONE}{\mbox{\bf 1}} |
|
21 \newcommand{\Der}{\textit{Der}} |
|
22 \newcommand{\der}{\textit{der}} |
|
23 \newcommand{\Ders}{\textit{Ders}} |
|
24 \newcommand{\ders}{\textit{ders}} |
21 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
25 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
22 \newcommand{\slidecaption}{} |
26 \newcommand{\slidecaption}{} |
23 |
27 |
24 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
28 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%% |
25 % Frametitles |
29 % Frametitles |