Symbol Soup
Search Unicode characters
⌘K
Unicode
Blocks
Mathematical Operators
U+22A6
U+22A6
ASSERTION
⊦
=
alias
reduces to