Let S denote all mathematical symbols.

⋁ a symbol x ∈ S which has a nonzero set of worse alternatives f(x) = {x'}.

Lemma:
f("⋀") = {"∀"}
and
f("⋁") = {"∃"}

⋀ person who uses ∀∃, I say take a hike, ⋀⋁ forever! ∎

#mathematics #universal #existential #quantifier #symbol #notation