Révision 150 CharacterizingPH/macros.tex
| macros.tex (revision 150) | ||
|---|---|---|
| 38 | 38 |
\newcommand{\cnot}{\neg}
|
| 39 | 39 |
\newcommand{\cimp}{\supset}
|
| 40 | 40 |
\newcommand{\cor}{\vee}
|
| 41 |
\newcommand{\cand}{\wedge}
|
|
| 41 |
\newcommand{\cand}{\wedge}
|
|
| 42 |
\newcommand{\ciff}{\equiv}
|
|
Formats disponibles : Unified diff