⊨

U+22A8 · TRUE

True

CodepointU+22A8
NameTRUE
Decimal8872
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 A8`	3 bytes
UTF-16	`22A8`	1 code unit
UTF-32	`000022A8`	4 bytes
HTML named	`&vDash;`	named character reference
HTML named	`&DoubleRightTee;`	named character reference
HTML decimal	`⊨`
HTML hex	`⊨`
CSS	`\22A8`	in content: "…"
JavaScript	`\u22A8`
JSON	`\u22A8`
Python	`\u22A8`
Python	`\N{TRUE}`	by name
Java / C#	`\u22A8`
C / C++	`\u22A8`	universal character name
Rust / Swift / PHP	`\u{22A8}`
Go	`\u22A8`
Ruby	`\u22A8`
Excel / Sheets	`=UNICHAR(8872)`
URL-encoded	`%E2%8A%A8`	percent-encoded UTF-8

§

Characters built on ⊨

U+22AD⊭Not True

§

Nearby in Mathematical Operators

All in block →

U+22A2⊢Right Tack U+22A3⊣Left Tack U+22A4⊤Down Tack U+22A5⊥Up Tack U+22A6⊦Assertion U+22A7⊧Models U+22A9⊩Forces U+22AA⊪Triple Vertical Bar Right Turnstile U+22AB⊫Double Vertical Bar Double Right Turnstile U+22AC⊬Does Not Prove U+22AD⊭Not True U+22AE⊮Does Not Force