New symbols for KaTeX!