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

The "at most one" quantifier is defined here.

Predicate calculus