equal
deleted
inserted
replaced
32 \newcommand{\denote}{\stackrel{\mbox{\scriptsize denote}}{=}}% |
32 \newcommand{\denote}{\stackrel{\mbox{\scriptsize denote}}{=}}% |
33 \newcommand{\ZERO}{\mbox{\bf 0}} |
33 \newcommand{\ZERO}{\mbox{\bf 0}} |
34 \newcommand{\ONE}{\mbox{\bf 1}} |
34 \newcommand{\ONE}{\mbox{\bf 1}} |
35 \newcommand{\AALTS}[2]{\oplus {\scriptstyle #1}\, #2} |
35 \newcommand{\AALTS}[2]{\oplus {\scriptstyle #1}\, #2} |
36 \newcommand{\rdistinct}[2]{\textit{rdistinct} \;\; #1 \;\; #2} |
36 \newcommand{\rdistinct}[2]{\textit{rdistinct} \;\; #1 \;\; #2} |
|
37 \def\rdistincts{\textit{rdistinct}} |
37 \def\rDistinct{\textit{rdistinct}} |
38 \def\rDistinct{\textit{rdistinct}} |
38 \newcommand\hflat[1]{\llparenthesis #1 \rrparenthesis_*} |
39 \newcommand\hflat[1]{\llparenthesis #1 \rrparenthesis_*} |
39 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
40 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
40 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)} |
41 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)} |
41 |
42 |