Home
Random
Log in
Settings
Donations
About Wiktionary
Disclaimers
Search
∃!
Language
Watch
Edit
See also:
티
,
∃
,
Ǝ
,
∄
,
and
Appendix:Variations of "e"
Translingual
edit
Symbol
edit
∃
!
(
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
edit
∀
∃
Categories
:
Translingual lemmas
Translingual symbols
Translingual terms spelled with ∃
Translingual terms spelled with !
mul:Mathematics
Hidden category:
Translingual terms with redundant script codes