Is there logical quantifier for unique element

Question

I know $\exists$ means at least one element and here is answer for at most one. I have read that $!\exists$ means exactly one element, but can anyone confirm that?

Answer 1

To denote that there exists a unique $x$ such that a statement $P(x)$ is true, we usually write:

$$\exists!x: P(x)$$