/print/tex-verbdef/