deletions | additions       diff --git a/Rules.tex b/Rules.tex  index bb4eff4..8365add 100644  --- a/Rules.tex  +++ b/Rules.tex 
...
\newcommand{\T}[0]{\mbb{\top}}  \newcommand{\F}[0]{\mbb{\bot}}  \newcommand{\rule}[1]{\mbb{\ §#1}}  \newcommand{\r}[0]{\right}  \newcommand{\l}[0]{\left}  \begin{equation}  \begin{split}