A Bison grammar to convert TeX math into MathML.