deletions | additions       diff --git a/Ex2.tex b/Ex2.tex  index b66b48f..adbbe80 100644  --- a/Ex2.tex  +++ b/Ex2.tex 
...
\begin{split}  & \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\\  \end{split}  \end{equation}