Re: [NTG-context] unwanted space after \in