1、所有的数学符号包括每个符号的意思数量符号如：i，2+i，a，x，自然对数底 e，圆周率 。运算符号如加号（+），减号（），乘号（ 或 ），除号（或/），两个集合的并集（），交集（），根号（），对数（log，lg，ln），比（：），绝对值符号“| |”，微分（dx ），积分（ ），曲线积分（）等。关系符号如“=”是等号，“”是近似符号，“”是不等号，“”是大于符号，“B 命题 A 与 B 等价关系A=B 命题 A 与 B 的蕴涵关系A* 公式 A 的对偶公式wff 合式公式iff 当且仅当 命题的“与非” 运算（ “与非门” ） 命题的“或非” 运算（ “或非门” ） 模态词“必然” 模态词“可
2、能” 空集 属于 AB 则为 A 属于 B（不属于）P （A ） 集合 A 的幂集|A| 集合 A 的点数R2=RR Rn=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 全称推
3、广规则（全称量词引入规则）US 全称特指规则（全称量词消去规则）R 关系r 相容关系RS 关系 与关系 的复合domf 函数 的定义域（前域）ranf 函数 的值域f:XY 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) 图
4、 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 贝塔 角
5、度；系数 ? 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 欧米咖 角编辑本段数学符号的
6、意义符号(Symbol) 意义(Meaning)= 等于 is equal to 不等于 is not equal to大于 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:bf(x)dx a 到 b 的定积分(n=p,q)f(n) 表示 f(n)的 n 从 p 到 q 逐步变化对 f(n)的连加和
