MmTeX
A LaTeX to XML Converter
OpenMath Thematic Network Meeting · Bremen 2003
Tilman Rassy
Sabina Jeschke
Berlin University of Technology