∃ 存在量词
U+2203∃
128px
∃含义与说明
存在符号存在算子存在量词符号存在量化符
∃ 是数学中的存在量词符号，读作“存在”，用来表示“至少有一个元素满足某种条件”。你能在逻辑学课本、集合论论文或形式化证明中频繁见到它，通常和变量及命题一起使用，比如“∃x 使得 x² = 4”。这个符号源自拉丁文“existere”，由19世纪逻辑学家皮亚诺引入，如今已成为数理逻辑的标准记号。它常与全称量词∀成对出现，共同构建严谨的数学语言体系。
使用示例
"∃x P(x) 表示存在x使得P(x)成立。"
"在证明中，∃用于断言存在性。"
"该符号与∀（全称量词）对应。"
技术信息
Unicode Code Point
U+2203HTML Entity
∃CSS Code
\2203JavaScript Escape
\u{2203}代码预览
<span class="symbol-there-exists">∃</span> <!-- Unicode: U+2203 --> <!-- Name: 存在量词 -->
快捷键
Windows
Alt + 2203macOS
Type 2203 then press Option + EnterLinux
Ctrl + Shift + U, type 2203, Enter用法代码
HTML 实体
∃
CSS 转义码
content: "\2203";
JavaScript 转义
String.fromCodePoint(0x2203)
快捷操作
∃含义与说明
存在符号存在算子存在量词符号存在量化符
∃ 是数学中的存在量词符号，读作“存在”，用来表示“至少有一个元素满足某种条件”。你能在逻辑学课本、集合论论文或形式化证明中频繁见到它，通常和变量及命题一起使用，比如“∃x 使得 x² = 4”。这个符号源自拉丁文“existere”，由19世纪逻辑学家皮亚诺引入，如今已成为数理逻辑的标准记号。它常与全称量词∀成对出现，共同构建严谨的数学语言体系。
使用示例
"∃x P(x) 表示存在x使得P(x)成立。"
"在证明中，∃用于断言存在性。"
"该符号与∀（全称量词）对应。"
如何复制 存在量词 符号?
点击页面上的复制符号按钮即可复制 ∃ 到剪贴板，然后粘贴到任何地方使用。
存在量词 的 Unicode 编码是什么?
存在量词 的 Unicode 编码是U+2203。HTML 用法：∃，CSS 用法：\2203。
存在量词 属于哪个区块?
存在量词 属于Mathematical Operators区块。
这个页面对你有用吗？
点击反馈帮助我们改进