Comment parsing: recognize \def (but processing is a no-op, like the rest of
similar commands that duplicate the declaration name)