Révision 168 CSL17/ph-macros.tex
| ph-macros.tex (revision 168) | ||
|---|---|---|
| 20 | 20 |
\newcommand{\pind}{\mathit{PIND}}
|
| 21 | 21 |
\newcommand{\cind}[1]{#1\text{-}\ind}
|
| 22 | 22 |
\newcommand{\cpind}[1]{#1\text{-}\pind}
|
| 23 |
\renewcommand{\min}{\mathit{MIN}}
|
|
| 24 |
\newcommand{\cmin}[1]{#1\text{-}\min}
|
|
| 23 | 25 |
|
| 24 | 26 |
\newcommand{\prefix}{\preccurlyeq}
|
| 25 | 27 |
|
| ... | ... | |
| 31 | 33 |
|
| 32 | 34 |
\renewcommand{\epsilon}{\varepsilon}
|
| 33 | 35 |
\newcommand{\pred}{p}
|
| 34 |
\renewcommand{\succ}[1]{s_i}
|
|
| 36 |
\renewcommand{\succ}[1]{s_{#1}}
|
|
| 35 | 37 |
\newcommand{\cond}{C}
|
| 38 |
\newcommand{\smsh}{\#}
|
|
| 36 | 39 |
|
| 37 | 40 |
\newcommand{\safe}{{S}}
|
| 38 | 41 |
\newcommand{\normal}{N}
|
Formats disponibles : Unified diff