ja.wikipedia.org

数学記号の表 - Wikipedia

出典: フリー百科事典『ウィキペディア（Wikipedia）』

「数学記号」はこの項目へ転送されています。ウィキペディアにおける数式の書き方については「m:Help:Displaying a formula/ja|ヘルプ:数式の書き方」をご覧ください。

数学的概念を記述する記号を数学記号という。数学記号は、数学上に抽象された概念を簡潔に表すためにしばしば用いられる。

数学記号が示す対象やその定義は、基本的にそれを用いる人に委ねられるため、同じ記号に見えても内容が異なっているということがあれば、逆に、異なって見える記号が同じ対象を示しているということもある^{[注 1]}。従って本項に示す数学記号とそれに対応する数学的対象は、数多くある記号や概念のうち、特に慣用されうるものに限られる。

以下の解説において、文字 P, Q, R はそれぞれ何らかの命題を表すものとする。

記号	意味	解説
$\land$	論理積、連言 (AND)	「P ∧ Q」は「命題 P と命題 Q がともに真」という命題を表す。
$\lor$	論理和、選言 (OR)	「P ∨ Q」は「命題 P と命題 Q の少なくとも一方は真」という命題を表す。
$\neg$	否定 (NOT)	「¬P」は「命題 P が偽」という命題を表す。
$\Rightarrow$	論理包含、含意	「P ⇒ Q」は、「命題 P が真なら必ず命題 Q も真」という命題を表す。P が偽の場合は P ⇒ Q は真である。
$\rightarrow$
$\Leftrightarrow ,\ {\text{iff}},\ \equiv$	同値	「P⇔Q」、「P≡Q」は P と Q の真偽が必ず一致することを意味する。iff は if and only if の略である。
$\vDash$	論理的帰結、伴意	主に意味論的な帰結関係に使われる。「Γ ⊨ φ」と書いて「有限個の論理式 Γ がすべて真であるなら、論理式 φ が真である」を意味する。「M ⊨ Γ」と書いて「（事前に定まっている理論の）モデル M において、Γ に属する論理式がすべて真である」を意味する。「⊨ φ」と書いて「（事前に定まっている理論の）任意のモデルにおいて、論理式 φ が真である」を意味する。
$\vdash$	推論	主に形式的な帰結関係に使われる。「Γ ⊢ φ」と書いて、有限個の論理式 Γ から、形式的に論理式 φ を推論できることを表す。
$\forall$	全称限量記号	しばしば ∀x∈S(P(x)) のように書かれ、集合 S の任意の元 x に対して命題 P(x) が成立することを表す。
$\exists$	存在限量記号	しばしば ∃x∈S(P(x)) のように書かれ、集合 S の中に条件 P(x) を成立させるような元 x が少なくとも1つ存在することを表す。
$\exists _{1},\ \exists 1,\ \exists \,!$	一意的に存在	しばしば ∃₁x∈S(P(x)) のように書かれ、集合 S の中に条件 P(x) を成立させるような元 x が唯一つ存在することを表す。他の記法も同様である。
$\therefore$	結論	文頭に記され、その文の主張が前述の内容を受けて述べられていることを示す。ゆえに。
$\because$	理由・根拠	文頭に記され、その文の内容が前述の内容の理由説明であることを示す。”なぜならば”。
$:=,\ :\Leftrightarrow$	定義	「A ≔ X」は、A という記号の意味するところを、X と定義することである。「A :⇔ X」とも書く。また " $=$ " の上に " $\mathrm {def}$ " ないし " $\bigtriangleup$ " を書くこと（ ${\stackrel {\mathrm {def} }{=}},{\stackrel {\bigtriangleup }{=}}$ ）もある。 $\ :\Leftrightarrow$ は命題を定義するときに使い、 $:=$ は何らかの数量や対象を定義するときに使う。

以下の解説において、S, T は任意の集合を、 $\bullet$ は記号の作用素を表す。

