MathML Canonicalization