數量符號 如：i，2+i，a，x，自然對數底e，圓周率π。 運算子號 如加號（+），減號（－），乘號（×或·），除號（÷或/），兩個集合的並集（∪），交集（∩），根號（√），對數（log，lg，ln），比（：），絕對值符號“| |”，微分（dx），積分（∫），閉合曲面（曲線）積分（∮）等。 關係符號 如“=”是等號，“≈”是近似符號，“≠”是不等號，“>”是大於符號，“<”是小於符號，“≥”是大於或等於符號（也可寫作“≮”），“≤”是小於或等於符號（也可寫作“≯”），。“→ ”表示變數變化的趨勢，“∽”是相似符號，“≌”是全等號，“∥”是平行符號，“⊥”是垂直符號，“∝”是成正比符號，（沒有成反比符號，但可以用成正比符號配倒數當作成反比）“∈”是屬於符號，“⊆”是“包含”符號等。“|”表示“能整除”（例如a|b 表示 a能整除b)，x可以代表未知數，y也可以代表未知數，任何字母都可以代表未知數。 結合符號 如小括號“（）”中括號“[ ]”，大括號“{ }”橫線“—”，比如（2+1）+3=6，[2.5x（23+2）+1]=x，{3.5+[3+1]+1=y 性質符號 如正號“+”，負號“－”，正負號“±” 省略符號 如三角形（△），直角三角形（Rt△），正弦（sin），餘弦（cos），x的函式（f(x)），極限（lim），角（∠）， 總和（∑），連乘（∏），從n個元素中每次取出r個元素所有不同的組合數（C(r)(n) ），冪（A，Ac，Aq，x^n）等。 排列組合符號 C-組合數 A-排列數 N-元素的總個數 R-參與選擇的元素個數 !-階乘，如5！=5×4×3×2×1=120 C-Combination- 組合 A-Arrangement-排列 離散數學符號（未全） ∀ 全稱量詞 ∃ 存在量詞 ├ 斷定符（公式在L中可證） ╞ 滿足符（公式在E上有效，公式在E上可滿足） ┐ 命題的“非”運算 ∧ 命題的“合取”（“與”）運算 ∨ 命題的“析取”（“或”，“可兼或”）運算 → 命題的“條件”運算 ↔ 命題的“雙條件”運算的 A<=>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），積分（∫），閉合曲面（曲線）積分（∮）等。 關係符號 如“=”是等號，“≈”是近似符號，“≠”是不等號，“>”是大於符號，“<”是小於符號，“≥”是大於或等於符號（也可寫作“≮”），“≤”是小於或等於符號（也可寫作“≯”），。“→ ”表示變數變化的趨勢，“∽”是相似符號，“≌”是全等號，“∥”是平行符號，“⊥”是垂直符號，“∝”是成正比符號，（沒有成反比符號，但可以用成正比符號配倒數當作成反比）“∈”是屬於符號，“⊆”是“包含”符號等。“|”表示“能整除”（例如a|b 表示 a能整除b)，x可以代表未知數，y也可以代表未知數，任何字母都可以代表未知數。 結合符號 如小括號“（）”中括號“[ ]”，大括號“{ }”橫線“—”，比如（2+1）+3=6，[2.5x（23+2）+1]=x，{3.5+[3+1]+1=y 性質符號 如正號“+”，負號“－”，正負號“±” 省略符號 如三角形（△），直角三角形（Rt△），正弦（sin），餘弦（cos），x的函式（f(x)），極限（lim），角（∠）， 總和（∑），連乘（∏），從n個元素中每次取出r個元素所有不同的組合數（C(r)(n) ），冪（A，Ac，Aq，x^n）等。 排列組合符號 C-組合數 A-排列數 N-元素的總個數 R-參與選擇的元素個數 !-階乘，如5！=5×4×3×2×1=120 C-Combination- 組合 A-Arrangement-排列 離散數學符號（未全） ∀ 全稱量詞 ∃ 存在量詞 ├ 斷定符（公式在L中可證） ╞ 滿足符（公式在E上有效，公式在E上可滿足） ┐ 命題的“非”運算 ∧ 命題的“合取”（“與”）運算 ∨ 命題的“析取”（“或”，“可兼或”）運算 → 命題的“條件”運算 ↔ 命題的“雙條件”運算的 A<=>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 偏序集範疇