issue484: force tex2jax to be loaded before mml2jax.