Thanks folks. Your replies are very helpful. I'll take a look at MathML, pandoc, and LaTeXML. Writing MathML from scratch looks tedious, but pandoc and/or LaTeXML might be just the thing to make a conversion easy.