はやわかり LATEX で数式組版

Michael Downes, updated by Barbara Beeton
アメリカ数学会
このドキュメントのバージョン 2.0 (2017/12/22) です．配布元はhttps://www.ams.org/tex/amslatex
です．日本語訳は 2018-09-04 です．

Contents
1 イントロダクション

3

2 文章中の数式（インライン数式）と数式だけの行（ディスプレイ数式）
2.1 基本 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
2.2 自動番号付けと相互参照 . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

3353 数学記号と数式フォント
3.1 数学記号の分類 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.2 意図的にここで省略された記号 . . . . . . . . . . . . . . . . . . . . . . . . .
3.3 アルファベットと数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3.1 ラテン文字とアラビア数字 . . . . . . . . . . . . . . . . . . . . . . . .
3.3.2 ギリシア文字 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3.3 その他の “基本” アルファベット記号 . . . . . . . . . . . . . . . . . .
3.3.4 数式フォントの変更 . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.3.5 黒板太字 (msbm; ただし小文字はありません) . . . . . . . . . . . . . .
3.3.6 飾り文字 (cmsy; 小文字はありません) . . . . . . . . . . . . . . . . . .
3.3.7 CM フォントではない飾り文字と手書き文字 . . . . . . . . . . . . . .
3.3.8 フラクトゥール文字 (eufm) . . . . . . . . . . . . . . . . . . . . . . .
3.4 いくつかの単純な記号 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.5 二項演算の記号 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.6 関係記号: < = > ≻ ∼ および，それらの変種 . . . . . . . . . . . . . . . . .
3.7 関係記号：矢印 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.8 関係記号：その他 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.9 大きさの変わる作用素 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.10 句読点 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.11 ペアになる（大きさの変わる）記号) . . . . . . . . . . . . . . . . . . . . . .
3.12 ペアでは使われないが大きさの変わる記号 . . . . . . . . . . . . . . . . . . .
3.13 大きさの変わる垂直の矢印 . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.14 数式で使われるアクセント . . . . . . . . . . . . . . . . . . . . . . . . . . . .
3.15 名前付き作用素 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

6
6
6
7
7
7
7
8
8
8
9
9
9
10
10
11
11
12
12
12
12
12
13
13

4 記法
4.1 上側と下側を飾る . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.2 長さが伸びる矢印 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.3 記号に別の記号を重ねる . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.4 行列 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.5 数学用の空白コマンド . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.6 ドット . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.7 分割させないダッシュ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.8 根号 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
4.9 数式の枠囲み . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

13
13
13
14
14
14
15
15
15
15

1

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

25 分数とそれに関連する話題
5.1 \frac, \dfrac, および\tfrac コマンド . . . . . . . . . . . . . . . . . . . . .
5.2 \binom， \dbinom，および\tbinom コマンド . . . . . . . . . . . . . . . . .
5.3 \genfrac コマンド . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
5.4 連分数 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

16
16
16
16
17

6 デリミタ6.1 デリミタの大きさ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6.2 縦棒の記法 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

17
17
18

7 \text コマンド
7.1 \mod と，その仲間 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

1818

8 積分と和8.1 範囲指定の配置 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.2 多重積分 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
8.3 複数行の下付き文字または上付き文字 . . . . . . . . . . . . . . . . . . . . . .
8.4 \sideset コマンド . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

18
18
19
19
19

9 数式の構成部分の大きさを変える

19

10 このほかのパッケージ20

11 その他の役に立つドキュメント

21

謝辞と将来の計画
提案，援助，励ましなど貢献してくださったすべての人に感謝します．難しいマクロを修復した David Carlisle と AMS スタイルにしたがように編集してくれた Jennifer Wright Sharpに特別に感謝します．
将来の版の計画には，索引の追加が含まれます．
エラーに関する報告と改善のための提案は， tech-support@ams.org に送ってください．

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

3

1. イントロダクション
これは LATEX と数式のあるドキュメントを作成するためのいくつかの拡張パッケージの，お勧めの機能についての簡潔な要約です．詳細な説明に関心がある読者は，参考文献（Reference）の，特に [Lam]，[AMUG]，そして [LFG] をみてください．普通の LATEX については，ある程度の経験があることを想定しています．LATEX が使う，コマンド，オプションの引数，環境，パッケージなどを思い出す必要があれば，[Lam] を参照してください．
ここで説明している機能のほんとんどは，LATEX をアメリカ数学会が作成した 2 つの拡張パッケージ amssymb と amsmath を読み込んで使用すれば，利用できます．したがって，このドキュメントのソースファイルは\documentclass{article}\usepackage{amssymb,amsmath}で始まります．数式や記号の使用量が比較的少ないドキュメントの場合，amssymb パッケー
ジは使わなくても良いでしょう．3 節では，amssymb を必要とする記号に a または b（それぞれ msam フォントまたは msbm フォント）とマークされます．3.3 節には，いくつかの追加フォントが含まれています．必要なパッケージがそこで示されています．
その他の便利な機能を提供するパッケージもありますが，このドキュメントでは扱いません．それらについては 10 節を参照してください．数学記号については，特にここで紹介したリストは，すべてではなく，ユーザーの LATEX システムに普通に備わっているものです．
フォントを使うためにインストールしたり他の設定をしなくても使用できるような記号だけを扱っています．
ここに示されている記号以外が必要な読者は，The Comprehensive LATEX Symbol List
[CLSL] を参考にするとよいでしょう．お使いの LATEX が TEX Live に基づいており，ドキュ
メントも含まれていれば，システムプロンプトで texdoc comprehensive と入力することで，記号一覧を読むことができます．

2. 文章中の数式（インライン数式）と数式だけの行（ディスプレイ数式）
2.1. 基本. LATEX で数式作成モードに入ったり出たりするのは，通常以下のコマンドと環境で行われます．
インライン数式$ ... $\( . . . \)ディスプレイ数式\[...\]

数式番号がつかない\begin{equation*}...
\end{equation*}

数式番号がつかない\begin{equation}...
\end{equation}

自動的に数式番号がつけられる

注意 1. 本文とディスプレイ数式の間に空白行を入れないでください．そうしてしまうと，その場所での改ページが可能になります．これは悪いスタイルです．また，文章とディスプレイ数式の間隔が不正確になり，通常は望ましい
値よりも大きくなります．ドキュメント作成時の見やすさのために改行が必要な場合は，先頭に%だけの行を挿入します．新しい段落が意図されている場合にのみ，ディスプレイ数式の後と次のテキストとの間に空白行を置きます．
注意 2. 入力（\[...\]，equation など）に複数のディスプレイ数式をグループ化しないでください．その代わりに，（split，aligned など）などの複数行構造のためのコマンドを適切に使用してください．
注意 3. 実際には，\begin{math}と\begin{displaymath}の両方が必要になることはめったにありません．ディ
スプレイ数式の作成に plain TEX 表記$$ . . . $$を使用することは避けてください．LATEX では明示的に禁止されていませんが，LATEX コマンドの一部として LATEX の本のどこにも説明されておらず，LATEX コマンドの一部としてドキュメント化されていません．これはたとえば fleqn オプションを使用するときに特別な問題をおこします．
注意 4. [Lam] に記述されている eqnarray 環境と eqnarray*環境の使用も避けてください．これを使うと等号の間隔が不均一になり，式番号と方程式本体が重なるのを防げません．

方程式のグループ化と複数行を扱うための環境は，Table 1 に示されています．

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

4

