Unicode Mathematical Operators

⊨

U+22A8

0x22A8

TRUE

true