数学符号表

數學中，有一組常在數學表達式中出現的符號。數學工作者一般熟悉這些符號，使用時不一定會加以說明。但绝大多数常見的符号都有相应标准或Unicode符号说明等加以规范。

下表列出很多常見數學符號，並附有名稱、讀法和應用領域。第三欄為非正式定義，第四欄提供簡單例子。

數學符號表

符號	名稱	定義	舉例
	讀法
	數學領域
=	等號	$x=y$表示x和y是相同的東西或其值相等	$1+1=2$
	等於
	所有領域
≠	不等號	$x\neq y$表示x和y不是相同的東西或其值不相等	$1\neq 2$
	不等於
	所有領域
< >	嚴格不等號	$x<y$表示x小於y $x>y$表示x大於y	$3<4$ $5>4$
	小於，大於
	序理論
≤ ≥	不等號	$x\leq y$表示x小於或等於y $x\geq y$表示x大於或等於y	$3\leq 4$；$5\leq 5$ $5\geq 4$；$5\geq 5$
	小於等於，大於等於
	序理論
+	加號	$3+3$表示3加3	$3+3=6$
	加
	算術
−	減號	$6-3$表示6減3	$6-3=3$
	減
	算術
	負號	−5表示「負5」或「5的負數」	$-(-5)=5$
	負
	算術
	補集	$A-B$表示包含所有屬於$A$但不屬於$B$的元素的集合	$\left\{1,2,4\right\}-\left\{1,3,4\right\}=\left\{2\right\}$
	減
	集合論
× *	乘號	$2\times 3$表示2乘以3	$2\times 3=6$
	乘以
	算術
	直積	$X\times Y$表示所有第一個元素屬於$X$，第二個元素屬於$Y$的有序對的集合	$\left\{1,2\right\}\times \left\{3,4\right\}=\left\{(1,3),(1,4),(2,3),(2,4)\right\}$
	…和…的直積
	集合論
	向量積	${\boldsymbol {u}}\times {\boldsymbol {v}}$表示向量${\boldsymbol {u}}$和${\boldsymbol {v}}$的向量積	$(1,2,5)\times (3,4,-1)=(-22,16,-2)$
	向量積
	向量代數
$\cdot$	純量積	${\boldsymbol {u}}\cdot {\boldsymbol {v}}$表示向量${\boldsymbol {u}}$和${\boldsymbol {v}}$的純量積
	純量積
	向量代數
÷ /	除號	$6\div 3$或$6/3$表示「6除以3」或「以3除6」	$6\div 3=2$ $12/4=3$
	除以
	算術
${\sqrt {}}$ ${\sqrt {\ }}$	根號	${\sqrt {x}}$表示其平方根為x的正數	${\sqrt {4}}=+2$
	…的平方根
	實數
	複根號	若用極坐標表示複數$z=r\exp(i\varphi )$（滿足$-\pi <\varphi <\pi$）則${\sqrt {z}}={\sqrt {r}}\exp({\frac {i\varphi }{2}})$	${\sqrt {-1}}=i$
	…的平方根
	複數
|　|	絕對值	$\left\vert x\right\vert$表示實數軸（或複平面）上x和0的距離	$\left\vert 3\right\vert =3$，$\left\vert -5\right\vert =5$，$\left\vert i\right\vert =1$，$\left\vert 3+4i\right\vert =5$
	…的絕對值
	數
!	階乘	$n!$表示連乘積$1\times 2\times \ldots \times n$	$4!=1\times 2\times 3\times 4=24$
	…的階乘
	組合論
~	概率分佈	$X\sim D$表示隨機變量$X$概率分佈為$D$	$X\sim N(0,1)$：標準正態分佈
	滿足分佈
	統計學
	相似	「圖形甲～圖形乙」表示兩圖形形狀相同（但大小不一定一樣）	當$\triangle ABC\sim \triangle DEF$，則$\angle A=\angle D$，$\angle B=\angle E$，$\angle C=\angle F$，但是不代表${\bar {AB}}={\bar {DE}}$，${\bar {BC}}={\bar {EF}}$，${\bar {AC}}={\bar {DF}}$
	相似於，…與…相似
	幾何
⇒ → ⊃	實質蘊涵	$A\Rightarrow B$表示$A$真則$B$也真；$A$假則$B$不定 $\rightarrow$可能和$\Rightarrow$一樣，或者有下面將提到的函數的意思 $\supset$可能和$\Rightarrow$一樣，或者有下面將提到的交集的意思	$x=2\Rightarrow x^{2}=4$為真，但$x^{2}=4\Rightarrow x=2$一般情況下為假（x可以是$-2$）
	推出，若…則…
	命題邏輯
