some proofing, use local MathJax