MathML test

y = x 0 + x 1 - x 2 + x 3 - by 1.6 = y 0 + y 1 by (1.7) = q 0 - q 1 + q 2 by Axiom 4.