初等数学記号集

ここでは、小・中・高校までに扱われる数学の記号、また、高校では扱われないことが多いが高校程度の知識でも理解できる記号も紹介する。

関数

記号	意味	説明
$f(x),g(x)$	一変数関数の陽関数表示
$F(x,y),f(x,y)$	一変数関数の陰関数表示/ニ変数関数
$|\bullet |$	絶対値	$|x|=\sqrt{x^2}$
$\bullet !$	階乗	$n!=n(n-1)(n-2)\cdots 3\cdot 2\cdot 1$
$\bullet !!$	二重階乗	$n!!=\{\begin{array}{cc}n(n-2)(n-4)\cdots 3\cdot 1& n\text{が 奇 数 の と き}\\ n(n-2)(n-4)\cdots 4\cdot 2& n\text{が 偶 数 の と き}\end{array}$
$\sqrt{\bullet },\sqrt[\bullet ]{\bullet }$	冪根	$\sqrt[n]{x}$ は $x$ の $n$ 乗根を表す。$n$ が 2 であるときには $\sqrt{x}$ と書かれる。
$\sin$	サイン	高等学校数学II/三角関数参照
$\cos$	コサイン	高等学校数学II/三角関数参照
$\tan$	タンジェント	高等学校数学II/三角関数参照
$\sec$	セカント	$\sec \theta =\frac{1}{\cos \theta }$
$\csc$	コセカント	$\csc \theta =\frac{1}{\sin \theta }$
$\cot$	コタンジェント	$\cot \theta =\frac{1}{\tan \theta }$
$\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{i}\mathrm{n}$	バーサイン	$\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{i}\mathrm{n}\theta =1-\cos \theta$
$\mathrm{c}\mathrm{v}\mathrm{s}$	コバーサイン	$\mathrm{c}\mathrm{v}\mathrm{s}\theta =1-\sin \theta$
$\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}$	バーコサイン	$\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\theta =1+\cos \theta$
$\mathrm{c}\mathrm{v}\mathrm{c}$	コバーコサイン	$\mathrm{c}\mathrm{v}\mathrm{c}\theta =1+\sin \theta$
$\mathrm{h}\mathrm{a}\mathrm{v}$	ハバーサイン	$\mathrm{h}\mathrm{a}\mathrm{v}\theta =\frac{1}{2}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{i}\mathrm{n}\theta$
$\mathrm{h}\mathrm{a}\mathrm{c}$	ハコバーサイン	$\mathrm{h}\mathrm{a}\mathrm{c}\theta =\frac{1}{2}\mathrm{c}\mathrm{v}\mathrm{s}\theta$
$\mathrm{h}\mathrm{a}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}$	ハバーコサイン	$\mathrm{h}\mathrm{a}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\theta =\frac{1}{2}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\theta$
$\mathrm{h}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}$	ハコバーコサイン	$\mathrm{h}\mathrm{a}\mathrm{c}\mathrm{o}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\theta =\frac{1}{2}\mathrm{c}\mathrm{o}\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\theta$
$\mathrm{e}\mathrm{x}\mathrm{s}\mathrm{e}\mathrm{c}$	エクスセカント	$\mathrm{e}\mathrm{x}\mathrm{s}\mathrm{e}\mathrm{c}\theta =\sec \theta -1$
$\mathrm{e}\mathrm{x}\mathrm{c}\mathrm{s}\mathrm{c}$	エクスコセカント	$\mathrm{e}\mathrm{x}\mathrm{c}\mathrm{s}\mathrm{c}\theta =\csc \theta -1$
$\mathrm{c}\mathrm{r}\mathrm{d}$	コード	中心角に対する弦の長さ。$\mathrm{c}\mathrm{r}\mathrm{d}\theta =\sqrt{{\sin }^2\theta +{\mathrm{v}\mathrm{e}\mathrm{r}\mathrm{s}\mathrm{i}\mathrm{n}}^2\theta }=2\sin \frac{\theta }{2}$
$\mathrm{a}\mathrm{r}\mathrm{c}$	アーク	中心角に対する弧長。弧度法では常に$\mathrm{a}\mathrm{r}\mathrm{c}\theta =\theta$が成り立つ。
$\arcsin$	アークサイン	$y=\arcsin x⟺x=\sin y$
$\arccos$	アークコサイン	$y=\arccos x⟺x=\cos y$
$\arctan$	アークタンジェント	$y=\arctan x⟺x=\tan y$
$\mathrm{arcsec}$	アークセカント	$y=\mathrm{arcsec}x⟺x=\sec y$
$\mathrm{arccsc}$	アークコセカント	$y=\mathrm{arccsc}x⟺x=\csc y$
$\arcsin$	アークコタンジェント	$y=\mathrm{arccot}x⟺x=\cot y$
$\sinh$	ハイパボリックサイン、シンシュ、シャイン	$\sinh x=\frac{e^x-e^{-x}}{2}$
$\cosh$	ハイパボリックコサイン、コッシュ	$\cosh x=\frac{e^x+e^{-x}}{2}$
$\tanh$	ハイパボリックタンジェント、タンチ	$\tanh x=\frac{\sinh x}{\cosh x}$
$\mathrm{s}\mathrm{e}\mathrm{c}\mathrm{h}$	ハイパボリックセカント	$\mathrm{s}\mathrm{e}\mathrm{c}\mathrm{h}\theta =\frac{1}{\cosh x}$
$\mathrm{s}\mathrm{e}\mathrm{c}\mathrm{h}$	ハイパボリックコセカント	$\mathrm{c}\mathrm{s}\mathrm{c}\mathrm{h}\theta =\frac{1}{\sinh x}$
$\mathrm{s}\mathrm{e}\mathrm{c}\mathrm{h}$	ハイパボリックコタンジェント	$\mathrm{c}\mathrm{o}\mathrm{t}\mathrm{h}\theta =\frac{1}{\tanh x}$
$\mathrm{a}\mathrm{r}\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{h}$	アーシャイン	$y=\mathrm{a}\mathrm{r}\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{h}x⟺x=\sinh y$
$\mathrm{a}\mathrm{r}\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{h}$	アーコッシュ	$y=\mathrm{a}\mathrm{r}\mathrm{c}\mathrm{o}\mathrm{s}\mathrm{h}x⟺x=\cosh y$
$\mathrm{a}\mathrm{r}\mathrm{s}\mathrm{i}\mathrm{n}\mathrm{h}$	アータンチ	$y=\mathrm{a}\mathrm{r}\mathrm{t}\mathrm{a}\mathrm{n}\mathrm{h}x⟺x=\tanh y$
$\exp$	指数関数	$\exp x=e^x$ 高等学校数学II/指数関数・対数関数参照
$\log$	対数関数
$\ln$	対数関数	$\ln x={\log }_{e}x$ 高等学校数学II/指数関数・対数関数参照
$[\bullet ]$	ガウス記号	$[x]$はxを超えない最大の整数を表す。
$\lfloor \bullet \rfloor ,[\bullet ]$	床関数	$\lfloor x\rfloor$ は $x$ 以下の最大の整数を表す。
$\lceil \bullet \rceil$	天井関数	$\lceil x\rceil$ は $x$ 以上の最小の整数を表す。
$\circ$	関数の合成	$(f\circ g)(x)=f(g(x))$
${}^{-1}$	逆関数	$y=f(x)⟺x=f^{-1}(y)$

