deletions | additions       diff --git a/Ex 1.tex b/Ex 1.tex  index 2b8f46c..1481822 100644  --- a/Ex 1.tex  +++ b/Ex 1.tex 
...
\newcommand{\else}[1]{else \ \{ #1 \}}  \newcommand{\ie}[3]{\if{#1}{#2} \ \else{#3}}  \newcommand{\a}[0]{\land}  \newcommand{\mbb}[1]{\mathbb{#1}} \newcommand{\mbb}[1]{\mathbbb{#1}}  \newcommand{\T}[0]{\mbb{\top}}  \newcommand{\F}[0]{\mbb{\bot}}