HaTeX expected to fail test suite Daniel-Diaz/HaTeX#30