U+22A7, ⊧
MODELS

[U+22A6]
Mathematical Operators
[U+22A8]