Using Hex Code: ⊬
Using HTML Code: ⊬
Example: T ⊬ φ (T does not prove φ)
Proves uses ⊢ (⊢) — not the same as ⊬
Using CSS Entity:
Lines: 0 | Characters: 0