deletions | additions       diff --git a/header.tex b/header.tex  index 5f4b0f8..e62df2d 100644  --- a/header.tex  +++ b/header.tex 
...
\newcommand{\S}{\mathcal S}  \newcommand{\K}{\mathsf{K}}  \newcommand{\IFF}{\Longleftrightarrow}