├ 断定符（公式在 L 中可证）
╞ 满足符（公式在 E上有效，公式在 E上可满足）
┐命题的 “非”运算
∧ 命题的 “合取 ”（“与”）运算
∨ 命题的 “析取 ”（“或”，“可兼或 ”）运算
→ 命题的 “条件 ”运算
A<=>B 命题 A 与 B 等价关系
A=>B 命题 A 与 B 的蕴涵关系
A* 公式 A 的对偶公式
wff 合式公式
iff 当且仅当
↑ 命题的 “与非 ” 运算（ “与非门 ” ）
↓ 命题的 “或非 ”运算（ “或非门 ” ）
□模态词 “必然 ”
◇ 模态词 “可能 ”
φ 空集
∈ 属于（ ??不属于）
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 →Y f是 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 偏序集范畴