Table 1: 複数の行が必要な数式と数式のグループ（縦棒は，通常のマージンを示しています）．
\begin{equation}\label{xx}\begin{split}
a& =b+c-d\\& \quad +e-f\\& =g+h\\& =i\end{split}\end{equation}\begin{multline}
a+b+c+d+e+f\\+i+j+k+l+m+n\\+o+p+q+r+s\end{multline}\begin{gather}
a_1=b_1+c_1\\
a_2=b_2+c_2-d_2+e_2\end{gather}a=b+c−d
+e−f
=g+h
=i

a+b+c+d+e+f+i+j+k+l+m+n+ o + p + q + r + s (1.2)\begin{align}
a_1& =b_1+c_1\\
a_2& =b_2+c_2-d_2+e_2\end{align}\begin{align}a_{11}& =b_{11}&a_{12}& =b_{12}\\a_{21}& =b_{21}&a_{22}& =b_{22}+c_{22}\end{align}\begin{alignat}{2}a_1& =b_1+c_1&&+e_1-f_1\\
a_2& =b_2+c_2&{}-d_2&+e_2\end{alignat}\begin{flalign}a_{11}& =b_{11}&a_{12}& =b_{12}\\a_{21}& =b_{21}&a_{22}& =b_{22}+c_{22}\end{flalign}(1.1)

a1 = b1 + c1

(1.3)

a2 = b2 + c2 − d2 + e2

(1.4)

a1 = b1 + c1

(1.5)

a2 = b2 + c2 − d2 + e2

(1.6)

a11 = b11a12 = b12

(1.7)

a21 = b21

a22 = b22 + c22(1.8)+ e1 − f1(1.9)

a1 = b1 + c1

a2 = b2 + c2 − d2 + e2

(1.10)

a11 = b11a12 = b12

(1.11)

a21 = b21

a22 = b22 + c22 (1.12)

注意 1. *を任意のプライマリ環境に適用すると，数式番号の割り当てが抑止されます．ただし，\tag はラベルを表示するために，\eqref は手動でタグ付けされた行を参照するために使用できます．従属環境で*または\tag を使用するとエラーになります．
注意 2. split 環境は特殊なケースです．これは従属環境で，複数の式をもつ構造の equation 環境の内容や aligned
や gather のような複数式の中の 1 ディスプレイ数式つの“line”の内容として使用できます．
注意 3. 主要な環境 gather，align と align には，その下位構造に “-ed” 対応（gather，aligned，aligned）があります．より複雑なディスプレイ数式の構成要素として，またはインライン数式の中で使用することができます．
これらの “-ed” 環境は，オプションの [t]，[c] または [b] を使用して垂直に配置できます．
注意 4. flalign という名前は，“全幅（full length）” を意味します．よく “左寄せ（flush left）” だと誤解されます．しかし，ディスプレイ数式はしばしば左端から始まり幅全体にわたるので，この混乱は納得できます．両方のマージンから flalign に適用されるインデントは，\multlinegap で設定されます．

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

5

2.2. 自動番号付けと相互参照. 自動的に数式番号が付く式を作るには，equation 環境を使用します．相互参照のラベルを割り当てるには，\label コマンドを使用します．
\begin{equation}\label{reio}...
\end{equation}
自動的に番号付けた数式を相互参照するには，次のようにします．\eqref コマンド：... using equations~\eqref{ax1} and~\eqref{bz2}, we
can derive ...
上に示した例では，

using equations (3.2) and (3.5), we can deriveのように表示されます．言い換えれば，\eqref{ax1}は (\ref{ax1}) と同じですが，\eqref
で生成されたカッコは常に立体です．
式番号を m.n（節の番号. 数式番号）という形にしたいときは，ドキュメントのプレアンブ
ルで\numberwithin コマンドを使います：\numberwithin{equation}{section}
番号付けの方針の詳細については，[Lam, §6.3,§C.8.4] を参照してください．
subequations 環境は，グループ内の方程式の番号付の方針ための便利な方法を提供します．たとえば，現在の方程式の番号が 2.0 であるなら，\begin{equation}\label{first}
a=b+c\end{equation}
この間に文章があるとして，\begin{subequations}\label{grp}\begin{align}a&=b+c\label{second}\\d&=e+f+g\label{third}\\
h&=i+j\label{fourth}\end{align}\end{subequations}
とすれば

a=b+c

(2.1)

この間に文章があるとして，

a=b+c(2.2a)

d=e+f +g

(2.2b)

h=i+j(2.2c)となります．\begin{subequations}の直後に\label コマンドを置くことで，親の番号への参照を得ることができます．上記の例の\eqref{grp}は (2.2) を生成し，\eqref{second}は(2.2a) を生成します．
上で述べた数式番号の付け方のいくつかの変種が https://tex.stackexchange.com/questions/
220001/ に紹介されています．そこには (2.1), (2.2a) . . . ではなく (2.1), (2.1a) . . . とする例などがあります．これは，\tag を使って，子番号をもつ式の親の式に対して相互参照を行う
ことで実現されます．

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

6

3. 数学記号と数式フォント
3.1. 数学記号の分類. 数式で使う記号は，いくつかの種類（クラス）に分けられます．数式
が単語で表されるなら，読み方に多少なりとも対応します．式の可読性を高めるために，異なる記号クラスごとに伝統的に間隔および配置が使用されています．
クラス
番号

0
1
2
3
4
5
6

意味
ニーモニック （読みのヒント）

Ord
Op
Bin
Rel
Open
Close
Punct

普通/通常（名詞）前に置かれる作用素
二項作用素（結合）関係/比較 （動詞）
左/開きのデリミタ
右/閉じのデリミタ
後置記号/文の終わり

例

A 0∏
Φ∞
∫
∑
+∪∧
=<⊂
([{⟨
)]}⟩
.,;!

注意 1. TEX のクラス 0 とクラス 7 の区別は，フォント選択の問題にのみ影響します．ここでは重要ではありません．
注意 2. クラス 2（Bin）の記号，特にマイナス記号 − は，LATEX によってクラス 0（空白なし）として，自動的にプリントされます．つまり適切な左オペランド—がないとき，つまり数式の始まりまたは開始デリミタの受け側であるとしています．

いくつかの記号の間隔は，日常ドキュメントではなく数式の伝統に従います：/ は（意味的に）クラス 2 のものですが，k / 2 ではなくスラッシュのまわりに空白を入れずに k/2 と書
きます．そして，p|q p|q （空白なし）と p\mid q p | q （クラス 3 の空白）とを比べてみましょう．
新しい数学記号を定義する適切な方法は，LATEX 2ε フォントの選択で説明されています[LFG]．フォントの仕様の影響を最初に理解する必要があるため，ここでは有用な概要を与えることは実際には不可能です．しかし，wncyr10 という名前のキリル文字フォントが利用できることを知っているとて，そのフォントの 1 文字を数学記号としてプリントするための
LATEX コマンドでの定義方法について最小の例を示します：% Declare that the combination of font attributes OT2/wncyr/m/n% should select the wncyr font.
\DeclareFontShape{OT2}{wncyr}{m}{n}{<->wncyr10}{}% Declare that the symbolic math font name "cyr" should resolve to% OT2/wncyr/m/n.
\DeclareSymbolFont{cyr}{OT2}{wncyr}{m}{n}% Declare that the command \Sh should print symbol 88 from the math font
% "cyr", and that the symbol class is 0 (= alphabetic = Ord).
\DeclareMathSymbol{\Sh}{\mathalpha}{cyr}{88}3.2. 意図的にここで省略された記号. 次に示す数学記号は LATEX book[Lam] に記載されていますが，amssymb パッケージがロードされたときに同等の記号に置き換えらるため，意図的に省略しています．amssymb パッケージを使用している場合は，代替名を使用することはたんにドキュメントで使用されるフォントの数を不必要に増やしだけです．
\Box , 右のコマンドを使う \square □\Diamond , 右のコマンドを使う \lozenge ♢\leadsto , 右のコマンドを使う \rightsquigarrow ⇝\Join , 右のコマンドを使う \bowtie ▷◁\lhd , 右のコマンドを使う \vartriangleleft ◁\unlhd , 右のコマンドを使う \trianglelefteq ⊴\rhd , 右のコマンドを使う \vartriangleright ▷\unrhd , 右のコマンドを使う \trianglerighteq ⊵さらに，LATEX には，ここに含まれているものよりも強力なものがたくさんあります．このリストは包括的なものではありません．音標アルファベットや記号のような数学では必要ない記はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

