More LaTeX output refinements