deletions | additions       diff --git a/Ex3.b.tex b/Ex3.b.tex  index f0d92d5..2e67952 100644  --- a/Ex3.b.tex  +++ b/Ex3.b.tex 
...
& S_1 &= S_{11}; S_{12}\\  & S_{11} &= res := 0\\  & S_{12} &= \ie{n_0 \geq 0}{n, m := n_0, m_0}{n, m := -n_0, -m_0}\\  & Q &\to \wp{S_1}{I} \wp{S_1}{I}\\  \iff & Q &\to \wp{S_{11}; S_{12}}{I}\\  \rule{2} \iff & Q &\to \wp{S_{11}}{\wp{S_{12}}{I}}\\  \rule{3} \iff & Q &\to \wp{S_{11}}{(n_0 > 0 \to \wp{n, m := n_0, m_0}{I}) \a (n_0 \leq 0 \to \wp{n, m := -n_0, -m_0}{I})}\\  \end{split}  \end{equation}