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

Проєкція схеми в нотації Z

Проєкція схеми в нотації Z

34/256

⨡ — оператор проєкції схеми в нотації Z: він поєднує умови двох схем, але залишає лише назви з другої. Так формальна специфікація зберігає обмеження, показуючи менше змінних.

Текстовий символ

Що означає ⨡

Він зберігає умови обох схем, але показує лише назви з другої. Схема Z об’єднує іменовані змінні та умови; оголошені назви утворюють її сигнатуру.

У виразі S ⨡ T значення мають задовольняти обидві схеми, але видимими залишаються лише назви з T. Приховування схеми (S \ (x)) натомість указує, яку змінну приховати. В оксфордському звіті 1984 року Z описано як мову для специфікації комп’ютерних систем. Стандарт ISO визначає проєкцію як оператор схем; шрифти можуть по-різному показувати ⨡ або не містити цього знака.

Як набрати чи знайти ⨡

Шукайте як
zproject · проєкція Z · проєкція схеми · проєкція в нотації Z · команда LaTeX project
Використовується в
У будь-якому текстовому полі · його вигляд залежить від шрифту
Windows (Word)
⎇Alt+XВведіть 2A21, потім натисніть AltX, щоб отримати ⨡.
Windows
⊞Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win .).
macOS
⌃Control+⌘Command+␣SpaceВідкрийте переглядач символів і знайдіть «z notation schema projection».
Linux
⎈Ctrl+⇧Shift+UВведіть 2a21, потім натисніть Enter або пробіл.
HTML
⨡
CSS
\2A21
LaTeX для Z
У LaTeX-розмітці Community Z Tools для ⨡ використовують \project.
Коди й кодуванняКодових точок: 1
HTML десятковий
⨡
HTML шістнадцятковий
⨡
Вміст CSS
content: "\2A21";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%A8%A1
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8

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

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

1

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

1️⃣📏📐✖️➕➖➗🟰♾️#️⃣*️⃣0️⃣