U+22AC ⊬ - DOES NOT PROVE

Range: Mathematical Operators

Unicode NumberU+22AC
HTML Entity⊬