├ 斷定符（公式在L中可證）

　　╞ 滿足符（公式在E上有效，公式在E上可滿足）

　　┐ 命題的“非”運算

　　∧ 命題的“合取”（“與”）運算

　　∨ 命題的“析取”（“或”，“可兼或”）運算

　　→ 命題的“條件”運算

　　A<=>B 命題A 與B 等價關系

　　A=>B 命題 A與 B的蘊涵關系

　　A* 公式A 的對偶公式

　　wff 合式公式

　　iff 當且僅當

　　↑ 命題的“與非” 運算（ “與非門” ）

　　↓ 命題的“或非”運算（ “或非門” ）

　　□ 模態(tài)詞“必然”

　　◇ 模態(tài)詞“可能”

　　φ 空集

　　∈ 屬于（??不屬于）

　　P（A） 集合A的冪集

　　|A| 集合A的點數(shù)

　　R^2=R○R [R^n=R^(n-1)○R] 關系R的“復合”

　　∪ 集合的并運算

　　∩ 集合的交運算

　　- （～） 集合的差運算

　　〡 限制

　　[X](右下角R) 集合關于關系R的等價類

　　A/ R 集合A上關于R的商集

　　[a] 元素a 產(chǎn)生的循環(huán)群

　　I (i大寫) 環(huán)，理想

　　Z/(n) 模n的同余類集合

　　r(R) 關系 R的自反閉包

　　s(R) 關系 的對稱閉包

　　CP 命題演繹的定理（CP 規(guī)則）

　　EG 存在推廣規(guī)則（存在量詞引入規(guī)則）

　　ES 存在量詞特指規(guī)則（存在量詞消去規(guī)則）

　　UG 全稱推廣規(guī)則（全稱量詞引入規(guī)則）

　　US 全稱特指規(guī)則（全稱量詞消去規(guī)則）

　　R 關系

　　r 相容關系

　　R○S 關系 與關系 的復合

　　domf 函數(shù) 的定義域（前域）

　　ranf 函數(shù) 的值域

　　f:X→Y f是X到Y(jié)的函數(shù)

　　GCD(x,y) x,y最大公約數(shù)

　　LCM(x,y) x,y最小公倍數(shù)

　　aH(Ha) H 關于a的左（右）陪集

　　Ker(f) 同態(tài)映射f的核（或稱 f同態(tài)核）

　　[1，n] 1到n的整數(shù)集合

　　d(u,v) 點u與點v間的距離

　　d(v) 點v的度數(shù)

　　G=(V,E) 點集為V，邊集為E的圖

　　W(G) 圖G的連通分支數(shù)

　　k(G) 圖G的點連通度

　　△（G) 圖G的最大點度

　　A(G) 圖G的鄰接矩陣

　　P(G) 圖G的可達矩陣

　　M(G) 圖G的關聯(lián)矩陣

　　C 復數(shù)集

　　N 自然數(shù)集（包含0在內(nèi)）

　　N* 正自然數(shù)集

　　P 素數(shù)集

　　Q 有理數(shù)集

　　R 實數(shù)集

　　Z 整數(shù)集

　　Set 集范疇

　　Top 拓撲空間范疇

　　Ab 交換群范疇

　　Grp 群范疇

　　Mon 單元半群范疇

　　Ring 有單位元的（結(jié)合）環(huán)范疇

　　Rng 環(huán)范疇

　　CRng 交換環(huán)范疇

　　R-mod 環(huán)R的左模范疇

　　mod-R 環(huán)R的右模范疇

　　Field 域范疇

　　Poset 偏序集范疇