equal
deleted
inserted
replaced
24 |
24 |
25 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
25 \def\dn{\,\stackrel{\mbox{\scriptsize def}}{=}\,} |
26 \renewcommand{\isasymequiv}{$\dn$} |
26 \renewcommand{\isasymequiv}{$\dn$} |
27 \renewcommand{\isasymemptyset}{$\varnothing$} |
27 \renewcommand{\isasymemptyset}{$\varnothing$} |
28 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
28 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
29 \renewcommand{\isacharprime}{\mbox{$\mbox{}\!\!\mbox{$^\prime$}$}} |
29 %%\renewcommand{\isacharprime}{\makebox[0mm]{$\mbox{}\mbox{$\,^\prime$}$}} |
30 |
30 |
31 \definecolor{mygrey}{rgb}{.80,.80,.80} |
31 \definecolor{mygrey}{rgb}{.80,.80,.80} |
32 \def\Brz{Brzozowski} |
32 \def\Brz{Brzozowski} |
33 \def\der{\backslash} |
33 \def\der{\backslash} |
34 \newcommand{\eps}{\varepsilon} |
34 \newcommand{\eps}{\varepsilon} |