-
Notifications
You must be signed in to change notification settings - Fork 1
/
macro.tex
53 lines (45 loc) · 2.21 KB
/
macro.tex
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
\renewcommand{\Pi}{P}
%\newcommand{\naf}[1]{\ensuremath{{\sim\!{#1}}}}
\newcommand{\naf}[1]{\ensuremath{{\neg{#1}}}}
\newcommand{\atom}[1]{\ensuremath{\mathit{A}(#1)}}
\newcommand{\head}[1]{\ensuremath{\mathit{h}(#1)}}
\newcommand{\body}[1]{\ensuremath{\mathit{B}(#1)}}
%\newcommand{\pbody}[1]{\ensuremath{\mathit{B}^+(#1)}}
%\newcommand{\nbody}[1]{\ensuremath{\mathit{B}^-(#1)}}
\newcommand{\pbody}[1]{\ensuremath{\mathit{B}(#1)^+}}
\newcommand{\nbody}[1]{\ensuremath{\mathit{B}(#1)^-}}
\newcommand{\ground}[1]{\ensuremath{\mathit{ground}(#1)}}
\newcommand{\reduct}[2]{\ensuremath{#1^{#2}}}
\newcommand{\Cn}[1]{\ensuremath{\mathit{Cn}(#1)}}
\newcommand{\To}[1]{\ensuremath{T_{#1}}}
\newcommand{\Ti}[2]{\ensuremath{T_{#1}^{#2}}}
\newcommand{\genrules}[2]{\ensuremath{#1_{#2}}}
\newcommand{\redgen}[3]{\ensuremath{(#1_{#2})^{#3}}}
\newcommand{\smin}[1]{\ensuremath{\mathit{min}_{\subseteq}(#1)}}
\newcommand{\Comp}[1]{\ensuremath{\mathit{CF}(#1)}}
\newcommand{\Fi}[3]{\ensuremath{\Phi^#1_#2\langle #3\rangle}}
\newcommand{\FiO}[2]{\ensuremath{\Phi_#1\langle #2\rangle}}
\newcommand{\FiP}[2]{\ensuremath{\Phi^#1_#2}}
\newcommand{\FiPi}[1]{\ensuremath{\Phi_#1}}
\newcommand{\Wi}[3]{\ensuremath{\Omega^#1_#2\langle #3\rangle}}
\newcommand{\WiO}[2]{\ensuremath{\Omega_#1\langle #2\rangle}}
\newcommand{\WiP}[2]{\ensuremath{\Omega^#1_#2}}
\newcommand{\WiPi}[1]{\ensuremath{\Omega_#1}}
\newcommand{\GUS}[3]{\ensuremath{\mathbf{U}_{#1}\langle #2,#3\rangle}}
\newcommand{\G}[1]{\ensuremath{G(#1)}}
\newcommand{\Loop}[1]{\ensuremath{\mathit{loop}(#1)}}
\newcommand{\LF}[1]{\ensuremath{\mathit{LF}(#1)}}
\newcommand{\ESP}[2]{\ensuremath{\mathit{ES}_{#1}(#2)}}
\newcommand{\LFP}[2]{\ensuremath{\mathit{LF}_{#1}(#2)}}
\newcommand{\dom}[1]{\ensuremath{\mathit{dom}(#1)}}
\newcommand{\Body}[1]{\ensuremath{\mathit{Body}(#1)}}
\newcommand{\tnomore}{\ensuremath{\mathcal{T}_{\mathit{noMoRe}}}}
\newcommand{\tnomorepp}{\ensuremath{\mathcal{T}_{\mathit{nomore\raisebox{0.3mm}{\tiny ++}}}}}
\newcommand{\tsmodels}{\ensuremath{\mathcal{T}_{\mathit{smodels}}}}
\newcommand{\AS}[1]{\ensuremath{\mathit{AS}(#1)}}
\newcommand{\SE}[1]{\ensuremath{\mathit{SE}(#1)}}
\newcommand{\UE}[1]{\ensuremath{\mathit{UE}(#1)}}
%%% Local Variables:
%%% mode: latex
%%% TeX-master: t
%%% End: