U+22A6, ⊦
ASSERTION

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