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

Мультимапа

Мультимапа

185/256

У лінійній логіці ⊸ означає, що з ресурсу A можна отримати B, витративши A в цьому процесі. Символ трапляється в доведеннях і типових системах програмування, які відстежують використання ресурсів. Його вигляд залежить від шрифту, тож у звичайному тексті та набраних формулах він може відрізнятися.

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

Що означає ⊸

Вхідний ресурс A витрачається, щоб отримати B.

Лінійна логіка — це спосіб міркувати з відстеженням ресурсів: передумову не можна просто використати повторно чи відкинути. Коли застосовують A ⊸ B, ресурс A витрачається, щоб отримати B.

Жан-Ів Жирар запровадив лінійну логіку в 1987 році; у її позначеннях ⊸ означає лінійну імплікацію.

Спеціальне позначення в лінійній логіці та типових системах програмування, які відстежують ресурси.

Не читай його як звичайне «якщо A, то B»: застосування витрачає A.

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

1

⊸ означає те саме, що й ?

Ні. У лінійній логіці ⊸ відстежує використання ресурсу, а звичайна стрілка сама по собі такого правила не містить. Якщо контекст не визначено як лінійну логіку, керуйся визначеннями автора.

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

Також називають
lolli · лінійна імплікація
Шукайте як
лінійна логіка · символ мультимапи
Використовується в
У будь-якому текстовому полі · його вигляд залежить від шрифту
Windows (Word)
⎇Alt+XВведіть 22B8, потім натисніть AltX, щоб отримати ⊸.
Windows
⊞Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win .).
macOS
⌃Control+⌘Command+␣SpaceВідкрийте переглядач символів і знайдіть «multimap».
Linux
⎈Ctrl+⇧Shift+UВведіть 22b8, потім натисніть Enter або пробіл.
HTML
⊸
CSS
\22B8
Коди й кодуванняКодових точок: 1
HTML десятковий
⊸
HTML шістнадцятковий
⊸
Вміст CSS
content: "\22B8";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%8A%B8
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8

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

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

1

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

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