code or pre for tex2jax_ignore, displaystyle