# ⊯ U+22AF NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE

Double bar double turnstile crossed out with a slash, the negated form of that logic relation.

| | |
|---|---|
| Character | `⊯` |
| Codepoint | U+22AF |
| Name | NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE |
| Block | [Mathematical Operators](https://unicodekit.com/block/mathematical-operators) |
| Script | Common |
| Category | Math Symbol (Sm) |
| Unicode version | 1.1 |
| HTML | `⊯` `⊯` |
| CSS | `\22AF` |
| JavaScript | `\u22AF` |
| UTF-8 | E2 8A AF |
| UTF-16 | 22AF |
| Decomposition | canonical U+22AB U+0338 |

## Related characters

- ⊮ [U+22AE DOES NOT FORCE](https://unicodekit.com/char/22AE)
- ⊰ [U+22B0 PRECEDES UNDER RELATION](https://unicodekit.com/char/22B0)
- ⊭ [U+22AD NOT TRUE](https://unicodekit.com/char/22AD)
- ⊱ [U+22B1 SUCCEEDS UNDER RELATION](https://unicodekit.com/char/22B1)
- ⊬ [U+22AC DOES NOT PROVE](https://unicodekit.com/char/22AC)
- ⊲ [U+22B2 NORMAL SUBGROUP OF](https://unicodekit.com/char/22B2)
- ⊫ [U+22AB DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE](https://unicodekit.com/char/22AB)
- ⊳ [U+22B3 CONTAINS AS NORMAL SUBGROUP](https://unicodekit.com/char/22B3)
- ⊪ [U+22AA TRIPLE VERTICAL BAR RIGHT TURNSTILE](https://unicodekit.com/char/22AA)
- ⊴ [U+22B4 NORMAL SUBGROUP OF OR EQUAL TO](https://unicodekit.com/char/22B4)
- ⊩ [U+22A9 FORCES](https://unicodekit.com/char/22A9)
- ⊵ [U+22B5 CONTAINS AS NORMAL SUBGROUP OR EQUAL TO](https://unicodekit.com/char/22B5)

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