Manually fix encoding flubs for now
mathjax