deletions | additions       diff --git a/untitled.tex b/untitled.tex  index 8fb2ed5..24088cc 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
\B &= \left\{true, false\right\}\\  q : \A, \E, \E &\to \B\\  q(a, x, y) =& x \text{ is/should/would be applying action } a \text{ to } y\\  G : \forall a \in A : &:  X \subset \E \land q(a, X, X^\complement) \implies q(a, X^\complement, X) \end{align*}  \end{subequations}