deletions | additions       diff --git a/header.tex b/header.tex  index de195b2..1854b13 100644  --- a/header.tex  +++ b/header.tex 
...
\newcommand{\Val}{V}  \newcommand{\Model}{\mathcal{M}}  \newcommand{\Frame}{\mathcal{F}}  \newcommand{\true}[1]{[#1]} \newcommand{\true}[1]{[[#1]]}  \newcommand{\K}{\mathsf{K}} 
...
\newcommand{\limp}{\rightarrow}  \newcommand{\lbox}{\square}  \newcommand{\ldia}{\lozenge}  \newcommand{\dia}[1]{\left\langle #1 \right\rangle}  \newcommand{\box}[1]{\left[ #1 \right]}  %%%%%% META SYNTAX  \newcommand{\IF}{\mbox{ \textsc{if} }}