LaTeX数学記号早見表:コマンド・表示例・必要なパッケージ

ブログEasyLaTeX公開日

LaTeXで数学記号を書くときは、コマンドを数式モードに入れます。\(\alpha\)は文章内のalpha、\[\alpha\]は独立した行のalphaを表示します。以下の表には用途別の49例と必要なパッケージをまとめました。

表のプレビューは検索用のブラウザー文字です。画面のフォントによって形が変わります。比較画像は字形と添字の位置の違いを示します。実際の字形は使用するフォントで確認してください。ソースにはコマンド欄をコピーしてください。

パッケージの準備

文書クラスはarticle、エンジンはpdfLaTeXを使用します。「標準」は、その項目に追加パッケージが不要という意味です。完全な例のプリアンブルでは次を読み込みます。

LaTeX
\usepackage{amsmath,amssymb}

amsmathは、ここで使う\text、\lvert、\lVertなどを提供します。amssymbは拡張記号を提供し、\mathbbを提供するamsfontsも読み込みます。テンプレートで読み込み済みなら既存の設定を使います。unicode-mathを使うテンプレートは、変更前にフォントとパッケージの設定を確認してください。

数式モードの基礎は数式環境と記号のドキュメントを参照してください。本記事は執筆中に個々のコマンドを探すための早見表です。

ギリシャ文字

表示例コマンドパッケージ
α\alpha標準
β\beta標準
γ\gamma標準
θ\theta標準
ϵ\epsilon標準
ε\varepsilon標準
ϕ\phi標準
φ\varphi標準
Γ\Gamma標準
Δ\Delta標準
Ω\Omega標準

大文字と小文字は区別されます。\gammaと\Gammaは別の文字です。大文字alphaのようにラテン文字と同形の文字にはAを使います。標準LaTeXには\Alphaというコマンドはありません。

\epsilonと\varepsilon、\phiと\varphiはそれぞれ異なる字形を選びます。同じ量や変数には論文全体で同じ表記を使ってください。

標準数式フォントの4字形です。下のラベルが各コマンドに対応します。

LaTeX
\[\epsilon\quad\varepsilon\qquad\phi\quad\varphi\]

比較・関係・算術

表示例コマンドパッケージ
≤\leq標準
≥\geq標準
≠\neq標準
≈\approx標準
≡\equiv標準
∝\propto標準
±\pm標準
×\times標準
⋅\cdot標準

乗算の記号には\timesを使います。文字xは変数です。\approxは近似関係を表し、\equivは数学的な文脈に応じて同値や恒等などを表します。

集合と論理

表示例コマンドパッケージ
∈\in標準
∉\notin標準
⊆\subseteq標準
⊂\subset標準
∪\cup標準
∩\cap標準
∀\forall標準
∃\exists標準
∅\emptyset標準
∅\varnothingamssymb
ℝ\mathbb{R}amssymb
ℤ\mathbb{Z}amssymb

この設定では\emptysetが標準で使え、\varnothingにはamssymbが必要です。両方とも空集合を異なる字形で表します。\mathbb{R}と\mathbb{Z}はamsfontsだけでも使えます。amssymbを読み込むと表の拡張3項目を利用できます。

等しい集合も含める場合は\subseteqを使います。\subsetの意味は著者によって異なります。真部分集合を明示する場合は記号の意味を定義するか、amssymbの\subsetneqを使います。

矢印

表示例コマンドパッケージ
→\to標準
←\leftarrow標準
↔\leftrightarrow標準
⇒\Rightarrow標準
⇔\Leftrightarrow標準
↦\mapsto標準

\toは写像や極限で、\Rightarrowは含意でよく使われます。\mapstoは要素の対応先を示し、例えば\(x\mapsto x^2\)と書きます。

演算子・微積分・根号

表示例コマンドパッケージ
∑\sum標準
∏\prod標準
∫\int標準
∞\infty標準
∂\partial標準
∇\nabla標準
√x\sqrt{x}標準

添字は\sum_{i=1}^{n}a_iのように書きます。波括弧で複数文字をまとめると、i=1全体が下付きになります。分数や行列は添字・分数・括弧・行列のガイドで扱っています。

絶対値・ノルム・括弧・角度

表示例コマンドパッケージ
|x|\lvert x\rvertamsmath
‖x‖\lVert x\rVertamsmath
⟨x,y⟩\langle x,y\rangle標準
30°30^{\circ}標準

山括弧の例は内積によく使われますが、意味は論文の記号定義に従います。30^{\circ}は標準の丸を上付きにして角度を表します。分数など背の高い式では\left\lvert ... \right\rvertで縦線の高さを調整できます。左右の区切りは同じ数式グループ内に置きます。

総和の添字が移動する理由

この標準設定では、文章内の総和は添字を右側に、独立した数式は通常上下に配置します。両方に同じ総和式を使っています。

LaTeX
Inline: \(\sum_{i=1}^{n}a_i\).\[  \sum_{i=1}^{n}a_i\]

同じ総和式で、右側に置く添字と上下に置く添字を比較しています。

積分は独立数式でも通常、添字を右側に置きます。適切な演算子に\limitsや\nolimitsを付けると配置を変更できます。レイアウトや表記上の必要がある場合に調整してください。複数行の式は数式の改行と整列を参照できます。

コンパイルできる完全な文書

例ではf(x,y)=x^2+y^2を定義してから偏導関数を表示します。ほかの行は集合、絶対値、ベクトルのノルム、微積分の表記例です。説明文は、このpdfLaTeX設定に合わせて英語にしています。

LaTeX
\documentclass{article}\usepackage{amsmath,amssymb}\begin{document}Let \(x,y\in\mathbb{R}\), \(f(x,y)=x^2+y^2\), and \(\epsilon>0\).\[  A\subseteq B \quad\Longrightarrow\quad A\cap B=A.\]\[  \frac{\partial f}{\partial x}=2x,  \qquad \lvert -3\rvert=3,  \qquad \lVert v\rVert.\]\[  \sum_{i=1}^{n} a_i,  \qquad \int_{0}^{1}x\,\mathrm{d}x=\frac{1}{2}.\]\[  \epsilon\quad\varepsilon\qquad\phi\quad\varphi\]\[  30^{\circ},\qquad  x>0\quad\text{for all }x\in(0,\infty).\]\end{document}

各記号グループ、完全な文書、比較用の断片を2026年11月10日にTeXLive.netでpdfLaTeXコンパイルしました。カーネルはLaTeX2e <2026-11-01>です。画像は検証した例をもとに再デザインし、字形や添字の位置を示しています。検証対象は掲載例であり、利用中のプロジェクトではパッケージの版が異なる場合があります。

EasyLaTeXでは主ファイルとpdfLaTeXを選択し、コンパイル後にPDFを確認します。最初の文書のガイドに操作手順があります。

記号がコンパイルできないとき

  • Missing $ inserted:数式コマンドが完全な\(...\)、\[...\]または数式環境に入っているか確認します。
  • Undefined control sequence:綴りと大文字・小文字を確認し、パッケージ欄を見ます。ここでの\mathbbにはamsfontsかamssymbが必要です。
  • 添字が途中で切れる場合:a_{ij}は両方の文字を下付きにします。a_ijではiだけが下付きです。
  • 字形が違う場合:数式フォントと変体コマンドを確認します。ブラウザーのUnicode文字とTeXの字形は異なるデザインになり得ます。

その他の問題はコンパイルエラーの調べ方を参照してください。最初のエラーを調べる際は、テンプレートの既存の数式設定を保ちます。

参考資料