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.
... channel through their ordinary channels BBC1 and BBC2, using terrestrial signals, and this is seen by some as influential (to a certain limited extent) in promoting the ...