数学符号表

数学符号表[编辑]

维基百科，自由的百科全书

 

 

跳到导航跳到搜索

 这是一个未完成列表。欢迎您扩充内容。

本页面包含特殊字符，部分操作系统及浏览器需要特殊字母与符号支持才能正确显示，否则可能出现乱码、问号、空格等其它符号。

数学中，有一组常在数学表达式中出现的符号。数学工作者一般熟悉这些符号，所以使用时不一定会加以说明。但绝大多数常见的符号都有相应标准^[1]或Unicode符号说明^[2]等加以规范。下表列出了很多常见的数学符号，并附有名称、读法和应用领域。第三栏给出一个非正式的定义，第四栏提供简单的例子。

注意，有时候不同的数学符号有相同含义，而有些数学符号在不同的语境中会有不同的含义。

数学符号表[编辑]

符号	名称	定义	举例
	读法
	数学领域
=	等号	{displaystyle x=y}表示{displaystyle x}和{displaystyle y}是相同的东西或其值相等。	{displaystyle 1+1=2}
	等于
	所有领域
≠	不等号	{displaystyle x eq y}表示{displaystyle x}和{displaystyle y}不是相同的东西或其值不相等。	{displaystyle 1 eq 2}
	不等于
	所有领域
< >	严格不等号	{displaystyle x<y}表示{displaystyle x}小于{displaystyle y}。 {displaystyle x>y}表示{displaystyle x}大于{displaystyle y}。	{displaystyle 3<4} {displaystyle 5>4}
	小于，大于
	序理论
≤ ≥	不等号	{displaystyle xleq y}表示{displaystyle x}小于或等于{displaystyle y}。 {displaystyle xgeq y}表示{displaystyle x}大于或等于{displaystyle y}。	{displaystyle 3leq 4}；{displaystyle 5leq 5} {displaystyle 5geq 4}；{displaystyle 5geq 5}
	小于等于，大于等于
	序理论
+	加号	{displaystyle 3+3}表示 3 加 3。	{displaystyle 3+3=6}
	加
	算术
−	减号	{displaystyle 6-3}表示 6 减 3 或 6 被 3 减。	{displaystyle 6-3=3}
	减
	算术
	负号	−5 表示 5 的负数。	{displaystyle -(-5)=5}
	负
	算术
	补集	{displaystyle A-B}表示包含所有属于{displaystyle A}但不属于{displaystyle B}的元素的集合。	{displaystyle left{1,2,4 ight}-left{1,3,4 ight}=left{2 ight}}
	减
	集合论
×	乘号	{displaystyle 2 imes 3}表示 2 乘以 3。	{displaystyle 2 imes 3=6}
	乘以
	算术
	直积	{displaystyle X imes Y}表示所有第一个元素属于{displaystyle X}，第二个元素属于{displaystyle Y}的有序对的集合。	{displaystyle left{1,2 ight} imes left{3,4 ight}=left{(1,3),(1,4),(2,3),(2,4) ight}}
	… 和…的直积
	集合论
	向量积	{displaystyle {oldsymbol {u}} imes {oldsymbol {v}}}表示向量{displaystyle {oldsymbol {u}}}和{displaystyle {oldsymbol {v}}}的向量积。	{displaystyle (1,2,5) imes (3,4,-1)=(-22,16,-2)}
	向量积
	向量代数
÷ /	除号	{displaystyle 6div 3}或{displaystyle 6/3}表示 6 除以 3 或 3 除 6 或 6 被 3 除。	{displaystyle 6div 3=2} {displaystyle 12/4=3}
	除以
	算术
{displaystyle {sqrt {}}} {displaystyle {sqrt { }}}	根号	{displaystyle {sqrt {x}}}表示其平方为{displaystyle x}的正数。	{displaystyle {sqrt {4}}=+2}
	…的平方根
	实数
	复根号	若用极坐标表示复数{displaystyle z=rexp(ivarphi )}（满足{displaystyle -pi <varphi <pi }），则{displaystyle {sqrt {z}}={sqrt {r}}exp({frac {ivarphi }{2}})}。	{displaystyle {sqrt {-1}}=i}
	…的平方根
	复数
