Symbol Soup
Search Unicode characters
⌘K
Unicode
Blocks
Supplemental Mathematical Operators
U+2AE4
U+2AE4
VERTICAL BAR DOUBLE LEFT TURNSTILE
⫤
→
cross-reference
U+22A8
⊨
TRUE