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