@everyone ∀ (Twilight)
@nobody ∀¬ (Gilbert)
@someone ∃ (Seanbobe)
@someone else ∃¬ (Byron)
@person ∃!
@not a person ∃!¬
@can be a person ◇
@could be a person □
@here ∃xC(x) (PkmnQ)
@there ∃x¬C(x) (TB148)
@¬ ¬ (TB148)
(my nickname is still @here in the tbg discord)