\input amstex $$\align AX+2B& = C + BX\cr \cdot(A-B)^{-1}\bigg/\qquad(A-B)X&=C-2B\cr X&=(A-B)^{-1}\cdot(C-2B) \endalign$$ \bye