This is matplotlib-specific substitutions, it's not necessary for external latex rendering or mathjax rendering.