definitions.tex