There is exactly one value of x for which x is true.
Example:
∃! x: f(x)
means there is exactly one value of x for which x is true.
© Symbols.com