deletions | additions       diff --git a/Ex2.tex b/Ex2.tex  index aaab922..f6c6d26 100644  --- a/Ex2.tex  +++ b/Ex2.tex 
...
& \wp{\ie{x > y}{big, small := x, y}{big, small := y, x}}{R} \\  \rule{4} \iff & (x > y \to \wp{big, small := x, y}{R}) \a (x \leq y \to \wp{big, small := y, x}{R})\\  \rule{1} \iff & (x > y \to x > y) \a (x \leq y \to x < y)\\  \iff & x \leq y \to x < y = y\\  =&  \F \\ \end{split}  \end{equation}