let math_to_string = MathML.math_to_string