deletions | additions       diff --git a/Rules.tex b/Rules.tex  index eda0e11..b4cd563 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}