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