# ⊭ U+22AD NOT TRUE

Double turnstile crossed with a slash, meaning not true, does not satisfy, or does not entail in logic.

| | |
|---|---|
| Character | `⊭` |
| Codepoint | U+22AD |
| Name | NOT TRUE |
| Block | [Mathematical Operators](https://unicodekit.com/block/mathematical-operators) |
| Script | Common |
| Category | Math Symbol (Sm) |
| Unicode version | 1.1 |
| HTML | `&#8877;` `&#x22AD;` |
| CSS | `\22AD` |
| JavaScript | `\u22AD` |
| UTF-8 | E2 8A AD |
| UTF-16 | 22AD |
| Decomposition | canonical U+22A8 U+0338 |

## Related characters

- ⊬ [U+22AC DOES NOT PROVE](https://unicodekit.com/char/22AC)
- ⊮ [U+22AE DOES NOT FORCE](https://unicodekit.com/char/22AE)
- ⊫ [U+22AB DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE](https://unicodekit.com/char/22AB)
- ⊯ [U+22AF NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE](https://unicodekit.com/char/22AF)
- ⊪ [U+22AA TRIPLE VERTICAL BAR RIGHT TURNSTILE](https://unicodekit.com/char/22AA)
- ⊰ [U+22B0 PRECEDES UNDER RELATION](https://unicodekit.com/char/22B0)
- ⊩ [U+22A9 FORCES](https://unicodekit.com/char/22A9)
- ⊱ [U+22B1 SUCCEEDS UNDER RELATION](https://unicodekit.com/char/22B1)
- ⊨ [U+22A8 TRUE](https://unicodekit.com/char/22A8)
- ⊲ [U+22B2 NORMAL SUBGROUP OF](https://unicodekit.com/char/22B2)
- ⊧ [U+22A7 MODELS](https://unicodekit.com/char/22A7)
- ⊳ [U+22B3 CONTAINS AS NORMAL SUBGROUP](https://unicodekit.com/char/22B3)

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