Symbol using Named Entity: ⊬
Symbol using Hex Code: ⊬
Symbol using HTML Code: ⊬
Symbol using CSS Entity:
Typed directly: ⊬
Example: T ⊬ φ means T does not prove φ. Positive uses ⊢.
Lines: 0 | Characters: 0