@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)

comments (single view)

(my nickname is still @here in the tbg discord)

View all comments