Symbol Soup
Search Unicode characters
⌘K
Unicode
Blocks
Mathematical Operators
U+22A8
TRUE
⊨
Copy
Copy as PNG
Copy as SVG
Download as PNG
Download as SVG
U+22A8
Properties
Category
Math Symbol
Script
Common
Annotations
=
alias
statement is true, valid
=
alias
is a tautology
=
alias
satisfies
=
alias
results in