Built with Named: ⊩
Built with Hex: ⊩
Built with Decimal: ⊩
Built with CSS:
Typed: ⊩
Sequent: Γ ⊩ φ
Compare: ⊩ vs ⊮
Lines: 0 | Characters: 0