this is for holding javascript data
Mazdak Farrokhzad edited Ex 1.tex
over 9 years ago
Commit id: d48ab684a1449904bf8224613abac6438aa1c032
deletions | additions
diff --git a/Ex 1.tex b/Ex 1.tex
index 2bc29f9..5e2abfd 100644
--- a/Ex 1.tex
+++ b/Ex 1.tex
...
\begin{subequations}
\begin[align}
Q &= \varnothing\\
R &= 0 \leq y \land (0 \leq x \to y = x) \land (x < 0 \to y = -x)
\end[align}
\end{subequations}