Remove HaTeX package