equal
deleted
inserted
replaced
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} \;\; #1 \;\; #2} |
33 \newcommand{\rdistinct}[2]{\textit{rdistinct} \;\; #1 \;\; #2} |
|
34 \def\rDistinct{\textit{rdistinct}} |
34 \newcommand\hflat[1]{\llparenthesis #1 \rrparenthesis_*} |
35 \newcommand\hflat[1]{\llparenthesis #1 \rrparenthesis_*} |
35 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
36 \newcommand\hflataux[1]{\llparenthesis #1 \rrparenthesis_*'} |
36 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)} |
37 \newcommand\createdByStar[1]{\textit{createdByStar}(#1)} |
37 |
38 |
38 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}} |
39 \newcommand\myequiv{\mathrel{\stackrel{\makebox[0pt]{\mbox{\normalfont\tiny equiv}}}{=}}} |