A demo of KaTeX