At Most One Quantifier ∃*

The expression (E* x ph) means that there is at most one value of x that satisfies the expression φ.

Definition

The "at most one" quantifier is defined here.