Switch to proper LaTeX symbol