Re: [NTG-context] A better \definesymbol sought