function mathjax_page_header($a, &$b) {
// if the visitor of the page is not a local_user, use MathJax
// otherwise check the users settings.
function mathjax_page_header($a, &$b) {
// if the visitor of the page is not a local_user, use MathJax
// otherwise check the users settings.