Prettify output tags/tex.py