more things for the LaTeX preamble