(TXT) doc-defs.tex