Using Hex Code: ⊧
Using HTML Code: ⊧
Using Named Entity: ⊧
Using CSS Entity:
Model theory: M ⊧ φ
Lines: 0 | Characters: 0