deletions | additions       diff --git a/header.tex b/header.tex  index b1bf371..3c4f92b 100644  --- a/header.tex  +++ b/header.tex 
...
\newcommand{\dia}[1]{\left\langle #1 \right\rangle}  \renewcommand{\box}[1]{\left[ #1 \right]}  \newcommand{\Stb}{\mathsf{Stb}}  %%%%%% META SYNTAX  \newcommand{\IF}{\mbox{ \textsc{if} }}  \newcommand{\THEN}{\mbox{ \textsc{then} }}