Updated HaTeX page.