deletions | additions       diff --git a/header.tex b/header.tex  index 3ba852a..a0e8a7d 100644  --- a/header.tex  +++ b/header.tex 
...
\newcommand{\lbox}{\square}  \newcommand{\ldia}{\lozenge}  \newcommand{\dia}[1]{\left\langle #1 \right\rangle}  \newcommand{\box}[1]{[ \newcommand{\box}[1]{\left[  #1 ]} \right]}  %%%%%% META SYNTAX  \newcommand{\IF}{\mbox{ \textsc{if} }}