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