X-Git-Url: https://git.martlubbers.net/?a=blobdiff_plain;f=preamble%2Fcommands.tex;h=cf303ab262d52b438a09839873a66881a80257e8;hb=382f9709a872c0dfdb86e1184d07224a47c8eff3;hp=67b5632268cda7a81a2b2589e1855a56a6a09ba6;hpb=5bd4efa4ebb3e70f19c6fa09366a8feb68aa2de7;p=phd-thesis.git

diff --git a/preamble/commands.tex b/preamble/commands.tex
index 67b5632..cf303ab 100644
--- a/preamble/commands.tex
+++ b/preamble/commands.tex
@@ -4,14 +4,14 @@
 \newcommand{\dcolon}[0]{\mathbin{::}}
 \newcommand{\doifmt}[1]{\href{https://doi.org/#1}{#1}}
 \newcommand{\etc}{{\fontfamily{cmr}\selectfont{\itshape\/\&\kern-0.2em c}}}
-\newcommand{\jsinger}{Singer, dr.\ J.\ (University of Glasgow)}
+\newcommand{\jsinger}{Singer, J.\ (University of Glasgow)}
 \newcommand{\mlubbers}{Lubbers, M.\ (Radboud University)}
-\newcommand{\pkoopman}{Koopman, dr.\ P.\ (Radboud University)}
-\newcommand{\ptrinder}{Trinder, prof.~dr.\ P.\ (University of Glasgow)}
+\newcommand{\pkoopman}{Koopman, P.\ (Radboud University)}
+\newcommand{\ptrinder}{Trinder, P.\ (University of Glasgow)}
+\newcommand{\rplasmeijer}{Plasmeijer, R.\ (Radboud University)}
 \newcommand{\rdmentry}[5]{#1 (#2): #3. #4.\ \doifmt{#5}}
 \newcommand{\rewriterate}[2]{\langle{}\mathit{#1}, \mathit{#2}\rangle{}}
 \newcommand{\requiresGHCmod}[2][]{\footnote{Requires \GHCmod{#2} to be enabled. #1}}
-\newcommand{\rplasmeijer}{Plasmeijer, prof.\ dr.\ ir.\ R.\ (Radboud University)}
 \newcommand{\erasmusplus}{ERASMUS\raisebox{.25ex}{+}}
 \newcommand{\imtask}{\gls{ITASK}\slash\gls{MTASK}}
 \newcommand{\citask}{\gls{CLEAN}\slash\gls{ITASK}}
@@ -24,8 +24,9 @@
 \newcommand{\Ccpp}{\texorpdfstring{\Gls{C}\slash\gls{CPP}}{C\slash{}C\texttt{++}}}
 \newcommand{\stacksize}[1]{\parallel#1\parallel}
 
-\makeatletter
-\newenvironment{compilationscheme}
-	{\allowdisplaybreaks\startalign}
-	{\endalign}
-\makeatother
+\newcommand{\cschemeE}[2]{\mathcal{E}\llbracket#1\rrbracket~#2}
+\newcommand{\cschemeF}[1]{\mathcal{F}\llbracket#1\rrbracket}
+\newcommand{\cschemeS}[3]{\mathcal{S}\llbracket#1\rrbracket~#2~#3}
+
+\newcommand{\IOT}{\texorpdfstring{Io\kern-1ptT}{IoT}}
+\newcommand{\IIC}{I\textsuperscript{2}C}