記号	意味	解説
$\{\ :\ \},\ \{\ \mid \ \},\ \{\ ;\ \}$	集合の内包的記法（英語版）	{ (代表元) : (代表元の満たすべき条件)} のように用いる。例えば {x  \|  x ∈ S, P(x)} は S の元のうち、命題 P(x) が真であるものすべてを集めた集合を意味し、これはまた {x ∈ S \| P(x)} のようにもしばしば略記される（「x ∈ S」のような条件が省略されている場合、無制限の内包（英語版）であるか紛れのおそれがないので省略したのかは文脈を読むべきである）。
$\in ,\ \ni ,\ \notin ,\ \not \ni$	集合に対する元の帰属関係	「x∈S」は、x が集合 S の元であることを意味する。「x∉S」は、x∈S の否定、すなわち x が S の元でないことを意味する。
$=$	集合の一致	「S = T」は集合 S と集合 T が等しいことを示す。
$\neq$	$=$ の否定	「S ≠ T」は集合 S と集合 T が等しくないことを示す。
$\subseteq ,\ \supseteq ,\ \subset ,\ \supset ,$ $\subsetneq ,\ \supsetneq ,\ \not \subset ,\ \not \supset$	集合の包含関係	「S ⊆ T」は S が T の部分集合であることを意味する。必要に応じて「T ⊇ S」とも書く。他も同じ。 ⊆ は S と T が等しい場合を含み、真部分集合に対しては ⊊ が用いられる。⊂ は真部分集合のみを指す流儀と、一般の部分集合を指す流儀がある。⊂ が一般の部分集合を表す場合には真部分集合を ⊊ によって表わし、⊂ が真部分集合を表す場合には一般の部分集合を ⊆ によって表わす。 ∈ と同様、⊄, ⊊ などの記号もある。

集合演算

記号	意味	解説
$\cap$	共通部分	「S ∩ T」は集合 S と集合 T の共通部分を表す。また $\textstyle \bigcap \limits _{\lambda \in \Lambda }S_{\lambda }$ は、集合族 (S_λ)_λ∈Λ の共通部分を表す。 ${\mathfrak {S}}:=\{S_{\lambda }\ \|\ \lambda \in \Lambda \}$ のとき、上の集合族を $\textstyle \bigcap {\mathfrak {S}}$ と書くことがある。
$\cup$	和集合	「S ∪ T」は集合 S と集合 T の和集合を表す。また、 $\textstyle \bigcup \limits _{\lambda \in \Lambda }S_{\lambda }$ は、集合族 (S_λ)_λ∈Λ の和集合を表す。 ${\mathfrak {S}}$ が上欄のものであるとき、上の集合族を $\textstyle \bigcup {\mathfrak {S}}$ と書くことがある。
$+,$ $\sqcup ,\coprod$	非交和集合	「 $S\sqcup T$ 」は「S ∪ T」に同じであるが、S ∩ T が空集合であることを暗に述べている。この場合、集合族の和集合は $\textstyle \coprod \limits _{\lambda \in \Lambda }S_{\lambda }$ のように記す。
$\setminus ,\ -$	差集合	「S ∖ T」は、集合 S から集合 T を除いた差集合を表す。「S−T」も同じ。
$\bullet ^{\mathrm {c} },\ \complement \bullet$	補集合	S^c は集合 S の補集合を表す。c は complement の略である。「 $\complement S$ 」も同じ。
$2^{\bullet },\ {\mathfrak {P}}(\bullet ),\ {\mathcal {P}}(\bullet )$	冪集合	2^S は、S の部分集合をすべて集めた集合を表す。 ${\mathfrak {P}}(S)$ とも書く。
$(\bullet ,\bullet ,\dotsc )$	順序対	元の順序付けられた組
$\times ,\ \textstyle \prod$	直積集合	「S × T」は S と T の直積を表す。一般に、集合族 (S_λ)_λ∈Λ の直積を $\textstyle \prod \limits _{\lambda \in \Lambda }S_{\lambda }$ のように記す。
$\bullet /\bullet$	商集合	「S/∼」は、集合 S の同値関係 ∼ によって定まる S の商集合を表す。
$\operatorname {Map} (\bullet ,\bullet ),\ \bullet ^{\bullet },\ {\mathcal {F}}(\bullet ,\bullet )$	配置集合	Map(S, T) や T^S は S から T への写像をすべて集めた集合を表す。
$\triangle ,\ \ominus$	対称差	対称差は、二つの集合に対し、一方には含まれるが他方には含まれない元をすべて集めた集合を表す: $P\,\triangle \,Q:=(P\cup Q)\setminus (P\cap Q)=(P\setminus Q)\cup (Q\setminus P)$

写像

記号	意味	解説
$f\colon \bullet \to \bullet$	写像	「f: S → T」は、f が S から T への写像であることを示す。
$\bullet \mapsto \bullet$	元の対応	$x\,{\stackrel {f}{\mapsto }}\,y$ は、x を写像 f によって写したものが y であることを意味する。文脈上明らかであれば f の記述は省略される。
$\circ$	合成写像	「 $f\circ g$ 」は写像 g と写像 f の合成を表す。すなわち $(f\circ g)(x)=f(g(x))$ である。
${\text{Im}},\ {\text{Image}},\ \bullet [\bullet ]$	像	写像 φ に対して、Image φ はその写像の像全体の集合（値域）を表す。写像 $\varphi \colon X\to Y$ に対して $\varphi [X]$ とも書く。

