deletions | additions       diff --git a/Rules.tex b/Rules.tex  index e7e2555..eda0e11 100644  --- a/Rules.tex  +++ b/Rules.tex 
...
\newcommand{\mbb}[1]{\mathbf{#1}}  \newcommand{\T}[0]{\mbb{\top}}  \newcommand{\F}[0]{\mbb{\bot}}  \newcommand{\rule}[1]{\mbb{\ §#1}} \newcommand{\rule}[1]{(\mbb{\ §#1})}  \begin{equation}  \begin{split}