defs.tex