equal
deleted
inserted
replaced
30 \renewcommand{\isasymequiv}{$\dn$} |
30 \renewcommand{\isasymequiv}{$\dn$} |
31 \renewcommand{\isasymemptyset}{$\varnothing$} |
31 \renewcommand{\isasymemptyset}{$\varnothing$} |
32 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
32 \renewcommand{\isacharunderscore}{\mbox{$\_\!\_$}} |
33 \renewcommand{\isasymiota}{\makebox[0mm]{${}^{\prime}$}} |
33 \renewcommand{\isasymiota}{\makebox[0mm]{${}^{\prime}$}} |
34 \renewcommand{\isasymin}{\ensuremath{\,\in\,}} |
34 \renewcommand{\isasymin}{\ensuremath{\,\in\,}} |
|
35 |
|
36 |
|
37 \def\lexer{\mathit{lexer}} |
|
38 \def\mkeps{\mathit{mkeps}} |
|
39 \def\inj{\mathit{inj}} |
|
40 \def\Empty{\mathit{Empty}} |
|
41 \def\Left{\mathit{Left}} |
|
42 \def\Right{\mathit{Right}} |
|
43 \def\Stars{\mathit{Stars}} |
|
44 \def\Char{\mathit{Char}} |
|
45 \def\Seq{\mathit{Seq}} |
|
46 \def\Der{\mathit{Der}} |
|
47 \def\nullable{\mathit{nullable}} |
|
48 \def\Z{\mathit{Z}} |
|
49 \def\S{\mathit{S}} |
|
50 \newcommand{\ZERO}{\mbox{\bf 0}} |
|
51 \newcommand{\ONE}{\mbox{\bf 1}} |
35 |
52 |
36 |
53 |
37 \def\Brz{Brzozowski} |
54 \def\Brz{Brzozowski} |
38 \def\der{\backslash} |
55 \def\der{\backslash} |
39 \newtheorem{falsehood}{Falsehood} |
56 \newtheorem{falsehood}{Falsehood} |