| Property | Value |
|---|---|
| Codepoint | U+22A2 |
| Literal Character | ⊢ |
| Name | RIGHT TACK |
| Sketch | ........ ........ ........ ........ ........ ........ ........ ........ ........ ........ ........ ........ ........ ........ ........ ........ |
| Aliases |
turnstile proves, implies, yields reducible |
| Control Character | no |
| Block | Mathematical Operators |
| Subblock | Letters |
| UTF-8 byte encoding | e2 8a a2 |
| UTF-16 byte encoding | 22 a2 (big endian) |
| HTML Entity | ⊢ |
| LaTeX expression | $\vdash$ |
| Perl string literal | \x{22A2} |