Що означає ⊤
Залежно від позначень, він означає істину, тавтологію або найбільший елемент. У логіці це може бути verum — латинська назва істини — або тавтологія, тобто твердження, істинне за будь-яких умов. Теорія ґраток вивчає впорядковані структури; у ній ⊤ позначає найбільший елемент. У теорії типів він може позначати твердження, істинне завжди.
У нотатці про APL за 2000 рік описано дві конкуруючі системи назв символів типу tack — Bosworth і London. APL — мова програмування з власними математичними позначеннями.
Формальні позначення в логіці, теорії ґраток і теорії типів.
Не плутайте з
2Як набрати ⊤
Windows (Word)
Alt+XВведіть 22A4, потім натисніть Alt+X, щоб отримати ⊤.
Windows
Win+RЗапустіть charmap для повної таблиці або скористайтеся вкладкою Ω у панелі емодзі (Win + .).
macOS
Control+Command+SpaceВідкрийте переглядач символів і знайдіть «down tack».
Linux
Ctrl+Shift+UВведіть 22a4, потім натисніть Enter або пробіл.
HTML
⊤CSS
\22A4LaTeX
У математичному режимі LaTeX введіть `\top`.
Коди й кодуванняКодових точок: 1
HTML десятковий
⊤
HTML шістнадцятковий
⊤
Вміст CSS
content: "\22A4";
Кожна escape-послідовність закінчується наступною зворотною скісною рискою; перед звичайною шістнадцятковою цифрою потрібен пробіл.
Кодування URL
%E2%8A%A4
1
На екрані
1
Кодові точки
1
JS .length
3
Байти UTF-8
Видимий символ може містити кілька кодових точок. JS .length рахує одиниці UTF-16, а UTF-8 — байти.