better \var and \simplify without \jmescope

thanks to Davide Cervone of MathJax.