this is for holding javascript data
Mazdak Farrokhzad edited Ex3.b.tex
over 9 years ago
Commit id: 4939143683a36e6259cb31591027ac48e3e308cb
deletions | additions
diff --git a/Ex3.b.tex b/Ex3.b.tex
index 53a0dd3..5024511 100644
--- a/Ex3.b.tex
+++ b/Ex3.b.tex
...
& Q &\to \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}