├ 斷定符（公式在 L 中可證）
╞ 滿足符（公式在 E上有效，公式在 E上可滿足）
p(G-V1)，表示G刪除頂點集V1後得到的圖的連通分圖個數
|V1|表示圖V1的頂點數 ┐命題的 “非”運算
∧ 命題的 “合取 ”（“與”）運算
∨ 命題的 “析取 ”（“或”，“可兼或 ”）運算
→ 命題的 “條件 ”運算
A<=>B 命題 A 與 B 等價關係
A=>B 命題 A 與 B 的蘊涵關係
A* 公式 A 的對偶公式
wff 合式公式
iff 當且僅當
↑ 命題的 “與非 ” 運算（ “與非門 ” ）
↓ 命題的 “或非 ”運算（ “或非門 ” ）
□模態詞 “必然 ”
◇ 模態詞 “可能 ”
φ 空集
∈ 屬於（ ??不屬於）
P（A） 集合 A 的冪集
|A| 集合 A 的點數
R^2=R○R [Rn=R(n-1)○R] 關係 R 的“複合 ”
∪ 集合的並運算
∩集合的交運算
- （～） 集合的差運算
〡 限制
[X](右下角 R) 集合關於關係 R 的等價類
A/ R 集合 A 上關於 R 的商集
[a] 元素 a 產生的循環羣
I (i 大寫 ) 環，理想
Z/(n) 模 n 的同餘類集合
r® 關係 R 的自反閉包
s® 關係 的對稱閉包
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 偏序集範疇
參考鏈接 ：https://wenku.baidu.com/view/e905a7a1f524ccbff1218420.html