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