The HaTeX User's Guide