fix brackets, check floats and widows in chp 1-3
[phd-thesis.git] / preamble / commands.tex
index 9f4a809..0d31e63 100644 (file)
 \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{})}}