Mazdak Farrokhzad edited Ex 1.tex  over 9 years ago

Commit id: 87dd50fa87b731eb0f411974d6d6ff603be64033

deletions | additions      

       

\begin{subequations}  \begin[align} \begin{equation}  \begin{split}  Q &= \varnothing\\  \end[align}  \end{subequations} R &= 0 \leq y \land (0 \leq x \to y = x) \land (x < 0 \to y = -x)  \end{split}  \end{equation}