Що означає ⦉
Вона відкриває зв’язування в нотації Z.
Зв’язування поєднує назви компонентів зі значеннями, а типи схем оголошують їхні типи. У записі ⦉x:X⦊ компонент x має назву й тип X, але йому не присвоюють значення.
У 1984 році вийшла праця про формальну семантику Z. Технічний документ Z Base Standard надрукували в 1992 році; він визначає розширення зв’язування як відповідності між назвами й виразами. Ці роки показують історію ідеї зв’язування, а не походження саме цієї дужки.
Спеціальна нотація для формальних специфікацій Z.
Відкривальна ⦉ потребує закривальної ⦊.
Не плутайте з
1Ідеї комбінацій
1Оголошення типу схеми: компонент x має тип X.
Як набрати ⦉
Windows (Word)
Alt+XВведіть 2989, потім натисніть Alt+X, щоб отримати ⦉.
Windows
Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win + .).
macOS
Control+Command+SpaceВідкрийте переглядач символів і знайдіть «z notation left binding bracket».
Linux
Ctrl+Shift+UВведіть 2989, потім натисніть Enter або пробіл.
HTML
⦉CSS
\2989Набір Z
Система набору тексту для Z може визначати команду `\lblot` для цієї відкривальної дужки.
Код Java
У коді Java напишіть `\u2989`, щоб позначити цей символ.
Коди й кодуванняКодових точок: 1
HTML десятковий
⦉
HTML шістнадцятковий
⦉
Вміст CSS
content: "\2989";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%A6%89
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8
Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.