Categories
October Surprise 2024

What is the origin of the quantifier symbols āˆ€ and ∃?

It’s pretty natural how they stand for the phrases “For āˆ€ll” and “There ∃xists”, but I was wondering who was the first to use these symbols, and if they had any related meaning before this use.