7号も含まれた包括的なリストについては，The Comprehensive LATEX Symbol List [CLSL] を参照してください．
（すべてのフォントの一覧は，フォント名順に TEX Live：texdoc rawtables
が提供するドキュメントに含まれています．これらの表には記号名は含まれません．
）この他の記号についての情報については unicode-math パッケージにあります；[UCM] を参照してください．

3.3. アルファベットと数.
3.3.1. ラテン文字とアラビア数字
ラテン文字は，クラス 0 の単純な記号です．数式内のラテン文字のデフォルトのフォントはイタリックです．

AB C DE F GH I J K LM N OP QRS T U V W X Y Z
abcdef ghij klmnopqrstuvwxyz
数式で i や j にアクセントを加えるときには，ドットのない i や j は\imath や\jmath を使います：

ı \imathȷ \jmathȷ̂ \hat{\jmath}

アラビア数字 0–9 もクラス 0 です．デフォルトのフォントは立体/ローマン体です．

0123456789
3.3.2. ギリシア文字
ラテン文字のように，ギリシャ文字は簡単な記号，クラス 0 です．あいまいな歴史的な理由か
ら，数式の小文字のギリシャ文字のデフォルトフォントはイタリックで，大文字のギリシャ文字のデフォルトフォントは立体/ローマン体です．しかし，物理学や化学などの他の分野と，伝統的な数学の文字の使い方は多少異なります．このリストにはないギリシャ語の文字は，アルファの場合は A，ベータの場合は B，等々．小文字のリストには，外観がラテン文
字の o と同じであるため，オミクロンはありません．実際には，混乱を避けるために，ラテン語と似ているギリシャ文字は，数式にほとんど使われていません．

Γ \Gamma∆ \Delta
Λ \Lambda
Φ \Phi
Π \Pi
Ψ \PsiΣ \SigmaΘ \Theta
Υ \Upsilon
Ξ \XiΩ \Omega

α \alpha
β \betaγ \gamma
δ \delta
ϵ \epsilon
ζ \zetaη \etaθ \theta
ι \iota
κ \kappa
λ \lambda
µ \mu

ν \nu
ξ \xi
π \pi
ρ \rhoσ \sigmaτ \tauυ \upsilon
ϕ \phiχ \chiψ \psiω \omega𝟋 \digamma
ε \varepsilon
κ \varkappa
φ \varphi
ϖ \varpi
ϱ \varrho
ς \varsigma
ϑ \vartheta

3.3.3. その他の “基本” アルファベット記号
これらもクラス 0 です．

ℵ \alephaℶ \bethℸ \daleth‫\ ג‬gimel∁ \complementℓ \ellð \ethℏ \hbarℏ \hslash℧ \mho∂ \partiala℘ \wpⓈ \circledS
k \BbbkℲ \Finv⅁ \Game
ℑ \Im
ℜ \Re

注意 1. ラベルa,b がつけられてるフォントは amssymb が読み込まれたときの，msam あるいは msbm のことです．

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

8

3.3.4. 数式フォントの変更
包括的な数学フォントの変更をサポートするために必要なフォントのすべてが，通常の LATEX
設定で一般的に利用できるわけではありません．ここには，Computer Modern フォントの標
準セットが使用されているときに，幅広い数学記号にさまざまなフォント変換を適用した結果があります．すべてのフォント変更に正しく応答する唯一の記号は大文字のラテン文字であることがわかります．実際，ラテン文字とは別にほぼすべての数学記号はフォントの変更に影響されません．小文字のラテン文字，大文字のギリシャ文字，数字は一部のフォント変更に正しく対応しますが，他のフォント変更では奇妙な結果が生じます．（Lucida New Mathなどの数学フォントセットを使用すると，状況が多少改善される可能性があります）．

default \mathbf \mathrm\mathsf\mathit\mathcal\mathbb\mathfrak

X

X

X

X

X

X

X

X

x

x

x

x

x

§

↶

x

0

0

0

0

0

′

⊬

0

[]

[]

[]

[]

[]

[]

[]

[]

+

+

+

+

+

+

+

+

−

−

−

−

−

−

−

−

=

=

=

=

=

=

=

=

Ξ

Ξ

Ξ

Ξ

Ξ

÷

≮



ξ

ξ

ξ

ξ

ξ

ξ

ξ

ξ

∞

∞

∞

∞

∞

∞

∞

∞

ℵ
∑

ℵ
∑

ℵ
∑

ℵ
∑

ℵ
∑

ℵ
∑

ℵ
∑

ℵ
∑

⨿

⨿

⨿

⨿

⨿

⨿

⨿

⨿

ℜ

ℜ

ℜ

ℜ

ℜ

ℜ

ℜ

ℜ

一般的な望みは，特定の数学記号の太字のバージョンを得ることです．\mathbf が適用されない記号については，\boldsymbol または\pmb コマンドを使用できます．

A∞ + πA0 ∼ A∞ + πA0 ∼ A∞ + π A0

(3.1)

A_\infty + \pi A_0\sim \mathbf{A}_{\boldsymbol{\infty}} \boldsymbol{+}\boldsymbol{\pi} \mathbf{A}_{\boldsymbol{0}}\sim\pmb{A}_{\pmb{\infty}} \pmb{+}\pmb{\pi} \pmb{A}_{\pmb{0}}\boldsymbol コマンドは，amsmath パッケージよりも新しい，強力なバージョンである bm
パッケージを読み込んで使うのが望ましいです．一度に複数の記号に\boldsymbol を適用す
ることは通常はお勧めできません．もしそのような必要性が生じているようであれば，別のより良い方法があることを意味します．
3.3.5. 黒板太字 (msbm; ただし小文字はありません)
使い方は\mathbb{R}です．amsfonts が必要です．

ABCDEFGHIJKLMNOPQRSTUVWXYZ
一つだけ小文字が用意されています：

k \Bbbk

3.3.6. 飾り文字 (cmsy; 小文字はありません)
使い方：\mathcal{M}.

ABC DE F G HI J KLMN OP QRS T U V W X Y Z

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

9

3.3.7. CM フォントではない飾り文字と手書き文字(rsfs; 小文字はありません) 使い方：\usepackage{mathrsfs} \mathscr{B}.
A BC D E F G H I J K L M N OPQRS T U V W X Y Z(eusm; 小文字はありません) 使い方： \usepackage{euscript} \mathscr{E}.
ABCDEFGHIJKLMNOPQRSTUVWXYZ
3.3.8. フラクトゥール文字 (eufm)
使い方 \mathfrak{S}. amsfonts が必要です．

