θ 希腊字母
西塔
Θ
Theta（大写Θ，小写θ），在希腊语中，是第八个希腊字母。
大写的Θ是：
粒子物理学中pentaquark用Θ+来表示
小写的θ是：
数学上常代表平面的角
国际音标中的无声齿摩擦音
西里尔字母的 Ѳ 是从 Theta 变来。
θ代表：
在几何学中的角
在球坐标系或圆柱坐标系中，x轴与xy平面的角
在热力学中的位温
工程学以θ代表平均故障间隔
土壤含水量
德拜温度
Θ函数
数学符号的发明及使用比数字要晚，但其数量却超过了数字。现在常用的数学符号已超过了200个，其中，每一个符号都有一段有趣的经历。
Α α：阿尔法 Alpha
Β β：贝塔 Beta
Γ γ：伽玛 Gamma
Δ δ：德尔塔 Delte
Ε ε：艾普西龙 Epsilon
Ζ ζ ：捷塔 Zeta
Ε η：依塔 Eta
Θ θ：西塔 Theta
Ι ι：艾欧塔 Iota
Κ κ：喀帕 Kappa
∧ λ：拉姆达 Lambda
Μ μ：缪 Mu
Ν ν：拗 Nu
Ξ ξ：克西 Xi
Ο ο：欧麦克轮 Omicron
∏ π：派 Pi
Ρ ρ：柔 Rho
∑ σ：西格玛 Sigma
Τ τ：套 Tau
Υ υ：宇普西龙 Upsilon
Φ φ：fai Phi
Χ χ：器 Chi
Ψ ψ：普赛 Psi
Ω ω：欧米伽 Omega
1发展历程
例如加号曾经有好几种，目前通用“+”号。 
也有人说，卖酒的商人用“-”表示酒桶里的酒卖了多少。以后，当把新酒灌入大桶的时候，就在“-”上加一竖，意思是把原线条勾销，这样就成了个“+”号。
到了十五世纪，德国数学家魏德美正式确定：“+”用作加号，“-”用作 减号。
乘号曾经用过十几种，现代数学通用两种。一个是“×”，最早是英国数学家奥屈特1631年提出的；一个是“·”，最早是英国数学家赫锐奥特首创的。德国数学家 莱布尼茨认为：“×”号像拉丁字母“X”，可能引起混淆而加以反对，并赞成用“·”号（事实上点乘在某些情况下亦易与小数点相混淆）。后来他还提出用“∩“表示 相乘。这个符号在现代已应用到 集合论中了。
到了十八世纪，美国数学家欧德莱确定，把 “×”作为乘号。他认为“×”是“+”的旋转变形，是另一种表示增加的符号。
“÷”最初作为减号，在欧洲大陆长期流行。直到1631年英国数学家奥屈特用“：”表示 除或 比，另外有人用“－”（除线）表示除。后来 瑞士数学家 拉哈在他所著的《 代数学》里，才根据群众创造，正式将“÷”作为 除号。
平方根号曾经用拉丁文“Radix”（根）的首尾两个字母合并起来表示，十七世纪初叶，法国数学家 笛卡儿在他的《 几何学》中，第一次用 “√”表示 根号。“√”是由拉丁字线“r”的变形，“￣”是括线。
十六世纪法国数学家维叶特用 “=”表示两个量的差别。可是英国 牛津大学数学、修辞学教授列考尔德觉得：用两条平行而又相等的直线来表示两数相等是最合适不过的了，于是等于符号“=”就从1540年开始使用起来。
1591年，法国数学家 韦达在 菱形中大量使用这个符号，才逐渐为人们接受。十七世纪德国 莱布尼茨广泛使用了“=”号，他还在几何学中用 “∽”表示 相似，用 “≌”表示 全等。
大于号 “>”和小于号 “<”，是1631年英国著名 代数学家赫锐奥特创用。至于 “≥”、“≤”、“≠”这三个符号的出现，是很晚很晚的事了。 大括号 “{}”和 中括号 “[]”是代数创始人之一魏治德创造的。
任意号（全称量词）∀来源于英语中的any一词，因为小写和大写均容易造成混淆,故将其单词首字母大写后倒置。同样，存在号（存在量词）∃来源于exist一词中E的反写。
2符号种类
编辑
数量符号
，a，x，e，π。详见下。
运算符号
如 加号（+）， 减号（－）， 乘号（×或·）， 除号（÷或/），两个 集合的 并集（∪）， 交集（∩）， 根号（√￣）， 对数（log，lg，ln，lb）， 比（:）， 绝对值符号| |， 微分（d），积分（∫），闭合曲面（曲线） 积分（∮）等。
关系符号
如“=”是 等号，“≈”是近似符号（即 约等于），“≠”是 不等号，“>”是 大于符号，“<”是 小于符号，“≥”是大于或等于符号（也可写作“≮”，即不小于），“≤”是小于或等于符号（也可写作“≯”，即不大于），“→ ”表示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“∥”是平行符号，“⊥”是垂直符号，“∝”是 正比例符号（表示 反比例时可以利用 倒数关系），“∈”是属于符号，“⊆”是包含于符号，“⊇”是包含符号，“|”表示“能 整除”（例如 a| b 表示“ a能整除b”，而
||b表示r是a恰能整除b的最大幂次)， x,y等任何字母都可以代表 未知数。
结合符号
如小 括号“()”， 中括号“[ ]”， 大括号“{ }”，横线“—”，比如
。
性质符号
如 正号“+”， 负号“-”， 正负号“
”（以及与之对应使用的负正号“
”）
省略符号
如 三角形（△），直角三角形（ Rt△）， 正弦（ sin）（见 三角函数），
双曲正弦函数（ sinh）， x的 函数（ f(x)）， 极限（ lim）， 角（∠），
∵ 因为（一个脚站着的，站不住）
∴ 所以（两个脚站着的，能站住）(口诀：因为站不住，所以两个点；因为上面两个点，所以下面两个点)
总和，连加： ∑，求积，连乘： ∏，从n个元素中取出r个元素所有不同的 组合数
（ n元素的总个数； r参与选择的元素个数）， 幂
等。
排列组合符号
C 组合数
A (或P) 排列数
n 元素的总个数
r 参与选择的元素个数
! 阶乘，如5！=5×4×3×2×1=120，规定0！=1
!! 半阶乘(又称 双阶乘)，例如7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840
离散数学符号
∀ 全称量词
∃ 存在量词
├ 断定符（公式在 L中可证）
╞ 满足符（公式在 E上有效，公式在 E上可满足）
﹁ 命题的“非”运算，如 命题的否定为﹁ p
∧ 命题的“ 合取”（“ 与”）运算
∨ 命题的“ 析取”（“ 或”，“可兼或”）运算
→ 命题的“条件”运算
↔ 命题的“双条件”运算的
p<=> q 命题 p与 q的 等价关系
p=> q 命题 p与 q的 蕴涵关系（p是q的 充分条件，q是p的 必要条件）
A* 公式 A的对偶公式，或表示A的 数论倒数（此时亦可写为
）
wff 合式公式
iff 当且仅当
↑ 命题的“ 与非” 运算（ “ 与非门” ）
↓ 命题的“ 或非”运算（ “ 或非门” ）
□ 模态词“必然”
◇ 模态词“可能”
∅ 空集
∈ 属于（如" A∈ B"，即“ A属于 B”）
∉ 不属于
P( A) 集合 A的 幂集
| A| 集合 A的点数
R²=R○R [R =R ○R] 关系R的“复合”
ℵ Aleph,阿列夫
⊆ 包含
⊂（或⫋） 真包含
另外,还有相应的⊄,⊈,⊉等
∪ 集合的并运算
U（P）表示P的领域
∩ 集合的交运算
-或\ 集合的差运算
〡 限制
集合关于关系 R的 等价类
A/ R 集合 A上关于 R的 商集
[ a] 元素 a产生的 循环群
I环，理想
Z/( n) 模 n的 同余类集合
r( R) 关系 R的自反 闭包
s( R) 关系 R的对称闭包
CP 命题演绎的定理（CP 规则）
EG 存在推广规则（ 存在量词引入规则）
ES 存在量词特指规则（存在量词消去规则）
UG 全称推广规则（ 全称量词引入规则）
US 全称特指规则（全称量词消去规则）
R 关系
r 相容关系
R○S 关系 与关系 的复合
domf 函数 的 定义域（前域）
ranf 函数 的 值域
f: x→ y f是 x到 y的 函数
( x, y) x与 y的 最大公约数，有时为避免混淆，使用 gcd(x,y)
[ x, y] x与 y的 最小公倍数，有时为避免混淆，使用 lcm(x,y)
aH( Ha) H关于 a的左（右） 陪集
Ker( f) 同态映射 f的核（或称 f同态核）
[1， n] 1到 n的 整数集合
d( A, B),| AB|,或 AB 点 A与点 B间的距离
d( V) 点 V的 度数
G=( V, E) 点集为 V，边集为 E的图 G
W( G) 图 G的 连通分支数
k( G) 图 G的点 连通度
Δ( G) 图 G的最大点度
A( G) 图 G的 邻接矩阵
P(G) 图 G的 可达矩阵
M( G) 图 G的 关联矩阵
C 复数集
I 虚数集
N 自然数集，非负整数集（包含元素"0"）
N*（ N +） 正自然数集，正整数集（其中*表示从集合中去掉元素“0”，如 R*表示非零实数）
P 素数（ 质数）集
Q 有理数集
R 实数集
Z 整数集
Set 集范畴
Top 拓扑空间范畴
Ab 交换群范畴
Grp 群范畴
Mon 单元半群范畴
Ring 有单位元的（结合）环范畴
Rng 环范畴
C Rng 交换环范畴
R-mod 环 R的左模范畴
mod- R 环 R的右模范畴
Field 域范畴
Poset 偏序集范畴