Get 3satToHC to work with MathJax