switch to katex