Addition: LaTeX printer