fix brackets, check floats and widows in chp 1-3
[phd-thesis.git] / preamble / commands.tex
index 955cfc0..0d31e63 100644 (file)
@@ -3,7 +3,7 @@
 \newcommand{\aramsingh}{Ramsingh, A.\ (University of Glasgow)}
 \newcommand{\dcolon}[0]{\mathbin{::}}
 \newcommand{\doifmt}[1]{\href{https://doi.org/#1}{#1}}
-\newcommand{\etc}{{\itshape\/\&\kern-0.2em c}}
+\newcommand{\etc}{{\fontfamily{cmr}\selectfont{\itshape\/\&\kern-0.2em c}}}
 \newcommand{\jsinger}{Singer, J.\ (University of Glasgow)}
 \newcommand{\mlubbers}{Lubbers, M.\ (Radboud University)}
 \newcommand{\pkoopman}{Koopman, P.\ (Radboud University)}
 \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}
+\newcommand{\conference}[1]{\emph{#1}}
+\newcommand{\tfp}{\conference{International Symposium on Trends in Functional Programming (TFP)}}
+\newcommand{\ifl}{\conference{Symposium on Implementation and Application of Functional Languages (IFL)}}
+\newcommand{\rwdsl}{\conference{International Workshop on Real World Domain Specific Languages (RWDSL)}}
+\newcommand{\fcows}{\conference{COnference on COmposability, COmprehensibility and COrrectness of Working Software (4COWS)}}
+\newcommand{\tiot}{\conference{ACM Transactions on Internet of Things (T\IOT{})}}
+\newcommand{\iotconf}{\conference{International Conference on the Internet of Things (\IOT{})}}