∃!

See also: 티, ∃, Ǝ, ∄, and Appendix:Variations of "e"

Translingual

Symbol

(mathematics) The symbol used in predicate calculus, etc, to represent the unique existential quantifier, meaning "there exists exactly one".
(∃!x: P(x)) ↔ ∃x:(P(x) ∧ ∀y:(P(y) → (y = x)))

See also

∀
∃

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.