The unique existential quantifer is the symbol ∃!. For example,
means "there exists an unique x such that x-2 = 4".
History of the Quantifer
TODO
See Existential quantification for details.
... the x-axis in two points.) If the discriminant is negative, then there are two different solutions x, both of which are complex numbers. The two solutions are complex ...