| |	绝对值	{displaystyle leftvert x ightvert }表示实轴（或复平面）上 x 和 0 的距离。	{displaystyle leftvert 3 ightvert =3}, {displaystyle leftvert -5 ightvert =5}, {displaystyle leftvert i ightvert =1}, {displaystyle leftvert 3+4i ightvert =5}
	…的绝对值
	数
!	阶乘	{displaystyle n!}表示连乘积{displaystyle 1 imes 2 imes ldots imes n}。	{displaystyle 4!=1 imes 2 imes 3 imes 4=24}
	…的阶乘
	组合论
~	概率分布	{displaystyle Xsim D}表示随机变量{displaystyle X}概率分布为{displaystyle D}。	{displaystyle Xsim N(0,1)}：标准正态分布
	满足分布
	统计学
⇒ → ⊃	实质蕴涵	{displaystyle ARightarrow B}表示{displaystyle A}真则{displaystyle B}也真；{displaystyle A}假则{displaystyle B}不定。 {displaystyle ightarrow }可能和{displaystyle Rightarrow }一样，或者有下面将提到的函数的意思。 {displaystyle supset }可能和{displaystyle Rightarrow }一样，或者有下面将提到的父集的意思。	{displaystyle x=2Rightarrow x^{2}=4}为真，但{displaystyle x^{2}=4Rightarrow x=2}一般情况下为假（因为{displaystyle x}可以是{displaystyle -2}）。
	推出，若…则 …
	命题逻辑
⇔ ↔	实质等价	{displaystyle ALeftrightarrow B}表示{displaystyle A}真则{displaystyle B}真，{displaystyle A}假则{displaystyle B}假。	{displaystyle x+5=y+2Leftrightarrow x+3=y}
	当且仅当（当且仅当）
	命题逻辑
¬ ˜	逻辑非	命题{displaystyle eg A}为真当且仅当{displaystyle A}为假。 将一条斜线穿过一个符号相当于将 "{displaystyle eg }" 放在该符号前面。	{displaystyle eg ( eg A)Leftrightarrow A} {displaystyle x eq yLeftrightarrow eg (x=y)}
	非，不
	命题逻辑
∧	逻辑与或交运算	若{displaystyle A}为真且{displaystyle B}为真，则命题{displaystyle Aland B}为真；否则为假。	{displaystyle n<4land n>2Leftrightarrow n=3}，当{displaystyle n}是自然数
	与
	命题逻辑，格理论
∨	逻辑或或并运算	若{displaystyle A}或{displaystyle B}（或都）为真，则命题{displaystyle Alor B}为真；若两者都假则命题为假。	{displaystyle ngeq 4lor nleq 2Leftrightarrow n eq 3}，当{displaystyle n}是自然数
	或
	命题逻辑，格理论
⊕ ⊻	异或	若{displaystyle A}和{displaystyle B}刚好有一个为真，则命题{displaystyle Aoplus B}为真。 {displaystyle Aveebar B}的意义相同。	{displaystyle ( eg A)oplus A}恒为真，{displaystyle Aoplus A}恒为假。
	异或
	命题逻辑，布尔代数
∀	全称量词	{displaystyle forall x:P(x)}表示{displaystyle P(x)}对于所有{displaystyle x}为真。	{displaystyle forall nin mathbb {N} :n^{2}geq n}
	对所有；对任意；对任一
	谓词逻辑
∃	存在量词	{displaystyle exists x:P(x)}表示存在至少一个{displaystyle x}使得{displaystyle P(x)}为真。	{displaystyle exists nin mathbb {N} :n}为偶数
	存在
	谓词逻辑
∃!	唯一量词	{displaystyle exists !x:P(x)}表示有且仅有一个 x 使得 P(x) 为真。	{displaystyle exists !nin mathbb {N} :n+5=2n}
	存在唯一
	谓词逻辑
