equal
deleted
inserted
replaced
21 \newcommand{\bders}[2]{#1 \backslash #2} |
21 \newcommand{\bders}[2]{#1 \backslash #2} |
22 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
22 \newcommand{\bsimp}[1]{\textit{bsimp}(#1)} |
23 \newcommand{\rsimp}[1]{\textit{rsimp}(#1)} |
23 \newcommand{\rsimp}[1]{\textit{rsimp}(#1)} |
24 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'} |
24 \newcommand{\sflataux}[1]{\llparenthesis #1 \rrparenthesis'} |
25 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
25 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
|
26 \newcommand{\denote}{\stackrel{\mbox{\scriptsize denote}}{=}}% |
26 \newcommand{\ZERO}{\mbox{\bf 0}} |
27 \newcommand{\ZERO}{\mbox{\bf 0}} |
27 \newcommand{\ONE}{\mbox{\bf 1}} |
28 \newcommand{\ONE}{\mbox{\bf 1}} |
28 \newcommand{\AALTS}[2]{\oplus {\scriptstyle #1}\, #2} |
29 \newcommand{\AALTS}[2]{\oplus {\scriptstyle #1}\, #2} |
29 \newcommand{\rdistinct}[2]{\textit{distinct} \; \textit{#1} \; #2} |
30 \newcommand{\rdistinct}[2]{\textit{distinct} \; \textit{#1} \; #2} |
30 \newcommand\hflat[1]{\llparenthesis #1 \rrparenthesis_*} |
31 \newcommand\hflat[1]{\llparenthesis #1 \rrparenthesis_*} |
56 \def\Left{\mathit{Left}} |
57 \def\Left{\mathit{Left}} |
57 \def\Right{\mathit{Right}} |
58 \def\Right{\mathit{Right}} |
58 \def\Stars{\mathit{Stars}} |
59 \def\Stars{\mathit{Stars}} |
59 \def\Char{\mathit{Char}} |
60 \def\Char{\mathit{Char}} |
60 \def\Seq{\mathit{Seq}} |
61 \def\Seq{\mathit{Seq}} |
61 \def\Der{\mathit{Der}} |
62 \def\Der{\textit{Der}} |
|
63 \def\Ders{\textit{Ders}} |
62 \def\nullable{\mathit{nullable}} |
64 \def\nullable{\mathit{nullable}} |
63 \def\Z{\mathit{Z}} |
65 \def\Z{\mathit{Z}} |
64 \def\S{\mathit{S}} |
66 \def\S{\mathit{S}} |
65 \def\rup{r^\uparrow} |
67 \def\rup{r^\uparrow} |
66 %\def\bderssimp{\mathit{bders}\_\mathit{simp}} |
68 %\def\bderssimp{\mathit{bders}\_\mathit{simp}} |