Révision 157 CSL17/ph-macros.tex
| ph-macros.tex (revision 157) | ||
|---|---|---|
| 1 |
\newcommand{\nb}[1]{{\color{red} NB: #1}}
|
|
| 1 |
\newcommand{\nb}[1]{{\color{violet} NB: #1}}
|
|
| 2 |
\newcommand{\todo}[1]{{\color{red} TODO: #1}}
|
|
| 2 | 3 |
\newcommand{\anupam}[1]{{\color{orange} Anupam: #1}}
|
| 3 | 4 |
\newcommand{\patrick}[1]{{\color{blue} Patrick: #1}}
|
| 4 | 5 |
|
| ... | ... | |
| 11 | 12 |
%\newtheorem{definition}[theorem]{Definition}
|
| 12 | 13 |
|
| 13 | 14 |
\newcommand{\Word}{\mathbb{W}}
|
| 15 |
\newcommand{\arith}{B}
|
|
| 16 |
\newcommand{\basic}{\mathit{BASIC}}
|
|
| 14 | 17 |
|
| 18 |
\newcommand{\ind}{\mathit{IND}}
|
|
| 19 |
\newcommand{\pind}{\mathit{PIND}}
|
|
| 20 |
\newcommand{\cind}[1]{#1\text{-}\ind}
|
|
| 21 |
\newcommand{\cpind}[1]{#1\text{-}\pind}
|
|
| 15 | 22 |
|
| 23 |
\newcommand{\prefix}{\preccurlyeq}
|
|
| 24 |
|
|
| 16 | 25 |
\newcommand{\wit}[2]{\mathit{wit}^{#1}_{#2}}
|
| 17 | 26 |
\newcommand{\Wit}[2]{\mathit{Wit}^{#1}_{#2}}
|
| 18 | 27 |
\newcommand{\dfn}{:=}
|
| 19 | 28 |
\newcommand{\seqar}{\rightarrow}
|
| 20 | 29 |
\newcommand{\proves}{\vdash}
|
| 21 | 30 |
|
| 31 |
\renewcommand{\epsilon}{\varepsilon}
|
|
| 22 | 32 |
\newcommand{\pred}{p}
|
| 23 | 33 |
\renewcommand{\succ}[1]{s_i}
|
| 34 |
\newcommand{\cond}{C}
|
|
| 35 |
|
|
| 24 | 36 |
\newcommand{\safe}{\sigma}
|
| 25 | 37 |
\newcommand{\normal}{\nu}
|
| 26 | 38 |
|
Formats disponibles : Unified diff