Unicode Mathematical Operators

⊬

U+22AC

0x22AC

DOES NOT PROVE

does not prove