preamble.tex

\usepackage{amsmath}
\usepackage{xcolor}
\newcommand\todo[1]{\textcolor{red}{#1}}


\usepackage{newunicodechar}
\newunicodechar{⊥}{\ensuremath{\bot}}
\newunicodechar{·}{\ensuremath{\cdot}}
\newunicodechar{∀}{\ensuremath{\forall}}
\newunicodechar{∈}{\ensuremath{\in}}
\newunicodechar{λ}{\ensuremath{\lambda}}
\newunicodechar{∣}{\ensuremath{\mid}}
\newunicodechar{¬}{\ensuremath{\neg}}
\newunicodechar{⊑}{\ensuremath{\sqsubseteq}}
\newunicodechar{≟}{\ensuremath{\stackrel{?}{=}}}
\newunicodechar{⊤}{\ensuremath{\top}}
\newunicodechar{∧}{\ensuremath{\wedge}}
\newunicodechar{₁}{\ensuremath{_1}}
\newunicodechar{₂}{\ensuremath{_2}}

\newcommand{\N}{\mathbb{N}}

\newtheorem{Def}{Definition}


%Hack to ensure tussenvoegsels are capitalized correctly in bibtex
\DeclareRobustCommand{\tussenvoegsel}[2]{#1}


%%% Local Variables:
%%% mode: latex
%%% TeX-master: "refinement-parsers.lagda"
%%% TeX-command-default: "lagda2pdf"
%%% End: