Better LaTeX output (WIP)