Fix HTML to LaTeX