Re: [NTG-context] Bug in \not\in?