fsymbols
Завантаження символів…
››
⦊

Права дужка зв’язування в нотації Z

Права дужка зв’язування в нотації Z

⦊ закриває зв’язування в нотації Z — математичній мові для формального опису програмного забезпечення та інших систем. Значення знака визначає формальний вираз, у якому він стоїть.

Текстовий символ
Шукайте як
нотація Z · дужка зв’язування · зв’язування Z · формальна специфікація
Використовується в
У будь-якому текстовому полі · його вигляд залежить від шрифту

Що означає ⦊

Вона закриває зв’язування Z. Зв’язування поєднує іменовані складники з відповідними значеннями або оголошеннями в один структурований об’єкт.

Парним відкривальним знаком є ⦉; разом вони позначають початок і кінець цього об’єкта у формальному виразі.

Коли розвинулася нотація Z?

У 1970-х і 1980-х роках. Нотація Z виросла з теорії множин, що вивчає сукупності, та логіки предикатів, що розглядає твердження про об’єкти. Вона стала формальним способом опису програмного забезпечення та інших дискретних систем.

Вузькоспеціальний знак; доречний у специфікаціях Z і математичному наборі.

Поза виразом Z його можна сприйняти як звичайну праву дужку.

Не плутайте з

1

Як набрати ⦊

Windows (Word)
Alt+XВведіть 298A, потім натисніть Alt+X, щоб отримати ⦊.
Windows
Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win + .).
macOS
Control+Command+SpaceВідкрийте переглядач символів і знайдіть «z notation right binding bracket».
Linux
Ctrl+Shift+UВведіть 298a, потім натисніть Enter або пробіл.
HTML
⦊
CSS
\298A
Коди й кодуванняКодових точок: 1
HTML десятковий
⦊
HTML шістнадцятковий
⦊
Вміст CSS
content: "\298A";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%A6%8A
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8

Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.

Групи цього символу

1

Математика й числаСимволів: 1 835