U+22A8, ⊨
TRUE

[U+22A7]
Mathematical Operators
[U+22A9]