LaTeX output tweaks