- Codepoint
U+22A3- Literal Character
- ⊣
- Name
- LEFT TACK
- Sketch
- ........
........
........
........
........
........
........
........
........
........
........
........
........
........
........
........
- Aliases
-
reverse turnstile
non-theorem, does not yield
- Control Character
- no
- Block
- Mathematical Operators
- Subblock
- Operators
- UTF-8 byte encoding
e2 8a a3- UTF-16 byte encoding
22 a3(big endian)- HTML Entity
⊣- Perl string literal
\x{22A3}