Unique Existence

$!\exists x,P(x)$ This means there is only one x that satisfies P(x)

Longer Notation:

$\exists x,P(x)\wedge \forall x,y,(P(x)\wedge P(y))⟹x=y$