Doc: Replace some unicode symbols with mathjax.