ليس عنصرًا من

∉ تعني «لا ينتمي إلى». في x ∉ A، يكون x هو العنصر الذي نتحقق منه، وتكون A هي المجموعة. يوضح الرمز أن x ليس من عناصر A، ولا يعني أنه لا يمكن أن تكون بين x وA أي علاقة أخرى.

ظهرت كتابة الانتماء قبل هذه الصيغة المنفية. استخدم جوزيبي بيانو عام 1889 علامة مبنية على إبسيلون، الحرف اليوناني ε. وتظهر صيغة منفية في تدوين نظرية المجموعات المرتبط ببورباكي عام 1939.

لدى LaTeX أمر خاص بالرمز ∉

في وضع الرياضيات في LaTeX، استخدم \notin: $x \notin A$. يجنّبك الأمر المخصص تركيب الرمز من محارف منفصلة.

يعرّف Unicode الرمز ∉ بوصفه النظير المنفي للرمز ∈، ويوثّق تركيبًا يستخدم خطًا مائلًا طويلًا مركبًا. قد يضع الخط هذا الخط المائل في موضع مختلف عند رسم الرمز من أجزاء منفصلة، لكن المعنى الرياضي يبقى نفسه.