random stuff for LaTeX