Symbol Soup
Search Unicode characters
⌘K
Unicode
Blocks
Mathematical Operators
U+22A3
LEFT TACK
⊣
Copy
Copy as PNG
Copy as SVG
Download as PNG
Download as SVG
U+22A3
Properties
Category
Math Symbol
Script
Common
Annotations
=
alias
reverse turnstile
=
alias
non-theorem, does not yield
