ماذا يعني ⊸
يُستهلك المورد المُدخل A للحصول على B.
المنطق الخطي طريقة للاستدلال تتتبّع الموارد: لا يمكن إعادة استخدام الفرضية أو إسقاطها بلا قاعدة. عند تطبيق A ⊸ B، يُستهلك A لإنتاج B.
قدّم جان إيف جيرار المنطق الخطي عام 1987؛ وفي ترميزه، يشير ⊸ إلى التضمين الخطي.
ترميز متخصص في المنطق الخطي وأنظمة الأنواع البرمجية التي تتتبّع الموارد.
لا تقرأه كشرط عادي بمعنى «إذا كان A فـB»: استخدامه يستهلك A.
أسئلة يطرحها الناس
1هل ⊸ هو نفسه →؟
لا. في المنطق الخطي، يتتبّع ⊸ استخدام المورد؛ أما → العادي فلا يتضمن هذه القاعدة بمفرده. خارج سياق محدد بوضوح للمنطق الخطي، اتبع تعريفات المؤلف.
كيفية كتابة ⊸
Windows (Word)
Alt+Xاكتب 22B8 ثم اضغط Alt+X للحصول على ⊸.
Windows
Win+Rشغّل charmap لعرض الجدول الكامل، أو استخدم تبويب Ω في منتقي الإيموجي (Win + .).
macOS
Control+Command+Spaceافتح عارض المحارف وابحث عن «multimap».
Linux
Ctrl+Shift+Uاكتب 22b8 ثم اضغط Enter أو Space.
HTML
⊸CSS
\22B8الأكواد والترميزنقاط الترميز: 1
HTML عشري
⊸
HTML سداسي عشري
⊸
محتوى CSS
content: "\22B8";
ينتهي كل تسلسل هروب عند الشرطة المائلة العكسية التالية؛ تلزم مسافة قبل رقم سداسي عشري يُكتب حرفيًا.
ترميز URL
%E2%8A%B8
1
على الشاشة
1
نقاط الترميز
1
JS .length
3
بايتات UTF-8
قد يتكون الرمز الظاهر من عدة نقاط ترميز. تحسب JS .length وحدات UTF-16، بينما يحسب UTF-8 البايتات.