数量符号

　　如：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偏序集范畴