don't need tex2jax_ignore anymore