代数符号
比较：
≥ 大于等于
≤ 小于等于
≈ 约等于
≠ 不等于
≌ 约等于
∽ 相似
>> 远大于
运算符号：
≡ 恒等于或同余，全等
! 阶乘
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 当且仅当
↑ 命题的“与非” 运算（ “与非门” ）
↓ 命题的“或非”运算（ “或非门” ）
□ 模态词“必然”
◇ 模态词“可能”
版权声明：本文为calm_encode原创文章，遵循CC 4.0 BY-SA版权协议，转载请附上原文出处链接和本声明。