formal changes in pretty printer for LaTeX