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