Révision 172 CSL17/ph-macros.tex
| ph-macros.tex (revision 172) | ||
|---|---|---|
| 25 | 25 |
|
| 26 | 26 |
\newcommand{\prefix}{\preccurlyeq}
|
| 27 | 27 |
|
| 28 |
\newcommand{\charfn}[2]{\chi^{#1}_{#2}}
|
|
| 28 | 29 |
\newcommand{\wit}[2]{\mathit{wit}^{#1}_{#2}}
|
| 29 | 30 |
\newcommand{\Wit}[2]{\mathit{Wit}^{#1}_{#2}}
|
| 30 | 31 |
\newcommand{\dfn}{:=}
|
| ... | ... | |
| 34 | 35 |
\renewcommand{\epsilon}{\varepsilon}
|
| 35 | 36 |
\newcommand{\pred}{p}
|
| 36 | 37 |
\renewcommand{\succ}[1]{s_{#1}}
|
| 38 |
\newcommand{\hlf}[1]{\lfloor \frac{#1}{2}\rfloor}
|
|
| 37 | 39 |
\newcommand{\cond}{C}
|
| 38 | 40 |
\newcommand{\smsh}{\#}
|
| 39 | 41 |
\newcommand{\pair}[3]{\langle ; #1,#2 , #3 \rangle}
|
| 42 |
\newcommand{\eq}{\textsc{eq}}
|
|
| 43 |
\newcommand{\leqfn}{\textsc{leq}}
|
|
| 40 | 44 |
|
| 41 | 45 |
|
| 42 |
\newcommand{\safe}{{S}}
|
|
| 43 |
\newcommand{\normal}{N}
|
|
| 46 |
\newcommand{\safe}{{N_0}}
|
|
| 47 |
\newcommand{\normal}{{N_1}}
|
|
| 44 | 48 |
|
| 45 | 49 |
\newcommand{\pv}{\mathit{PV}}
|
| 46 | 50 |
\newcommand{\pvbci}[1]{\pv^{#1}_{\mathrm{BC}}}
|
Formats disponibles : Unified diff