Add HaTeX experiments