28 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
28 \newcommand{\dn}{\stackrel{\mbox{\scriptsize def}}{=}}% |
29 \newcommand{\denote}{\stackrel{\mbox{\scriptsize denote}}{=}}% |
29 \newcommand{\denote}{\stackrel{\mbox{\scriptsize denote}}{=}}% |
30 \newcommand{\ZERO}{\mbox{\bf 0}} |
30 \newcommand{\ZERO}{\mbox{\bf 0}} |
31 \newcommand{\ONE}{\mbox{\bf 1}} |
31 \newcommand{\ONE}{\mbox{\bf 1}} |
32 \newcommand{\AALTS}[2]{\oplus {\scriptstyle #1}\, #2} |
32 \newcommand{\AALTS}[2]{\oplus {\scriptstyle #1}\, #2} |
33 \newcommand{\rdistinct}[2]{\textit{rdistinct} \; \textit{#1} \; #2} |
33 \newcommand{\rdistinct}[2]{\textit{rdistinct} \;\; #1 \;\; #2} |
34 \newcommand\hflat[1]{\llparenthesis #1 \rrparenthesis_*} |
34 \newcommand\hflat[1]{\llparenthesis #1 \rrparenthesis_*} |
35 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
35 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
36 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)} |
36 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)} |
37 |
37 |
38 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}} |
38 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}} |
56 \def\nonnested{\textit{nonnested}} |
56 \def\nonnested{\textit{nonnested}} |
57 \def\AZERO{\textit{AZERO}} |
57 \def\AZERO{\textit{AZERO}} |
58 \def\AONE{\textit{AONE}} |
58 \def\AONE{\textit{AONE}} |
59 \def\ACHAR{\textit{ACHAR}} |
59 \def\ACHAR{\textit{ACHAR}} |
60 |
60 |
61 \def\hrewrite{\stackrel[h]{\rightsquigarrow}} |
61 \def\frewrite{\rightsquigarrow_f} |
62 \def\hrewrites{\stackrel[h]{*}{\rightsquigarrow} } |
62 \def\hrewrite{\rightsquigarrow_h} |
63 \def\grewrite{\stackrel[g]{\rightsquigarrow}} |
63 \def\grewrite{\rightsquigarrow_g} |
64 \def\grewrites{\stackrel[g]{*}{\rightsquigarrow}} |
64 \def\frewrites{\stackrel{*}{\rightsquigarrow_f}} |
|
65 \def\hrewrites{\stackrel{*}{\rightsquigarrow_h}} |
|
66 \def\grewrites{\stackrel{*}{\rightsquigarrow_g}} |
65 \def\fuse{\textit{fuse}} |
67 \def\fuse{\textit{fuse}} |
66 \def\bder{\textit{bder}} |
68 \def\bder{\textit{bder}} |
67 \def\der{\textit{der}} |
69 \def\der{\textit{der}} |
68 \def\POSIX{\textit{POSIX}} |
70 \def\POSIX{\textit{POSIX}} |
69 \def\ALTS{\textit{ALTS}} |
71 \def\ALTS{\textit{ALTS}} |