MediaWiki has a tool that parses LaTeX, sanity checks it, and can spew out LaTeX again or a very limited version of MathML. If anyone out there knows OCaml eno

MediaWiki has a tool that parses LaTeX, sanity checks it, and can spew out LaTeX again or a very limited version of MathML. If anyone out there knows OCaml enough to improve its emitter that would mean MathML for Wikipedia articles in WebKit browser once this comes out.