Update settings.php

Refine TeX MathJaX compatibility of symbols