deletions | additions       diff --git a/Ex 1.tex b/Ex 1.tex  index db5d0e8..2b8f46c 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{\T}[0]{\mbb{\top}}  \newcommand{\F}[0]{\mbb{\bot}}  Given:  \begin{equation} 
...
\iff & (x < 0 \to (0 \leq -x \a (0 \leq x \to -x = x) \a (x < 0 \to -x = -x )))\\  \land & (x \leq 0 \to (0 \leq x \a (0 \leq x \to x = x) \a (x < 0 \to x = -x)))\\  \iff & (x < 0 \to -x = -x) \a (0 \leq x \to x = x)\\  \iff & \top \T  \end{split}  \end{equation}