Translates TeX and LaTeX into HTML or XML+MathML