root / CSL17 / ph-macros.tex @ 174
Historique | Voir | Annoter | Télécharger (2,56 ko)
| 1 |
\newcommand{\nb}[1]{{\color{violet} NB: #1}}
|
|---|---|
| 2 |
\newcommand{\todo}[1]{{\color{red} TODO: #1}}
|
| 3 |
\newcommand{\anupam}[1]{{\color{orange} Anupam: #1}}
|
| 4 |
\newcommand{\patrick}[1]{{\color{blue} Patrick: #1}}
|
| 5 |
|
| 6 |
%\newtheorem{theorem}{Theorem}
|
| 7 |
\newtheorem{proposition}[theorem]{Proposition}
|
| 8 |
%\newtheorem{lemma}[theorem]{Lemma}
|
| 9 |
% |
| 10 |
% |
| 11 |
%\theoremstyle{definition}
|
| 12 |
%\newtheorem{definition}[theorem]{Definition}
|
| 13 |
|
| 14 |
\newcommand{\Word}{\mathbb{W}}
|
| 15 |
\newcommand{\Nat}{\mathbb{N}}
|
| 16 |
\newcommand{\arith}{B}
|
| 17 |
\newcommand{\basic}{\mathit{BASIC}}
|
| 18 |
|
| 19 |
\newcommand{\ind}{\mathit{IND}}
|
| 20 |
\newcommand{\pind}{\mathit{PIND}}
|
| 21 |
\newcommand{\cind}[1]{#1\text{-}\ind}
|
| 22 |
\newcommand{\cpind}[1]{#1\text{-}\pind}
|
| 23 |
\renewcommand{\min}{\mathit{MIN}}
|
| 24 |
\newcommand{\cmin}[1]{#1\text{-}\min}
|
| 25 |
|
| 26 |
\newcommand{\prefix}{\preccurlyeq}
|
| 27 |
|
| 28 |
\newcommand{\charfn}[2]{\chi^{#1}_{#2}}
|
| 29 |
\newcommand{\wit}[2]{\mathit{wit}^{#1}_{#2}}
|
| 30 |
\newcommand{\Wit}[2]{\mathit{Wit}^{#1}_{#2}}
|
| 31 |
\newcommand{\dfn}{:=}
|
| 32 |
\newcommand{\seqar}{\rightarrow}
|
| 33 |
\newcommand{\proves}{\vdash}
|
| 34 |
|
| 35 |
\renewcommand{\epsilon}{\varepsilon}
|
| 36 |
\newcommand{\pred}{p}
|
| 37 |
\renewcommand{\succ}[1]{s_{#1}}
|
| 38 |
\newcommand{\hlf}[1]{\lfloor \frac{#1}{2}\rfloor}
|
| 39 |
\newcommand{\cond}{C}
|
| 40 |
\newcommand{\smsh}{\#}
|
| 41 |
\newcommand{\pair}[3]{\langle ; #1,#2 , #3 \rangle}
|
| 42 |
\newcommand{\eq}{\textsc{eq}}
|
| 43 |
\newcommand{\leqfn}{\textsc{leq}}
|
| 44 |
|
| 45 |
|
| 46 |
\newcommand{\safe}{{N_0}}
|
| 47 |
\newcommand{\normal}{{N_1}}
|
| 48 |
|
| 49 |
\newcommand{\pv}{\mathit{PV}}
|
| 50 |
\newcommand{\pvbci}[1]{\pv^{#1}_{\mathrm{BC}}}
|
| 51 |
\newcommand{\mubci}[1]{\mu\mathrm{BC}^{#1}}
|
| 52 |
\newcommand{\mubc}{\mu\mathrm{BC}}
|
| 53 |
\newcommand{\bc}{\mathrm{BC}}
|
| 54 |
|
| 55 |
\newcommand{\sigp}[1]{\Sigma^p_{#1}}
|
| 56 |
\newcommand{\pip}[1]{\Pi^p_{#1}}
|
| 57 |
\newcommand{\fphi}[1]{\Box^p_{#1}}
|
| 58 |
\newcommand{\fph}{\Box^p}
|
| 59 |
\newcommand{\ph}{\mathbf{PH}}
|
| 60 |
\newcommand{\pspace}{\mathbf{PSPACE}}
|
| 61 |
\newcommand{\fpspace}{\mathbf{FPSPACE}}
|
| 62 |
\newcommand{\ptime}{\mathbf{P}}
|
| 63 |
\newcommand{\fptime}{\mathbf{FP}}
|
| 64 |
\newcommand{\nc}{\mathbf{NC}}
|
| 65 |
\newcommand{\ac}{\mathbf{AC}}
|
| 66 |
\newcommand{\exptime}{\mathbf{EXP}}
|
| 67 |
\newcommand{\np}{\mathbf{NP}}
|
| 68 |
\newcommand{\conp}{\mathbf{coNP}}
|
| 69 |
\newcommand{\poly}{\mathrm{poly}}
|
| 70 |
|
| 71 |
|
| 72 |
|
| 73 |
|
| 74 |
\newcommand{\cnot}{\neg}
|
| 75 |
\newcommand{\cimp}{\supset}
|
| 76 |
\newcommand{\cor}{\vee}
|
| 77 |
\newcommand{\cand}{\wedge}
|
| 78 |
\newcommand{\ciff}{\equiv}
|
| 79 |
|
| 80 |
\newcommand{\size}[1]{|#1|} %% length of a word
|
| 81 |
\newcommand{\mode}{\; \underline{\mbox{mod}}\;} %% mod 2^{|x|}
|
| 82 |
|
| 83 |
%%%%% RULES %%%%%% |
| 84 |
\newcommand{\lefrul}[1]{#1\text{-}\mathit{l}}
|
| 85 |
\newcommand{\rigrul}[1]{#1\text{-}\mathit{r}}
|
| 86 |
\newcommand{\id}{\it{id}}
|
| 87 |
\newcommand{\cut}{\it{cut}}
|
| 88 |
\newcommand{\wk}{\mathit{wk}}
|
| 89 |
\newcommand{\cntr}{\mathit{cntr}}
|
| 90 |
|
| 91 |
% theories |
| 92 |
\newcommand{\theory}{\mathcal T}
|
| 93 |
\newcommand{\system}{\mathcal S}
|
| 94 |
|