About NEGATED DOUBLE VERTICAL BAR DOUBLE RIGHT TURNSTILE
Negated Double Vertical Bar Double Right Turnstile (U+22AF) is a Unicode math symbol from the Mathematical Operators block. It resides on Plane 0 (BMP, Basic Multilingual Plane), has bidirectional class ON (other neutrals), is mirrored, and has combining class 0 (Not Reordered). In HTML it can be written as ⊯ or ⊯.