最新运算符号.doc

运算符号
运算符号
如加号〔+〕，减号〔－〕，乘号〔×或·〕，除号〔÷或/〕，两个集合的并集〔∪〕，交集〔∩〕，根号〔√￣〕，对数〔log，lg，ln〕，比〔:〕，绝对值符号| |，微分〔d〕，积分〔∫〕，闭合曲面〔曲线〕积分〔* 公式A的对偶公式
wff 合式公式
iff 当且仅当
↑ 命题的“与非〞 运算〔 “与非门〞 〕
↓ 命题的“或非〞运算〔 “或非门〞 〕
□ 模态词“必然〞
◇ 模态词“可能〞
∅空集
∈ 属于 A∈B,即“A属于B〞
∉ 不属于
P(A) 集合A的幂集
|A| 集合A的点数
R²=R○R [R
=R
○R] 关系R的“复合〞
א 阿列夫
⊆ 包含
⊂〔或下面加 ≠〕 真包含
∪ 集合的并运算
∩ 集合的交运算
-或\ 集合的差运算
〡 限制
集合关于关系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的最大公约数
[x,y] 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〞〕
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]
派
圆周率=圆周÷直径≈
Σ σ
σ?γμα
Sigma
[s]
[s]
西格玛
总和〔大写〕；统计学上的标准差〔小写〕
Τ τ
ταυ
Tau
[t]
[t]
陶
时间常数
Φ φ
φι
Phi
[p?]
[f]
弗爱
辅助角
Ω ω
ωμ?γα
Omega
[??]
[o]
欧米咖
角genhao
意义编辑
符号(Symbol)　意义(Meaning)
= 等于 is equal to
≠ 不等于 is not equal to
≈ 约等于 approximately equal to
< 小于 is less than
> 大于 is g