∃

Summary

∃ is an Unicode character^[1]. ∃ is known by 21 alternative names across languages and contexts.^[2]

Key Facts

• ∃'s instance of is recorded as Unicode character^[3].
• ∃ is used for logical quantification^[4].
• ∃ is used for mathematical symbol^[5].
• ∃ is used for existential quantification^[6].
• ∃'s Commons category is recorded as Existential quantification symbol^[7].
• ∃ is the opposite of Q87524416^[8].
• ∃'s Unicode character is recorded as ∃^[9].
• ∃'s different from is recorded as Ǝ/ǝ^[10].
• ∃'s TeX string is recorded as \exists^[11].
• ∃'s Unicode code point is recorded as 2203^[12].
• ∃'s HTML entity is recorded as ∃^[13].
• ∃'s HTML entity is recorded as ∃^[14].
• ∃'s HTML entity is recorded as ∃^[15].
• ∃'s HTML entity is recorded as ∃^[16].
• ∃'s Unicode block is recorded as Mathematical Operators^[17].
• ∃'s Unicode character name is recorded as THERE EXISTS^[18].

Body

Definition and Type

∃'s instance of is recorded as Unicode character^[3]. ∃ is the opposite of Q87524416^[8].

Use and Application

Recorded has use include logical quantification^[4], mathematical symbol^[5], and existential quantification^[6].

Why It Matters

∃ is known by 21 alternative names across languages and contexts.^[2]