:= ≡ :⇔	定义	{displaystyle x:=y}或{displaystyle xequiv y}表示{displaystyle x}定义为{displaystyle y}的一个名字（注意：{displaystyle equiv }也可表示其它意思，例如恒等于）。 {displaystyle P:Leftrightarrow Q}表示{displaystyle P}定义为{displaystyle Q}的逻辑等价。	{displaystyle cosh x:={frac {1}{2}}left(exp x+exp(-x) ight)} {displaystyle A;{ ext{XOR}};B:Leftrightarrow (Alor B)land eg (Aland B)}
	定义为
	所有领域
{ , }	集合括号	{displaystyle left{a,b,c ight}}表示{displaystyle a,b,c}组成的集合。	{displaystyle mathbb {N} =left{0,1,2,ldots ight}}
	…的集合
	集合论
{ : } { | }	集合构造记号	{displaystyle left{x:P(x) ight}}表示所有满足{displaystyle P(x)}的{displaystyle x}的集合。 {displaystyle left{x|P(x) ight}}和{displaystyle left{x:P(x) ight}}的意义相同。	{displaystyle left{nin mathbb {N} :n^{2}<20 ight}=left{0,1,2,3,4 ight}}
	满足…的集合
	集合论
∅ {}	空集合	{displaystyle varnothing }表示没有元素的集合。 {displaystyle left{ ight}}的意义相同。	{displaystyle left{nin mathbb {N} :1<n^{2}<4 ight}=varnothing }
	空集合
	集合论
∈ ∉	元素归属性质	{displaystyle ain S}表示{displaystyle a}属于集合{displaystyle S} {displaystyle a ot in S}表示{displaystyle a}不属于{displaystyle S}。	{displaystyle left({frac {1}{2}} ight)^{-1}in mathbb {N} } {displaystyle 2^{-1} ot in mathbb {N} }
	属于；不属于
	所有领域
⊆ ⊂ &subsetneqq;	子集	{displaystyle Asubseteq B}表示{displaystyle A}的所有元素属于{displaystyle B}。 {displaystyle Asubset B}表示{displaystyle Asubseteq B}但{displaystyle A eq B}。 （有的地方记作{displaystyle Asubsetneqq B}）	{displaystyle Acap Bsubseteq A} {displaystyle mathbb {Q} subset mathbb {R} } {displaystyle mathbb {Q} subsetneqq mathbb {R} }
	…的子集
	集合论
⊇ ⊃ &supsetneqq;	父集	{displaystyle Asupseteq B}表示{displaystyle B}的所有元素属于{displaystyle A}。 {displaystyle Asupset B}表示{displaystyle Asupseteq B}但{displaystyle A eq B}。 （有的地方记作{displaystyle Asupsetneqq B}）	{displaystyle Acup Bsupseteq B} {displaystyle mathbb {R} supset mathbb {Q} } {displaystyle mathbb {R} supsetneqq mathbb {Q} }
	…的父集
	集合论
∪	并集(并集)	{displaystyle Acup B}表示包含所有{displaystyle A}和{displaystyle B}的元素但不包含任何其他元素的集合。	{displaystyle Asubseteq BLeftrightarrow Acup B=B}
	…和…的并集
	集合论
∩	交集	{displaystyle Acap B}表示包含所有同时属于{displaystyle A}和{displaystyle B}的元素的集合。	{displaystyle left{xin mathbb {R} :x^{2}=1 ight}cap mathbb {N} =left{1 ight}}
	…和…的交集
	集合论
{displaystyle complement }	补集	{displaystyle Asetminus B}表示所有属于{displaystyle A}但不属于{displaystyle B}的元素的集合。 （有的地方记作{displaystyle complement _{A}B}）	{displaystyle left{1,2,3,4 ight}setminus left{3,4,5,6 ight}=left{1,2 ight}} {displaystyle complement _{U}A=left{x|xin U { extrm {and}} x otin A ight}}
	减；除去
	集合论
( )	函数应用	{displaystyle f(x)}表示{displaystyle f}在{displaystyle x}的值。	{displaystyle f(x):=x^{2}}，则{displaystyle f(3)=3^{2}=9}。
	{displaystyle f(x)}
	集合论
	优先组合	先执行括号内的运算。	{displaystyle left({frac {8}{4}} ight)div 2={frac {2}{2}}=1} {displaystyle 8div left({frac {4}{2}} ight)={frac {8}{2}}=4}
	所有领域
