deletions | additions       diff --git a/Rules.tex b/Rules.tex  index 8365add..72df136 100644  --- a/Rules.tex  +++ b/Rules.tex 
...
\newcommand{\r}[0]{\right}  \newcommand{\l}[0]{\left}  \newcommand{\empty}{\varnothing}  \newcommand{\wp}[2]{wp(#1, #2)} \newcommand{\wp}[2]{wp\l(#1, #2\r)}  \newcommand{\if}[2]{if(#1) \ \{ #2 \}}  \newcommand{\else}[1]{else \ \{ #1 \}}  \newcommand{\ie}[3]{\if{#1}{#2} \ \else{#3}} 
...
\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}