├ 斷定符（公式在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 偏序集范疇