A source pretty printer for LaTeX