代数学

記号	意味	説明
$=$	等しい
$\ne$	等しくない
$\approx ,\fallingdotseq ,\simeq$	ほぼ等しい	$x\approx y$ は $x$ と $y$ がほぼ等しいことを表す。日本では $\fallingdotseq$ が使われることが多いが、 $\approx$ の方がよく使われる。化学ではもっぱら$\simeq$が使われる。
$>,<$	不等号	$x>y$ は $y$ より $x$ の方が大きいことを意味する。
$\ge ,\le ,\geqq ,\leqq$	等号付きの不等号	$x\ge y$ は $y$ より $x$ の方が大きいか等しいことを意味する。高校までは下線が2本のものが広く使われる。
$\times$	乗法	$x\times y$ は $x$ と $y$ の積を表す。$x\cdot y$ や $xy$ とも表される。ベクトルの場合、$\cdot$は内積、$\times$は外積である。
$\cdot$
$÷$	除法	$x÷y=\frac{x}{y}$ である。
$\frac{\bullet }{\bullet }$
$\pm ,\mp$	プラスマイナス	$x\pm y$ で $x+y$ と $x-y$ をまとめて表したり、また、$(x\pm y{)}^2=x^2+y^2\pm 2xy$ のように、符号を変えても同じ形の式になる場合に2式をまとめて表すのに使用する。
$\sum$	総和	$\sum _{k=m}^n{a}_k=a_m+a_{m+1}+\cdots +a_{n-1}+a_n$ で定義される。 命題 $P(k)$ を満たすすべての $k$ についての和を取ることを $\sum _{P(k)}{a}_k$ と書く。
$\prod$	総乗	$\prod _{k=1}^n{a}_k=a_1\times a_2\times \dots \times a_n$
${}_n{\mathrm{P}}_{\mathrm{r}}$	順列	${}_n{\mathrm{P}}_{\mathrm{r}}\mathrm{=}\frac{n!}{(n-r)!}$
${}_n{\mathrm{\Pi }}_r$	重複順列	${}_n{\mathrm{\Pi }}_r=n^r$
$(\genfrac{}{}{0ex}{}{n}{k}),{}_n{\text{C}}_k,$	二項係数、組合わせ	$(\genfrac{}{}{0ex}{}{n}{k})=\frac{n!}{(n-k!)k!}$
${}_n{\mathrm{H}}_{\mathrm{r}}$	重複組合せ	${}_n{\mathrm{H}}_r={}_{n+r-1}{\mathrm{C}}_r$
$\overrightarrow{\bullet }$	ベクトル	$\overrightarrow{x}$はベクトル$x$を表す。ベクトルが有向線分を指さない場合、$𝐱$と書く方が一般的である。
$\Vert \bullet \Vert$	ノルム	$||x||$ は $x$ のノルムである。
$\mathrm{Re}\bullet ,\mathrm{\Re }\bullet$	複素数の実部	複素数 $z$ に対し、$\mathrm{Re}z$ はその実部を、$\mathrm{Im}z$ はその虚部を表す。ちなみに、$\mathrm{\Re },\mathrm{\Im }$ はフラクトゥールである。
$\mathrm{Im}\bullet ,\mathrm{\Im }\bullet$	複素数の虚部
$\bar{\bullet }$	共役複素数	複素数 $z$ に対し、$\overline{z}$ はその共役複素数を表す。
$z_n,{\zeta }_n$	1のn乗根	${\zeta }_{n_k}=\cos \frac{2k\pi }{n}+i\sin \frac{2k\pi }{n}$（ただし$k(\in \mathbb{Z})$について$k\in [0,n-1]$）。複素数平面では単位円上に点$1+0i$を一つの頂点とする正n角形を描く。
$\mathrm{deg}\bullet$	次数	多項式 $f$ に対して、$\mathrm{deg}f$ でその次数を表す。
$\mathrm{d}\mathrm{e}\mathrm{t}\bullet$	行列式	$\mathrm{d}\mathrm{e}\mathrm{t}A$は正方行列$A$の行列式を表す。$|A|$とも書く。
$\mathrm{t}\mathrm{r}\bullet$	跡	$\mathrm{t}\mathrm{r}A$は正方行列$A$の跡を表す。
$\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}\bullet$	階数	$\mathrm{r}\mathrm{a}\mathrm{n}\mathrm{k}A$は正方行列$A$の階数を表す。
${}^t\bullet$	転置	${}^{t}A$は行列$A$の転置行列を表す。
$\mathrm{D}\mathrm{i}\mathrm{a}\mathrm{g}(\bullet ,\circ ,\cdots )$	対角行列	$\mathrm{D}\mathrm{i}\mathrm{a}\mathrm{g}(x,y,\cdots )$は対角成分が$x,y,\cdots$である対角行列を表す。

