LaTeX の \overset と \underset

\overset と \underset は、記号の上下に文字を配置するコマンドです。\stackrel より汎用的で、上下両方に対応しています。

\overset の基本

\overset{上}{ベース} で、ベースの上に文字を配置します。

A \overset{\text{def}}{=} B

$$A\stackrel{\text{def}}{=}B$$

\underset の基本

\underset{下}{ベース} で、ベースの下に文字を配置します。

A \underset{\text{注}}{=} B

$$A\underset{\text{注}}{=}B$$

上下両方に付ける

\overset と \underset を組み合わせることもできます。

\overset{\text{上}}{\underset{\text{下}}{=}}

$$A\stackrel{\text{上}}{\underset{\text{下}}{=}}B$$

記号の上下に条件を示す

不等号に条件を付ける例です。

x \overset{x > 0}{>} 0

$$x\stackrel{x>0}{>}0$$

極限記号のカスタマイズ

通常の \lim では下に条件が付きますが、\underset を使って自由に配置できます。

\underset{n \to \infty}{\text{lim}} a_n = L

$$\underset{n\to \infty }{\lim }{a}_n=L$$

\stackrel との違い

新しく書く場合は \overset \underset を使うほうが柔軟です。

実用例：同値の証明

同値であることを示す記号に説明を付ける例です。

P \overset{(1)}{\Leftrightarrow} Q \overset{(2)}{\Leftrightarrow} R

$$P\stackrel{(1)}{\iff }Q\stackrel{(2)}{\iff }R$$

各ステップの根拠を番号で示しています。

\overset \underset を使いこなすと、記号に情報を付加して数式の意味をより明確に伝えられます。