数学符号的来历
例如加号曾经有好几种，现在通用“＋”号。
“＋”号是由拉丁文“et”（“和”的意思）演变而来的。十六世纪，意大利科学家塔塔里亚用意大利文“plu”（加的意思）的第一个字母表示加，草为避孕药的成分“μ”最后都变成了“＋”号。
“－”号是从拉丁文“minus”（“减”的意思）演变来的，简写m，再省略掉字母，就成了“－”了。
也有人说，卖酒的商人用“－”表示酒桶里的酒卖了多少。以后，当把新酒灌入大桶的时候，就在“－”上加一竖，意思是把原线条勾销，这样就成了个“＋”号。
到了十五世纪，德国数学家魏德美正式确定：“＋”用作加号，“－”用作减号。
乘号曾经用过十几种，现在通用两种。一个是“×”，最早是英国数学家奥屈特1631年提出的；一个是“·”，最早是英国数学家赫锐奥特首创的。德国数学家莱布尼茨认为：“×”号象拉丁字母“X”，加以反对，而赞成用“·”号。他自己还提出用“п”表示相乘。可是这个符号现在应用到集合论中去了。
到了十八世纪，美国数学家欧德莱确定，把“×”作为乘号。他认为“×”是“＋”斜起来写，是另一种表示增加的符号。
“÷”最初作为减号，在欧洲大陆长期流行。直到1631年英国数学家奥屈特用“：”表示除或比，另外有人用“－”（除线）表示除。后来瑞士数学家拉哈在他所著的《代数学》里，才根据群众创造，正式将“÷”作为除号。
平方根号曾经用拉丁文“Radix”（根）的首尾两个字母合并起来表示，十七世纪初叶，法国数学家笛卡儿在他的《几何学》中，第一次用“√”表示根号。“√”是由拉丁字线“r”变，“——”是括线。
十六世纪法国数学家维叶特用“＝”表示两个量的差别。可是英国牛津大学数学、修辞学教授列考尔德觉得：用两条平行而又相等的直线来表示两数相等是最合适不过的了，于是等于符号“＝”就从1540年开始使用起来。
1591年，法国数学家韦达在菱形中大量使用这个符号，才逐渐为人们接受。十七世纪德国莱布尼茨广泛使用了“＝”号，他还在几何学中用“～”表示相似，用“≌”表示全等。
大于号“＞”和小于号“＜”，是1631年英国著名代数学家赫锐奥特创用。至于“地老鼠≯”、“≮”、“≠”这三个符号的出现，是很晚很晚的事了。大括号“｛｝”和中括号“［］”是代数创始人之一魏治德创造的。
任意号来源于英语中的any一词，因为小写和大写均容易造成混淆,故将其单词首字母大写后倒置
数学符号的种类
（1）数量符号：如：i，2+i，a，x，自然对数底e，圆周率π。
（2）运算符号：如加号（＋），减号（－），乘号（×或·），除号（÷或／），两个集合的并集（∪），交集（∩），根号（√），对数（log，lg，ln），比（：），微分（dx），积分（∫）等。
（3）关系符号：如“＝”是等号，“≈”是近似符号，“≠”是不等号，“＞”是大于符号，“＜”是小于符号，“→ ”表示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“∥”是平行符号，“⊥”是垂直符号，“∝”是成正比符号，（没有成反比符号，但可以用成正比符号配倒数当作成反比）“∈”是属于符号，“C”或“C下面加一横”是“包含”符号等。
（4）结合符号：如小括号“（）”中括号“［］”，大括号“｛｝”横线“—”
（5）性质符号：如正号“＋”，负号“－”，绝对值符号“‖”
（6）省略符号：如三角形（△），正弦（sin），余弦（cos），x的函数（f(x)），极限（lim），∵因为，（一个脚站着的，站不住）
∴所以，（两个脚站着的，能站住） 总和（∑），连乘（∏），从n个元素中每次取出r个元素所有不同的组合数（C(r)(n) ），幂（A，Ac，Aq，x^n），阶乘（！）等。
（7）其他符号：α，β，γ 等
数学符号的意义
符号(Symbol) 意义(Meaning)
∞ 无穷大
π 圆周率
|x| 绝对值 absolute value of X
∪ 并集
∩ 交集
= 等于 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
≡ 恒等于或同余
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的定积分
>>远远大于号
<<远远小于号
⊆ 包括
⊙ 圆
φ 直径
β 贝塔
数学符号的广泛应用
P为真等于1否则等于0
∑[1≤k≤n]f(k) 对n进行求和,可以拓广至很多情况
如：∑[n is prime][n < 10]f(n)
∑∑[1≤i≤j≤n]n^2
lim f(x) (x->?) 求极限
f(z) f关于z的m阶导函数
C(n:m) 组合数,n中取m
P(n:m) 排列数
m|n m整除n
m⊥n m与n互质
a ∈ A a属于集合A
#A 集合A中的元素个数
数学符号大全
快考试了该出卷子了，复杂的数学符号好难啊 copy一下吧
1 几何符号
⊥ ∥ ∠ ⌒ ⊙ ≡ ≌ △
2 代数符号
∝ ∧ ∨ ～ ∫ ≠ ≤ ≥ ≈ ∞ ∶
3运算符号
× ÷ √ ±
4集合符号
∪ ∩ ∈
5特殊符号
∑ π（圆周率）
6推理符号
|a| ⊥ ∽ △ ∠ ∩ ∪ ≠ ≡ ± ≥ ≤ ∈ ←
↑ → ↓ ↖ ↗ ↘ ↙ ∥ ∧ ∨
&; §
① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩
Γ Δ Θ Λ Ξ Ο Π Σ Φ Χ Ψ Ω
α β γ δ ε ζ η θ ι κ λ μ ν
ξ ο π ρ σ τ υ φ χ ψ ω
Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ Ⅺ Ⅻ
ⅰ ⅱ外事礼仪 ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ
∈ ∏ ∑ ∕ √ ∝ ∞ ∟ ∠ ∣ ∥ ∧ ∨ ∩ ∪ ∫ ∮
∴ ∵ ∶ ∷ ∽ ≈ ≌ ≒ ≠ ≡ ≤ ≥ ≦ ≧ ≮ ≯ ？ ⊙ ⊥
⊿ ⌒ ℃
指数0123：º¹²³
符号 意义
∞ 无穷大
1990年是什么年PI 圆周率
|x| 函数的绝对值
∪ 集合并
∩ 集合交
≥ 大于等于
≤ 小于等于
≡ 恒等于或同余
ln(x) 自然对数
lg(x) 以2为底的对数
log(x) 常用对数
floor(x) 上取整函数
ceil(x) 下取整函数
x mod y 求余数
{x} 小数部分 x - floor(x)
∫f(x)δx 不定积分
∫[a:b]f(x)δx a到b的定积分
[P] P为真等于1否则等于0
∑[1≤k≤n]f(k) 对n进行求和,可以拓广至很多情况
如：∑[n is prime][n < 10]f(n)
∑∑[1≤i≤j≤n]n^2
lim f(x) (x->?) 求极限
f(z) f关于z的m阶导函数
C(n:m) 组合数,n中取m
P(n:m) 排列数
m|n m整除n
m⊥n m与n互质
a ∈ A a属于集合A
#A 集合A中的元素个数
∈ ∏ ∑ √ ∞ ∠ ∣ ∥ ∧ ∨ ∩ ∪ ∫ ∮ ∴ ∵ ∽
≈ ≌ ≠ ≡ ≤ ≥ ≦ ≧ ？ ⊙ ⊥ ?
大于号“＞”和小于号“＜”，是1631年英国著名代数学家赫锐奥特创用。至于“≯”、“≮”、“≠”这三个符号的出现，是很晚很晚的事了。大括号“｛｝”和中括号“［］”是代数创始人之一魏治德创造的。
任意号来源于英语中的any一词，因为小写和大写均容易造成混淆,故将其单词首字母大写后倒置，如图所示。
数学符号的种类[回目录]
数量符号
如：i，2+i，a，x，自然对数底e，圆周率π。
运算符号
如加号（＋），减号（－），乘号（×或·），除号（÷或／），两个集合的并集（∪），交集（∩），根号（√），对数（log，lg，ln），比（：），微分（dx），积分（∫），曲线积分（∮）等。
关系符号
如“＝”是等号，“≈”是近似符号，“≠”是不等号，“＞”是大于符号，“＜”是小于符号，“≥”是大于或等于符号（也可写作“≮”），“≤”是小于或等于符号（也可写作“≯”），。“→ ”表示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“∥”是平行符号，“⊥”是垂直符号，“∝”是成正比符号，（没有成反比符号，但可以用成正比符号配倒数当作成反比）“∈”是属于符号，“⊆”是“包含”符号等。“|”表示“能整除”（例如a|b 表示 a能整除b）
结合符号
如小括号“（）”中括号“［］”，大括号“｛｝”横线“—”
性质符号
如正号“＋”，负号“－”，绝对值符号“| |”正负号“±”
省略符号
如三角形（△），直角三角形（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 存在量词特指规则（存在量词消去规则）