定数

記号	意味	説明
$\pi$	円周率	円周の直径に対する比。
$\tau$	円周率	円周の半径に対する比。
$e$	ネイピア数（自然対数の底）	$e=\underset{x\to \mathrm{\infty }}{\lim }{(1+\frac{1}{x})}^x$
$i$	虚数単位	$i^2=-1$ となる数の一つ。
$\gamma$	オイラーの定数	$\gamma =\underset{n\to \mathrm{\infty }}{\lim }(\sum _{k=1}^n\frac{1}{k}-\ln n)=\underset{1}{\overset{\mathrm{\infty }}{\int }}(\frac{1}{\lfloor x\rfloor }-\frac{1}{x})dx$

解析学

記号	意味	説明
$\{{\bullet }_n\}$	数列	$\{x_n\}$は第n項が$x_n$である数列を表す。
$\mathrm{\Delta }\bullet$	微小、変化量	$\mathrm{\Delta }x$は微小な$x$あるいは$x$の変化量を表す。 物理学では変化量の意味で使われることが多い。
$\ll$	非常に小さい	$a\ll b$ は $a$ が $b$ と比べて非常に小さいことを意味する。
$\lim$	極限	高等学校数学III/極限参照
${\bullet }^{\prime }$	導関数, 微分	高等学校数学II/微分・積分の考え参照 ${\bullet }^{(n)}$ は n 階微分を表す。 $\dot{\bullet },\ddot{\bullet }$ は主に物理学で時間微分を表す。
${\bullet }^{(n)}$
$\dot{\bullet },\ddot{\bullet }$
$\frac{d}{dx}\bullet$
$\int$	積分	高等学校数学II/微分・積分の考え参照