ƒ :X →Y	函数箭头	{displaystyle f:X ightarrow Y}表示{displaystyle f}从集合{displaystyle X}映射到集合{displaystyle Y}。	设{displaystyle f:mathbb {Z} ightarrow mathbb {N} }定义为{displaystyle f(x)=x^{2}}。
	从…到…
	集合论
o	复合函数	{displaystyle fcirc g}是一个函数，使得{displaystyle (fcirc g)(x)=f(g(x))}。	若{displaystyle f(x)=2x}且{displaystyle g(x)=x+3}，则 {displaystyle (fcirc g)(x)=2(x+3)}。
	复合
	集合论
N ℕ	自然数	{displaystyle mathbb {N} }表示{displaystyle left{1,2,3,ldots ight}}，另一定义参见自然数条目。	{displaystyle left{leftvert a ightvert :ain mathbb {Z} ight}=mathbb {N} }
	N
	数
Z ℤ	整数	{displaystyle mathbb {Z} }表示{displaystyle left{ldots ,-3,-2,-1,0,1,2,3,ldots ight}}。	{displaystyle left{a:leftvert a ightvert in mathbb {N} ight}=mathbb {Z} }
	Z
	数
Q ℚ	有理数	{displaystyle mathbb {Q} }表示{displaystyle left{p|q:p,qin mathbb {Z} ,q eq 0 ight}}。	{displaystyle 3.14in mathbb {Q} } {displaystyle pi ot in mathbb {Q} }
	Q
	数
R ℝ	实数	{displaystyle mathbb {R} }表示{displaystyle { extstyle lim _{n o infty }displaystyle a_{n}:forall nin mathbb {N} :a_{n}in mathbb {Q} ,}极限存在{displaystyle }}。	{displaystyle pi in mathbb {R} } {displaystyle {sqrt {-1}} ot in mathbb {R} }
	R
	数
C ℂ	复数	{displaystyle mathbb {C} }表示{displaystyle left{a+bi:a,bin mathbb {R} ight}}。	{displaystyle i={sqrt {-1}}in mathbb {C} }
	C
	数
∞	无穷	{displaystyle infty }是扩展的实轴上大于任何实数的数；通常出现在极限中。	{displaystyle extstyle lim _{x o 0}displaystyle {frac {1}{leftvert x ightvert }}=infty }
	无穷
	数
π	圆周率	{displaystyle pi }表示圆周长和直径之比。	{displaystyle A=pi r^{2}}是半径为{displaystyle r}的圆的面积
	pi
	几何
|| ||	范数	{displaystyle leftVert x ightVert }是赋范线性空间元素{displaystyle x}的范数。	{displaystyle leftVert x+y ightVert leq leftVert x ightVert +leftVert y ightVert }
	…的范数；…的长度
	线性代数
∑	求和	{displaystyle sum _{k=1}^{n}a_{k}}表示{displaystyle a_{1}+a_{2}+ldots +a_{n}}.	{displaystyle {egin{aligned}sum _{k=1}^{4}k^{2}&=1^{2}+2^{2}+3^{2}+4^{2}\&=1+4+9+16\&=30end{aligned}}}
	从…到…的和
	算术
∏	求积	{displaystyle prod _{k=1}^{n}a_{k}}表示{displaystyle a_{1}a_{2}ldots a_{n}}.	{displaystyle {egin{aligned}prod _{k=1}^{4}(k+2)&=(1+2)(2+2)(3+2)(4+2)\&=3 imes 4 imes 5 imes 6\&=360end{aligned}}}
	从…到…的积
	算术
	直积	{displaystyle prod _{i=0}^{n}Y_{i}}表示所有 (n+1)-元组 ({displaystyle y_{0},ldots ,y_{n}})。	{displaystyle prod _{n=1}^{3}mathbb {R} =mathbb {R} ^{n}}
	…的直积
	集合论
