1、幾何符號

⊥ ∥ ∠ ⌒ ⊙ ≡ ≌ △

2、代數符號

∝ ∧ ∨ ～ ∫ ≠ ≤ ≥ ≈ ∞ ∶

3、運算子號

如加號（＋），減號（－），乘號（×或·），除號（÷或／），兩個集合的並集（∪），交集（∩），根號（√），對數（log，lg，ln），比（：），微分（dx），積分（∫），曲線積分（∮）等。

4、集合符號

∪ ∩ ∈

5、特殊符號

∑ π（圓周率）

6、推理符號

|a| ⊥ ∽ △ ∠ ∩ ∪ ≠ ≡ ± ≥ ≤ ∈ ←
　　↑ → ↓ ↖ ↗ ↘ ↙ ∥ ∧ ∨
　　&; §
　　① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩
　　Γ Δ Θ Λ Ξ Ο Π Σ Φ Χ Ψ Ω

Α α：阿爾法 Alpha Β β：貝塔 Beta Γ γ：伽瑪 Gamma Δ δ：德爾塔 Delte Ε ε：艾普西龍 Epsilon
Ζ ζ ：捷塔 Zeta Ε η：依塔 Eta Θ θ：西塔 Theta Ι ι：艾歐塔 Iota Κ κ：喀帕 Kappa ∧ λ：拉姆達 Lambda
Μ μ：繆 Mu Ν ν：拗 Nu Ξ ξ：克西 Xi Ο ο：歐麥克輪 Omicron ∏ π：派 Pi Ρ ρ：柔 Rho ∑ σ：西格瑪 Sigma
Τ τ：套 Tau Υ υ：宇普西龍 Upsilon Φ φ：fai Phi Χ χ：器 Chi Ψ ψ：普賽 Psi Ω ω：歐米伽 Omega
　　Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ Ⅺ Ⅻ
　　ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ
　　∈ ∏ ∑ ∕ √ ∝ ∞ ∟ ∠ ∣ ∥ ∧ ∨ ∩ ∪ ∫ ∮
　　∴ ∵ ∶ ∷ ∽ ≈ ≌ ≒ ≠ ≡ ≤ ≥ ≦ ≧ ≮ ≯ ⊕ ⊙ ⊥
　　⊿ ⌒ ℃
　　指數0123：o123

7、數量符號

如：i，2+i，a，x，自然對數底e，圓周率π。

8、關係符號

如“＝”是等號，“≈”是近似符號，“≠”是不等號，“＞”是大於符號，“＜”是小於符號，“≥”是大於或等於符號（也可寫作“≮”），“≤”是小於或等於符號（也可寫作“≯”），。“→ ”表示變數變化的趨勢，“∽”是相似符號，“≌”是全等號，“∥”是平行符號，“⊥”是垂直符號，“∝”是成正比符號，（沒有成反比符號，但可以用成正比符號配倒數當作成反比）“∈”是屬於符號，“⊆ ⊂ ⊇ ⊃”是“包含”符號等。

9、結合符號

如小括號“（）”中括號“［］”，大括號“｛｝”橫線“—”

10、性質符號

如正號“＋”，負號“－”，絕對值符號“| |”正負號“±”

11、省略符號

如三角形（△），直角三角形（Rt△），正弦（sin），餘弦（cos），x的函式（f(x)），極限（lim），角（∠），
　　∵因為，（一個腳站著的，站不住）
　　∴所以，（兩個腳站著的，能站住） 總和（∑），連乘（∏），從n個元素中每次取出r個元素所有不同的組合數（C®(n) ），冪（A，Ac，Aq，x^n）等。

12、排列組合符號

C-組合數
　　A-排列數
　　N-元素的總個數
　　R-參與選擇的元素個數
　　!-階乘 ，如5！=5×4×3×2×1=120
　　C-Combination- 組合
　　A-Arrangement-排列

13、離散數學符號

├ 斷定符（公式在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的等價類
　　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 偏序集範疇