Що означає ⦇
Вона відкриває вираз образу відношення в Z-нотації.
Z — математична мова для точного опису програмного забезпечення та інших дискретних систем. У R⦇S⦈ відношення R пов’язує значення, а S є множиною; весь вираз позначає значення, пов’язані принаймні з одним елементом S.
Праця Жана-Раймона Абриаля над Z почалася наприкінці 1970-х. Дослідники в Оксфорді розвивали цю нотацію, а в 1980-х її використовували в промислових проєктах; згодом вона увійшла до навчання формальних методів.
Дуже технічний знак: указує на специфікацію Z або відношення в нотації стилю Z.
Закривайте його знаком ⦈, а не звичайною дужкою.
Ідеї комбінацій
1Образ множини S за відношенням R: значення, пов’язані принаймні з одним елементом S.
Як набрати ⦇
Windows (Word)
Alt+XВведіть 2987, потім натисніть Alt+X, щоб отримати ⦇.
Windows
Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win + .).
macOS
Control+Command+SpaceВідкрийте переглядач символів і знайдіть «z notation left image bracket».
Linux
Ctrl+Shift+UВведіть 2987, потім натисніть Enter або пробіл.
HTML
⦇CSS
\2987Коди й кодуванняКодових точок: 1
HTML десятковий
⦇
HTML шістнадцятковий
⦇
Вміст CSS
content: "\2987";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%A6%87
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8
Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.