离散数学符号（未全） ∀ 全称量词 ∃ 存在量词 ├ 断定符（公式在L中可证） ╞ 满足符（公式在E上有效，公式在E上可满足） ┐ 命题的“非”运算 ∧ 命题的“合取”（“与”）运算 ∨ 命题的“析取”（“或”，“可兼或”）运算 → 命题的“条件”运算 ↔ 命题的“双条件”运算的 A<=>B 命题A 与B 等价关系 A=>B 命题 A与 B的蕴涵关系 A* 公式A 的对偶公式 wff 合式公式 iff 当且仅当 ↑ 命题的“与非” 运算（ “与非门” ） ↓ 命题的“或非”运算（ “或非门” ） □ 模态词“必然” ◇ 模态词“可能” φ 空集 ∈ 属于 A∈B 则为A属于B（∉不属于） P（A） 集合A的幂集 |A| 集合A的点数 R^2=R○R [R^n=R^(n-1)○R] 关系R的“复合” א 阿列夫 ⊆ 包含 ⊂（或下面加 ≠） 真包含 ∪ 集合的并运算 ∩ 集合的交运算 - （～） 集合的差运算 〡 限制 [X](右下角R) 集合关于关系R的等价类 A/ R 集合A上关于R的商集 [a] 元素a 产生的循环群 I (i大写) 环，理想 Z/(n) 模n的同余类集合 r(R) 关系 R的自反闭包 s(R) 关系 的对称闭包 CP 命题演绎的定理（CP 规则） EG 存在推广规则（存在量词引入规则） ES 存在量词特指规则（存在量词消去规则） UG 全称推广规则（全称量词引入规则） US 全称特指规则（全称量词消去规则） R 关系 r 相容关系 R○S 关系 与关系 的复合 domf 函数 的定义域（前域） ranf 函数 的值域 f:X→Y f是X到Y的函数 GCD(x,y) x,y最大公约数 LCM(x,y) x,y最小公倍数 aH(Ha) H 关于a的左（右）陪集 Ker(f) 同态映射f的核（或称 f同态核） [1，n] 1到n的整数集合 d(u,v) 点u与点v间的距离 d(v) 点v的度数 G=(V,E) 点集为V，边集为E的图 W(G) 图G的连通分支数 k(G) 图G的点连通度 △（G) 图G的最大点度 A(G) 图G的邻接矩阵 P(G) 图G的可达矩阵 M(G) 图G的关联矩阵 C 复数集 N 自然数集（包含0在内） N* 正自然数集 P 素数集 Q 有理数集 R 实数集 Z 整数集 Set 集范畴 Top 拓扑空间范畴 Ab 交换群范畴 Grp 群范畴 Mon 单元半群范畴 Ring 有单位元的（结合）环范畴 Rng 环范畴 CRng 交换环范畴 R-mod 环R的左模范畴 mod-R 环R的右模范畴 Field 域范畴 Poset 偏序集范畴 部分希腊字母数学符号 字母古希腊语名称英语名称古希腊语发音现代希腊语发音中文注音数学意思 Α α?λφαAlpha[a],[a?][a]阿尔法角度；系数Β ββ?ταBeta[b][v]贝塔角度；系数Δ δδ?λταDelta[d][ð]德尔塔变动；求根公式Ε ε?ψιλονEpsilon[e][e]伊普西隆对数之基数Ζ ζζ?ταZeta[zd][z]泽塔系数；Θ θθ?ταTheta[t?][θ]西塔温度；相位角Ι ιι?ταIota[i][i]约塔微小，一点儿Λ λλ?μβδα(现为λ?μδα)Lambda[l][l]兰姆达 波长（小写）；体积Μ μμυ(现为μι)Mu[m][m]谬微（千分之一）；放大因数（小写）Ξ ξξιXi[ks][ks]克西随机变量Π ππιPi[p][p]派圆周率=圆周÷直径≈3.1416 Σ σσ?γμαSigma[s][s]西格玛总和（大写）Τ τταυTau[t][t]陶时间常数Φ φφιPhi[p?][f]弗爱辅助角 Ω ωωμ?γαOmega[??][o]欧米咖角编辑本段数学符号的意义 符号(Symbol) 意义(Meaning) = 等于 is equal to ≠ 不等于 is not equal to < 小于 is less than > 大于 is greater than || 平行 is parallel to ≥ 大于等于 is greater than or equal to ≤ 小于等于 is less than or equal to ≡ 恒等于或同余 π 圆周率 |x| 绝对值 absolute value of X ∽ 相似 is similar to ≌ 全等 is equal to(especially for triangle ) >>远远大于号 << 远远小于号 ∪ 并集 ∩ 交集 ⊆ 包含于 ⊙ 圆 \ 求商值 β bet 磁通系数；角度；系数（数学中常用作表示未知角） φ fai 磁通；角（数学中常用作表示未知角） ∞ 无穷大 ln(x) 以e为底的对数 lg(x) 以10为底的对数 floor(x) 上取整函数 ceil(x) 下取整函数 x mod y 求余数 x - floor(x) 小数部分 ∫f(x)dx 不定积分 ∫[a:b]f(x)dx a到b的定积分 ∑(n=p,q)f(n) 表示f(n)的n从p到q逐步变化对f(n)的连加和。