Symbol Soup
Search Unicode characters
⌘K
Unicode
Blocks
Mathematical Operators
U+2200
U+2200
FOR ALL
∀
=
alias
universal quantifier