ABCDEFGHIJKLMNOPQRSTUVWXYZ
abcdefghijklmnopqrstuvwxyz
3.4. いくつかの単純な記号. これらの文字もクラス 0（通常）です．つまり組み込みの空白がありません．
# \#& \&∠ \angleb‵ \backprime⋆ \bigstara♦ \blacklozenge■ \blacksquare▲ \blacktrianglea▼ \blacktriangledowna⊥ \bot♣ \clubsuit
⧹ \diagdown⧸ \diagup♢ \diamondsuit∅ \emptyset∃ \exists♭ \flatb∀ \forall♡ \heartsuit∞ \infty♢ \lozenge∡ \measuredangleb∇ \nabla♮ \naturalb¬ \neg∄ \nexistsa′ \prime♯ \sharpb♠ \spadesuit∢ \sphericalangleb□ \square√\surd⊤ \top△ \triangle▽ \triangledowna∅ \varnothing

注意 1. ラベルa,b がつけられてるフォントは amssymb が読み込まれたときの，msam あるいは msbm のことです．
注意 2. 記号 □ と # を使用する際のよくある間違いは，適切に定義された数学記号コマンドを使用せずに，2 項演
算子または関係記号として用いることです．単に既存のコマンド\square または\#を使用すると，これらのコマンドがクラス 0 記号を生成するため，記号間の間隔が正しくありません．
注意 3. 同義語 ¬ \lnot

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

10

3.5. 二項演算の記号∗*++−⨿ \amalg∗ \ast⊼ \barwedgea⃝ \bigcirc▽ \bigtriangledown△ \bigtriangleup⊡ \boxdota⊟ \boxminusa⊞ \boxplusa⊠ \boxtimesa• \bullet∩ \cap⋒ \Capa· \cdot \centerdota◦ \circ⊛ \circledasta⊚ \circledcirca⊖ \circleddasha∪ \cup⋓ \Cupa⋎ \curlyveea⋏ \curlywedgea† \dagger‡ \ddagger⋄ \diamond÷ \div⋇ \divideontimesb∔ \dotplusa⩞ \doublebarwedgea⋗ \gtrdotb⊺ \intercala⋋ \leftthreetimesa⋖ \lessdotb⋉ \ltimesb∓ \mp⊙ \odot⊖ \ominus⊕ \oplus⊘ \oslash⊗ \otimes± \pm⋌ \rightthreetimesa⋊ \rtimesb\ \setminus∖ \smallsetminusb⊓ \sqcap⊔ \sqcup⋆ \star× \times◁ \triangleleft▷ \triangleright⊎ \uplus∨ \vee⊻ \veebara∧ \wedge≀ \wr

注意 1. ラベルa,b がつけられてるフォントは amssymb が読み込まれたときの，msam あるいは msbm のことです．
同義語: ∧ \land, ∨ \lor, ⋓ \doublecup, ⋒ \doublecap

3.6. 関係記号: < = > ≻ ∼ および，それらの変種<<==>>≈ \approx≊ \approxeqb≍ \asymp∽ \backsima⋍ \backsimeqa≏ \bumpeqa≎ \Bumpeqa⊜ \circeqa∼= \cong⋞ \curlyeqpreca⋟ \curlyeqsucca.
= \doteq≑ \doteqdota≖ \eqcirca≂ \eqsimb⪖ \eqslantgtra⪕ \eqslantlessa≡ \equiv≒ \fallingdotseqa≥ \geq≧ \geqqa⩾ \geqslanta≫ \gg≫ \ggga⪊ \gnapproxb⪈ \gneqb≩ \gneqqb
 \gnsimb⪆ \gtrapproxa⋛ \gtreqlessa⪌ \gtreqqlessa≷ \gtrlessa≳ \gtrsima≩ \gvertneqqb≤ \leq≦ \leqqa⩽ \leqslanta⪅ \lessapproxa⋚ \lesseqgtra⪋ \lesseqqgtra≶ \lessgtra≲ \lesssima≪ \ll≪ \llla⪉ \lnapproxb⪇ \lneqb≨ \lneqqb
 \lnsimb≨ \lvertneqqb≇ \ncongb
̸= \neq≱ \ngeqb≧̸ \ngeqqb⩾̸ \ngeqslantb≯ \ngtrb≰ \nleqb≦̸ \nleqqb⩽̸ \nleqslantb≮ \nlessb⊀ \nprecb⪯̸ \npreceqb≁ \nsimb⊁ \nsuccb⪰̸ \nsucceqb≼ \preccurlyeqa⪯ \preceq⪹ \precnapproxb⪵ \precneqqb⋨ \precnsimb≾ \precsima≓ \risingdotseqa∼ \sim≃ \simeq≻ \succ≿ \succapproxb≽ \succcurlyeqa⪰ \succeq⪺ \succnapproxb⪶ \succneqqb⋩ \succnsimb≿ \succsima≈ \thickapproxb∼ \thicksimb≜ \triangleqa≺ \prec≾ \precapproxb

注意 1. ラベルa,b がつけられてるフォントは amssymb が読み込まれたときの，msam あるいは msbm のことです．
同義語: ̸= \ne, ≤ \le, ≥ \ge, ≑ \Doteq, ≪ \llless, ≫ \gggtr

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

11

3.7. 関係記号：矢印. 次も参照 4 節.
⟲ \circlearrowlefta⇚ \Lleftarrowa←− \longleftarrow⟳ \circlearrowrightab⇐= \Longleftarrow↶ \curvearrowleft←→ \longleftrightarrow↷ \curvearrowrightb⇐⇒ \Longleftrightarrow⇊ \downdownarrowsa
7−→ \longmapsto⇃ \downharpoonlefta−→ \longrightarrow⇂ \downharpoonrighta=⇒ \Longrightarrow←- \hookleftarrow↫ \looparrowlefta,→ \hookrightarrow↬ \looparrowrighta← \leftarrow↰ \Lsha⇐ \Leftarrow
7→ \mapsto↢ \leftarrowtaila⊸\multimapa↽ \leftharpoondown⇍ \nLeftarrowb↼ \leftharpoonup⇎ \nLeftrightarrowb⇔ \leftleftarrowsa⇏ \nRightarrowb↔ \leftrightarrow↗ \nearrow⇔ \Leftrightarrowa↚ \nleftarrowb⇆ \leftrightarrows↮ \nleftrightarrowb⇋ \leftrightharpoonsa↭ \leftrightsquigarrowa ↛ \nrightarrowb↖ \nwarrow→ \rightarrow⇒ \Rightarrow↣ \rightarrowtaila⇁ \rightharpoondown⇀ \rightharpoonup⇄ \rightleftarrowsa⇌ \rightleftharpoonsa⇒ \rightrightarrowsa⇝ \rightsquigarrowa⇛ \Rrightarrowa↱ \Rsha↘ \searrow↙ \swarrow↞ \twoheadleftarrowa↠ \twoheadrightarrowa↿ \upharpoonlefta↾ \upharpoonrighta⇈ \upuparrowsa

注意 1. ラベルa,b がつけられてるフォントは amssymb が読み込まれたときの，msam あるいは msbm のことです．
同義語: ← \gets, → \to, ↾ \restriction

