Search Unicode characters ⌘K

Unicode
Blocks
Mathematical Operators
U+22A3

U+22A3 LEFT TACK

⊣

alias reverse turnstile
alias non-theorem, does not yield

Character data from Unicode version 17.0.0.

© 1970 Kurt Bruns · Licenses

About Glossary API