[NTG-context] Mathematical symbol of non-inclusion