U+22A8 "⊨" True Unicode Character
Unicode Version 18.0
Source: Browser Default
U+22A8 "⊨" True is a mathematical symbol known as the double turnstile, which is commonly used in logic and formal semantics to denote semantic entailment or logical truth, indicating that a particular formula or proposition is true under all interpretations of a given model.
General Properties
Code Point
U+22A8
Name
True
Mirrored Character
Encodings
HTML Decimal Encoding
⊨
HTML Hex Encoding
⊨
UTF-8 Encoding
0xE2 0x8A 0xA8
UTF-16 Encoding
0x22A8
UTF-32 Encoding
0x000022A8
C/C++/Java Escape
\u22a8
Unicode Properties
Numeric Value
NaN
Script Extensions
Common