3.8. 関係記号：その他
϶ \backepsilonb∵ \becausea≬ \betweena◀ \blacktrianglelefta▶ \blacktrianglerighta▷◁ \bowtie⊣ \dashv⌢ \frown∈ \in| \mid|= \models∋ \ni∤ \nmidb∈/ \notin∦ \nparallelb. \nshortmidb/ \nshortparallelb⊈ \nsubseteqb⫅̸ \nsubseteqqb⊉ \nsupseteqb⫆̸ \nsupseteqqb⋪ \ntriangleleftb⋬ \ntrianglelefteqb⋫ \ntrianglerightb⋭ \ntrianglerighteqb⊬ \nvdashb⊮ \nVdashb⊭ \nvDashb⊯ \nVDashb∥ \parallel⊥ \perp⋔ \pitchforka∝ \propto
p \shortmidb
q \shortparallelb⌢ \smallfrowna⌣ \smallsmilea⌣ \smile⊏ \sqsubseta⊑ \sqsubseteq⊐ \sqsupseta⊒ \sqsupseteq⊂ \subset⋐ \Subseta⊆ \subseteq⫅ \subseteqqa⊊ \subsetneqb⫋ \subsetneqqb⊃ \supset⋑ \Supseta⊇ \supseteq⫆ \supseteqqa⊋ \supsetneqb⫌ \supsetneqqb∴ \thereforea⊴ \trianglelefteqa⊵ \trianglerighteqa∝ \varproptoa⊊ \varsubsetneqb& \varsubsetneqqb⊋ \varsupsetneqb' \varsupsetneqqb△ \vartrianglea◁ \vartrianglelefta▷ \vartrianglerighta⊢ \vdash⊩ \Vdasha⊨ \vDasha⊪ \Vvdasha

注意 1. ラベルa,b がつけられてるフォントは amssymb が読み込まれたときの，msam あるいは msbm のことです．
同義語: ∋ \owns

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

3.9. 大きさの変わる作用素∫⊙\bigodot\intH⊕\bigoplus\oint⊗∩\bigotimes\bigcap⊔∪\bigsqcup\bigcup

⊎
∨
∧
⨿

12

\biguplus\bigvee\bigwedge

∏

\prod

∫ \smallint∑\sum\coprod

3.10. 句読点
..
//
||
,,
;;
: \colon::!!
??
· · · \dotsb. . . \dotsc· · · \dotsi· · · \dotsm. . . \dotso..
. \ddots..
. \vdots

注意 1. :はそれ自身でクラス 3（関係）の空白をもつコロンを生成します．\コロンコマンドは，f\colon A\to B
では f : A → B のように特別な空白を作成します．
注意 2. コマンド\cdots と\ldots は頻繁に使用されますが，意味に応じたコマンド\dotsb \dotsc \dotsi \dotsm\dotso の使用をお勧めします．（4.6 節をみてください）.

3.11. ペアになる（大きさの変わる）記号). 詳しくは 6 節を参照のこと．
()
⟨⟩
( )
\langle \rangle
[]
⌈⌉
[ ]
\lceil \rceil{}⌊⌋\lbrace \rbrace\lfloor \rfloor  \lgroup \rgroup\lvert \rvert  \lmoustache \rmoustache\lVert \rVert

3.12. ペアでは使われないが大きさの変わる記号

/

\vert
/
 \arrowvert
w
\
w
\Vert
\backslash
w \Arrowvert






 \bracevert

注意 1. \vert，|，\Vert，\|をペアのデリミタ（語の前後を区切る，あるいは行列や絶対値など要素を囲む記号）として使うのは勧めません．（6.2 節をみてください）代わりに，3.11 節にある一覧表にあるデリミタを使用します．
同義語: ∥ \|3.13. 大きさの変わる垂直の矢印
xy \downarrow \uparroww~ww
 \Downarrow
w \Uparrowx
y \updownarrow~w \Updownarrow

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

13

3.14. 数式で使われるアクセントx́ \acute{x}x̀ \grave{x}ẍ \ddot{x}x̃ \tilde{x}x̄ \bar{x}x̆ \breve{x}x̌ \check{x}x̂ \hat{x}⃗x \vec{x}ẋ \dot{x}ẍ \ddot{x}...
x \dddot{x}x̊ \mathring{x}xxx
g \widetilde{xxx}xxx
d \widehat{xxx}3.15. 名前付き作用素. これらの作用素は複数の文字による省略形で表されています．
arccos \arccos
arcsin \arcsin
arctan \arctanarg \arg
cos \cos
cosh \coshcot \cotcoth \cothcsc \csc
deg \deg
det \det
dim \dimexp \exp

gcd \gcdhom \hominf \inf
inj lim \injlim
ker \kerlg \lglim \lim
lim inf \liminf
lim sup \limsup
ln \lnlog \log
max \maxmin \minPr \Prproj lim \projlim
sec \sec
sin \sinsinh \sinhsup \suptan \tantanh \tanhlim \varinjlim−→
lim \varprojlim←−
lim \varliminf
lim \varlimsup

上記のリストにない追加の名前付き作用素を定義するには，\DeclareMathOperator コマ
ンドを使用します．たとえば，\DeclareMathOperator{\rank}{rank}\DeclareMathOperator{\esssup}{ess\,sup}
このようにできます．

\rank(x)\esssup(y,z)

rank(x)ess sup(y, z)\DeclareMathOperator*にある星印は，ディスプレイ数式，sup や max などにある範囲を示
す式を使う作用素を作成します．
このようなすでに定義されている名前付き作用素で問題がある場合（たとえば，論文の表
題や要約に 1 つ使用する場合など），直接使用できる別の形式があります．
\operatorname{rank}(x)→rank(x)4. 記法
4.1. 上側と下側を飾る. これらは視覚的にはアクセントと似ていますが，1 つの基になる記号だけに適用されるのではなく，複数の記号にまたがります．参照を便利にするために，こ
こでは\widetilde と\widehat を重複して，数式アクセントの表に含めています．
xxx
g \widetilde{xxx}xxx
d \widehat{xxx}xxx \overline{xxx}xxx \underline{xxx}z}|{xxx \overbrace{xxx}xxx \underbrace{xxx}|{z}←−− \overleftarrow{xxx}xxxxxx←−− \underleftarrow{xxx}−−→ \overrightarrow{xxx}xxxxxx−−→ \underrightarrow{xxx}←→ \overleftrightarrow{xxx}xxxxxx←→ \underleftrightarrow{xxx}4.2. 長さが伸びる矢印. \xleftarrow と\xrightarrow は，普通より広い下付き文字や上付
き文字に対応するために自動的に拡張される矢印を生成します．これらのコマンドは，1 つのオプションの引数（添え字）と 1 つの必須の引数（上付き文字，空の場合もある）を取り
ます：
n+µ−1
n±i−1
A ←−−−−− B −−−−→ C(4.1)
Tはやわかり LATEX で数式組版, version 2.0 (2017/12/22)

14\xleftarrow{n+\mu-1}\quad \xrightarrow[T]{n\pm i-1}
4.3. 記号に別の記号を重ねる. 標準のアクセント（3.14 節）に加えて，\overset と\underset
コマンドで，基礎におく記号の上または下に他の記号を配置することができます．たとえば，∗\overset{*}{X}とすれば，X の上に上付き小文字の ∗ を置くので，X になります．8.4 節の\sideset の説明も参照してください．
4.4. 行列. pmatrix，bmatrix，Bmatrix，vmatrix，Vmatrix の環境はそれぞれ適切なデリ
ミタ ( ), [ ]，{ }，| |，∥ ∥ が組み込まれています．また，デリミタをもたない matrix 環境と，左揃えまたは列指定の他のバリエーションを取得するために使用できる array 環境があります．
\begin{pmatrix}\alpha& \beta^{*}\\\gamma^{*}& \delta\end{pmatrix}

(

α
γ∗

β∗
δ

)

( )
本文中での使用に適した小さな行列を生成するには，smallmatrix 環境（たとえば， ac db )とします．そうすると通常の行列よりも小さくなるので，文章の行の大きさにあいます．この例は，\bigl( \begin{smallmatrix}
a&b\\ c&d\end{smallmatrix} \bigr)としたものです．デフォルトでは，行列内のすべての要素は水平方向に中央揃えされます．
mathtools パッケージは，これ以外の位置揃えを容易にするすべての行列環境の星印バージョンを提供します．このパッケージはまた，星印バージョンと星印なしバージョンの両方で並列名をもつ smallmatrix の囲まれた版を提供します．
行列の中に指定された数の列にまたがるドットの行を生成するには\hdotsfor を使います．
たとえば，4 列の行列の 2 番目の列の\hdotsfor{3}は，最後の 3 つの列にドットだけの行がプリントされます
区分関数の定義には，cases 環境があります：

