6.推理符號
| a |⊥∽△∞∩∩≦≦≤∈ⅲ
↑ → ↓ ↖ ↗ ↘ ↙ ∥ ∧ ∨
& amp；
① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩
Γ Δ Θ Λ Ξ Ο Π Σ Φ Χ Ψ Ω
α β γ δ ε ζ η θ ι κ λ μ ν
ξ ο π ρ σ τ υ φ χ ψ ω
Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ Ⅺ Ⅻ
ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ
∈ ∏ ∑ ∕ √ ∝ ∞ ∟ ∠ ∣ ∥ ∧ ∨ ∩ ∪ ∫ ∮
∴ ∵ ∶ ∷ ∽ ≈ ≌ ≒ ≠ ≡ ≤ ≥ ≦ ≧ ≮ ≯ ⊕ ⊙ ⊥
⊿ ⌒ ℃
索引0123: O123
7.數量符號
如:I，2+i，A，X，自然對數底數E，pi。
8.關系符號
例如，=是等號，≈是近似符號，≠是不等符號，>大於符號，<小於符號，≥大於等於符號(也寫成≯)和≤小於等於符號(也寫成≯)“→”表示變量的變化趨勢，“?”是近似符號，“≒”是完全等號，“∨”是平行符號，“∨”是垂直符號，“∧”是垂直符號(沒有反比例符號，但可以和反比例視為反比例。) "
9、結合符號
如括號()中的方括號[]和大括號{}中的橫線。
10，自然符號
如正號+，負號-，絕對值號||，加號或減號。
11，省略
如三角形(delta)、直角三角形(rt delta)、正弦(sin)、余弦(cos)、x的函數(f(x))、極限(lim)、角度(∞)，
∵因為，(單腳站立，無法站立)
∴ So，sum(?)，multiply (∏)，壹次從n個元素中取出r個元素的所有不同組合數(C(r)(n))，冪(a，Ac，Aq，x n)。
12，排列組合符號
c組合數
A-排列數
n元素的總數
R-參與選擇的元素數量
！-階乘，比如5！=5×4×3×2×1=120
c組合組合
安排，安排
13，離散數學符號
├行列式(公式可用l證明)
滿足器(公式在e上有效，公式可以在e上滿足)
命題的“非”運算
∧命題的“合”(“與”)運算
命題的“析取”(“或”、“可組合或”)運算
→“條件”操作命題
A & lt= & gt命題a和命題b之間的等價關系
A = & gt命題a和命題b之間的蘊涵關系
公式A*的對偶公式
Wff公式
當且僅當
命題的“與非”運算(“與非門”)
↓命題的或非運算(或非門)
□語氣詞“必然”
語氣詞“可能”
φ空集
∈屬於(不屬於)
P(A)集合A的冪集
集合A中的點數
R 2 = r ○ r [r n = r (n-1) ○ r]關系r的“復合”。
(或者下面補充≠真的含有。
∪集的並運算
∩集的交運算
-(~)集的差分運算
(1210)限制
關系r上集合[X](右下角的r)的等價類。
關於A/ R集A上R的商集
[a]由元素A生成的環狀基團
I (i大寫)環，理想
Z/(n)模n的同余類集
關系R的自反閉包
s(R)關系的對稱閉包
CP命題的演繹定理(CP法則)
EG存在泛化規則(存在量詞引入規則)
ES存在量詞特定規則(存在量詞消去規則)
UG通用擴展規則(通用量詞引入規則)
美國全名特定規則(全名量詞消除規則)
r關系
r-相容關系
R○S關系及其組合
Domf函數的域(前域)
ranf函數的值域
F:X→Y f是X對Y的函數。
GCD(x，y) x，y的最大公約數
x，y的最小公倍數
關於a的aH(Ha) H的左(右)陪集
Ker(f)同態映射F的核(或F同態核)
[1，n] 1到n的整數集
D(u，v)點u和點v之間的距離。
點v在d(v)處的度數
G=(V，E)壹個點集為V，邊集為E的圖。
W(G)的圖G的連通分支數
k(G)圖G的點連通性
△(G)圖G的最大頂點度
圖G的鄰接矩陣
P(G)圖G的可達矩陣
圖G的關聯矩陣
c復數集
自然數集(包括0)
N*正自然數集
p素數集
q有理數集
r實數集
z整數集
集合集合類別
頂級拓撲空間範疇
Ab交換群的範疇
Grp組類別
Mon單位半群範疇
環中有單位元的(結合)環範疇
Rng環類別
CRng交換環範疇
R-模環R的左模範疇
mod-R環R的右模範疇
領域領域類別
偏序集偏序集範疇
1，幾何符號
⊥ ∥ ∠ ⌒ ⊙ ≡ ≌ △
2.代數符號
∝ ∧ ∨ ~ ∫ ≠ ≤ ≥ ≈ ∞ ∶
3.操作符號
如加號(+)、減號(-)、乘號(× or)、除法號(÷ or/)、兩個集合的並集(∩)、交集(∩)、根號(√)、對數(log、lg、ln)、比(:)。
4.符號集合
∪ ∩ ∈
5.特殊符號
∑π(π)
6.推理符號
| a |⊥∽△∞∩∩≦≦≤∈ⅲ
↑ → ↓ ↖ ↗ ↘ ↙ ∥ ∧ ∨
& amp；
① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩
Γ Δ Θ Λ Ξ Ο Π Σ Φ Χ Ψ Ω
α β γ δ ε ζ η θ ι κ λ μ ν
ξ ο π ρ σ τ υ φ χ ψ ω
Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ Ⅺ Ⅻ
ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ
∈ ∏ ∑ ∕ √ ∝ ∞ ∟ ∠ ∣ ∥ ∧ ∨ ∩ ∪ ∫ ∮
∴ ∵ ∶ ∷ ∽ ≈ ≌ ≒ ≠ ≡ ≤ ≥ ≦ ≧ ≮ ≯ ⊕ ⊙ ⊥
⊿ ⌒ ℃
索引0123: O123
7.數量符號
如:I，2+i，A，X，自然對數底數E，pi。
8.關系符號
例如，=是等號，≈是近似符號，≠是不等符號，>大於符號，<小於符號，≥大於等於符號(也寫成≯)和≤小於等於符號(也寫成≯)“→”表示變量的變化趨勢，“?”是近似符號，“≒”是完全等號，“∨”是平行符號，“∨”是垂直符號，“∧”是垂直符號(沒有反比例符號，但可以和反比例視為反比例。) "
9、結合符號
如括號()中的方括號[]和大括號{}中的橫線。
10，自然符號
如正號+，負號-，絕對值號||，加號或減號。
11，省略
如三角形(delta)、直角三角形(rt delta)、正弦(sin)、余弦(cos)、x的函數(f(x))、極限(lim)、角度(∞)，
∵因為，(單腳站立，無法站立)
∴ So，sum(?)，multiply (∏)，壹次從n個元素中取出r個元素的所有不同組合數(C(r)(n))，冪(a，Ac，Aq，x n)。
12，排列組合符號
c組合數
A-排列數
n元素的總數
R-參與選擇的元素數量
！-階乘，比如5！=5×4×3×2×1=120
c組合組合
安排，安排
13，離散數學符號
├行列式(公式可用l證明)
滿足器(公式在e上有效，公式可以在e上滿足)
命題的“非”運算
∧命題的“合”(“與”)運算
命題的“析取”(“或”、“可組合或”)運算
→“條件”操作命題
A & lt= & gt命題a和命題b之間的等價關系
A = & gt命題a和命題b之間的蘊涵關系
公式A*的對偶公式
Wff公式
當且僅當
命題的“與非”運算(“與非門”)
↓命題的或非運算(或非門)
□語氣詞“必然”
語氣詞“可能”
φ空集
∈屬於(不屬於)
P(A)集合A的冪集
集合A中的點數
R 2 = r ○ r [r n = r (n-1) ○ r]關系r的“復合”。
(或者下面補充≠真的含有。
∪集的並運算
∩集的交運算
-(~)集的差分運算
(1210)限制
關系r上集合[X](右下角的r)的等價類。
關於A/ R集A上R的商集
[a]由元素A生成的環狀基團
I (i大寫)環，理想
Z/(n)模n的同余類集
關系R的自反閉包
s(R)關系的對稱閉包
CP命題的演繹定理(CP法則)
EG存在泛化規則(存在量詞引入規則)
ES存在量詞特定規則(存在量詞消去規則)
UG通用擴展規則(通用量詞引入規則)
美國全名特定規則(全名量詞消除規則)
r關系
r-相容關系
R○S關系及其組合
Domf函數的域(前域)
ranf函數的值域
F:X→Y f是X對Y的函數。
GCD(x，y) x，y的最大公約數
x，y的最小公倍數
關於a的aH(Ha) H的左(右)陪集
Ker(f)同態映射F的核(或F同態核)
[1，n] 1到n的整數集
D(u，v)點u和點v之間的距離。
點v在d(v)處的度數
G=(V，E)壹個點集為V，邊集為E的圖。
W(G)的圖G的連通分支數
k(G)圖G的點連通性
△(G)圖G的最大頂點度
圖G的鄰接矩陣
P(G)圖G的可達矩陣
圖G的關聯矩陣
c復數集
自然數集(包括0)
N*正自然數集
p素數集
q有理數集
r實數集
z整數集
集合集合類別
頂級拓撲空間範疇
Ab交換群的範疇
Grp組類別
Mon單位半群範疇
環中有單位元的(結合)環範疇
Rng環類別
CRng交換環範疇
R-模環R的左模範疇
mod-R環R的右模範疇
領域領域類別
偏序集偏序集範疇