ماذا يعني ⦇
يفتتح تعبير صورة العلاقة في تدوين Z.
Z لغة رياضية لوصف البرمجيات والأنظمة المتقطعة الأخرى بدقة. في R⦇S⦈، تربط العلاقة R بين القيم، وتمثل S مجموعة؛ ويحدد التعبير القيم المرتبطة بعنصر واحد على الأقل من S.
بدأ عمل جان ريمون أبريال على Z في أواخر سبعينيات القرن العشرين. وطوّر باحثون في أكسفورد التدوين، واستُخدم في مشاريع صناعية خلال ثمانينيات القرن العشرين؛ ثم دخل لاحقًا في تدريس الأساليب الشكلية.
رمز تقني للغاية: يشير إلى مواصفة Z أو تدوين للعلاقات على نمط Z.
أغلقه بالرمز ⦈، لا بقوس عادي.
أفكار للتركيبات
1كيفية كتابة ⦇
⦇\2987الأكواد والترميزنقاط الترميز: 1
قد يتكون الرمز الظاهر من عدة نقاط ترميز. تحسب JS .length وحدات UTF-16، بينما يحسب UTF-8 البايتات.
