converts LaTeX to HTML5