Exists uniquely mathematical notation

Exists uniquely is a recurring research-paper notation family. States that at least one object satisfies a condition and that no two distinct objects can both satisfy it.

Exists uniquely: States that at least one object satisfies a condition and that no two distinct objects can both satisfy it. Example: One and only one member of A satisfies P.