数量符号
如:i,2+i,a,x,自然对数底e,圆周率π.
运算符号
如加号(+),减号(-),乘号(×或·),除号(÷或/),两个集合的并集(∪),交集(∩),根号(√ ̄),对数(log,lg,ln),比(:),绝对值符号||,微分(d),积分(∫),闭合曲面(曲线)积分(∮)等.
关系符号
如“=”是等号,“≈”是近似符号,“≠”是不等号,“>”是大于符号,“q命题p与q的蕴涵关系
A*公式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→yf是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偏序集范畴