deletions | additions       diff --git a/untitled.tex b/untitled.tex  index b199c47..e01d14a 100644  --- a/untitled.tex  +++ b/untitled.tex 
...
q(x, y, A) =& x \text{ is applying action } A \text{ to } y\\  X &\subset E\\  Y &= X^c\\  G &= q(X, Y, A) \implies q(Y, X, A)  \end{align*}  \end{subequations}