⇔ ↔	實質等價	$A\Leftrightarrow B$表示$A$真則$B$真，$A$假則$B$假	$x+5=y+2\Leftrightarrow x+3=y$
	當且僅當（若且唯若）
	命題邏輯
¬ ˜	邏輯非	命題$\neg A$為真當且僅當$A$為假 將斜線穿過符號相當於將「$\neg$」放在符號前面	$\neg (\neg A)\Leftrightarrow A$ $x\neq y\Leftrightarrow \neg (x=y)$
	非，不
	命題邏輯
∧	邏輯與或交運算	$A$為真且$B$為真則命題$A\land B$為真；否則為假	$n<4\land n>2\Leftrightarrow n=3$，當$n$是自然數
	與
	命題邏輯，格理論
∨	邏輯或或併運算	$A$或$B$（或都）為真則命題$A\lor B$為真；兩者都假則命題為假	$n\geq 4\lor n\leq 2\Leftrightarrow n\neq 3$，當$n$是自然數
	或
	命題邏輯，格理論
⊕ ⊻	異或	$A$和$B$剛好有一者為真則命題$A\oplus B$為真 $A\veebar B$的意義相同	$(\neg A)\oplus A$恆為真，$A\oplus A$恆為假
	異或
	命題邏輯，布爾代數
∀	全稱量詞	$\forall x:P(x)$表示$P(x)$對於所有x為真	$\forall n\in \mathbb {N} :n^{2}\geq n$
	對所有；對任意；對任一
	謂詞邏輯
∃	存在量詞	$\exists x:P(x)$表示有至少一個x使得$P(x)$為真	$\exists n\in \mathbb {N} :n$為偶數
	存在
	謂詞邏輯
∃!	唯一量詞	$\exists !x:P(x)$表示有且僅有一個x使得P(x)為真	$\exists !n\in \mathbb {N} :n+5=2n$
	存在唯一
	謂詞邏輯
:= ≡ :⇔	定義	$x:=y$或$x\equiv y$表示x定義為y的一個名字（注意：$\equiv$也可表示其它意思，例如恒等于 or 也能表達 若且唯若 或 同餘） $P:\Leftrightarrow Q$表示$P$定義為$Q$的邏輯等價	$\cosh x:={\frac {1}{2}}\left(\exp x+\exp(-x)\right)$ $A\;{\text{XOR}}\;B:\Leftrightarrow (A\lor B)\land \neg (A\land B)$
	定義為
	所有領域
{　,　}	集合括號	$\left\{a,b,c\right\}$表示$a,b,c$組成的集合	$\mathbb {N} =\left\{0,1,2,\ldots \right\}$
	…的集合
	集合論
{　:　} {　|　}	集合構造記號	$\left\{x:P(x)\right\}$表示所有滿足$P(x)$的x的集合 $\left\{x|P(x)\right\}$和$\left\{x:P(x)\right\}$的意義相同	$\left\{n\in \mathbb {N} :n^{2}<20\right\}=\left\{0,1,2,3,4\right\}$
	滿足…的集合
	集合論
∅ {}	空集合	$\varnothing$表示沒有元素的集合 $\left\{\right\}$的意義相同	$\left\{n\in \mathbb {N} :1<n^{2}<4\right\}=\varnothing$
	空集合
	集合論
∈ ∉	元素歸屬性質	$a\in S$表示$a$屬於集合$S$ $a\not \in S$表示$a$不屬於$S$	$\left({\frac {1}{2}}\right)^{-1}\in \mathbb {N}$ $2^{-1}\not \in \mathbb {N}$
	屬於；不屬於
	所有領域
⊆ ⊂ ⫋	子集	$A\subseteq B$表示$A$的所有元素屬於$B$ $A\subset B$表示$A\subseteq B$但$A\neq B$ （有的地方记作$A\subsetneqq B$）	$A\cap B\subseteq A$ $\mathbb {Q} \subset \mathbb {R}$ $\mathbb {Q} \subsetneqq \mathbb {R}$
	…的子集
	集合論
⊇ ⊃ ⫌	父集	$A\supseteq B$表示$B$的所有元素屬於$A$ $A\supset B$表示$A\supseteq B$但$A\neq B$ （有的地方记作$A\supsetneqq B$）	$A\cup B\supseteq B$ $\mathbb {R} \supset \mathbb {Q}$ $\mathbb {R} \supsetneqq \mathbb {Q}$
	…的父集
	集合論
