Символ для квантора существования (экзистенциального квантификатора) менялся в истории математической логики следующим образом:

• Концепция квантора была предложена в 1879 году в книге Готлоба Фреге Begriffsschrift («Исчисление понятий»). 14 При этом Фреге не разрабатывал явных обозначений для экзистенциальной количественной оценки, вместо этого использовал противопоставления. 5
• Общепринятым символом для квантора существования стал знак ∃ (от англ. exist — существование), введённый итальянским математиком Джузеппе Пеано в 1897 году. 1
• Существует модификация этого квантора — квантор существования и единственности, который обозначается ∃ ! и читается «существует и единственный». 1