集合

記号	意味	説明
$\{:\},\{\mid \},\{;\}$	集合の内包的記法	$\{x|P(x)\}$ で命題 $P(x)$ を満たす $x$ の全体の集合を示す。
$\in ,\notin$	集合に対する元の帰属関係	$x\in S$ は、$x$ が集合 $S$ の元であることを意味する。$x\notin S$ は、 $x$ が $S$ の元でないことを意味する。
$=$	集合の一致	$S=T$ は集合 $S$ と集合 $T$ が等しいことを示す。
$\ne$	$=$ の否定	$S\ne T$ は集合 $S$ と集合 $T$ が等しくないことを示す。
$\subseteq ,\subset ,⊊,\subset ̸$	集合の包含	$S\subset T$ は $S$ が $T$ の部分集合であることを示す。$S⊊T$ は $S$ が $T$ の真部分集合であることを示す。
$\cap$	共通部分	$S\cap T$ は集合 $S$ と集合 $T$ の共通部分を表す。また$\bigcap _{\lambda \in \mathrm{\Lambda }}{S}_{\lambda }$は、集合族$\{S_{\lambda }{\}}_{\lambda \in \mathrm{\Lambda }}$ の共通部分を表す。
$\cup$	和集合	$S\cup T$は集合 $S$ と集合 $T$ の和集合を表す。また、$\bigcup _{\lambda \in \mathrm{\Lambda }}{S}_{\lambda }$ で。集合族 $\{S_{\lambda }{\}}_{\lambda \in \mathrm{\Lambda }}$ の和集合を表す。
$\setminus ,-$	差集合	$S-T$ は、集合 $S$ から集合 $T$ の要素を除いた集合を表す。
${\bullet }^{\mathrm{c}},\overline{\bullet }$	補集合	$S^{\mathrm{c}}$ は集合 $S$ の補集合を表す。c は テンプレート:En の略である。
$𝒫(\bullet ),2^{\bullet }$	冪集合	$𝒫(S)$ は $S$ の部分集合の全体の集合である。
$(\cdot ,\cdot )$	開区間	$(a,b)$ は $a<x<b$ を満たす $x$ 全体の集合を示す。
$[\cdot ,\cdot ]$	閉区間	$[a,b]$ は $a\le x\le b$ を満たす $x$ 全体の集合を示す。
$(\cdot ,\cdot ],[\cdot ,\cdot )$	半開区間	$(,[$ を組み合わせたものである。例えば、$(a,b]$ は $a<x\le b$ を満たす $x$ 全体の集合を示す。
$\max$	最大値	$\max A$ で集合 $A$ に属する最大の値を示す。
$\min$	最小値	$\min A$ で集合 $A$ に属する最小の値を示す。
$\varnothing$	空集合
$𝐍,\mathbb{N}$	自然数の全体
$𝐙,\mathbb{Z}$	整数の全体
$𝐐,\mathbb{Q}$	有理数の全体
$𝐑,ℝ$	実数の全体
$𝐂,ℂ$	複素数の全体

整数論

記号	意味	説明
$\bullet \equiv \bullet (\mathrm{mod}\bullet )$	合同	$a\equiv b(\mathrm{mod}m)$ は $a,b$が法$m$のもとで合同、つまり$a,b$ を $m$ で割った余りが等しいことを示す。
$\gcd (\bullet ,\bullet )$	最大公約数	gcd は greatest common divisor の略である。
$\mathrm{lcm}(\bullet ,\bullet )$	最小公倍数	lcm は least common multiplier の略である。
$|$	割り切る	$x|y$ は $x$ が $y$ を割り切る、つまり $x$ は $y$ の約数（$⟺y$は$x$の倍数）であることを表す。
$|$	$|$ の否定	$x|y$ でない（$⟺y\equiv ̸0(\mathrm{m}\mathrm{o}\mathrm{d}x)$）ことを示す。

確率・統計

記号	意味	説明
$\overline{\bullet },<\bullet >$	平均	$\overline{x}$は$\{x_n\}$の平均値。$<x>$は大学以上の物理で使う。
$Q_{\bullet }$	四分位数	$Q_1$は第一四分位数、$Q_2$は中央値、$Q_3$は第三四分位数。
$P(\bullet )$	確率	$P(E)$ は事象 $E$ の起こる確率。
$P_{\circ }(\bullet )$	条件付き確率	$P_A(B)$は事象$A$が起きたもとで事象$B$の起こる条件付き確率。
$E(\bullet )$	期待値	$E(X)$ は確率変数 $X$ の期待値。 確率分布に対して定義する場合は平均と呼ばれる。
$V(\bullet )$	分散	$V(X)$ は確率変数 $X$ の分散。
$\sigma (\bullet )$	標準偏差	$\sigma (X)=\sqrt{V(X)}$
$\mathrm{Cov}(\bullet ,\bullet )$	共分散	$\mathrm{Cov}(X,Y)$ は確率変数 $X,Y$ の共分散。
$\rho$	相関係数	$\rho =\frac{\mathrm{Cov}(X,Y)}{\sigma (X)\sigma (Y)}$
$\propto$	比例	$y\propto x$ は $y$ と $x$ が比例関係にあることを示す。つまり、$y\propto x⟺y=ax$ となる $a$ が存在する。
$B(n,p)$	二項分布	試行回数$n$、起こる確率$p$の反復試行における二項分布。
$N(\mu ,{\sigma }^2)$	正規分布	平均 $\mu$ 分散 ${\sigma }^2$ の正規分布。
$\sim$	分布に従う	$Z\sim N(0,1)$は、確率変数$Z$が標準正規分布$N(0,1)$に従うことを示す。

幾何学

記号	意味	説明
$△$	三角形	$△\mathrm{A}\mathrm{B}\mathrm{C}$で三角形ABCを表す。$\mathrm{\Delta }$（デルタ）で代用されることもある。
$\equiv$	合同	$△\mathrm{A}\mathrm{B}\mathrm{C}\equiv △\mathrm{D}\mathrm{E}\mathrm{F}$ は $△\mathrm{A}\mathrm{B}\mathrm{C}$ と $△\mathrm{D}\mathrm{E}\mathrm{F}$ が合同であることを示す。合同な図形は平行移動や反転で一致させることができる。
∽, $\sim$	相似	$△\mathrm{A}\mathrm{B}\mathrm{C}\sim △\mathrm{D}\mathrm{E}\mathrm{F}$ は $△\mathrm{A}\mathrm{B}\mathrm{C}$ と $△\mathrm{D}\mathrm{E}\mathrm{F}$ が相似であることを意味する。日本の中学・高校では ∽ が使われることが多い。
$(\bullet ,\bullet ,\dots )$	座標	座標を示すのに使われる。
$\mathrm{\angle }$	角	$△\mathrm{A}\mathrm{B}\mathrm{C}$において$\mathrm{\angle }\mathrm{A}\mathrm{B}\mathrm{C}$ や $\mathrm{\angle }\mathrm{B}$ で $\mathrm{B}$ における角を表す。
$\mathrm{\perp }$	垂直	$\mathrm{A}\mathrm{B}\perp \mathrm{C}\mathrm{D}$ で直線 $\mathrm{A}\mathrm{B}$ と直線 $\mathrm{C}\mathrm{D}$ が垂直であることを示す。
$\parallel ,//$	平行	$\mathrm{A}\mathrm{B}\parallel \mathrm{C}\mathrm{D}$ で直線 $\mathrm{A}\mathrm{B}$ と直線 $\mathrm{C}\mathrm{D}$ が並行であることを示す。日本では斜めに倒して使われることが多い。
$⌢$	弧	$\stackrel{⌢}{\mathrm{A}\mathrm{B}}$ で $\mathrm{A}$ と $\mathrm{B}$ を結ぶ弧を表す。
$=$	面積が等しい	$△\mathrm{A}\mathrm{B}\mathrm{C}=△\mathrm{D}\mathrm{E}\mathrm{F}$ は $△\mathrm{A}\mathrm{B}\mathrm{C}$ と $△\mathrm{D}\mathrm{E}\mathrm{F}$ の面積が等しいことを示す
$\overline{\bullet \circ }$	辺の長さ	$\overline{\mathrm{A}\mathrm{B}}$は辺$\mathrm{A}\mathrm{B}$の長さを表す。
$\mathrm{a}\mathrm{r}\mathrm{g}$	偏角	$\mathrm{a}\mathrm{r}\mathrm{g}z$は複素数zの偏角を表す。ただし、左回転を正として角の向きを考える。
$\{u,v\}$	離散グラフの辺	$\{u,v\}$は離散グラフの2頂点$u,v$を結ぶ辺を表す。

命題

記号	意味	説明
$\Rightarrow$	論理包含、含意	$P\Rightarrow Q$ は、 $P$ が真なら $Q$ も真という命題を示す。
$\iff$	同値	$P\iff Q$ は $P$ と $Q$ の真偽が一致することを意味する。
$\mathrm{\neg },\stackrel{}{¯}$	否定	$\mathrm{\neg }P$ は「命題 $P$ が偽」という命題を表す。高校では$\overline{P}$と書くことが多い。
$\because$	なぜならば	$A\because B$ は 「$B$ なので、 $A$ が成り立つ」ということを示す。
$\therefore$	ゆえに	$A\therefore B$ は 「$A$ なので、$B$ である」ということを示す。
$\wedge$	論理積	$P\wedge Q$ は「$P$ と $Q$ がともに真」という命題を示す。
$\vee$	論理和	$P\vee Q$ は「命題 $P$ と命題 $Q$ のどちらかは真」という命題を示す。
$\mathrm{\forall }$	全称	$\mathrm{\forall }x\in S,P(x)$ は、集合 $S$ の任意の元 $x$ に対して命題 $P(x)$ が成立することを示す。
$\mathrm{\exists }$	存在	$\mathrm{\exists }x\in S,P(x)$ は、命題 $P(x)$ が成り立つ、集合 $S$ の元 $x$ が存在することを示す。
$:=,:\iff$	定義	$A:=B$ で $A$ を $B$ で定義することを明示的に表す。
$\{$	連立	$\{\begin{array}{c}x=a\\ y=b\end{array}⟺x=a\wedge y=b$ 条件を表すだけでなく、連立方程式や媒介変数表示などでも用いられる。