∪	並集（聯集）	$A\cup B$表示包含所有$A$和$B$的元素但不包含任何其他元素的集合	$A\subseteq B\Leftrightarrow A\cup B=B$
	…和…的並集
	集合論
∩	交集	$A\cap B$表示包含所有同時屬於$A$和$B$的元素的集合	$\left\{x\in \mathbb {R} :x^{2}=1\right\}\cap \mathbb {N} =\left\{1\right\}$
	…和…的交集
	集合論
\ $\complement$	補集	$A\setminus B$表示所有屬於$A$但不屬於$B$的元素的集合 （有的地方记作$\complement _{A}B$）	$\left\{1,2,3,4\right\}\setminus \left\{3,4,5,6\right\}=\left\{1,2\right\}$ $\complement _{U}A=\left\{x|x\in U\ {\textrm {and}}\ x\notin A\right\}$
	減；除去
	集合論
(　)	函數應用	$f(x)$表示$f$在x的值	$f(x):=x^{2}$，則$f(3)=3^{2}=9$
	$f(x)$
	集合論
	優先組合	先運算括號內的部分	$\left({\frac {8}{4}}\right)\div 2={\frac {2}{2}}=1$ $8\div \left({\frac {4}{2}}\right)={\frac {8}{2}}=4$
	所有領域
ƒ:X →Y	函數箭頭	$f:X\rightarrow Y$表示$f$從集合$X$映射到集合$Y$	設$f:\mathbb {Z} \rightarrow \mathbb {N}$定義為$f(x)=x^{2}$
	從…到…
	集合論
o	複合函數	$f\circ g$是函數使得$(f\circ g)(x)=f(g(x))$	$f(x)=2x$且$g(x)=x+3$則$(f\circ g)(x)=2(x+3)$
	複合
	集合論
N ℕ	自然數	$\mathbb {N}$表示$\left\{0,1,2,3,\ldots \right\}$，另一定義參見自然數條目	$\left\{\left\vert a\right\vert :a\in \mathbb {Z} \right\}=\mathbb {N}$
	N
	數
Z ℤ	整數	$\mathbb {Z}$表示$\left\{\ldots ,-3,-2,-1,0,1,2,3,\ldots \right\}$	$\left\{a:\left\vert a\right\vert \in \mathbb {N} \right\}=\mathbb {Z}$
	Z
	數
Q ℚ	有理數	$\mathbb {Q}$表示$\left\{p|q:p,q\in \mathbb {Z} ,q\neq 0\right\}$	$3.14\in \mathbb {Q}$ $\pi \not \in \mathbb {Q}$
	Q
	數
R ℝ	實數	$\mathbb {R}$表示$\{\textstyle \lim _{n\to \infty }\displaystyle a_{n}:\forall n\in \mathbb {N} :a_{n}\in \mathbb {Q} ,$極限存在$\}$	$\pi \in \mathbb {R}$ ${\sqrt {-1}}\not \in \mathbb {R}$
	R
	數
C ℂ	複數	$\mathbb {C}$表示$\left\{a+bi:a,b\in \mathbb {R} \right\}$	$i={\sqrt {-1}}\in \mathbb {C}$
	C
	數
∞	無窮	$\infty$是擴展的實數軸上大於任何實數的數；通常出現在極限中	$\textstyle \lim _{x\to 0}\displaystyle {\frac {1}{\left\vert x\right\vert }}=\infty$
	無窮
	數
π	圓周率	$\pi$表示圓周長和直徑之比	$A=\pi r^{2}$是半徑為$r$的圓的面積
	pi
	幾何
||　||	範數	$\left\Vert x\right\Vert$是赋范线性空间元素x的範數	$\left\Vert x+y\right\Vert \leq \left\Vert x\right\Vert +\left\Vert y\right\Vert$
	…的範數；…的長度
	線性代數
∑	求和	$\sum _{k=1}^{n}a_{k}$表示$a_{1}+a_{2}+\ldots +a_{n}$	${\begin{aligned}\sum _{k=1}^{4}k^{2}&=1^{2}+2^{2}+3^{2}+4^{2}\\&=1+4+9+16\\&=30\end{aligned}}$
	從…到…的和
	算術
