extra-setup.tex

\setbeamertemplate{itemize item}{\scriptsize\raise1.25pt\hbox{\donotcoloroutermaths --}}
\setbeamertemplate{itemize subitem}{\scriptsize\raise1.25pt\hbox{\donotcoloroutermaths >}}
\setbeamertemplate{itemize subsubitem}{\scriptsize\raise1.25pt\hbox{\donotcoloroutermaths -}}
\setbeamercovered{transparent}

\newcommand{\dataenvs}{\mathbb{D}}
\newcommand{\naturals}{\mathbb{N}}
\newcommand{\integers}{\mathbb{Z}}
\newcommand{\booleans}{\mathbb{B}}
\newcommand{\defiff}{\stackrel{\text{def}}{\iff}}
\newcommand{\defeq}{\stackrel{\text{def}}{=}}
\newcommand{\isassigned}{\colonequals}
\newcommand{\colonequalscolon}{\ensuremath{\mathrel{\ratio\colonsep=\colonsep\ratio}}}
\newcommand{\exchange}{\colonequalscolon}

\newcommand{\algorithmicdeclare}{{\bf declare}}
\newcommand{\algorithmicrelease}{{\bf release}}
\renewcommand{\algorithmicendwhile}{{\bf od}}
\newcommand{\algorithmicnull}{{\bf null}}
\newcommand{\algorithmiccall}{{\bf call}}
%\newcommand{\algorithmicfalse}{{\bf false}}
%\newcommand{\algorithmictrue}{{\bf true}}
\newcommand{\algorithmicseq}{{\textbf{;}}}
\newcommand{\algorithmiccdeclare}{\algorithmicdeclare\space}
\newcommand{\algorithmiccrelease}{\algorithmicrelease\space}
\newcommand{\algorithmiccnull}{\algorithmicnull\space}
\newcommand{\algorithmicccall}{\algorithmiccall\space}
\newcommand{\algorithmiccseq}{\ensuremath{\mathrel{\algorithmicseq}}}

\makeatletter
\newcommand{\DECLARE}{\ALC@it\algorithmiccdeclare{}}
\newcommand{\RELEASE}{\ALC@it\algorithmiccrelease{}}
\makeatother
\let\NULL     \algorithmiccnull
\let\SEQ      \algorithmiccseq
\let\CALL     \algorithmicccall

\newcommand{\cons}{\ensuremath{\mathrel{:}}}
\newcommand{\append}{\ensuremath{\mathrel{\&}}}
\newcommand{\textmath}[1]{\text{\it #1}}

\newenvironment{Condition}{\{\,}{\,\}\;}
\newenvironment{Pseudocode}{\begin{algorithmic}}{\end{algorithmic}}
\newcommand{\hoareTriple}[3]{\(\{\,#1\,\}\)\;#2\;\(\{\,#3\,\}\)}
\newcommand{\hoareTripleMM}[3]{\{\,#1\,\}\;#2\;\{\,#3\,\}}
\newcommand{\hoareCondition}[1]{\(\{\,#1\,\}\)}
\newcommand{\substitute}[2]{[\nicefrac{#1}{#2}]}

\newcommand{\bigforall}{\mathop{\vphantom{\sum}\mathchoice
  {\vcenter{\hbox{\huge$\stdforall$}}}
  {\vcenter{\hbox{\Large$\stdforall$}}}{\stdforall}{\stdforall}}\displaylimits}
\newcommand{\appendop}{\mathop{\vphantom{\sum}\mathchoice
  {\vcenter{\hbox{\huge$\&$}}}
  {\vcenter{\hbox{\Large$\&$}}}{\&}{\&}}\displaylimits}
\newcommand{\perm}{\mathbin{\vcenter{\hbox{\Large\(\pi\)}}}}