roman "Theorem 1:" roman "Now is" roman "the time" roman "for" roman "MathML"