Mazdak Farrokhzad edited Ex 1.tex  over 9 years ago

Commit id: 52b4a52d50630811d9f4a7bb41d3366de113c2f6

deletions | additions      

       

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