4 ms·
To save others from looking it up: upside down A: ∀ Capital Gamma: Γ Entailment symbol: ⊧ That last one would also be hard to represent in a 7 segment displ
by jerrre 5y ago
To save others from looking it up:
upside down A: ∀
Capital Gamma: Γ
Entailment symbol: ⊧
That last one would also be hard to represent in a 7 segment display, perhaps that would be the upside down F
- IIAOPSW 5y agoThe other entailment symbol. ⊢. Sometimes called "the turnstile".