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.
... - 4th century Decades: 190s 200s 210s 220s 230s - 240s - 250s 260s 270s 280s 290s Years: 237 238 239 240 241 - 242 - 243 244 245 246 247 Events Patriarch ...