如果 n 是有结构式n 应外引括号；

（有结构式是指多项式、多因式等表达式）

如果 x 为单个字母表达式， x 的开方可简表为√x ；

如果f(n)是有结构式f(n)应外引括号；

如果f(n，r)是有结構式f(n，r)应外引括号；

如果f(n)是有结构式f(n)应外引括号；

如果f(n，r)是有结构式f(n，r)应外引括号；

如果f(x)是有结构式f(x)应外引括号；

如果f(x，y)是有结構式f(x，y)应外引括号；

如果f(x)是有结构式f(x)应外引括号；

如果f(x，y)是有结构式f(x，y)应外引括号；

如果f(xy)是有结构式，f(xy)应外引括号；

如果f(x，yz)昰有结构式，f(xy，z)应外引括号；

如果f(xy)是有结构式，f(xy)应外引括号；

如果f(x，y)是有结构式f(x，y)应外引括号；

如果A(n)是有结构式A(n)应外引括号；

洳果A(n，r)是有结构式A(n，r)应外引括号；

如果A(n)是有结构式A(n)应外引括号；

如果A(n，r)是有结构式A(n，r)应外引括号；

当文本格式表达找不到表达符的表达代替字符初步标准有：

a（≤ A 表示a为A的子集；

A ≥）a 表示A包含a；

a（＜ A 表示a为A的真子集；

A ＞）a 表示a为A的真子集；

　　N 自然数集（包含0在内）

伱高中掌握这么多够了 高中数学基本只涉及N Z R

排列组合符号　　C-组合数

　　R-参与选择的元素个数

离散数学符号（未全）　　? 全称量词

　　├ 断定符（公式在L中可证）

　　╞ 满足符（公式在E上有效公式在E上可满足）

　　┐ 命题的“非”运算

　　∧ 命题的“合取”（“与”）運算

　　∨ 命题的“析取”（“或”，“可兼或”）运算

　　→ 命题的“条件”运算

　　? 命题的“双条件”运算的

　　A* 公式A 的对偶公式

　　↑ 命题的“与非” 运算（ “与非门” ）

　　↓ 命题的“或非”运算（ “或非门” ）

　　□ 模态词“必然”

　　◇ 模态词“可能”

　　∈ 属于 A∈B 则为A属于B（?不属于）

　　P（A） 集合A的幂集

　　|A| 集合A的点数

　　?（或下面加 ≠） 真包含

　　- （～） 集合的差运算

　　[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○S 关系 与关系 的复合

　　domf 函数 的定义域（前域）

　　ranf 函数 的值域

　　aH(Ha) H 关于a的左（右）陪集

　　Ker(f) 同态映射f的核（或称 f同态核）

　　[1，n] 1到n的整数集合

　　G=(V,E) 点集为V边集为E的图

　　W(G) 图G的连通分支数

　　k(G) 图G的點连通度

　　△（G) 图G的最大点度

　　A(G) 图G的邻接矩阵

　　P(G) 图G的可达矩阵

　　M(G) 图G的关联矩阵

　　N 自然数集（包含0在内）

　　op 拓扑空间范畴

　　Mon 單元半群范畴

　　Ring 有单位元的（结合）环范畴

　　CRng 交换环范畴

　　R-mod 环R的左模范畴

　　mod-R 环R的右模范畴

　　Pose 偏序集范畴