U+22A8, ⊨
TRUE

[U+22A7]
Математички Оператори
[U+22A9]