Révision 227 CSL17/ph-macros.tex
| ph-macros.tex (revision 227) | ||
|---|---|---|
| 38 | 38 |
\newcommand{\proves}{\vdash}
|
| 39 | 39 |
|
| 40 | 40 |
\renewcommand{\epsilon}{\varepsilon}
|
| 41 |
\newcommand{\pred}{p}
|
|
| 42 |
\renewcommand{\succ}[1]{s_{#1}}
|
|
| 41 |
\newcommand{\pred}{\mathsf{p}}
|
|
| 42 |
\renewcommand{\succ}[1]{\mathsf{s}_{#1}}
|
|
| 43 | 43 |
\newcommand{\hlf}[1]{\lfloor \frac{#1}{2}\rfloor}
|
| 44 | 44 |
\newcommand{\cond}{C}
|
| 45 | 45 |
\newcommand{\smsh}{\#}
|
| ... | ... | |
| 106 | 106 |
\newcommand{\cntr}{\mathit{cntr}}
|
| 107 | 107 |
\newcommand{\rais}{\mathit{raise}}
|
| 108 | 108 |
|
| 109 |
|
|
| 109 |
\newcommand{\LK}{\mathit{LK}}
|
|
| 110 | 110 |
% theories |
| 111 | 111 |
\newcommand{\theory}{\mathcal T}
|
| 112 | 112 |
\newcommand{\system}{\mathcal S}
|
Formats disponibles : Unified diff