Added HaTeX package.