二項関係演算

記号	意味	解説
$=$	相等	x = y は x と y が等しいことを表す。
$\neq$	不一致	x ≠ y は x と y が等しくないことを表す。
$\sim ,\simeq ,\approx ,\fallingdotseq ,\risingdotseq$ (等号#ほぼ等しいを参照)	ほぼ等しい	「x ≒ y」または「x ≈ y」は x と y がほぼ等しいことを表す。記号 ≒ は日本など少数の地域でのみ通用し、≈ の方が標準的である。その他にも ∼, ≃, ≅ などを同様の意味で用いることもある。近似においてどのくらい違いを容認するかは文脈による。多くの場合、誤差解析的な意味で用いられ、ある誤差の見積もりの下で両者が等しいことを示すが、そのほかにも漸近解析においては漸近的に等しいという意味で用いられる。

順序構造

記号	意味	解説
$<,>$	大小関係, 順序	「x < y」は　x と y の間に何らかの順序が定まっていて、x の方が「先」であることを示す。必要に応じて「y > x」とも書く。
$\leq ,\ \geq ,\ \leqq ,\ \geqq$	大小関係, 順序	「x ≦ y」とは「x < y または x = y」のことである。「x ≧ y」も同様に定義される。
$(\cdot ,\cdot ),\ ]\cdot ,\cdot [$	開区間	(a, b) は {x : a < x < b} を表す。
$[\cdot ,\cdot ]$	閉区間	[a, b] は {x : a ≦ x ≦ b} を表す。
$(\cdot ,\cdot ],\ ]\cdot ,\cdot ],\ [\cdot ,\cdot ),\ [\cdot ,\cdot [$	半開区間	(a, b] は {x : a < x ≦ b} を表す
$\sup$	上限	集合 S に対し、sup S は S の上限を表す。また、写像 f に対し、f (S) の上限を $\sup _{x\in S}f(x)$ とも書く. これは $\sup\{f(x);\ x\in S\}$ の略記である。その他、幾つかの記法のバリエーションがある。
$\inf$	下限	上限の対義語で、記法は上限と同様。
$\max$	最大値	記法は上限と同様
$\min$	最小値	記法は上限と同様

特定の集合

記号	意味
$\varnothing ,\emptyset$	空集合
$\mathbf {P} ,\ \mathbb {P}$	素数 (Prime numbers) の全体、射影空間など
$\mathbf {N} ,\ \mathbb {N}$	自然数 (Natural numbers) の全体
$\mathbf {Z} ,\ \mathbb {Z}$	整数 (独: Zahlen) の全体
$\mathbf {Q} ,\ \mathbb {Q}$	有理数 (Rational numbers) の全体
$\mathbf {R} ,\ \mathbb {R}$	実数 (Real numbers) の全体
$\mathbf {A} ,\ \mathbb {A}$	代数的数 (Algebraic numbers) の全体、アフィン空間、アデールなど
$\mathbf {C} ,\ \mathbb {C}$	複素数 (Complex numbers) の全体
$\mathbf {H} ,\ \mathbb {H}$	四元数 (Hamilton numbers) の全体
$\mathbf {O} ,\ \mathbb {O}$	八元数 (Octonions) の全体
$\mathbf {S} ,\ \mathbb {S}$	十六元数 (Sedenions) の全体
$\mathbf {U} ,\ \mathbb {U}$	グロタンディーク宇宙 (Grothendieck universe) の全体
$\mathbb {F} _{q},\operatorname {GF} (q)$	位数 q の有限体
$\Delta _{X}$	対角線集合： $\Delta _{X}:=\{(x,x);\ x\in X\}$ 。

濃度

記号	意味	解説
\|•\|, card, #	濃度	\|S\| は集合 S の濃度を表す。card S や #S も同じ。
$\aleph _{0},\ {\mathfrak {a}},\ \beth _{0}$	可算濃度	自然数全体の集合の濃度。これは極小（選択公理を認める場合は最小）の無限濃度である。
$\aleph ,\ {\mathfrak {c}},\ \beth _{1}$	連続体濃度	実数全体の集合の濃度。これが可算濃度の次の濃度であるというのが連続体仮説である。

以下、X, Y などは集合を表す。

記号	意味	解説
${\mathcal {O}},\ {\mathfrak {O}}$	開集合系	X 上に定まる開集合系を表す。開集合系によって位相を定める文脈では X を $(X,{\mathcal {O}})$ などとも書く。
${\mathcal {C}},\ {\mathfrak {C}}$	閉集合系	X 上に定まる閉集合系を表す。閉集合系によって位相を定める文脈では X を $(X,{\mathcal {C}})$ などとも書く。
$B(x,r),\ B_{r}(x),\ B_{X}(x,r)$	開球体	$x\in X$ を中心とする半径 $r>0$ の開球体を表す。どの集合の位相で考えているかを明記するときは $B_{X}(x,r)$ のように書く。
${\text{Int}}\,X,\ X^{\circ }$	内部、開核	X の内部 (interior) を表す。
$X^{-},\ {\overline {X}},\ {\text{Cl}}\,X$	閉包	X の閉包 (closure) を表す。
$\partial X$	境界	X の境界 (frontier, boundary) を表す。
${\mathcal {O}}_{Y}$	相対位相	位相空間 $(X,{\mathcal {O}})$ と $Y\subset X$ に対して、 ${\mathcal {O}}_{Y}$ は相対位相を表す。

ある数学定数を表すために広く習慣的に使われる記号がいくつかある。

記号	意味	解説
$0$ , $O$	加法単位元(零元)	加法における単位元、乗法の零元などを指す。加法的代数系の単位元を 0 あるいは 0_S と書く。
$1$	乗法単位元	乗法における単位元、加法の零元などを指す。乗法的代数系の単位元を 1 あるいは 1_S と書く。
π	円周率	円の直径に対する円周の比。しばしば平面の名称にも用いられる。
e	ネイピア数（自然対数の底）	リンク先参照。定義の一例として ${\frac {d}{dx}}a^{x}=a^{x}$ なる a。
i, j, k	虚数単位	自乗して −1 となる数。電気工学系では電流 i との混同を避けるためしばしば j を用いて、1, i と共に四元数体の、 $\mathbb {R}$ 上のベクトル空間としての基底をなす。

初等幾何

記号	意味	解説
$\equiv$	合同	適当な方法で一致させることができる図形の間の関係。
∽, $\sim$	相似	△ABC∽△DEFで△ABCと△DEFが相似であることを表す。
$(\bullet ,\bullet ,\dotsc )$	座標	(a, b) = (1, 4)で平面における座標a, bがそれぞれ1と4に位置することを表す。
$\angle$	角	∠ABCや∠Bで点Bにおける角を表す。また、複素数の複素平面上におけるベクトルが実軸となす角度を表す。
∟	直角	∟ABCで点Bにおける角が直角であることを表す。
$\bot$	垂直	AB⊥CDで直線ABと直線CDが垂直であることを表す。
$/\!/,\ \parallel$	平行	AB∥CDで直線ABと直線CDが平行であることを表す。
$\frown$	弧	⏜AB で点 A と点 B を結ぶ弧を表す。

距離空間

記号	意味	解説
$d(\bullet ,\bullet )$	距離関数	d(x, y) で x と y との距離を表す。
$\operatorname {diam} (\bullet )$	径	diam(X) は d(x, y) (x, y ∈ X) 全体の集合の上限。

代数的トポロジー

記号	意味	解説
$H^{\bullet }(\bullet )$	コホモロジー	ホモロジー論と代数トポロジーにおいてはコチェイン複体から定義されるアーベル群の列を意味する一般的な用語である。
$H_{\bullet }(\bullet )$	ホモロジー	代数的位相幾何学や抽象代数学において、ホモロジー（「同一である」ことを意味するギリシャ語のホモス (ὁμός) に由来）は与えられた数学的対象。
$\pi (\bullet )$	ホモトピー	ホモトピーとは、点や線や面などの幾何学的対象、あるいはそれらの間の連続写像が連続的に移りあうということを定式化した位相幾何学における概念のひとつである。

極限操作

記号	意味	解説
$\ll$	非常に小, 漸近記法	「x ≪ y」は x が y に比べて非常に小さいことを表す。「どれくらい」小さいかは文脈による。また、函数の漸近挙動を表すこともある。D を $\mathbb {R} ^{n}$ または ${\overline {\mathbb {R} }}$ の部分集合とし、 $a\in {\overline {D}}$ とする。函数 g は、a の除外近傍 U₀ と D の共通部分 $U_{0}\cap D$ 上で $g(x)\neq 0$ となる函数とする。函数 f が $\lim _{x\to a}{\frac {f(x)}{g(x)}}=0$ をみたすとき、a の周辺では f は g にくらべて無視できるといい、 $f\ll g$ と記す。^[1]
$\gg$	非常に大	「x ≫ y」は x が y に比べて非常に大きいことを表す。「どれくらい」大きいかは文脈による。
$\wedge ,\ \vee$	小さくない方, 大きくない方	$x\wedge y$ で x, y の小さくない方を、 $x\vee y$ で x, y の大きくない方を表すことがある。
$\lim$	極限	数列 a_n に対し、 $\lim _{n\to \infty }a_{n}$ はその数列の極限値を表す。また、関数 f (x) に対し、 $\lim _{x\to c}f(x)$ は f (x) の c における極限値を表す。
$\limsup ,\varlimsup$	上極限	$\limsup _{n\to \infty }a_{n}=\inf _{n\in \mathbb {N} }\sup _{k\geq n}a_{k}$
$\liminf ,\varliminf$	下極限	$\liminf _{n\to \infty }a_{n}=\sup _{n\in \mathbb {N} }\inf _{k\geq n}a_{k}$
$o(\bullet )$	漸近記法	関数の漸近挙動を表す。
$O(\bullet )$
$\Theta (\bullet )$
$\Omega (\bullet )$
$\bullet \sim \bullet$
$\bullet \approx \bullet$

微分積分

記号	意味	解説
$\bullet '$	導関数, 微分	関数 f に対し、f' は f の導関数を表す（ラグランジュの記法）。' はダッシュともプライムとも読まれる。また、次のようにも表記される。 ${\frac {d}{dx}}f(x),\ {\frac {df}{dx}}(x)$
${\frac {d}{dx}}\bullet$
$\partial$	偏微分	${\frac {\partial f(x,y)}{\partial x}}$ ：多変数関数 f (x, y) の x に関する偏微分を表す。
$\int$	積分	$\int _{a}^{b}f(x)dx$ : 関数 f (x) の区間 [a, b] における積分を表す。
$\int _{D}\,f(x)dx$ : f (x) の領域 D における積分を表す。
$\int f(x)dx$ : f (x) の不定積分。または、積分域が明らかな場合の略記。
$\oint$	線積分	$\oint _{D}\,f(x)dx$ : f (x) の領域 D における線積分を表す。
$\iint$	面積分	$\iint _{D}\,f(x)dx$ : f (x) の領域 D における面積分を表す。
$\iiint$	体積積分	$\iiint _{D}\,f(x)dx$ : f (x) の領域 D における体積積分を表す。
$\nabla \bullet$	ナブラ	各成分を微分するベクトル微分作用素を表す。
$\triangle \bullet$	ラプラシアン	2つの ∇ の内積になるラプラスの微分作用素を表す。
$\Delta \bullet$
$\Box \bullet$	ダランベルシアン	物理学において、時空の空間成分のラプラシアンに時間成分を加えたもの。
$C^{\bullet }$		$C^{k}=C^{k}(D)$ は D 上で定義された k 回連続微分可能な関数からなる集合を表す。
$\operatorname {div} \bullet$	発散（湧き出し）	ベクトル場 A(x) に対する ∇⋅A(x) を与える。
$\operatorname {rot} \bullet ,\operatorname {curl} \bullet$	回転（渦度）	ベクトル場 A(x) に対する ∇×A(x) を与える。
$\operatorname {grad} \bullet$	勾配	スカラー場 f (x) に対する ∇f (x) を与える。

関数グラフ

記号	意味	解説
$\beta (x)$	ベータ関数
$\zeta (x)$	ゼータ関数
$\mathrm {erf} (x)$	誤差関数	特殊関数の一種。 $\mathrm {erf} \left(x\right)\colon ={\frac {2}{\sqrt {\pi }}}\int _{0}^{x}e^{-t^{2}}\,dt$ で定義される。
∝	比例	変数が比例の関係にある場合に使用する。例として、y が x に比例するとき、y ∝ xと表す。

算術記号

記号	意味	解説
$+$	正符号	x の反数（加法に関する逆元）を表すために負符号を用いて −x と記す。反数を与える演算を負符号で表すことに対応して、x 自身を与える恒等変換に正符号を用い、その結果を +x のように表すことがある。
$-$	負符号
$+$	加法	x + y は x と y の和を表す
$\textstyle \sum$	総和	$\textstyle \sum \limits _{k=1}^{n}a_{k}:=a_{1}+a_{2}+\dotsb +a_{n-1}+a_{n}$ と定義され、その極限として定まる無限和を $\textstyle \sum \limits _{k=1}^{\infty }a_{k}\equiv \lim \limits _{n\to \infty }\sum \limits _{k=1}^{n}a_{k}$ と書く。またある命題 P(x) があるとき、P(x) を満たすような各 k についての和を取ることを $\textstyle \sum \limits _{P(k)}\,a_{k}$ と書く。
$-$	減法	x − y は x と y の差を表す。通常、y の反数 −y を用いて x + (−y) と定義されている。
$\pm$	加法と減法	x ± y は x と y の和と差を表す。
$\times$	乗法	x × y は x と y の積を表す。中黒 (bullet operatorまたはdot operator) を使って x · y と書いたり、アスタリスクを使って x * y とも書く。特にアスタリスクは多くのプログラミング言語において乗法の演算子として用いられる。
$\cdot$
$*$
$\bullet ^{-1}$	乗法逆元	x^-1はある数xとの積が1となる数を表す。1/xと書かれることもある。
$\textstyle \prod$	総乗	$\textstyle \sum$ はたくさんの加法を一挙に表すものであったが、 $\textstyle \prod$ はたくさんの乗法を一挙に表すものである。 $\textstyle \prod \limits _{k=1}^{n}a_{k}=a_{1}\times a_{2}\times \dots \times a_{n}$ 他の記法のバリエーションも $\textstyle \sum$ に同じ。
$\div$	除法	x ÷ y は x を y で割った商と剰余の組か、あるいは商を表す。x ÷ y の商はしばしば分数 x/y で表され、また斜線自体を商を与える演算子と見なすことがある。多くのプログラミング言語においては商を与える演算子として `/` が定義されている。
$/$
$!,$ $\,\$$	(順に)階乗, 超階乗	n! は n の階乗を表す。n$ は n の超階乗を表す。
$\delta _{ij}$	クロネッカーのデルタ	i = j のとき 1、i ≠ j のとき 0。
$\lfloor \bullet \rfloor ,[\bullet ]$	床関数	$\lfloor x\rfloor$ は x 以下の最大整数を表す。
$\lceil \bullet \rceil$	天井関数	$\lceil x\rceil$ は x 以上の最小整数を表す。
${\binom {n}{k}},\,{}_{n}{\text{C}}_{k},\,C_{k}^{n}$	二項係数（組合せ）	通常は括弧書きで表される。C を使った記法は様々なバリエーションがある。

合同算術・初等数論

記号	意味	解説
$\operatorname {mod} ,$ $\,\%$	剰余	「x mod y」は整数 x の属する法 y の剰余類や、x を y で割った余りを表す^[要出典]。C言語やその影響を受けたプログラミング言語などでは整数の剰余を与える演算子として `%` が定義されている^{[注 2]}。Fortran のように `mod` を用いる言語も存在する。
$\|$	割り切る	x $\|$ y は、x が y を割り切る、つまり x は y の約数であることを表す。
$\not \|$	$\|$ の否定（割り切れない）	x $\not \|$ y は、x は y の約数ではないことを表す。
$\bullet \equiv \bullet {\pmod {\bullet }}$	合同	n ≡ m (mod d) は n と m が d を法として合同であることを示す。
$\operatorname {ord} (\bullet )$	位数	ある群の元の個数を群の位数という。また群の元 x に対し、ord x は x の生成する巡回群の位数を表す。
$(\bullet ,\bullet )$	最大公約数	(a, b) は a と b の最大公約数を表す。gcd は greatest common divisor の略である。プログラミング言語の数学ライブラリにおいて、最大公約数を与える関数（サブルーチン）が `gcd` としてしばしば定義される。
$\gcd(\bullet ,\bullet )$
$\bullet ^{-1}$	モジュラ逆数	整数 a と法 m について $ax\equiv 1{\pmod {m}}$ を満たす x をモジュラ逆数といい、a^-1 で表す。

記号	意味	解説
$e$	冪等元	環の冪等元をしばしば e で表す。
$p$	プラスチック数	p は $x^{3}=x+1,\;$ という代数方程式の唯一の解。

記号	意味	解説
$\|\bullet \|$	絶対値	\|x\| は x の絶対値である。
$\operatorname {abs} (\bullet )$
$\\|\bullet \\|$	ノルム	‖ x ‖ は x のノルムである。
$\Re \bullet$	実部	複素数 z に対し、Re(z) はその実部を、Im(z) はその虚部を表す。z = Re(z) + i Im(z)
$\operatorname {Re} \bullet$
$\Im \bullet$	虚部
$\operatorname {Im} \bullet$
${\overline {\bullet }}$	共役複素数	複素数 z に対し、 ${\bar {z}}$ はその共役複素数を表す。
$\operatorname {deg} \bullet$	次数	多項式 f に対して、deg f はその次数を表す。
${\sqrt {\bullet }},{\sqrt[{\bullet }]{\bullet }}$	冪根、根基	ⁿ√x は x の n乗根を表す。n が 2 であるときには単に √x と書くことが多い。イデアルの根基を表す。
$\langle \bullet ,\bullet \rangle$	内積	<x, y> は x と y の内積を表す。
$(\bullet ,\bullet )$

記号	意味	解説
$\dim _{\bullet }\bullet$	次元	ベクトル空間 V に対し、「dim V」は V の次元を表す。
$\|\bullet \|$	行列式	\|X\| は正方行列 X の行列式である。
$\det(\bullet )$
$\operatorname {tr} (\bullet )$	跡	tr(X) は正方行列 X の跡である。
${}^{t}\bullet ,\bullet ^{t}$	転置	^tX は行列 X の転置行列である。
$\operatorname {rank} \bullet$	階数	線形写像 φ に対して、rank φ は dim Im(φ) を表す。また、行列 A に対して、rank A は A の階数を表す。
$\operatorname {Ker} \bullet ,\ \ker \bullet$	核、零空間	群や環の準同型、ベクトル空間の間の線形写像 φ に対して、Ker φ はその準同型の核を表す。
$\operatorname {Im} \bullet ,\ \operatorname {im} \bullet$	像	群や環の準同型、ベクトル空間の間の線形写像 φ に対して、Im φ はその準同型の像を表す。
$\operatorname {Hom} _{\bullet }(\bullet ,\bullet )$	準同型の集合	Hom_K(F, G) は、作用域 K のある代数系 F, G の間の作用準同型 (homomorphism) 全体からなる集合を表す。
$\operatorname {Aut} (\bullet )$	自己同型群	Aut(G) は、G のそれ自身に対する同型 (automorphism) 全体からなる群を表す。
$\operatorname {Inn} (\bullet )$	内部自己同型群	Inn(G) は、G の内部自己同型 (inner automorphism) 全体からなる群を表す。
$\operatorname {End} (\bullet )$	自己準同型	End(G) は、G のそれ自身に対する準同型 (endomorphism) 全体からなる集合（モノイド）を表す。

記号	意味	解説
$\langle \bullet \rangle$	生成	G を群とすると、G の部分集合 S に対し、⟨S⟩ は S の生成する部分群を表す。特に、S が一元集合 S = {x} であるときには ⟨x⟩ とも書く。これは x の生成する巡回群である。環やベクトル空間などについても同様の記法を使う。
$(\bullet )$	生成するイデアル	(a, ...) は a, ... の生成するイデアル
$K[\bullet ]$	多項式環、生成する環	K を可換環とするとき、K[x, ...] は K と {x, ...} を含む最小の環。生成系が不定元のみからなれば多項式の環である。
$K(\bullet )$	有理関数環、生成する体	K を可換体とするとき、K(x, ...) は K と {x, ...} を含む最小の体。生成系が不定元のみからなれば有理式の体である。
$K\langle \bullet \rangle$	非可換多項式環、生成する環	K を非可換環とするとき、K⟨x, ...⟩ は K と {x, ...} を含む最小の環。

統計学

記号	意味	解説
r. v.	確率変数	random variable の略
p. m. f. あるいは pmf	確率質量関数	probability mass function の略
p. d. f. あるいは pdf	確率密度関数	probability density function の略
$\sim$	“確率変数”が“確率分布”に従う	$\textstyle X\sim {\mathcal {D}}$ は確率変数 X が確率分布 $\textstyle {\mathcal {D}}$ に従うことを表す
i. i. d.	独立同分布	independent and identically distributed の略。X₁, ..., X_n i.i.d. は確率変数 X₁, ..., X_n が同じ確率分布に独立に従うことを表す
$P(\bullet ),\mathbb {P} (\bullet )$	確率	P(E) は事象 E の確率
$E(\bullet ),\mathbb {E} (\bullet )$	期待値	E(X) は確率変数 Xの期待値。確率分布に対して定義する場合は「平均」と呼ばれる。
$V(\bullet )$	分散	V(X) は確率変数 X の分散
$\operatorname {Cov} (\bullet ,\bullet )$	共分散	Cov(X, Y) は確率変数 X, Y の共分散
$N(\mu ,\sigma ^{2})$	正規分布	平均 μ, 分散 σ² の正規分布
$\rho$	相関係数	確率変数の相関係数
$dsv$	代表値	dsvはdescriptive statistics valueから来ている。
$median$	中央値	メジアン、メディアン、メデアンとも呼ぶ。
$range$	範囲	レンジとも呼ぶ。
$mode$	最頻値	モードとも呼ぶ。

^ 数学においては、各々の記号はそれ単独では「意味」を持たないものと理解される。それらは常に、数式あるいは Well-formed formula として文脈（時には暗黙のうちに掲げられている、前提や枠組み）に即して評価をされて初めて、値として意味を生じるのである。ゆえにここに掲げられる意味は慣用的な一例に過ぎず絶対ではないことに事前の了解が必要である。記号の「読み」は記号の見た目やその文脈における意味、あるいは記号の由来（例えばエポニム）など便宜的な都合（たとえば、特定のグリフをインプットメソッドを通じてコードポイントを指定して利用するために何らかの呼称を与えたりすること）などといったものに従って生じるために、「記号」と「読み」との間には相関性を見いだすことなく分けて考えるのが妥当である。
^ 言語によっては % をエスケープする必要があり、たとえばR言語では %% が用られる。

^ 杉浦光夫『解析入門I』一般財団法人　東京大学出版会、2019年5月13日、114頁。ISBN 978-4-13-062005-5。

JIS Z8201 数学記号

表話編歴数学
主要分野	数理論理学集合論圏論代数学初等線型多重線型抽象算術/数論解析学/微分積分学関数解析学行列解析幾何学代数微分有限離散位相代数的位相表現論リー理論（英語版）微分方程式線型微分方程式複素微分方程式常微分方程式偏微分方程式積分微分方程式力学系組合せ数学数理物理学ゲーム理論グラフ理論最適化問題数理最適化計算理論確率論数理統計学（英語版）制御理論三角法
トピックス	数学史和算算道数理哲学美未解決問題算数・数学教育算数教科
主要賞	ド・モルガン・メダルコール賞フィールズ賞スティール賞ウルフ賞ショウ賞アーベル賞数学ブレイクスルー賞
応用	情報理論折紙の数学囲碁と数学数値解析精度保証付き数値計算計算機援用証明数値線形代数常微分方程式の数値解法偏微分方程式の数値解法
学会・団体	国際数学者会議国際数学連合国際産業数理・応用数理会議国際産業数理・応用数理評議会（英語版）アメリカ数学会 SIAM ヨーロッパ数学会ロンドン数学会日本応用数理学会日本数学会数学教育協議会
競技	国際数学オリンピック日本数学オリンピック日本ジュニア数学オリンピック広中杯近畿大学数学コンテスト人の最大の力を競う算数・数学の大会
研究所	京都大学数理解析研究所明治大学先端数理科学インスティテュート統計数理研究所アンリ・ポアンカレ研究所オーバーヴォルファッハ数学研究所クレイ研究所 CIMAT数学研究センターステクロフ数学研究所
一覧数学定数数関数図形数学記号数学者エポニムカテゴリポータル

表話編歴数学
主要分野	数理論理学集合論圏論代数学初等線型多重線型抽象算術/数論解析学/微分積分学関数解析学行列解析幾何学代数微分有限離散位相代数的位相表現論リー理論（英語版）微分方程式線型微分方程式複素微分方程式常微分方程式偏微分方程式積分微分方程式力学系組合せ数学数理物理学ゲーム理論グラフ理論最適化問題数理最適化計算理論確率論数理統計学（英語版）制御理論三角法
トピックス	数学史和算算道数理哲学美未解決問題算数・数学教育算数教科
主要賞	ド・モルガン・メダルコール賞フィールズ賞スティール賞ウルフ賞ショウ賞アーベル賞数学ブレイクスルー賞
応用	情報理論折紙の数学囲碁と数学数値解析精度保証付き数値計算計算機援用証明数値線形代数常微分方程式の数値解法偏微分方程式の数値解法
学会・団体	国際数学者会議国際数学連合国際産業数理・応用数理会議国際産業数理・応用数理評議会（英語版）アメリカ数学会 SIAM ヨーロッパ数学会ロンドン数学会日本応用数理学会日本数学会数学教育協議会
競技	国際数学オリンピック日本数学オリンピック日本ジュニア数学オリンピック広中杯近畿大学数学コンテスト人の最大の力を競う算数・数学の大会
研究所	京都大学数理解析研究所明治大学先端数理科学インスティテュート統計数理研究所アンリ・ポアンカレ研究所オーバーヴォルファッハ数学研究所クレイ研究所 CIMAT数学研究センターステクロフ数学研究所
一覧数学定数数関数図形数学記号数学者エポニムカテゴリポータル