P_{r-j}=\begin{cases}
0& \text{if $r-j$ is odd},\\r!\,(-1)^{(r-j)/2}& \text{if $r-j$ is even}.
\end{cases}\text と埋め込み数式の使用に注意してください．
注意 plain TEX 形式の\matrix{...\cr...\cr}と関連コマンド\pmatrix，\cases は LATEX では避けるべきです（これらは amsmath パッケージがロードされると無効になります）．

4.5. 数学用の空白コマンド. amsmath パッケージが使われていると，これらの数学用の空白コマンドはすべて，数学モードの内側でも外側でも使用できます．
省略形

\,
\:
\;

コマンド
no space\thinspace\medspace\thickspace\quad\qquad

例
34
34
34
34
3 4
3
4

省略形

\!

コマンド
no space\negthinspace\negmedspace\negthickspace

例
34
34
34
34

数式での間隔をより細かく制御するには，\mspace と ‘数学単位（math units）’ を使用します．1 つの数学単位，すなわち mu は mu に等しい．したがって，負の半分\quad を得るには，\mspace{-9.0mu}と書きます．
これ以外に LATEX では，与えらた断片の高さまたは幅に等しい空白を入れる 3 つのコマン
ドもあります：はやわかり LATEX で数式組版, version 2.0 (2017/12/22)例\phantom{XXX}\hphantom{XXX}\vphantom{X}15

結果
3 つの X に等しい空白．高さは．
3 つの X のに等しい空白高さは 0
0 に等しい幅，高さ= X の高さ

4.6. ドット. 種々の状況において優先される省略記号（斜めまたは水平オンライン）については一般的な合意がありません．そのため好み問題と考えられるかもしれません．ほとんどの場合，一般的な\dots を使用することができ，amsmath は AMS の規則に従った斜めドット（\ldots）の間の中心ドット（\cdots）を指定することができます．ドットの後に続くものがあいまいである場合，コマンドにより特定の形式が使用できます．しかし，\ldots や\cdotsの代わりに，次に示すような意味に応じたコマンドを使うべきです．
• \dotsc は “コンマに続くドット”• \dotsb は “に黄砂要素あるいは二項関係の後のドット”• \dotsm は “たくさんのドット”• \dotsi は “積分の後のドット”• \dotso は “それ以外” （上の例に該当しない場合）
著者は，その場に応じた規約に適合させるべきである．たとえば，出版社の規則に応じた規則に従って提出する必要がありますここではアメリカの数学会の慣習に従います：
We have the series $A_1,A_2,\dotsc$,
the regional sum $A_1+A_2+\dotsb$,
the orthogonal product $A_1A_2\dotsm$,
and the infinite integral\[\int_{A_1}\int_{A_2}\dotsi\].

We have the series A1 , A2 , . . . , the regionalsum A1 + A2 + · · · , the orthogonal productA1 A2 · · · , and the infinite integral
∫ ∫
···.
A1

A2

4.7. 分割させないダッシュ. \nobreakdash コマンドはハイフンまたはダッシュの後の改行を抑制します．たとえば，‘pages 1–9’ とするためには pages 1\nobreakdash--9 と書くことで，ハイフンと 9 のあいだで改行は起こりません．\nobreakdash を使用すれば，$p$-adicのような組み合わせのときの望ましくないハイフネーションを防ぐこともできます．頻繁に使用する場合は，略語を使用することを勧めます．たとえば\newcommand{\p}{$p$\nobreakdash}% for "\p adic" ("p-adic")\newcommand{\Ndash}{\nobreakdash\textendash}% for "pages 1\Ndash 9"%
For "\n dimensional" ("n-dimensional"):\newcommand{\n}{$n$\nobreakdash-\hspace{0pt}}
最後の例は，ハイフンの後で改行を禁止する方法を示していますが，次の語には通常のハイ
フネーションを許可しています．ハイフンの後ろにゼロ幅の空白を追加します．

4.8. 根号. \sqrt コマンドは平方根を生成します．基数を指定するには，オプション引数を1 つ与えます．
√√n3\sqrt{\frac{n}{n-1} S}
2S,\sqrt[3]{2}n−1
4.9. 数式の枠囲み. \boxed コマンドは，引数の周りを枠で囲みます．\fbox は引数が数式にのみ適用できます：
η ≤ C(δ(η) + ΛM (0, δ))(4.2)\boxed{\eta \leq C(\delta(\eta) +\Lambda_M(0,\delta))}
数式番号を含む方程式を囲む必要がある場合は，状況に応じて難しい場合があります．AMSの著者のための FAQ にいくつかの提案があります．ページの赤で概説されている項目を参照
してください https://www.ams.org/faq?faq_id=290．

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

16

5. 分数とそれに関連する話題
5.1. \frac, \dfrac, および\tfrac コマンド. \frac コマンドは，2 つの引数—分子と分母—を取り，それらを通常の分数の形式にタイプセットします．\dfrac や\tfrac を使えば LATEXが想定する大きさの代わりに（t =テキストスタイル，d =ディスプレイスタイル）適切な大きさになります．
1
1
log2 c(f ),log2 c(f ), k1 log2 c(f )
(5.1)
k
k
\begin{equation}\frac{1}{k}\log_2 c(f),\quad\dfrac{1}{k}\log_2 c(f),\quad\tfrac{1}{k}\log_2 c(f)\end{equation}θ+ψnπ
2ℜz = (
)2 (
)2 .
θ+ψ
1
B
+
log
2
2
A

(5.2)

\begin{equation}\Re{z} =\frac{n\pi \dfrac{\theta +\psi}{2}}{\left(\dfrac{\theta +\psi}{2}\right)^2 + \left( \dfrac{1}{2}\log \left\lvert\dfrac{B}{A}\right\rvert\right)^2}.
\end{equation}( )5.2. \binom， \dbinom，および\tbinom コマンド. nk のような 2 項式の場合には，\binom，\dbinom，\tbinom というコマンドを使います：
( )
( )
k k−1
k k−2
k
2 −
2
+
2
(5.3)
1
2
2^k-\binom{k}{1}2^{k-1}+\binom{k}{2}2^{k-2}5.3. \genfrac コマンド. \frac，\binom の機能とその変種は次のとおりです．一般化された分数コマンド\genfrac は 6 つの引数をとります．最後の 2 つは，‘\frac’ の分子と分母に対応します．最初の 2 つはオプションのデリミタです（\binom 参照）．3 番目は分母分子の間の線の太さを決めます（\binom はこれを使って分母分子の間の線の太さを 0pt に設定，
つまり表示しません）．4 番目の引数は数式のスタイルを決めます：整数値 0–3 は，それぞれ\displaystyle，\textstyle，\scriptstyle，\scriptscriptstyle を選択します．3 番目の引数が空の場合，線の太さはデフォルトで “normal” になります．
\genfrac{left-delim}{right-delim}{thickness}{mathstyle}{numerator}{denominator}
これを説明するために，ここで\frac，\tfrac，そして\binom が，どのように定義されているかをみます．

