Révision 159 CSL17/ph-macros.tex
| ph-macros.tex (revision 159) | ||
|---|---|---|
| 39 | 39 |
\newcommand{\pv}{\mathit{PV}}
|
| 40 | 40 |
\newcommand{\pvbci}[1]{\pv^{#1}_{\mathrm{BC}}}
|
| 41 | 41 |
\newcommand{\mubci}[1]{\mu\mathrm{BC}^{#1}}
|
| 42 |
\newcommand{\mubc}{\mu\mathrm{BC}}
|
|
| 42 | 43 |
\newcommand{\bc}{\mathrm{BC}}
|
| 43 | 44 |
|
| 44 |
\newcommand{\fphi}[1]{\Box_{#1}}
|
|
| 45 |
\newcommand{\fphi}[1]{\Box^p_{#1}}
|
|
| 46 |
\newcommand{\fph}{\Box^p}
|
|
| 45 | 47 |
\newcommand{\ph}{\mathbf{PH}}
|
| 46 | 48 |
\newcommand{\pspace}{\mathbf{PSPACE}}
|
| 47 | 49 |
\newcommand{\fpspace}{\mathbf{FPSPACE}}
|
| ... | ... | |
| 56 | 58 |
\newcommand{\cimp}{\supset}
|
| 57 | 59 |
\newcommand{\cor}{\vee}
|
| 58 | 60 |
\newcommand{\cand}{\wedge}
|
| 59 |
\newcommand{\ciff}{\equiv}
|
|
| 61 |
\newcommand{\ciff}{\equiv}
|
|
| 62 |
|
|
| 63 |
\newcommand{\size}[1]{|#1|} %% length of a word
|
|
Formats disponibles : Unified diff