Logical quantifiers are used in first order logic and in logic of higher order.
The existential quantifier, i.e. there exists at least one, is denoted with the inverted latin character .
The uniqueness quantifier, i.e. there exists one and only one, is denoted with .
The universal quantifier, i.e. for all, is denoted with the inverted latin character .