Code point
Block: Mathematical Operators (2200 – 22FF)
⊬
U+22AC
\u22AC
<span aria-label="DOES NOT PROVE">⊬</span>