True
Part of Math Symbols
True has no standard Windows Alt code. Copy the character directly, or use its HTML entity or Unicode value instead.
- Alt code
- None
- HTML entity
- ⊨
- Unicode
- U+22A8
About this symbol
The double turnstile ⊨ means “is true in” or “follows from”: A ⊨ B says that B is true in every case where A is. It is the partner of ⊢, “can be proved”, and the difference between the two is one of the central questions of logic.
Unicode facts
- Official name
- TRUE
- Also called
- Statement is true, valid, Is a tautology, Satisfies, Results in
- Type
- Maths symbol
- Unicode block
- Mathematical Operators
- Unicode group
- Relations
- Added in
- Unicode 1.1 (1993)
Click the symbol or any value at the top of the page to copy it. See the full Math Symbols chart for related characters.