Unicode Character
Reference details for U+22AF in the Mathematical Operators block. The full explorer and side panel load next, but the canonical page context is available immediately.
The interactive explorer is loading. These canonical links and summaries are available immediately.
U+22AF
Negated version of the double-vertical-bar turnstile.
Category
Math_Symbol
Unicode label
U+22AF
Canonical URL
/mathematical-operators/negated-double-vertical-bar-double-right-turnstile
Adjacent canonical character links in the current block.
MODELS
U+22A7
TRUE
U+22A8
FORCES
U+22A9
TRIPLE VERTICAL BAR RIGHT TURNSTILE
U+22AA
DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
U+22AB
DOES NOT PROVE
U+22AC
NOT TRUE
U+22AD
DOES NOT FORCE
U+22AE
PRECEDES UNDER RELATION
U+22B0
SUCCEEDS UNDER RELATION
U+22B1
NORMAL SUBGROUP OF
U+22B2
CONTAINS AS NORMAL SUBGROUP
U+22B3
NORMAL SUBGROUP OF OR EQUAL TO
U+22B4
CONTAINS AS NORMAL SUBGROUP OR EQUAL TO
U+22B5
ORIGINAL OF
U+22B6
IMAGE OF
U+22B7