Tag wiki for predicate-logic says:
Questions concerning predicate calculus, i.e. the logic of quantifiers
and for quantifiers it says:
The quantifiers ∀ ("for all") and ∃ ("there exists") are what distinguishes predicate calculus from propositional logic.
These appear to be the same. I suggest that we alias one to the other.