数量符号 　　如：i,2+i,a,x,自然对数底e,圆周率π. 　　运算符号 　　如加号（+）,减号（－）,乘号（×或·）,除号（÷或/）,两个集合的并集（∪）,交集（∩）,根号（√）,对数（log,lg,ln）,比（：）,绝对值符号“||”,微分（dx）,积分（∫）,曲线积分（∮）等. 　　关系符号 　　如“=”是等号,“≈”是近似符号,“≠”是不等号,“>”是大于符号,“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存在量词特指规则（存在量词消去规则）UG全称推广规则（全称量词引入规则）US全称特指规则（全称量词消去规则）R关系r相容关系R○S关系与关系的复合domf函数的定义域（前域）ranf函数的值域f:X→Yf是X到Y的函数GCD(x,y)x,y最大公约数LCM(x,y)x,y最小公倍数aH(Ha)H关于a的左（右）陪集Ker(f)同态映射f的核（或称f同态核）[1,n]1到n的整数集合d(u,v)点u与点v间的距离d(v)点v的度数G=(V,E)点集为V,边集为E的图W(G)图G的连通分支数k(G)图G的点连通度△（G)图G的最大点度A(G)图G的邻接矩阵P(G)图G的可达矩阵M(G)图G的关联矩阵C复数集N自然数集（包含0在内）N*正自然数集P素数集Q有理数集R实数集Z整数集Set集范畴Top拓扑空间范畴Ab交换群范畴Grp群范畴Mon单元半群范畴Ring有单位元的（结合）环范畴Rng环范畴CRng交换环范畴R-mod环R的左模范畴mod-R环R的右模范畴Field域范畴Poset偏序集范畴 　　符号(Symbol)　意义(Meaning)=等于isequalto≠不等于isnotequalto大于isgreaterthan||平行isparallelto≥大于等于isgreaterthanorequalto≤小于等于islessthanorequalto≡　恒等于或同余π圆周率|x|绝对值absolutevalueofX 　　∽相似issimilarto≌全等isequalto(especiallyfortriangle)>>远远大于号