رمز «ليس أصغر من»

تنفي المقارنة: الطرف الأيسر ليس أصغر من الأيمن. الخط المائل عبر علامة أصغر من يعمل عمل «ليس». تُقرأ a ≮ b «a ليست أصغر من b». مع أعداد الحياة اليومية لا توجد إلا ثلاث حالات: أصغر أو يساوي أو أكبر، فإذا لم تكن a أصغر من b فهي أكبر أو مساوية، وتصبح a ≮ b مكافئة لـ a ≥ b. فـ 7 ≮ 3 صحيحة، و2 ≮ 5 خاطئة.

فلماذا علامة مستقلة إذن؟ لأن الرياضيين يكتبون < أيضًا لترتيبات لا يمكن فيها مقارنة بعض الأزواج أصلًا. رتّب الناس بعلاقة «هو سلف لـ»، أو المجموعات بعلاقة «محتواة في»: ابنا عمّ، أو المجموعتان {1, 2} و{2, 3}، لا يقع أحدهما تحت الآخر ولا فوقه. هناك لا تستبعد a ≮ b إلا «أصغر»، ولا تَعِد بـ«أكبر أو يساوي». ويظهر الفرق أيضًا في البراهين، حيث قد يفترض الكاتب a ≮ b فقط، وهو افتراض أضعف من a ≥ b.

خارج الرياضيات هي غير شائعة. الجداول الحسابية والآلات الحاسبة ومعظم لغات البرمجة لا تقبلها علامةَ مقارنة، وفي النص العادي كتابة «ليس أصغر من» أو «على الأقل» أوضح من الرمز.

من أين جاءت العلامة المشطوبة؟

الخط المائل هو الطريقة المعيارية لنفي علاقة رياضية. ظهرت العلامتان < و> مطبوعتين لأول مرة في كتاب الجبر للرياضي الإنجليزي توماس هاريوت، الذي نُشر سنة 1631، أي بعد وفاته بعشر سنوات؛ ويَنسب المؤرخون عادةً العلامتين المطبوعتين إلى المحرّر الذي أعدّ الكتاب. وصار شطب علامة العلاقة الطريقةَ المعتادة للدلالة على «ليس»: ≠ لعدم المساواة، و∉ لعدم الانتماء، و≮ لـ«ليس أصغر من». ويعامل يونيكود ≮ بالطريقة نفسها: علامة أصغر من فوقها خط مائل.