数学符号的来历 例如加号曾经有好几种，现在通用“＋”号。 “＋”号是由拉丁文“et”（“和”的意思）演变而来的。十六世纪，意大利科学家塔塔里亚用意大利文“plu”（加的意思）的第一个字母表示加，草为“μ”最后都变成了“＋”号。 “－”号是从拉丁文“minus”（“减”的意思）演变来的，简写m，再省略掉字母，就成了“－”了。 也有人说，卖酒的商人用“－”表示酒桶里的酒卖了多少。以后，当把新酒灌入大桶的时候，就在“－”上加一竖，意思是把原线条勾销，这样就成了个“＋”号。 到了十五世纪，德国数学家魏德美正式确定：“＋”用作加号，“－”用作减号。 乘号曾经用过十几种，现在通用两种。一个是“×”，最早是英国数学家奥屈特1631年提出的；一个是“·”，最早是英国数学家赫锐奥特首创的。德国数学家莱布尼茨认为：“×”号象拉丁字母“X”，加以反对，而赞成用“·”号。他自己还提出用“п”表示相乘。可是这个符号现在应用到集合论中去了。 到了十八世纪，美国数学家欧德莱确定，把“×”作为乘号。他认为“×”是“＋”斜起来写，是另一种表示增加的符号。 “÷”最初作为减号，在欧洲大陆长期流行。直到1631年英国数学家奥屈特用“：”表示除或比，另外有人用“－”（除线）表示除。后来瑞士数学家拉哈在他所著的《代数学》里，才根据群众创造，正式将“÷”作为除号。 平方根号曾经用拉丁文“Radix”（根）的首尾两个字母合并起来表示，十七世纪初叶，法国数学家笛卡儿在他的《几何学》中，第一次用“↗”表示根号。“↗”是由拉丁字线“r”变，“——”是括线。 十六世纪法国数学家维叶特用“＝”表示两个量的差别。可是英国牛津大学数学、修辞 任意号 学教授列考尔德觉得：用两条平行而又相等的直线来表示两数相等是最合适不过的了，于是等于符号“＝”就从1540年开始使用起来。 1591年，法国数学家韦达在菱形中大量使用这个符号，才逐渐为人们接受。十七世纪德国莱布尼茨广泛使用了“＝”号，他还在几何学中用“～”表示相似，用“≌”表示全等。 大于号“＞”和小于号“＜”，是1631年英国著名代数学家赫锐奥特创用。至于“≥”、“≤”、“≠”这三个符号的出现，是很晚很晚的事了。大括号“｛｝”和中括号“［］”是代数创始人之一魏治德创造的。 任意号来源于英语中的any一词，因为小写和大写均容易造成混淆,故将其单词首字母大写后倒置，如图所示。 编辑本段数学符号的种类 数量符号 如：i，2+i，a，x，自然对数底e，圆周率π。 运算符号 如加号（＋），减号（－），乘号（×或·），除号（÷或／），两个集合的并集（?），交集（?），根号（↗），对数（log，lg，ln），比（：），微分（dx），积分（?），曲线积分（?）等。 关系符号 如“＝”是等号，“≈”是近似符号，“≠”是不等号，“＞”是大于符号，“＜”是小于符号，“?”是大于或等于符号（也可写作“≤”），“?”是小于或等于符号（也可写作“≥”），。“→ ”表示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“?”是平行符号，“≧”是垂直符号，“↘”是成正比符号，（没有成反比符号，但可以用成正比符号配倒数当作成反比）“?”是属于符号，“?”是“包含”符号等。 结合符号 如小括号“（）”中括号“［］”，大括号“｛｝”横线“—” 性质符号 如正号“＋”，负号“－”，绝对值符号“| |”正负号“±” 省略符号 如三角形（△），直角三角形（Rt△），正弦（sin），余弦（cos），x的函数（f(x)），极限（lim），角（?）， ?因为，（一个脚站着的，站不住）
?所以，（两个脚站着的，能站住） 总和（↖），连乘（?），从n个元素中每次取出r个元素所有不同的组合数（C(r)(n) ），幂（A，Ac，Aq，x^n）等。 排列组合符号 C-组合数 A-排列数
N-元素的总个数
R-参与选择的元素个数
!-阶乘 ，如5！=5×4×3×2×1=120 C-Combination- 组合 A-Arrangement-排列
离散数学符号（未全） ? 全称量词 ? 存在量词
├ 断定符（公式在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 偏序集范畴 编辑本段数学符号的意义
符号(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)的连加和，