Add multiple choices for latexhax.html