數量符號 如：i，2+i，a，x，自然對數底e，圓周率π。 運算子號 如加號（+），減號（－），乘號（×或·），除號（÷或/），兩個集合的並集（∪），交集（∩），根號（√），對數（log，lg，ln），比（：），絕對值符號“| |”，微分（dx），積分（∫），閉合曲面（曲線）積分（∮）等。 關係符號 如“=”是等號，“≈”是近似符號，“≠”是不等號，“>”是大於符號，“B 命題A 與B 等價關係 A=>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→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 偏序集範疇
數量符號 如：i，2+i，a，x，自然對數底e，圓周率π。 運算子號 如加號（+），減號（－），乘號（×或·），除號（÷或/），兩個集合的並集（∪），交集（∩），根號（√），對數（log，lg，ln），比（：），絕對值符號“| |”，微分（dx），積分（∫），閉合曲面（曲線）積分（∮）等。 關係符號 如“=”是等號，“≈”是近似符號，“≠”是不等號，“>”是大於符號，“B 命題A 與B 等價關係 A=>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→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 偏序集範疇