数学中常用公式符号

代数符号

比较：

≥ 大于等于 

≤ 小于等于

≈ 约等于

≠ 不等于

≌ 约等于

∽ 相似

>> 远大于

运算符号：

≡ 恒等于或同余，全等

! 阶乘

lim 极限

∮ 取线积分

× *  ÷ ／ 乘除

分数／

√ 开根号

± 正负号

∫  ∬ 求导数

推理符号：

∵ 因为 ∴ 所以  ← ↑ → ↓ ↖ ↗ ↘ ↙↔ ↕ 

等价号 ⇔ 

推出号 ⇒

下标号：₁ ₂ ₃ ₄

幂函数：x¹ x² x³ x⁴ xⁿ  

∞ 无穷大 

⌊⌋ 向下取整

⌈⌉ 向上取整

π 圆周率 

|x| 函数的绝对值

∫f(x)δx 不定积分

lim f(x) (x→∞) 求f(x)在x趋于∞时的极限

∫[a:b]f(x)δx 求f(x)在a到b的定积分 

ln(x) 以e为底的对数 

lg(x) 以10为底的对数 

集合：

∪ 并集

Φ 空集

 ∩ 交集 

 a ∈ A  元素a属于集合A

⊆ ⊇ ⊂ ⊃ Ø空集

 几何符号：

Δ 三角

∠ 角

⊙ 圆

° 度

① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩ ⑴ ⑵ ⑶ ⑷ ⑸ ⑹ 

α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ τ υ φ χ ψ ω 

∀ 任意 E 存在

性别：

♂ ♀

离散数学符号：

├ 断定符（公式在L中可证）

　　╞ 满足符（公式在E上有效，公式在E上可满足）

　　┐ 命题的“非”运算

　　∧ 命题的“合取”（“与”）运算

　　∨ 命题的“析取”（“或”，“可兼或”）运算

　　→ 命题的“条件”运算

　　A<=>B 命题A 与B 等价关系

　　A=>B 命题 A与 B的蕴涵关系

　　A* 公式A 的对偶公式

　　wff 合式公式

　　iff 当且仅当

　　↑ 命题的“与非” 运算（ “与非门” ）

　　↓ 命题的“或非”运算（ “或非门” ）

□ 模态词“必然”

　　◇ 模态词“可能”