PolyTeX to LaTeX and HTML