U+22AB "⊫" Double Vertical Bar Double Right Turnstile Unicode Character
Unicode Version 17.0
U+22AB "⊫" Double Vertical Bar Double Right Turnstile is a logical symbol primarily used in formal logic and model theory to denote the relation of logical consequence or semantic entailment, often read as "double turnstile" or "logically implies." It specifically represents a strengthened form of the turnstile symbol (⊢), indicating that a conclusion necessarily follows from a set of premises in all interpretations or models. In metalogic, it is frequently employed to express that a formula is valid or that a theory entails a particular statement under a given semantics, distinguishing semantic truth from syntactic derivability. The symbol consists of two vertical bars on the left and two rightward-facing arrows on the right, and while it shares visual similarity with the "true" symbol (⊤) or other turnstile variants, its function is contextually tied to model-theoretic relationships.
General Properties
Encodings
| HTML Decimal Encoding |
⊫ |
| HTML Hex Encoding |
⊫ |
| UTF-8 Encoding |
0xE2 0x8A 0xAB |
| UTF-16 Encoding |
0x22AB |
| UTF-32 Encoding |
0x000022AB |
| C/C++/Java Escape |
\u22ab |
Unicode Properties