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

Z Notation Spot

Z Notation Spot

⦁ відділяє в нотації Z оголошення від виразу, який оцінюють. Після ∃ її читайте як «такий, що»; після ∀ вона вводить умову, яка має виконуватися. Це символ формальної специфікації, а не декоративний маркер списку.

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

Що означає ⦁

Вона відділяє оголошення від наступного предиката чи виразу. У ∃ x : S ⦁ P деяке x із S робить P істинним. У ∀ x : S ⦁ P кожне x із S має задовольняти P.

Не плутайте з

3
•
Маркер списку
Звичайний маркер списку без ролі у граматиці Z.
∙
Оператор маркера
Математичний оператор-крапка, а не роздільник Z.
●
Чорне коло
Більше чорне коло з іншою функцією.

Ідеї комбінацій

2
Існує x у S, для якого виконується P.
Кожне x у S має задовольняти P.

Як набрати ⦁

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

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

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

1

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

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