Use TypeJax as LaTeX Typesetter