Demonstrate mathjax html in syntax documentation