source: Deliverables/Dissemination/final-review/wp5/macros.tex @ 3282

Last change on this file since 3282 was 3282, checked in by regisgia, 7 years ago
  • WP5 slides for the final review.
File size: 1.9 KB
Line 
1
2\newcommand{\N}{\mathbb{N}}
3\newcommand{\sem}[1]{\llbracket #1 \rrbracket}
4\newcommand{\Comp}{\mathcal{C}}
5\newcommand{\semequiv}{\equiv}
6\newcommand{\Annot}{\mathit{An}}
7\newcommand{\semleads}{\Downarrow}
8\newcommand{\Lab}{\mathcal{L}}
9\newcommand{\LabLang}[1]{$\text{#1}^\Lab$}
10\newcommand{\medquad}{\quad\quad}
11\newcommand{\bigquad}{\quad\quad\quad}
12\newcommand{\PSet}[1]{\mathcal{P}(#1)}
13
14\definecolor{transblack}{RGB}{217,217,217}
15\definecolor{transred}{RGB}{255,215,215}
16\definecolor{transgreen}{RGB}{215,255,215}
17\definecolor{transblue}{RGB}{215,215,255}
18\definecolor{transorange}{RGB}{255,235,215}
19\definecolor{transmagenta}{RGB}{255,215,235}
20
21\definecolor{darkred}{RGB}{102,0,0}
22\definecolor{transdarkred}{RGB}{230,215,215}
23\definecolor{darkgreen}{RGB}{0,102,0}
24\definecolor{transdarkgreen}{RGB}{215,230,215}
25
26\definecolor{violet}{RGB}{160,0,160}
27\definecolor{lightviolet}{RGB}{255,204,204}
28
29\newcommand{\checked}{\textcolor{darkgreen}{$\surd$}}
30\newcommand{\unchecked}{\textcolor{red}{X}}
31\newcommand{\plus}{\textcolor{darkgreen}{+}}
32\newcommand{\minus}{\textcolor{red}{-}}
33
34\newcommand{\notitle}{\frametitle{\textcolor{white}{A}}}
35\newcommand{\moveup}{\includegraphics[height=10cm]{Pics/nothing.mps}}
36
37\newcommand{\Clang}{\textsc{C}}
38\newcommand{\Clight}{\textsc{Clight}}
39\newcommand{\Cminor}{\textsc{Cminor}}
40\newcommand{\RTLabs}{\textsc{RTL}_{\textsc{abs}}}
41\newcommand{\RTL}{\textsc{RTL}}
42\newcommand{\ERTL}{\textsc{ERTL}}
43\newcommand{\LTL}{\textsc{LTL}}
44\newcommand{\LIN}{\textsc{LIN}}
45\newcommand{\MIPS}{\textsc{MIPS}}
46\newcommand{\Imp}{\textsc{Imp}}
47\newcommand{\VM}{\textsc{VM}}
48\newcommand{\ASM}{\textsc{ASM}}
49\newcommand{\lustre}{\textsc{Lustre}}
50\newcommand{\Labelled}[1]{#1^\mathcal{L}}
51
52\newcommand{\mips}{{\sf Mips}}          %Mips language
53\newcommand{\intel}{{\sf 8051}}         % Intel 8051 language
54\newcommand{\C}{{\sf C}}                % C language
55
56\newcommand{\arrow}{\rightarrow}
57
58
59\newcommand{\lbl}{\ell}
Note: See TracBrowser for help on using the repository browser.