⊢

U+22A2 · RIGHT TACK

Right Tack

CodepointU+22A2
NameRIGHT TACK
Decimal8866
BlockMathematical Operators (U+2200–U+22FF)
Plane0 — Basic Multilingual Plane
ScriptCommon
CategorySm — Math Symbol
Unicode version1.1 (1993)
Bidi classON — Other Neutral
Combining class0
East Asian widthN — Neutral
MirroredYes

§

Encodings & escapes

UTF-8 encoder →

UTF-8	`E2 8A A2`	3 bytes
UTF-16	`22A2`	1 code unit
UTF-32	`000022A2`	4 bytes
HTML named	`&vdash;`	named character reference
HTML named	`&RightTee;`	named character reference
HTML decimal	`⊢`
HTML hex	`⊢`
CSS	`\22A2`	in content: "…"
JavaScript	`\u22A2`
JSON	`\u22A2`
Python	`\u22A2`
Python	`\N{RIGHT TACK}`	by name
Java / C#	`\u22A2`
C / C++	`\u22A2`	universal character name
Rust / Swift / PHP	`\u{22A2}`
Go	`\u22A2`
Ruby	`\u22A2`
Excel / Sheets	`=UNICHAR(8866)`
URL-encoded	`%E2%8A%A2`	percent-encoded UTF-8

§

Characters built on ⊢

U+22AC⊬Does Not Prove

§

Nearby in Mathematical Operators

All in block →

U+229C⊜Circled Equals U+229D⊝Circled Dash U+229E⊞Squared Plus U+229F⊟Squared Minus U+22A0⊠Squared Times U+22A1⊡Squared Dot Operator U+22A3⊣Left Tack U+22A4⊤Down Tack U+22A5⊥Up Tack U+22A6⊦Assertion U+22A7⊧Models U+22A8⊨True