# ⊨ U+22A8 TRUE

Double turnstile, a vertical bar with an equals sign, meaning satisfies, valid, entails, or is a tautology in logic.

| | |
|---|---|
| Character | `⊨` |
| Codepoint | U+22A8 |
| Name | TRUE |
| Also known as | is a tautology, results in, satisfies, statement is true, valid |
| Block | [Mathematical Operators](https://unicodekit.com/block/mathematical-operators) |
| Script | Common |
| Category | Math Symbol (Sm) |
| Unicode version | 1.1 |
| HTML | `⊨` `⊨` |
| CSS | `\22A8` |
| JavaScript | `\u22A8` |
| UTF-8 | E2 8A A8 |
| UTF-16 | 22A8 |

## Related characters

- ⊧ [U+22A7 MODELS](https://unicodekit.com/char/22A7)
- ⊩ [U+22A9 FORCES](https://unicodekit.com/char/22A9)
- ⊦ [U+22A6 ASSERTION](https://unicodekit.com/char/22A6)
- ⊪ [U+22AA TRIPLE VERTICAL BAR RIGHT TURNSTILE](https://unicodekit.com/char/22AA)
- ⊥ [U+22A5 UP TACK](https://unicodekit.com/char/22A5)
- ⊫ [U+22AB DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE](https://unicodekit.com/char/22AB)
- ⊤ [U+22A4 DOWN TACK](https://unicodekit.com/char/22A4)
- ⊬ [U+22AC DOES NOT PROVE](https://unicodekit.com/char/22AC)
- ⊣ [U+22A3 LEFT TACK](https://unicodekit.com/char/22A3)
- ⊭ [U+22AD NOT TRUE](https://unicodekit.com/char/22AD)
- ⊢ [U+22A2 RIGHT TACK](https://unicodekit.com/char/22A2)
- ⊮ [U+22AE DOES NOT FORCE](https://unicodekit.com/char/22AE)

Page: https://unicodekit.com/char/22A8 · JSON: https://unicodekit.com/characters/22A8