\newcommand{\frac}[2]{\genfrac{}{}{}{}{#1}{#2}}\newcommand{\tfrac}[2]{\genfrac{}{}{}{1}{#1}{#2}}\newcommand{\binom}[2]{\genfrac{(}{)}{0pt}{}{#1}{#2}}
注意 技術的な理由から，LATEX ドキュメントでプリミティブ分数コマンド\over，\atop，\above を使用することは推奨されません（例：https://www.ams.org/faq?faq_id=288，赤で囲まれたエントリ）．

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

17

5.4. 連分数. 連分数
1
√

2+

(5.4)

1
√

2+ √

1
2 + ···

は，次のようにします．

\cfrac{1}{\sqrt{2}+\cfrac{1}{\sqrt{2}+\cfrac{1}{\sqrt{2}+\dotsb}}}
こうすれば，\frac をそのまま使うよりは綺麗に作成されます．任意の分子の左または右の配置は，\cfrac の代わりに\cfrac[l] または\cfrac[r] を使用して行います．

6. デリミタ6.1. デリミタの大きさ. 指定しない限り，数式のデリミタは，含まれる数式の標準の高さのままです．より大きなサイズを得るには，接頭辞\big ...（下記参照）を使用して特定のサ
イズを選択するか，または自動サイズ設定のために接頭辞\left と\right を使用できます．
\left と\right で行われるデリミタの自動的な大きさ調整には 2 つの制限があります：第1 に，最大の数式を包むのに十分な大きさのでリミタを機械的に適用し，その次がかなり大きいデリミタへと一足飛びに拡大したものになります．これは，指定されたデリミタのサイズが極端に大きすぎる式は，全体のサイズが大きくなることを意味します．通常のサイズのテキストでは，6pt（3pt の上端と下端）へ飛びます．デリミタのサイズを調整すべき状況が 2
つまたは 3 つあります．これらの調整は，次のコマンドを使用して行われます：
デリミタ サイズを
\left
\bigl
\Bigl
\biggl\Bigglサイズ
指定しない \right \bigr\Bigr\biggr\Biggr( )( )( c ) ( )( c ) ( )( c ) ( )( c )ccResult(b)( )
(b)
b
b
b
b
d
d
d
d
d
d
第 1 の種類の調整は，総和記号などの値の範囲を示す累積作用素に対して行われます．\leftと\right を使うとデリミタは通常は必要なものより大きくなるので，Big または bigg を使用する方が良い結果が得られます：p 1/p
[∑ ∑
]
∑
∑
p 1/p

見比べましょう
ai
xij
ai
xij 
i

j

i

j

\biggl[\sum_i a_i\Bigl\lvert\sum_j x_{ij}\Bigr\rvert^p\biggr]^{1/p}
2 番目の種類の状況はペアと成っているデリミタをいくつか入れ子にして使う場合です．こ
こでは，\left と\right はすべて同じサイズになります（包含されたマテリアルをカバーするのに十分です）．デリミタを少し大きくして入れ子の要素を見やすくします．
()()((a1 b1 ) − (a2 b2 )) ((a2 b1 ) + (a1 b2 )) 見比べましょう (a1 b1 ) − (a2 b2 ) (a2 b1 ) + (a1 b2 )\left((a_1 b_1) - (a_2 b_2)\right)\left((a_2 b_1) + (a_1 b_2)\right)%\quad\text{versus}\quad\quad\text{見比べましょう}\quad\bigl((a_1 b_1) - (a_2 b_2)\bigr)\bigl((a_2 b_1) + (a_1 b_2)\bigr)′

3 番目の状況は， db ′ のように，\left と\right は広すぎる行間を引き起こします．その場
合，\bigl と\bigr を使用してデリミタを生成できます．基本となるサイズよりも大きいが，′通常の行間にくらべて違和感が少ないようにできます： db ′ ．
mathtools パッケージにはサイジングを簡素化できる\DeclarePairedDelimiter 機能があります．詳細については，パッケージのドキュメントを参照してください．

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

18

6.2. 縦棒の記法. |を用いて（絶対値のような）ペアになったデリミタを生成することは推奨されません．記号の向きについてあいまいさがあり，まれに間違った間隔が生じます．たと
えば，|k|=|-k|は |k| = | − k| を生成し，|\sin x|は正しい |sin x| の代わりに | sin x| を生成します．\lvert を“left vert bar”に\rvert を“right vert bar”に使うと，この問題が回避されます．\lvert -k\rvert によって生成された |−k| と比べてみましょう．二重バーの場合
は，\lVert, \rVert という似た方法があります．推奨されるプラクティスは，ドキュメントのプリアンブルに，縦棒の記号のペアを使うさいの適切なコマンドを定義しておくことです：\providecommand{\abs}[1]{\lvert#1\rvert}\providecommand{\norm}[1]{\lVert#1\rVert}
こうすれば\abs{z}は |z| を生成し，\norm{v}は ∥v∥ を生成します．

7. \text コマンド
\text コマンドの主な用途は，ディスプレイ内に単語または短い文を入れることです．これは\mbox と似ていますが，\mbox と異なり，添え字を使用しても自動的に添字の大きさでテキストが生成されます．
f[xi−1 ,xi ] is monotonic,i = 1, . . . , c + 1(7.1)

f_{[x_{i-1},x_i]} \text{ is monotonic,}\quad i = 1,\dots,c+1
7.1. \mod と，その仲間. コマンド\mod，\bmod，\pmod，\pod は，“mod”表記についての特別な空白規則を扱います．\mod と\pod は，\pmod の変わった仲間ですが，これらのほうを好む人がいるので用意されています．\mod はカッコを省略し，\pod は“mod”を省略してカッコを保持します．
gcd(n, m mod n);x≡y(mod b);x≡ymod c;

x≡y

(d)

(7.2)

\gcd(n,m\bmod n) ;\quad x\equiv y\pmod b;\quad x\equiv y\mod c ;\quad x\equiv y\pod d
8. 積分と和8.1. 範囲指定の配置. 積分，合計，および類似の記号で変数のとる範囲を示す式は，規則と文脈に応じて，基礎記号の側面またはその上下に配置されます．LATEX は自動的にどちらか一方を選択するための規則をもち，ほとんどの場合結果は問題ありません．そうでない場合，範囲を示す式の配置に影響を与えるために使用できる 3 つコマンドが LATEX にはあります：\limits，\nolimits，\displaylimits です．
∫∫
6
z 6 (t)ϕ(x)z (t)ϕ(x)と|x−xz (t)|<X0|x−xz (t)|<X0\int_{\abs{x-x_z(t)}<X_0} ...

\int\limits_{\abs{x-x_z(t)}<X_0} ...

\limits コマンドは，適用される基礎記号の直後に続く必要があります．その意味は次のとおりです：この記号の通常の規則にかかわらず，範囲を示す文字の場合，通常の上付き文字（右上）下付き（右下）の位置ではなくて，それらを記号の真上か真下に配置します．\nolimits
は，その代わりに側面にずらすことを意味し，新しい種類の基礎記号の定義に使用できます．
\displaylimits は，\sum コマンドのように標準的な配置を使用することを意味します．
詳しくは [AMUG] にある，intlimits と nosumlimits をみてください．

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

19

8.2. 多重積分. \iint，\iiint，\iiiint は，テキストスタイルとディスプレイスタイルの両方で，それらの間隔をきちんと調整した複数の積分記号を与えます．\idotsint は，同じ考えの拡張したもので，2 つの積分記号の間にドット入れます．意味を明確にするために dx やそれの類似の記号の前後には小さい空白（\,）を入れるべきであることに注意してください．
∫∫
∫∫∫
(8.1)
f (x, y) dx dyf (x, y, z) dx dy dzA∫∫∫∫ Af (w, x, y, z) dw dx dy dz
A

∫

∫
···

f (x1 , . . . , xk )

(8.2)

A

\iint\limits_A f(x,y)\,dx\,dy\qquad\iiint\limits_Af(x,y,z)\,dx\,dy\,dz\\\iiiint\limits_Af(w,x,y,z)\,dw\,dx\,dy\,dz\qquad\idotsint\limits_A f(x_1,\dots,x_k)8.3. 複数行の下付き文字または上付き文字. \substack コマンドは，複数行の下付き文字または上付き文字を生成するために使用できます：たとえば∑\sum_{\substack{P (i, j)0≤i≤m0\le i\le m\\0<j<n
0<j<n}}
P(i,j)
8.4.
コマンド. 特別な目的のために，\sideset というコマンドもあります．これ∑ \sideset∏
はや のような記号の上付き文字の位置に記号を配置するためです．注意：\sideset コ
マンドは，大きな演算子記号でのみ使用するように設計されています．普通の記号では結果は信頼できません．\sideset を使用すると，∑′\sideset{}{’}
nEn\sum_{n<k,\;\text{$n$ odd}} nE_nn<k, n oddとできます．
余分な空のカッコのペアは，\sideset が大きな演算子の各隅に余分な記号を置くことができるという事実によって説明されます．総乗記号の各隅に星印を置くには，次のように入力
します．
∗ ∏∗
\sideset{_*^*}{_*^*}\prod∗∗9. 数式の構成部分の大きさを変える
数式内のフォントサイズを変更するための LATEX のメカニズムは，数式の外で使用されているものとはまったく異なります．\large や\huge のようなテキストコマンドのいずれかを使って数式内の何かを大きくしようとすると：#{\large \#}次のようなメッセージが返されます．

Command \large invalid in math mode
そのような試みは，LATEX の数学記号どのように扱うかということについて誤解していることを示しています．日常の文章で総和を表すのに#記号を使うことがありますが，このように表示させるための最良の方法は，標準の LATEX \DeclareMathSymbol コマンドで “mathop”．（しかしこれは，適切な文字型の記号として定義することです [LFG] を参照してください）
サイズのスラッシュの表示サイズのペアで数学フォントを取得することを必要としますが，これはあまり簡単ではありません）．

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

20

次の表示を考えてみましょう：∑n\frac{\sum_{n > 0} z^n}
n>0 z
∏
k)
{\prod_{1\leq k\leq n} (1-q^k)}
(1
−
q
1≤k≤n

\frac の代わりに\dfrac を使用しても，この場合は何も変更されません．総和と総乗の記号をフルサイズで表示するには，\displaystyle コマンドが必要です：∑zn\frac{{\displaystyle\sum_{n > 0} z^n}}n>0∏k{{\displaystyle\prod_{1\leq k\leq n} (1-q^k)}}(1 − q )1≤k≤n

フルサイズの記号を使用したいが範囲指定を横に置きたい場合は，\nolimits コマンドを使
用します：
∑
zn
\frac{{\displaystyle\sum\nolimits_{n> 0} z^n}}n>0∏{{\displaystyle\prod\nolimits_{1\leq k\leq n} (1-q^k)}}(1 − q k )1≤k≤n

同じような機能コマンド\textstyle，\scriptstyle，および\scriptscriptstyle があります．これらは LATEX に記号のサイズと空白について，現在の文脈上は他のサイズを生成する場合でも，（それぞれ）インライン数式，一次添字，または二次添字のサイズを適用します．
注意： これらのコマンドは，LATEX で “宣言（declaration）” と呼ばれる特別なクラスのコマンドに属します．特に，コマンドの有効範囲を指定する中カッコの位置に注意してください：
正しい： {\displaystyle ...}

間違い： \displaystyle{...}

10. このほかのパッケージ
数式のためドキュメントの組版に便利な他の多くの LATEX パッケージが CTAN（Comprehensive
TEX アーカイブネットワーク）から利用できます．いくつかのお勧めを紹介します：

mathtools amsmath に，さらに機能を追加したもの：amsmath を読み込みます．
amsthm 定理と証明を作成するためのもの．
amsfonts \mathbb と\mathfrak を定義し，多くの記号を使うことができるようにします（amssymb に含まれています）．
accents アクセントと任意の記号を使ったアクセントの作成．
bm 太字のための数学パッケージで，\boldsymbol より一般的でより堅牢な実装を提供します．
mathrsfs Ralph Smith の筆記体です．
cases 2 つ以上の方程式のそれぞれに式番号を降らずに，大きなブレースカッコでまとめます．
delarray 配列の複数の行にまたがるデリミタです．
xypic 可換図式とそれ以外の図のため．
TikZ ダイアグラムをはじめ，多くのグラフ作成のため．
TEX カタログのhttp://mirror.ctan.org/help/Catalogue/alpha.html,
は，パッケージ名を知っている場合には適しています．
TEX に関係する質問や答えを調べる場合は，次のフォーラムがあります：
https://tex.stackexchange.com/questions
すでに，誰かによって答えが示されている場合があるので，まずアーカイブを調べます．整理された話題をもとに，そこから探すと答えを素早く得られます：https://tex.meta.stackexchange.com/a/2425#2425
探しても見つからない場合には，あなたが初めての質問者となります．

はやわかり LATEX で数式組版, version 2.0 (2017/12/22)

21

11. その他の役に立つドキュメント
References[AMUG] American Mathematical Society and the LATEX3 Project: User’s Guide for theamsmath package, Version 2.+,
http://mirror.ctan.org/macros/latex/required/amsmath/amsldoc.tex
and
http://mirror.ctan.org/macros/latex/required/amsmath/amsldoc.pdf,
2017.
[AFUG] American Mathematical Society: User’s Guide, AMSFonts,
http://mirror.ctan.org/fonts/amsfonts/amsfndoc.pdf, 2002.
[CLSL]

Scott Pakin: The Comprehensive LATEX Symbol List,
http://mirror.ctan.org/tex-archive/info/symbols/comprehensive/,
January 2017. Raw font tables, without symbol names, are shown alphabeticallyby font name in the rawtables*.pdf files in the same area of CTAN and fromTEX Live with texdoc rawtables.

[Lam]

Leslie Lamport: LATEX: A document preparation system, 2nd edition,
Addison-Wesley, 1994.

[LC]

Frank Mittelbach and Michel Goossens, with Johannes Braams, David Carlisle,
and Chris Rowley: The LATEX Companion, 2nd edition, Addison-Wesley, 2004.

[LFG]

LATEX3 Project Team: LATEX 2ε font selection,
http://mirror.ctan.org/macros/latex/doc/fntguide.pdf, 2005.

[LGC]

Michel Goossens, Frank Mittelbach, Sebastian Rahtz, Denis Roegel, andHerbert Voß: The LATEX Graphics Companion, 2nd edition, Addison-Wesley,
2008.

[LGG]

D. P. Carlisle, LATEX3 Project: Packages in the ‘graphics’ bundle,
http://mirror.ctan.org/macros/latex/required/graphics/grfguide.pdf,
2017.

[LUG]

LATEX3 Project Team: LATEX 2ε for authors,
http://mirror.ctan.org/macros/latex/doc/usrguide.pdf, 2015.

[MML]

George Grätzer: More Math into LATEX, 5th edition, Springer, New York, 2016.

[UCM]

Will Robertson: Every symbol (most symbols) defined by unicode-math,
http://mirror.ctan.org/macros/latex/contrib/unicode-math/unimath-symbols.pdf, 2017; andWill Robertson, Philipp Stephani, Joseph Wright, and Khaled Hosny:
Experimental Unicode mathematical typesetting: The unicode-math package,
http://mirror.ctan.org/macros/latex/contrib/unicode-math/unicode-math.pdf, 2017.