RIGHT TACK

Codepoint
U+22A2
Literal Character
Name
RIGHT TACK
Sketch
........
........
........
........
........
........
........
........
........
........
........
........
........
........
........
........
Aliases
turnstile
proves, implies, yields
reducible
Control Character
no
Subblock
Operators
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}