符号
$⇙⇚⇘⇄↠↔↳⇋↠⇈$
⇙⇚⇘⇄↠↔↳⇋↠⇈
$≈≡≠＝≤≥＜＞≮≯∷±＋－×÷／∫∮∝∞∧∨∑∏∪∩∈∵∴⊥‖∠⌒⊙≌∽√$
≈≡≠＝≤≥＜＞≮≯∷±＋－×÷／∫∮∝∞∧∨∑∏∪∩∈∵∴⊥‖∠⌒⊙≌∽√
这拷贝来的文章简直就是一个非常标准的反面教材，里面全角,半角,英文输入，中文输入混杂在一起。
效果参观版
（不方便复制）
1、几何符号
$⊥$ $∥$ $∠$ $⌒$ $⊙$ $≡$ $≌$ $△$
2、代数符号
$∝ ∧ ∨ ～ ∫ ≠ ≤ ≥ ≈ ∞ $
3、运算符号
$ 如加号（＋），减号（－），乘号（×或·），除号（÷或／），两个集合的并集（∪），交集（∩），$
$根号（√），对数（log，lg，ln），比（：），微分（dx），积分（∫），曲线积分（∮）等。$
4、集合符号
$ ∪ ∩ ∈$
5、特殊符号
$ ∑ （求和） π（圆周率）$
6、推理符号
$ |a| ⊥ ∽ △ ∠ ∩ ∪ ≠ ≡ ± ≥ ≤ ∈ ← $
$ ↑ → ↓ ↖ ↗ ↘ ↙ ∥ ∧ ∨ $
$ § $ &
$ ① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩ $
$ Γ Δ Θ Λ Ξ Ο Π Σ Φ Χ Ψ Ω $
$ α β γ δ ε ζ η θ ι κ λ μ ν $
$ ξ ο π ρ σ τ υ φ χ ψ ω $
$ Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ Ⅺ Ⅻ $
$ ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ $
$ ∈ ∏ ∑ ∕ √ ∝ ∞ ∟ ∠ ∣ ∥ ∧ ∨ ∩ ∪ ∫ ∮ $
$ ∴ ∵ ∶ ∷ ∽ ≈ ≌ ≒ ≠ ≡ ≤ ≥ ≦ ≧ ≮ ≯ ⊕ ⊙ ⊥ $
$ ⊿ ⌒ ℃ $
$ 指数0123：o123 $
7、数量符号
$ 如：i，2+i，a，x，自然对数底e，圆周率π。 $
8、关系符号
$ 如[＝]是等号，[≈]是近似符号，[≠]是不等号，[＞]是大于符号，[＜]是小于符号，[≥]是大于或等于符号（也可写作[≮]），[≤]是小于或等于符号（也可写作[≯]），。[→ ]表示变量变化的趋势，[∽]是相似符号，[≌]是全等号，[∥]是平行符号，[⊥]是垂直符号，[∝]是成正比符号，（没有成反比符号，但可以用成正比符号配倒数当作成反比）[∈]是属于符号，[⊆ ⊂ ⊇ ⊃]是[包含]符号等。 $
9、结合符号
$ 如小括号[（）]中括号[［］]，大括号[｛｝]横线[—] $
10、性质符号
$ 如正号[＋]，负号[－]，绝对值符号[| |]正负号[±] $
11、省略符号
$ 如三角形（△），直角三角形（Rt△），正弦（sin），余弦（cos），x的函数（f(x)），极限（lim），角（∠）， $
$ ∵因为，（一个脚站着的，站不住）$
$ ∴所以，（两个脚站着的，能站住）$
$ 总和（∑），连乘（∏），从n个元素中每次取出r个元素所有不同的组合数（C(r)(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) 集合关于关系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 偏序集范畴 $
可复制版
1、几何符号
⊥ ∥ ∠ ⌒ ⊙ ≡ ≌ △
2、代数符号
∝ ∧ ∨ ～ ∫ ≠ ≤ ≥ ≈ ∞
3、运算符号
如加号（＋），减号（－），乘号（×或·），除号（÷或／），两个集合的并集（∪），交集（∩），根号（√），对数（log，lg，ln），比（：），微分（dx），积分（∫），曲线积分（∮）等。
4、集合符号
∪ ∩ ∈
5、特殊符号
∑ π（圆周率）
6、推理符号
|a| ⊥ ∽ △ ∠ ∩ ∪ ≠ ≡ ± ≥ ≤ ∈ ←
↑ → ↓ ↖ ↗ ↘ ↙ ∥ ∧ ∨
&; §
① ② ③ ④ ⑤ ⑥ ⑦ ⑧ ⑨ ⑩
Γ Δ Θ Λ Ξ Ο Π Σ Φ Χ Ψ Ω
α β γ δ ε ζ η θ ι κ λ μ ν
ξ ο π ρ σ τ υ φ χ ψ ω
Ⅰ Ⅱ Ⅲ Ⅳ Ⅴ Ⅵ Ⅶ Ⅷ Ⅸ Ⅹ Ⅺ Ⅻ
ⅰ ⅱ ⅲ ⅳ ⅴ ⅵ ⅶ ⅷ ⅸ ⅹ
∈ ∏ ∑ ∕ √ ∝ ∞ ∟ ∠ ∣ ∥ ∧ ∨ ∩ ∪ ∫ ∮
∴ ∵ ∶ ∷ ∽ ≈ ≌ ≒ ≠ ≡ ≤ ≥ ≦ ≧ ≮ ≯ ⊕ ⊙ ⊥
⊿ ⌒ ℃
指数0123：o123
7、数量符号
如：i，2+i，a，x，自然对数底e，圆周率π。
8、关系符号
如“＝”是等号，“≈”是近似符号，“≠”是不等号，“＞”是大于符号，“＜”是小于符号，“≥”是大于或等于符号（也可写作“≮”），“≤”是小于或等于符号（也可写作“≯”），。“→ ”表示变量变化的趋势，“∽”是相似符号，“≌”是全等号，“∥”是平行符号，“⊥”是垂直符号，“∝”是成正比符号，（没有成反比符号，但可以用成正比符号配倒数当作成反比）“∈”是属于符号，“⊆ ⊂ ⊇ ⊃”是“包含”符号等。
9、结合符号
如小括号“（）”中括号“［］”，大括号“｛｝”横线“—”
10、性质符号
如正号“＋”，负号“－”，绝对值符号“| |”正负号“±”
11、省略符号
如三角形（△），直角三角形（Rt△），正弦（sin），余弦（cos），x的函数（f(x)），极限（lim），角（∠），
∵因为，（一个脚站着的，站不住）
∴所以，（两个脚站着的，能站住） 总和（∑），连乘（∏），从n个元素中每次取出r个元素所有不同的组合数（C(r)(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) 集合关于关系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 偏序集范畴
这些图标复制好了之后记得加上{$}
ｐｓ，$（半角）＄（全角），排版真的是太费劲了。