gilbert189 @gilbert189
@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)
Sep 4, 2022, 3:17 AM
2
View all

comments

Highlighted comment

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