Test for tex2jax extension for TeX input