Update definitions.tex