Révision 174 CSL17/ph-macros.tex
| ph-macros.tex (revision 174) | ||
|---|---|---|
| 78 | 78 |
\newcommand{\ciff}{\equiv}
|
| 79 | 79 |
|
| 80 | 80 |
\newcommand{\size}[1]{|#1|} %% length of a word
|
| 81 |
\newcommand{\mode}{\; \underline{\mbox{mod}}\;} %% mod 2^{|x|}
|
|
| 81 |
\newcommand{\mode}{\; \underline{\mbox{mod}}\;} %% mod 2^{|x|}
|
|
| 82 |
|
|
| 83 |
%%%%% RULES %%%%%% |
|
| 84 |
\newcommand{\lefrul}[1]{#1\text{-}\mathit{l}}
|
|
| 85 |
\newcommand{\rigrul}[1]{#1\text{-}\mathit{r}}
|
|
| 86 |
\newcommand{\id}{\it{id}}
|
|
| 87 |
\newcommand{\cut}{\it{cut}}
|
|
| 88 |
\newcommand{\wk}{\mathit{wk}}
|
|
| 89 |
\newcommand{\cntr}{\mathit{cntr}}
|
|
| 90 |
|
|
| 91 |
% theories |
|
| 92 |
\newcommand{\theory}{\mathcal T}
|
|
| 93 |
\newcommand{\system}{\mathcal S}
|
|
| 94 |
|
|
Formats disponibles : Unified diff