convert from LaTeX