∀
Для всех
- Unicode
- U+2200
- Категория
- Математика
- HTML Entity
- ∀
- CSS
- \2200
Символ ∀ — это квантор всеобщности, который в математике и формальной логике читается как «для всех», «для любого» или «каждый». Изначально эту перевёрнутую букву «А» (от немецкого Alle — все) ввёл математик Герхард Генцен для компактной записи длинных теорем. Сегодня этот значок встречается не только в универовских конспектах по матану, но и в никнеймах или эстетичных постах соцсетей, где его используют вместо обычной заглавной А, чтобы стилизовать текст.
Как набрать
- Windows
- Alt + 8704 (на цифровом блоке) или введи 2200, а затем нажми Alt+X (в Word)
- macOS
- Control + Command + Space, затем поиск по слову «forall»
- Linux
- Ctrl + Shift + U, затем 2200 и Space
- HTML
- ∀ или ∀
В программировании
В академической среде и технической документации символ чаще всего рендерится через движок LaTeX с помощью команды \forall. В языках программирования с поддержкой юникода (например, Agda или Lean) значок используется напрямую в коде для записи полиморфных типов и доказательства теорем.
Теги
Alle
Генцен
для каждого
для любого
квантор
квантор всеобщности
логика
математика
математическая логика
перевёрнутая A
перевёрнутая буква а
символ для всех
универсальный
формальная логика
формула