using modnl signature as theory, when present, for \def* family
more coverage for LaTeXML symbols