SymbolFYI

There Exists

2203 · Mathematical Operators · Zyyy

概要 There Exists

Existential quantifier (U+2203) from the Mathematical Operators block meaning 'there exists at least one' in predicate logic. Available as HTML entity ∃. Used in mathematical proofs to assert the existence of elements satisfying given conditions.

On this page

エンコード

Unicode ブロック U+2203
10進数 ∃
HTML 16進数 ∃
HTML エンティティ ∃
CSS \2203
JavaScript \u{2203}
Python \u2203
Java \u2203
UTF-8 16進数 e2 88 83
UTF-16 22 03
URLエンコード %E2%88%83

Unicode プロパティ

Block
Mathematical Operators
Script
Zyyy
Category
Math Symbol (Sm)
Bidirectional
ON

類似記号

比較

よくある質問

What is the ∃ There Exists symbol?

∃ is the There Exists symbol, encoded at Unicode 2203.

What is the Unicode codepoint of There Exists?

The There Exists symbol (∃) has codepoint 2203.

How do I type or copy There Exists?

Copy ∃ directly, or use the HTML entity, CSS, JavaScript, and Python encodings shown on this page.