Odd bits of LaTeX code