BioSticker-2014-01/macros.tex at master · mmagnin/BioSticker-2014-01 · GitHub

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
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
% Macros relatives à la traduction de PH avec arcs neutralisants vers PH à k-priorités fixes

% Macros générales
\newcommand{\ie}{\textit{i.e.} }

% Notations générales pour PH
\newcommand{\PH}{\mathcal{PH}}
\newcommand{\PHs}{\mathcal{S}}
%\newcommand{\PHp}{\mathcal{P}}
\newcommand{\PHp}{\textcolor{red}{\mathcal{P}}}
\newcommand{\PHproc}{\mathcal{P}}
\newcommand{\PHa}{\mathcal{A}}
\newcommand{\PHl}{\mathcal{L}}
\newcommand{\PHn}{\mathcal{N}}

\newcommand{\PHfrappeur}{\mathsf{frappeur}}
\newcommand{\PHcible}{\mathsf{cible}}
\newcommand{\PHbond}{\mathsf{bond}}
\newcommand{\PHsorte}{\mathsf{sorte}}
\newcommand{\PHbloquant}{\mathsf{bloquante}}
\newcommand{\PHbloque}{\mathsf{bloquee}}

\newcommand{\PHfrappeR}{\textcolor{red}{\rightarrow}}
\newcommand{\PHmonte}{\textcolor{red}{\Rsh}}

\newcommand{\PHfrappeA}{\rightarrow}
\newcommand{\PHfrappeB}{\Rsh}
%\newcommand{\PHfrappe}[3]{\mbox{$#1\PHfrappeA#2\PHfrappeB#3$}}
%\newcommand{\PHfrappebond}[2]{\mbox{$#1\PHfrappeB#2$}}
\newcommand{\PHfrappe}[3]{#1\PHfrappeA#2\PHfrappeB#3}
\newcommand{\PHfrappebond}[2]{#1\PHfrappeB#2}
\newcommand{\PHobjectif}[2]{\mbox{$#1\PHfrappeB^*\!#2$}}
\newcommand{\PHconcat}{::}
\newcommand{\PHneutralise}{\rtimes}

\def\PHget#1#2{{#1[#2]}}
%\newcommand{\PHchange}[2]{#1\langle #2 \rangle}
\newcommand{\PHchange}[2]{(#1 \Lleftarrow #2)}
\newcommand{\PHarcn}[2]{\mbox{$#1\PHneutralise#2$}}
\newcommand{\PHjoue}{\cdot}

\newcommand{\PHetat}[1]{\mbox{$\langle #1 \rangle$}}

% Notations spécifiques aux graphes d'états
\newcommand{\PHge}{\textcolor{red}{\mathcal{GE}}}
\newcommand{\PHt}{\mathcal{T}}
\newcommand{\GE}{\mathcal{GE}}
\newcommand{\GEt}{\mathcal{T}}
\newcommand{\GEl}{\PHl}
\newcommand{\GEa}{\PHa}
\newcommand{\GEva}[3]{#1 \stackrel{#2}{\longrightarrow} #3}
\newcommand{\GEval}[3]{#1 \stackrel{#2}{\Longrightarrow} #3}
\newcommand{\GEget}[2]{\PHget{#1}{#2}}


% Notations pour le modèle de Thomas (depuis thèse)
\def\levels{\mathsf{niveaux}}
\def\levelsA#1#2{\levels_+(#1\rightarrow #2)}
\def\levelsI#1#2{\levels_-(#1\rightarrow #2)}
\newcommand{\PHres}{\mathsf{Res}}

% Notations spécifiques au modèle de Thomas
\newcommand{\Kinconnu}{\emptyset}
\newcommand{\RRGva}[3]{#1 \stackrel{#2}{\longrightarrow} #3}
\newcommand{\RRGgi}{\mathcal{G}}
\newcommand{\RRGreg}[1]{\RRGgi_{#1}}
\newcommand{\RRGres}[2]{\PHres_{#1}(#2)}


% Notations spécifiques aux actions conjointes
\newcommand{\PHfrappeAconjointe}{\rightarrowtail}
\newcommand{\PHfrappec}[3]{\mbox{$#1\PHfrappeAconjointe#2\PHfrappeB#3$}}


% Notations spécifiques à ce document
\newcommand{\A}{}
\newcommand{\B}{'}
%\newcommand{\A}{_A}
%\newcommand{\B}{_B}
\newcommand{\simule}{\rho}
\newcommand{\relsimule}{\textcolor{red}{\lesssim}}
\newcommand{\abstraction}{\alpha}
\newcommand{\chap}[1]{\textcolor{blue}{\widehat{#1}}}

% Notations spécifiques à la traduction
\newcommand{\PHsc}{\ensuremath{sc}}
\newcommand{\PHsca}[1]{\ensuremath{\PHsc^{#1}}}
\newcommand{\PHfsc}{f_{sc}}
\newcommand{\PHjouables}{\mathsf{jouables}}