deletions | additions       diff --git a/Ex 1.tex b/Ex 1.tex  index 5e2b94d..8d40130 100644  --- a/Ex 1.tex  +++ b/Ex 1.tex 
...
\newcommand{\empty}{\varnothing}  \newcommand{\wp}[2]{wp(#1, #2)}  \newcommand{\if}[2]{if(#1) \newcommand{\wp}[2]{wp\left(#1, #2\right)}  \newcommand{\if}[2]{if\left(#1\right)  \ \{ #2 \}} \newcommand{\else}[1]{else \ \{ #1 \}}  \newcommand{\ie}[3]{\if{#1}{#2} \ \else{#3}}  \newcommand{\a}[0]{\ \land \ } 
...
\newcommand{\mbb}[1]{\mathbf{#1}}  \newcommand{\T}[0]{\mbb{\top}}  \newcommand{\F}[0]{\mbb{\bot}}  \newcommand{\rule}[1]{\mbb{\ §#1}}  Given:  \begin{equation}