latexify.py: convert