5. 拡張可能で調整可能な記号
LaTeX には、任意のサイズに伸縮できる構造を生成する機能がいくつかあります。数式組版ではこのような可変性が非常に重要です。本記事ではそれらの側面をいくつか取り上げます。このセクションで取り上げるすべてのコマンド(特に別記がない限り)は標準 LaTeX が提供するものです。
5.1. 省略記号…
amsmath パッケージは(ほぼすべての場合で)標準 LaTeX の \ldots、cdots などを単一の \dots コマンドに置き換えます。省略記号の縦位置とその周囲の空白は、 \dots の後に続く記号の種類に応じて自動的に選択されます。たとえば次の記号がプラス記号であればドットは中心に配置され、コンマであればベースライン上に配置されます。ドットは常に3つですが、間隔は可変です。
1\usepackage{amsmath}
2% -------------------------------------------------------------------------------
3A series $H_1, H_2, \dots, H_n$, a sum
4$H_1 + H_2 + \dots + H_n$, an orthogonal product
5$H_1 \times H_2 \times \dots \times H_n$.
ただし、ドットが式の末尾に現れる場合、次に来るオブジェクトは \end や \)、あるいはユーザーのリクエストに含まれるように \) などで、LaTeX はドットの位置について手がかりを持ちません。そのようなケースでは、コンマの後に続くドットには \dotsc、二項演算子 または 関係記号 の後には \dotsb、乗算記号の後には \dotsm、積分記号の後には \dotsi、それ以外のケースには \dotso を使用して明示的に指定する必要があります。
1\usepackage{amsmath}
2% -------------------------------------------------------------------------------
3A series $H_1, H_2, \dotsc\,$, a sum
4$H_1 + H_2 + \dotsb\,$, an orthogonal product
5$H_1 \times H_2 \times \dotsm\,$, and an infinite
6integral: \[ \int_{H_1} \int_{H_2} \dotsi \;
7{-\Gamma}\, d\Theta \]
5.2. 水平に拡張可能な記号
基本的に LaTeX は、利用可能なフォントが提供する幅の範囲に応じて適切な字形を生成する任意の数式アクセントコマンドを設定できます。ただし、標準 LaTeX では \widehat と \widetilde の 2 つだけが利用可能です。
次の例では、前述の拡張アクセントに類似した構成を生成するいくつかのコマンドの使用例を示します。これらはすべて数式クラス Ordinary の複合記号を生成します。
1\usepackage{amsmath}
2% -------------------------------------------------------------------------------
3\begin{align*}
4\widehat {\psi_\delta(t) E_t h}
5&= \widetilde {\psi_\delta(t) E_t h} \\
6\overline {\psi_\delta(t) E_t h}
7&= \underline {\psi_\delta(t) E_t h} \\
8\overbrace {\psi_\delta(t) E_t h}
9&= \underbrace {\psi_\delta(t) E_t h}
10& & \text{Do not change style} \\
11\overrightarrow {\psi_\delta(t) E_t h}
12&= \overleftarrow {\psi_\delta(t) E_t h}
13& & \text{Do not change style} \\[-3pt]
14& & & \text{without \textsf{amsmath}} \\
15\underrightarrow {\psi_\delta(t) E_t h}
16&= \underleftarrow {\psi_\delta(t) E_t h}
17& & \text{Do need \textsf{amsmath}} \\
18\overleftrightarrow {\psi_\delta(t) E_t h}
19&=\underleftrightarrow{\psi_\delta(t) E_t h}
20& & \text{Do need \textsf{amsmath}}
21\end{align*}
ここで「スタイルを変更しない」とは、シンボルが使用中の数式スタイルの影響を受け、たとえば分数や上下付き文字で正しく表示されることを意味します。スタイルを変更しないものは、表示数式の最上位レベルでのみ正しく表示されます。
5.3. 垂直に拡張可能な記号
垂直方向の拡張性ははるかに広範です。以下の表は、垂直に拡張可能なすべての記号を一覧にしたものです。
Vertically extensible symbols
![]() | ( ) | ![]() | \{ \} | ![]() | \lVert \rVert |
![]() | \langle \rangle | ![]() | \lbrace \rbrace | ![]() | \lvert \rvert |
![]() | \lgroup \rgroup | ![]() | [ ] | ![]() | ` |
![]() | \lmoustache \rmoustache | ![]() | \lbrack \rbrack | ![]() | \vert |
![]() | \Downarrow | ![]() | \lceil \rceil | ![]() | \arrowvert |
![]() | \Uparrow | ![]() | \lfloor \rfloor | ![]() | \bracevert |
![]() | \Updownarrow | ![]() | \llbracket \rrbracket | ![]() | \Arrowvert |
![]() | \downarrow | ![]() | / | ![]() | | |
![]() | \uparrow | ![]() | \backslash | ![]() | \Vert |
![]() | \updownarrow | . | ![]() | \sqrtsign |
斜体で示された記号は
amsmathパッケージが必要です。また、太字で記述されたものはstmaryrdパッケージも必要になります。ピリオド (.) は拡張可能な記号そのものではありませんが、「見えない」区切り記号として使用できます。\sqrtsign記号は\left、\right、\middleと一緒に使用できません。
同義語: [ -
\lbrack,[; ] -\rbrack,]; { -\lbrace,\{; } -\rbrace,\}; | -\vert,|; || -\Vert,\|.
これらの記号は特定の使用法でのみ拡張可能になります。拡張は次の構文に基づいて行われます。
1\left <ext-Open> <sub-formula> \right <ext-Close>LaTeX が eTeX プログラムを使用している場合、
\middleと組み合わせてこれらの拡張記号を使用することもできます。
<ext-Open> と <ext-Close> には、上表にある(\sqrtsign を除く)任意の記号を使用できます。これらは
fntguide に記載された方法で拡張可能に設定された記号でなければなりません。したがって、実際の字形が存在しない「ヌル区切り記号」としてピリオド (.) が利用されることがあります。拡張記号の実際の字形サイズは、間に挿入されたサブフォーミュラの高さと深さに合わせて選択されます。
ラジカル記号 \sqrtsign は、引数のサイズに合わせて垂直方向と水平方向の両方に伸びます。LaTeX では通常 \sqrt コマンドを使用してこの記号を得ます。
1\[
2 \sqrtsign{1 + \sqrtsign{1 + \sqrtsign{1 +
3 \sqrtsign{1 + \sqrtsign{1 + \sqrtsign{1 + x}}}}}}
4\]






















