better tex2jax_ignore