Modified MathJax settings, fixed a problem with a proof.