Documentation for tex-verbdef