∏	求積	$\prod _{k=1}^{n}a_{k}$表示$a_{1}a_{2}\ldots a_{n}$	${\begin{aligned}\prod _{k=1}^{4}(k+2)&=(1+2)(2+2)(3+2)(4+2)\\&=3\times 4\times 5\times 6\\&=360\end{aligned}}$
	從…到…的積
	算術
	直積	$\prod _{i=0}^{n}Y_{i}$表示所有(n+1)-元組($y_{0},\ldots ,y_{n}$)	$\prod _{n=1}^{3}\mathbb {R} =\mathbb {R} ^{n}$
	…的直積
	集合論
'	導數	$f'(x)$函數$f$在x點的導數，也就是，那裡的切線斜率	$f(x)=x^{2}$則$f'(x)=2x$
	…撇；…的導數
	微積分
∫	不定積分或反導數	$\int f(x)dx$表示導數為$f$的函數	$\int x^{2}dx={\frac {x^{3}}{3}}+C$
	…的不定積分；…的反導數
	微積分
	定積分	$\int _{a}^{b}f(x)dx$表示x-軸和$f$在$x=a$和$x=b$之間的函數圖像所夾成的帶符號面積	$\int _{0}^{b}x^{2}dx={\frac {b^{3}}{3}}$
	從…到…以…為變量的積分
	微積分
∇	梯度	$\triangledown f(x_{1},\ldots ,x_{n})$偏導數組成的向量$(df/dx_{1},\ldots ,df/dx_{n})$	$f(x,y,z)=3xy+z^{2}$則$\triangledown f=(3y,3x,2z)$
	…的（del或nabla或梯度）
	微積分
∂	偏導數	設有$f(x_{1},\ldots ,x_{n}),\partial f/\partial x$是$f$的對於$x_{i}$的當其他變量保持不變時的導數	$f(x,y)=x^{2}y$則$\partial f/\partial x=2xy$
	…的偏導數
	微積分
	邊界	$\partial M$表示$M$的邊界	$\partial \left\{x:\left\Vert x\right\Vert \leq 2\right\}=\left\{x:\left\Vert x\right\Vert =2\right\}$
	…的邊界
	拓撲
	次數	$\partial f(x)$表示$f(x)$的次數（也記作$\deg f(x)$）
	…的次數
	多項式
⊥	垂直	$x\perp y$表示x垂直於y；更一般的x正交於y	$I\perp m$和$m\perp n$則$I\parallel n$
	垂直於
	幾何
	底元素	$x=\perp$表示x是最小的元素	$\forall x:x\land \perp =\perp$
	底元素
	格理論
⊧	蘊涵	$A\models B$表示$A$蘊涵$B$，在$A$成立的每件模型中，$B$也成立	$A\models A\lor \neg A$
	蘊涵；
	模型論
⊢	推導	$x\vdash y$表示y由x導出	$A\rightarrow B\vdash \neg B\rightarrow \neg A$
	從…導出
	命題邏輯，謂詞邏輯
◅	正規子群	$N\triangleleft G$表示$N$是$G$的正規子群	$Z(G)\triangleleft G$
	是…的正規子群
	群論
/	商群	$G/H$表示$G$模其子群$H$的商群	$\left\{0,a,2a,b,b+a,b+2a\right\}/\left\{0,b\right\}$ $=\left\{\left\{0,b\right\},\left\{a,b+a\right\},\left\{2a,b+2a\right\}\right\}$
	模
	群論
≈	同構	$G\approx H$表示$G$同構於$H$	$Q/\left\{1,-1\right\}\thickapprox V$， 其中$Q$是四元數群，$V$是克萊因四群
	同構於
	群論
	近似	甲≈乙表示甲約等於乙	$\pi \approx 3.14$
	約等於
	所有領域
∝	正比	$G\propto H$表示$G$正比於$H$	$Q\propto V$则$Q=KV$
	正比於
	所有领域
≅	全等	「圖形甲≅圖形乙」表示兩圖形全等（形狀大小都一樣）	$\triangle ABC\cong \triangle DEF$則$\angle A=\angle D$，$\angle B=\angle E$，$\angle C=\angle F$，${\bar {AB}}={\bar {DE}}$，${\bar {BC}}={\bar {EF}}$，${\bar {AC}}={\bar {DF}}$
	全等於，…與…全等
	幾何

參見

• 數學符號
• 用於數學、科學和工程的希臘字母
• 数学字母数字符号
• 数学常数
• 逻辑符号表

外部連結

• Compendium of Mathematical Symbols - Math Vault （页面存档备份，存于互联网档案馆）
• Math Symbols List - RapidTables （页面存档备份，存于互联网档案馆）
• Jeff Miller: Earliest Uses of Various Mathematical Symbols
• TCAEP - Institute of Physics