如三角形（△），直角三角形（Rt△），正弦（sin）（见三角函数），
双曲正弦函数（sinh），x的函数（f(x)），极限（lim），角（∠），
∵ 因为（一个脚站着的，站不住）
∴ 所以（两个脚站着的，能站住）(口诀：因为站不住，所以两个点；因为上面两个点，所以下面两个点)
总和，连加：∑，求积，连乘：∏，从n个元素中取出r个元素所有不同的组合数 （n元素的总个数；r参与选择的元素个数），幂 等。 C 组合数
A (或P) 排列数
n 元素的总个数
r 参与选择的元素个数
! 阶乘，如5！=5×4×3×2×1=120，规定0！=1
!! 半阶乘(又称双阶乘)，例如7!!=7×5×3×1=105,10!!=10×8×6×4×2=3840 ∀ 全称量词
∃存在量词
├ 断定符（公式在L中可证）
╞ 满足符（公式在E上有效，公式在E上可满足）
﹁ 命题的“非”运算，如命题的否定为﹁p
∧ 命题的“合取”（“与”）运算
∨ 命题的“析取”（“或”，“可兼或”）运算
→ 命题的“条件”运算
↔ 命题的“双条件”运算的
p<=>q 命题p与q的等价关系
p=>q 命题p与q的蕴涵关系（p是q的充分条件，q是p的必要条件）
A* 公式A的对偶公式，或表示A的数论倒数（此时亦可写为 ）
wff 合式公式
iff 当且仅当
↑ 命题的“与非” 运算（ “与非门” ）
↓ 命题的“或非”运算（ “或非门” ）
□ 模态词“必然”
◇ 模态词“可能”
∅空集
∈ 属于（如A∈B，即“A属于B”）
∉ 不属于
P(A) 集合A的幂集
|A| 集合A的点数
R²=R○R [R=R○R] 关系R的“复合”
א Aleph,阿列夫
⊆ 包含
⊂（或⫋） 真包含
另外,还有相应的⊄,⊈,⊉等
∪ 集合的并运算
∩ 集合的交运算
-或\ 集合的差运算
〡 限制
集合关于关系R的等价类
A/R 集合A上关于R的商集
[a] 元素a产生的循环群
I环，理想
Z/(n) 模n的同余类集合
r(R) 关系 R的自反闭包
s(R) 关系 R的对称闭包
CP 命题演绎的定理（CP 规则）
EG 存在推广规则（存在量词引入规则）
ES 存在量词特指规则（存在量词消去规则）
UG 全称推广规则（全称量词引入规则）
US 全称特指规则（全称量词消去规则）
R 关系
r 相容关系
R○S 关系 与关系 的复合
domf 函数 的定义域（前域）
ranf 函数 的值域
f:x→y f是x到y的函数
(x,y) x与y的最大公约数，有时为避免混淆，使用gcd(x,y)
[x,y] x与y的最小公倍数，有时为避免混淆，使用lcm(x,y)
aH(Ha) H关于a的左（右）陪集
Ker(f) 同态映射f的核（或称f同态核）
[1，n] 1到n的整数集合
d(A,B),|AB|,或AB 点A与点B间的距离
d(V) 点V的度数
G=(V,E) 点集为V，边集为E的图G
W(G) 图G的连通分支数
k(G) 图G的点连通度
Δ(G) 图G的最大点度
A(G) 图G的邻接矩阵
P(G) 图G的可达矩阵
M(G) 图G的关联矩阵
C 复数集
I 虚数集
N 自然数集，非负整数集（包含元素0）
N*（N+） 正自然数集，正整数集（其中*表示从集合中去掉元素“0”，如R*表示非零实数）
P 素数（质数）集
Q 有理数集
R 实数集
Z 整数集
Set 集范畴
Top 拓扑空间范畴
Ab 交换群范畴
Grp 群范畴
Mon 单元半群范畴
Ring 有单位元的（结合）环范畴
Rng 环范畴
CRng 交换环范畴
R-mod 环R的左模范畴
mod-R 环R的右模范畴
Field 域范畴
Poset 偏序集范畴 字母 古希腊语名称 英语名称 古希腊语发音 现代希腊语发音 中文注音 数学意思 Α α ?λφα Alpha [a],[a?] [a] 阿尔法 角度；系数；平面 Β β β?τα Beta [b] [v] 贝塔 角度；系数；平面 Δ δ δ?λτα Delta [d] [ð] 德尔塔 变动；求根公式 Ε ε ?ψιλον Epsilon [e] [e] 伊普西隆 对数之基数 Ζ ζ ζ?τα Zeta [zd] [z] 泽塔 系数； Θ θ θ?τα Theta [t?] [θ] 西塔 温度；相位角 Ι ι ι?τα Iota [i] [i] 约塔 微小，一点儿 Λ λ λ?μβδα(现为λ?μδα) Lambda [l] [l] 兰姆达 波长（小写）；体积 Μ μ μυ(现为μι) Mu [m] [m] 谬 微（千分之一）；放大因数（小写） Ξ ξ ξι Xi [ks] [ks] 克西 随机变量 Π π πι Pi [p] [p] 派 圆周率=圆周÷直径≈3.1416 Σ σ σ?γμα Sigma [s] [s] 西格玛 总和（大写）；统计学上的标准差（小写） Τ τ ταυ Tau [t] [t] 陶 时间常数 Φ φ φι Phi [p?] [f] 弗爱 辅助角 Ω ω ωμ?γα Omega [??] [o] 欧米咖 角
