رمز التثبيت الأيسر

اقرأ ⊣ وفق نظام التدوين الذي يعرّفه.

في نظرية الفئات، تعني F ⊣ G أن F هو المرافق الأيسر لـG، وهي علاقة شكلية بين بنيتين. وتستخدم APL، وهي لغة برمجة رمزية، الرمز ⊣ بوصفه دالة هوية يسرى: تعيد X ⊣ Y القيمة X، بينما تعيد ⊣Y القيمة Y.

في المنطق، ⊣ هو رمز المنضدة المعكوس؛ والعلاقة الدقيقة التي يعبّر عنها تتوقف على النظام.

الاتجاه يغيّر الوظيفة

يبدأ تاريخ عائلة رموز المنضدة في المنطق الصوري. استخدم كتاب فريغه الصادر عام 1879، Begriffsschrift، وهو نظام تدوين للمنطق، علامةَ إثبات مكوّنة من خط أفقي للمحتوى وخط رأسي للحكم. وطوّرت الأنظمة المنطقية اللاحقة رموزًا ذات صلة مثل ⊢ و⊨ للتمييز بين الاشتقاق والتبعية الدلالية.

يسجل تاريخ APL طريقتين متنافستين لتسمية اتجاه رمز التثبيت. لذلك لا تتوافق بعض أسماء APL المركبة مع تسميات Unicode لليسار واليمين، مع أن شكل الرمز المرسوم لا يتغير.