Що означає ⧹
Вона приховує вибрані змінні, але не скасовує їхніх обмежень. Нотація Z — формальний спосіб опису програмного забезпечення. Схема — це іменований набір змінних і умов. Після приховування вибрані назви не видно, але специфікація все одно вимагає значень, за яких виконуються відповідні умови.
Стандарт Z Base описував це застосування ще 1992 року.
Не плутайте з
2∖\
Знак різниці множин
Unicode пов’язує ∖ з різницею множин: елементи однієї множини вилучають з іншої. У нотації Z символ ⧹ призначений саме для приховування назв у схемі.
Зворотна скісна риска
Звичайна зворотна скісна риска — це клавіатурний символ, який використовують у шляхах до файлів і програмуванні. Цей математичний знак має окреме призначення в нотації Z.
Як набрати ⧹
Windows (Word)
Alt+XВведіть 29F9, потім натисніть Alt+X, щоб отримати ⧹.
Windows
Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win + .).
macOS
Control+Command+SpaceВідкрийте переглядач символів і знайдіть «big reverse solidus».
Linux
Ctrl+Shift+UВведіть 29f9, потім натисніть Enter або пробіл.
HTML
⧹CSS
\29F9LaTeX
Пакет `unicode-math` пов’язує команду `\xbsol` із символом ⧹.
Коди й кодуванняКодових точок: 1
HTML десятковий
⧹
HTML шістнадцятковий
⧹
Вміст CSS
content: "\29F9";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%A7%B9
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8
Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.