'	导数	{displaystyle f'(x)}函数{displaystyle f}在{displaystyle x}点的导数，也就是，那里的切线斜率。	若{displaystyle f(x)=x^{2}}, 则{displaystyle f'(x)=2x}
	… 撇; …的导数
	微积分
∫	不定积分 或 反导数	{displaystyle int f(x)dx}表示导数为{displaystyle f}的函数.	{displaystyle int x^{2}dx={frac {x^{3}}{3}}+C}
	…的不定积分; …的反导数
	微积分
	定积分	{displaystyle int _{a}^{b}f(x)dx}表示x-轴和{displaystyle f}在{displaystyle x=a}和{displaystyle x=b}之间的函数图像所夹成的带符号面积。	{displaystyle int _{0}^{b}x^{2}dx={frac {b^{3}}{3}}}
	从…到…以…为变量的积分
	微积分
∇	梯度	{displaystyle riangledown f(x_{1},ldots ,x_{n})}偏导数组成的向量{displaystyle (df/dx_{1},ldots ,df/dx_{n})}	若{displaystyle f(x,y,z)=3xy+z^{2}}则{displaystyle riangledown f=(3y,3x,2z)}
	…的(del或nabla或梯度)
	微积分
∂	偏导数	设有{displaystyle f(x_{1},ldots ,x_{n}),partial f/partial x}是{displaystyle f}的对于{displaystyle x_{i}}的当其他变量保持不变时的导数.	若{displaystyle f(x,y)=x^{2}y}, 则{displaystyle partial f/partial x=2xy}
	…的偏导数
	微积分
	边界	{displaystyle partial M}表示{displaystyle M}的边界	{displaystyle partial left{x:leftVert x ightVert leq 2 ight}=left{x:leftVert x ightVert =2 ight}}
	…的边界
	拓扑
	次数	{displaystyle partial f(x)}表示{displaystyle f(x)}的次数（也记作{displaystyle deg f(x)}）
	…的次数
	多项式
⊥	垂直	{displaystyle xperp y}表示{displaystyle x}垂直于{displaystyle y}；更一般的{displaystyle x}正交于{displaystyle y}.	若{displaystyle Iperp m}和{displaystyle mperp n}则{displaystyle Iparallel n}.
	垂直于
	几何
	底元素	{displaystyle x=perp }表示{displaystyle x}是最小的元素.	{displaystyle forall x:xland perp =perp }
	底元素
	格理论
⊧	蕴涵	{displaystyle Amodels B}表示{displaystyle A}蕴涵{displaystyle B}，在{displaystyle A}成立的每个模型中，{displaystyle B}也成立.	{displaystyle Amodels Alor eg A}
	蕴涵；
	模型论
⊢	推导	{displaystyle xvdash y}表示{displaystyle y}由{displaystyle x}导出.	{displaystyle A ightarrow Bvdash eg B ightarrow eg A}
	从…导出
	命题逻辑, 谓词逻辑
◅	正规子群	{displaystyle N riangleleft G}表示{displaystyle N}是{displaystyle G}的正规子群.	{displaystyle Z(G) riangleleft G}
	是…的正规子群
	群论
/	商群	{displaystyle G/H}表示{displaystyle G}模其子群{displaystyle H}的商群.	{displaystyle left{0,a,2a,b,b+a,b+2a ight}/left{0,b ight}} {displaystyle =left{left{0,b ight},left{a,b+a ight},left{2a,b+2a ight} ight}}
	模
	群论
≈	同构	{displaystyle Gapprox H}表示{displaystyle G}同构于{displaystyle H}。	{displaystyle Q/left{1,-1 ight} hickapprox V}, 其中{displaystyle Q}是四元数群 {displaystyle V}是 克莱因四群.
	同构于
	群论
∝	正比	{displaystyle Gpropto H}表示{displaystyle G}正比于{displaystyle H}。	若{displaystyle Qpropto V}，则{displaystyle Q=KV}
	正比于
	所有领域

参见[编辑]

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 偏序集范畴

• 数学符号
• 用于数学、科学和工程的希腊字母
• 数学字母数字符号
• 数学常数
• 逻辑符号表

外部链接[编辑]

• Jeff Miller: Earliest Uses of Various Mathematical Symbols
• TCAEP - Institute of Physics