Révision 219 CSL17/ph-macros.tex
| ph-macros.tex (revision 219) | ||
|---|---|---|
| 11 | 11 |
%\theoremstyle{definition}
|
| 12 | 12 |
%\newtheorem{definition}[theorem]{Definition}
|
| 13 | 13 |
|
| 14 |
\newcommand{\lhs}{\mathit{LHS}}
|
|
| 15 |
\newcommand{\rhs}{\mathit{RHS}}
|
|
| 16 |
|
|
| 14 | 17 |
\newcommand{\Word}{\mathbb{W}}
|
| 15 | 18 |
\newcommand{\Nat}{\mathbb{N}}
|
| 16 |
\newcommand{\arith}{B}
|
|
| 19 |
\newcommand{\arith}{B_2}
|
|
| 17 | 20 |
\newcommand{\basic}{\mathit{BASIC}}
|
| 18 | 21 |
|
| 19 | 22 |
\newcommand{\ind}{\mathit{IND}}
|
| ... | ... | |
| 28 | 31 |
\newcommand{\prefix}{\preccurlyeq}
|
| 29 | 32 |
|
| 30 | 33 |
\newcommand{\charfn}[2]{\chi^{#1}_{#2}}
|
| 31 |
\newcommand{\wit}[2]{\mathit{wit}^{#1}_{#2}}
|
|
| 34 |
\newcommand{\wit}[2]{\textsc{wit}^{#1}_{#2}}
|
|
| 32 | 35 |
\newcommand{\Wit}[2]{\mathit{Wit}^{#1}_{#2}}
|
| 33 | 36 |
\newcommand{\dfn}{:=}
|
| 34 | 37 |
\newcommand{\seqar}{\rightarrow}
|
| ... | ... | |
| 40 | 43 |
\newcommand{\hlf}[1]{\lfloor \frac{#1}{2}\rfloor}
|
| 41 | 44 |
\newcommand{\cond}{C}
|
| 42 | 45 |
\newcommand{\smsh}{\#}
|
| 43 |
\newcommand{\pair}[3]{\langle ; #1,#2 , #3 \rangle}
|
|
| 46 |
\newcommand{\pair}[3]{\langle #1;#2 , #3 \rangle}
|
|
| 44 | 47 |
\newcommand{\eq}{\textsc{eq}}
|
| 45 | 48 |
\newcommand{\leqfn}{\textsc{leq}}
|
| 46 | 49 |
\newcommand{\bit}{\textsc{bit}}
|
| ... | ... | |
| 91 | 94 |
\newcommand{\ciff}{\equiv}
|
| 92 | 95 |
|
| 93 | 96 |
\newcommand{\size}[1]{|#1|} %% length of a word
|
| 94 |
\newcommand{\mode}{\; \underline{\mbox{mod}}\;} %% mod 2^{|x|}
|
|
| 97 |
%\newcommand{\mode}{\; \underline{\mbox{mod}}\;} %% mod 2^{|x|}
|
|
| 98 |
\newcommand{\mode}{\ \underline{\mathrm{mod}}\ } %% mod 2^{|x|}
|
|
| 95 | 99 |
|
| 96 | 100 |
%%%%% RULES %%%%%% |
| 97 | 101 |
\newcommand{\lefrul}[1]{#1\text{-}\mathit{l}}
|
Formats disponibles : Unified diff