🔍

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

››

⨡

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

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

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

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

Що означає ⨡

Поєднує дві схеми й залишає тільки змінні другої. Нотація Z описує засобами теорії множин і логіки, що має робити комп’ютерна система; її розвивали в Оксфордському університеті з кінця 1970-х, і застосовують її для програм, де ціна помилки висока. Основна одиниця — схема: іменована рамка, де оголошено змінні та умови, яким вони мають відповідати.

S ⨡ T означає: узяти все, чого разом вимагають S і T (як у кон’юнкції S T), а потім приховати кожну змінну, не оголошену в T. Правила S і далі діють, але ззовні видно лише назви з T.

Входить до добірок

Не плутайте з

ᛚ

Рунічна літера L

Руна лагуз, літера рунічного письма; ⨡ — математичний оператор, словами ним не пишуть.

Варто знати

Unicode 3.2 у 2002 році додав низку операторів нотації Z — того ж року Z стала міжнародним стандартом ISO/IEC 13568.

Запитання користувачів

Чим проєкція відрізняється від приховування?

Приховування називає, що відкинути; проєкція — що залишити, через другу схему, чиї змінні зберігаються.

Чому ⨡ показується квадратиком?

У вашому шрифті його немає. Математичні шрифти, як-от Cambria Math чи STIX Two, його мають.

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

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

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-розмітка для Z, як-от Community Z Tools, записує його як \project.

Word (Windows)

Наберіть 2A21 і натисніть AltX.

HTML

На вебсторінці пишіть ⨡.

Коди й кодуванняКодових точок: 1

HTML десятковий

⨡

HTML шістнадцятковий

⨡

Вміст CSS

content: "\2A21";

Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.

Кодування URL

%E2%A8%A1

На екрані

Кодові точки

JS .length

Байти UTF-8

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

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

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

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