things for the LaTeX preamble