convert HTML document into LaTeX
