【LaTeX】不等号 ≦ ≧ ≠ ≒ の書き方｜leq・geq・neq・approxの使い分けをコピペ実例で解説

論文を書いていると、「$a$ は $b$ 以下」と書きたい場面が頻繁に出てきます。このとき \leq と \leqq のどちらを使えばよいか、「ほぼ等しい」は \approx か \fallingdotseq（≒）か、迷った経験はないでしょうか。

この記事では不等号と近似記号をリファレンス形式でまとめます。「やりたいこと」から逆引きできる早見表を冒頭に置いているので、コマンドが思い出せないときにすぐ参照できます。

応用先はふたつあります。ひとつは数学・統計の論文・レポート。収束条件や誤差評価に不等号が欠かせません。もうひとつは物理・工学の近似式。「十分大きい」「無視できる」を表す \ll・\approx がなければ近似の意図が伝わりません。

本記事の内容

やりたいことから引ける逆引き早見表
基本4記号 < > \leq \geq の書き方と短縮形
日本式「≦≧」（\leqq）と国際標準「≤≥」（\leq）の違い——この記事の独自価値ポイント
等しくない \neq と \not の使い方・限界
近似記号 \approx・\simeq・\sim・\fallingdotseq（≒）の描き分け
強い大小 \ll・\gg・\lesssim・\gtrsim
順序記号の拡張：\prec・\succ・\preceq・\succeq・\leqslant
ε-δ論法・AM-GM・コーシー・シュワルツなどコピペ実例
KaTeX互換表と HTML の <> エスケープ問題

不等号ファミリー全体マップ：大小・否定・近似・半順序の4分類

この図が記事全体の地図です。不等号は「大小関係」「否定」「近似・比例」「強い大小」「半順序」の5グループに分かれます。それぞれのコマンド名は図中に示しています。詳細は以降のセクションで一つずつ解説します。

逆引き早見表：やりたいことからコマンドを引く

やりたいこと	コマンド	表示	条件・備考
a は b 未満	`<`	$<$	HTML内では `<` に注意
a は b より大	`>`	$>$	HTML内では `>` に注意
a は b 以下（国際標準）	`\leq`	$\leq$	`\le` も同義。KaTeX対応
a は b 以上（国際標準）	`\geq`	$\geq$	`\ge` も同義。KaTeX対応
a は b 以下（日本教科書式・二重線）	`\leqq`	$\leqq$	KaTeX対応
a は b 以上（日本教科書式・二重線）	`\geqq`	$\geqq$	KaTeX対応
a と b は等しくない	`\neq`	$\neq$	`\ne` も同義。KaTeX対応
未満でない	`\not<`	$\not<$	\not の汎用否定
以下でない（専用コマンド）	`\nleq`	$\nleq$	KaTeX対応
以上でない（専用コマンド）	`\ngeq`	$\ngeq$	KaTeX対応
a は b に近似（数値）	`\approx`	$\approx$	最も一般的な近似記号
a は b に漸近同値	`\simeq`	$\simeq$	解析学・数値解析
a と b は同程度 / 分布に従う	`\sim`	$\sim$	オーダー評価・確率記法
a は b にほぼ等しい（日本式 ≒）	`\fallingdotseq`	$\fallingdotseq$	KaTeX対応
a は b よりはるかに小さい	`\ll`	$\ll$	物理・工学で頻出
a は b よりはるかに大きい	`\gg`	$\gg$
a は大体 b 以下（軟不等号）	`\lesssim`	$\lesssim$	観測値・物理推定に
a は大体 b 以上（軟不等号）	`\gtrsim`	$\gtrsim$
a が b に前順（半順序）	`\prec`	$\prec$	最適化・代数学
a が b に後順（半順序）	`\succ`	$\succ$
a が b に前順または等しい	`\preceq`	$\preceq$
斜め線スタイルの以下	`\leqslant`	$\leqslant$	ヨーロッパ式
比例	`\propto`	$\propto$	KaTeX対応

細かい説明に入る前に、全コマンドをここから引けるようにしました。各行の詳細は以降のセクションで丁寧に解説します。

1. 基本4点セット：< > \leq \geq

直感：「未満」と「以下」は別物

日常語では「3以下」と「3未満」を混同しがちですが、数学では厳密に区別します。

<（小なり、未満・strictly less than）: $3 < 5$ ——「3は5未満」、3と5は等しくない
\leq（以下・less than or equal to）: $3 \leq 3$ ——「3は3以下」、等しい場合も含む

LaTeX / KaTeX での書き方をまとめます。

% 基本の大小
$a < b$    % a は b 未満
$a > b$    % a は b より大
$a \leq b$ % a は b 以下（\le も同じ）
$a \geq b$ % a は b 以上（\ge も同じ）

$$ a < b \quad a > b \quad a \leq b \quad a \geq b $$

\le と \ge は \leq・\geq の短縮形です。どちらも同じ記号を出力します。論文では \leq・\geq を使う著者が多いですが、手打ちでは \le・\ge のほうが速く書けます。

HTML の `<>` 問題に注意

ブログや HTML ファイル内に数式を埋め込むとき、< と > はタグと見なされる可能性があります。

<!-- NG: <, > が HTML タグとして解釈されうる -->
<p>$a < b$ は成立する</p>

<!-- OK: KaTeX/MathJax 環境なら $...$ 内では問題ない場合が多い -->
<!-- ただし、テンプレートエンジンによっては &lt; &gt; エスケープが必要 -->
$a < b$

WordPress + KaTeX の組み合わせでは $a < b$ と書くだけで問題ありませんが、他の環境では注意が必要です。

2. 日本式「≦≧」と国際標準「≤≥」——二重線と一本線の違い

これがこの記事の最大の独自価値ポイントです。日本の高校・大学の教科書では「以下・以上」に二重線の記号「≦ ≧」を使う慣習がありますが、欧米の論文では一本線「≤ ≥」が標準です。

leq（一本線）vs leqq（二重線）の違い：国際標準と日本式の比較

図の左が国際標準の \leq（一本線）、右が日本・ドイツ教科書慣習の \leqq（二重線）です。意味はどちらも「以下・以上」で同じですが、見た目が異なります。

コマンド

% 一本線（国際標準・推奨）
$a \leq b$   % または \le
$a \geq b$   % または \ge

% 二重線（日本・ドイツの教科書慣習）
$a \leqq b$  % amssymb パッケージ（LaTeX）、KaTeX は標準で可
$a \geqq b$

$$ a \leq b \quad (\text{一本線}) \qquad a \leqq b \quad (\text{二重線}) $$

どちらを使えばよいか

状況	推奨
国際会議・ジャーナル論文（IEEE・ICML・NeurIPS 等）	`\leq` / `\geq`（一本線）
日本語の教科書・レポート	`\leqq` / `\geqq`（二重線）でも可
KaTeX ブログ	どちらも対応。読者に合わせる
1文書で統一	混在は避け、どちらかに統一する

重要なのは「1つの文書内で統一する」ことです。\leq と \leqq を混在させると読者が混乱します。

基本の書き方を押さえたところで、「等しくない」を表す否定記号に進みましょう。

3. ≠ の書き方（neq / ne）と \not の使い方・限界

\neq：最もシンプルな選択肢

「$a$ と $b$ は等しくない」を書くには \neq を使います。\ne は短縮形で、出力は同じです。

$a \neq b$   % 等しくない（推奨）
$a \ne b$    % 短縮形（同じ出力）

$$ a \neq b $$

\not：任意の記号に斜線を引く汎用コマンド

\not は直後の記号に斜線（/）を重ねる汎用コマンドです。\not<、\not\leq のように組み合わせて使います。

$a \not< b$    % a は b 未満でない
$a \not> b$    % a は b より大でない
$a \not\leq b$ % a は b 以下でない
$a \not\equiv b$ % a と b は合同でない

$$ a \not< b \qquad a \not\leq b $$

\not の限界として、斜線の位置がずれる場合があります。特に \not\leq は斜線が少し右にずれて見えることがあります。専用コマンドが存在する場合はそちらを使うほうが見た目が安定します。

$neq（≠）と\notの使い方・否定不等号一覧$

図が示すように、\neq と \not= は同じ ≠ を出しますが、\not<（≮）のような専用コマンドがない否定には \not を使います。専用コマンドがある場合（\nleq・\ngeq）はそちらのほうが位置ずれが少なく安定します。

amssymb の専用否定コマンド

\usepackage{amssymb}  % LaTeX の場合

$a \nleq b$   % a は b 以下でない（専用コマンド）
$a \ngeq b$   % a は b 以上でない（専用コマンド）
$a \lneq b$   % a は真に b 未満（strictly less than、等しくない）

$$ a \nleq b \qquad a \ngeq b $$

KaTeX では \nleq・\ngeq は標準で対応しています。\lneq も KaTeX で使えます。

否定記号を押さえたところで、「近似」を表す記号群に進みましょう。

4. 近似記号4兄弟：approx・simeq・sim・fallingdotseq（≒）

近似を表す記号は目的別に4種類あります。それぞれの使い分けを覚えておくと、論文・レポートの精度が上がります。

approx・simeq・sim・fallingdotseqの描き分け

\approx（≈）：数値的な近似

最も一般的な近似記号です。「数値的に近い」「工学的な精度で等しい」場面で使います。

$\pi \approx 3.14159$
$e \approx 2.71828$

$$ \pi \approx 3.14159 \qquad \sqrt{2} \approx 1.41421 $$

テイラー展開の打ち切り近似や数値計算結果に使うのが典型的です。

\simeq（≃）：漸近同値・同型

解析学で「$n \to \infty$ の極限で同じ挙動をする」という漸近同値（asymptotic equivalence）を表します。

$f(n) \simeq g(n) \quad (n \to \infty)$

$$ \ln n! \simeq n \ln n - n \qquad (n \to \infty) $$

スターリング近似のような「精度の高い漸近展開」の文脈でよく使われます。\approx よりも「構造が同じ」「比が1に収束する」という強い主張を含みます。

\sim（∼）：同程度のオーダー / 分布に従う

\sim は 2つの用途があります。文脈に注意してください。

用途①：オーダー評価（物理・数値解析）

$f(x) \sim g(x) \quad (x \to 0)$
$T \sim 10^{10} \, \mathrm{K}$

$$ \frac{\sin x}{x} \sim 1 \qquad (x \to 0) $$

用途②：確率分布に従う（統計・機械学習）

$X \sim \mathcal{N}(\mu, \sigma^2)$   % X は正規分布に従う
$\varepsilon \sim \mathcal{U}(0, 1)$  % ε は一様分布に従う

$$ X \sim \mathcal{N}(0, 1) \qquad Y \sim \mathrm{Poisson}(\lambda) $$

機械学習の論文では後者の用法が圧倒的に多いです。「$X \sim P$」を見たら「$X$ は分布 $P$ から生成される」と読みます。

\fallingdotseq（≒）：日本式「ほぼ等しい」

≒ は日本の高校・大学教養数学で「ほぼ等しい」を意味する記号として広く使われています。LaTeX コマンドは \fallingdotseq です。

$\sqrt{2} \fallingdotseq 1.414$
$e \fallingdotseq 2.718$

$$ \sqrt{2} \fallingdotseq 1.414 $$

KaTeX 対応状況：KaTeX は \fallingdotseq をサポートしており、このブログでも問題なく表示されます。LaTeX（PDF出力）では amssymb パッケージが必要です。

使い分けの指針：欧米向けの論文では \approx（≈）のほうが一般的です。日本語の教科書や日本語向けコンテンツでは ≒（\fallingdotseq）が馴染みやすい場合もあります。ただし「≒」の意味は文脈依存な部分があるため、精密さが求められる論文では \approx を推奨します。

5. はるかに大小（ll・gg）と軟不等号（lesssim・gtrsim）

\ll と \gg：桁違いの大小

\ll と \gg は「はるかに小さい/大きい」を表します。「数値的に2倍」程度ではなく、桁違い（オーダーで1000倍以上） の大小差を示す場合に使います。

$\hbar\omega \ll k_B T$   % 量子効果が無視できる古典極限の条件
$\mathrm{Re} \gg 1$       % 乱流条件（レイノルズ数が十分大きい）
$m \ll M$                  % 軽い粒子が重い粒子に与える影響が無視できる

$$ \hbar\omega \ll k_B T \qquad \mathrm{Re} \gg 1 $$

ll（≪）・gg（≫）・lesssim・gtrsimの意味と使い方

図の左2枚が \ll・\gg、右2枚が \lesssim・\gtrsim です。それぞれの典型的な使い場面が示されています。

\lesssim と \gtrsim：軟不等号（観測・物理推定）

\lesssim（≲）と \gtrsim（≳）は「大体以下」「大体以上」を表す「軟不等号」です。観測値や推定値に誤差がある場合、厳密な \leq は使いにくいため、この記号で「ほぼ以下」を表現します。

$m_\nu \lesssim 0.1 \, \mathrm{eV}$    % ニュートリノ質量の上限
$\tau \gtrsim 10^{10} \, \mathrm{yr}$  % 陽子寿命の下限

$$ m_\nu \lesssim 0.1 \, \mathrm{eV} \qquad \tau \gtrsim 10^{10} \, \mathrm{yr} $$

KaTeX では \lesssim と \gtrsim は標準でサポートされています。LaTeX では amssymb パッケージが必要です。

強い大小の次は、集合や最適化で使われる「半順序」記号です。

6. 順序記号の拡張：prec・succ・preceq・succeq・leqslant

\prec と \succ：半順序（前順・後順）

\prec（≺）と \succ（≻）は「$a$ は $b$ に前順（先行）する」「$b$ は $a$ に後順（後行）する」という半順序関係を表します。最適化・機械学習・代数学で登場します。

$A \prec B$   % A は B に前順（行列の Loewner order: B - A が半正定値）
$A \succ B$   % A は B に後順
$A \preceq B$ % A は B に前順または等しい
$A \succeq B$ % A は B に後順または等しい

$$ A \prec B \qquad A \preceq B $$

特に重要な用例：最適化の文脈では、$A \preceq B$ は「$B - A$ が半正定値行列（PSD）」を意味します（Loewner 順序）。カーネル行列の比較、共分散行列の偏順序として機械学習で頻繁に使われます。

半順序記号 prec・succ・preceq・succeq・leqslant

図の左4つが prec 系、右2つが \leqslant・\geqslant（斜め線スタイル）です。

\leqslant と \geqslant：斜め線スタイル

\leqslant と \geqslant は \leq・\geq のスタイル違いで、意味は同じです。ヨーロッパの教科書や一部の数学分野（特にロシア系の影響が強い分野）で使われます。

$a \leqslant b$   % \leq と同じ意味だが斜め線スタイル
$a \geqslant b$

$$ a \leqslant b \qquad a \geqslant b $$

7. 実戦コピペ例

ε-δ論法（微積分）

関数 $f$ が $x = a$ で連続であることの定義です。不等号が連鎖する典型例です。

$$
\forall \varepsilon > 0,\, \exists \delta > 0 \text{ s.t. }
|x - a| < \delta \Rightarrow |f(x) - f(a)| < \varepsilon
$$

$$ \forall \varepsilon > 0,\, \exists \delta > 0 \text{ s.t. } |x - a| < \delta \Rightarrow |f(x) - f(a)| < \varepsilon $$

不等式の連鎖（align 環境）

複数行にわたる不等式を縦揃えするには align 環境を使います。

$$
\begin{align}
\|A + B\|^2 &= \|A\|^2 + 2\langle A, B\rangle + \|B\|^2 \\
            &\leq \|A\|^2 + 2\|A\|\|B\| + \|B\|^2
              \quad (\because \text{コーシー・シュワルツ}) \\
            &= (\|A\| + \|B\|)^2
\end{align}
$$

$$ \begin{align} \|A + B\|^2 &= \|A\|^2 + 2\langle A, B\rangle + \|B\|^2 \\ &\leq \|A\|^2 + 2\|A\|\|B\| + \|B\|^2 \\ &= (\|A\| + \|B\|)^2 \end{align} $$

最初の変形では展開を行い、次に $\langle A, B\rangle \leq \|A\|\|B\|$（コーシー・シュワルツ不等式）を適用して不等号が入ります。最後は完全平方の形に整理します。

AM-GM 不等式

算術平均と幾何平均の不等式です。

$$
\frac{a + b}{2} \geq \sqrt{ab} \quad (a, b \geq 0)
$$

$$ \frac{a + b}{2} \geq \sqrt{ab} \quad (a, b \geq 0) $$

等号成立条件は $a = b$ のときです。a, b \geq 0 のような複数の変数に同時に条件を付ける書き方もよく使います。

コーシー・シュワルツ不等式

$$
\left(\sum_{i=1}^n a_i b_i\right)^2 \leq
\left(\sum_{i=1}^n a_i^2\right)\left(\sum_{i=1}^n b_i^2\right)
$$

$$ \left(\sum_{i=1}^n a_i b_i\right)^2 \leq \left(\sum_{i=1}^n a_i^2\right)\left(\sum_{i=1}^n b_i^2\right) $$

漸近展開（物理の近似）

$$
k_B T \gg \hbar\omega \implies
\langle n \rangle = \frac{1}{e^{\hbar\omega/k_BT}-1}
\approx \frac{k_B T}{\hbar\omega}
$$

$$ k_B T \gg \hbar\omega \implies \langle n \rangle = \frac{1}{e^{\hbar\omega/k_BT}-1} \approx \frac{k_B T}{\hbar\omega} $$

\gg で前提条件を示し、\approx で近似の結果を書くという流れが物理論文の標準スタイルです。

8. KaTeX 互換表

本ブログ（KaTeX 使用）での各記号の対応状況をまとめます。

KaTeX互換表（不等号・近似・順序記号）

コマンド	表示	KaTeX 対応	備考
`<`, `>`	$<$, $>$	対応	HTML エスケープ注意
`\leq` / `\geq`	$\leq$, $\geq$	対応	`\le`・`\ge` も同義
`\leqq` / `\geqq`	$\leqq$, $\geqq$	対応	amssymb 相当、KaTeX は標準
`\neq` / `\ne`	$\neq$	対応	`\ne` は短縮形
`\approx`	$\approx$	対応	数値近似に最も一般的
`\simeq`	$\simeq$	対応	漸近同値
`\sim`	$\sim$	対応	分布記号・オーダー評価
`\fallingdotseq`	$\fallingdotseq$	対応	日本式 ≒
`\ll` / `\gg`	$\ll$, $\gg$	対応	はるかに大小
`\lesssim` / `\gtrsim`	$\lesssim$, $\gtrsim$	対応	amssymb 相当
`\prec` / `\succ`	$\prec$, $\succ$	対応	半順序
`\preceq` / `\succeq`	$\preceq$, $\succeq$	対応	amssymb 相当
`\leqslant`	$\leqslant$	対応	斜め線スタイル
`\nleq` / `\ngeq`	$\nleq$, $\ngeq$	対応	否定専用コマンド
`\not<` 等	$\not<$	対応	汎用否定、位置ずれ注意

図の緑バッジが示す通り、この記事で紹介した記号はすべて KaTeX で問題なく表示されます。LaTeX（PDF出力）では amssymb（\lesssim・\prec・\nleq 等）が必要な点だけ注意してください。

9. よくある間違いとその修正

間違い1：`<` `>` が HTML タグと衝突する

<!-- NG: テンプレートエンジンによっては < が HTML タグに解釈される -->
<p>$a < b$ かつ $c > d$</p>

<!-- OK: KaTeX の $..$ 内は通常問題ないが、念のため -->
<p>$a < b$ かつ $c > d$</p>
<!-- または -->
<p>$a \lt b$ かつ $c \gt d$</p>  <!-- KaTeX は \lt \gt も対応 -->

WordPress + KaTeX の標準的な構成では $a < b$ と書くだけで問題ありません。ただし、独自テーマやショートコード処理が絡む場合は \lt・\gt への書き換えで回避できます。

間違い2：\leq と \leqq を1文書に混在させる

% NG: 同じ文書内で一本線と二重線を混ぜる
$a \leq b$ かつ $b \leqq c$   % 読者が混乱する

% OK: どちらかに統一
$a \leq b$ かつ $b \leq c$    % 一本線で統一
$a \leqq b$ かつ $b \leqq c$  % 二重線で統一

間違い3：\not の斜線が記号にかからない

% \not は直後の1文字にしか作用しない
$\not\leq$    % leq 全体に斜線が入る（やや位置がずれる）
$\nleq$       % 専用コマンドを使うほうが安定（推奨）

\not の代わりに専用の否定コマンド（\nleq・\ngeq・\not< は対応なし→\not<）を使いましょう。

間違い4：≒ を `\approx` で代用してよいか

「≒をLaTeXで書きたい」という需要は日本独特です。対応は以下の通りです。

% 日本語レポート向け：≒ をそのまま出す
$\sqrt{2} \fallingdotseq 1.414$   % KaTeX / amssymb 対応

% 国際論文向け：\approx を使う（≈）
$\sqrt{2} \approx 1.414$

結論：日本語向けのレポートや教材では \fallingdotseq で ≒ を出す。国際論文では \approx（≈）を使う。両者は意味が近いが、\fallingdotseq は日本・東アジア圏の慣習であり、欧米の読者には馴染みが薄い場合があります。

間違い5：\ll の乱用

\ll は「はるかに」「桁違い」の意味を持ちます。「$a$ が $b$ より少し小さい」場面で \ll を使うのは誤用です。

% 誤用: 10 と 9 は桁違いではない
$10 \ll 9$    % 意味的に誤り

% 正しい使い方: 明確に桁違いの場合
$\hbar \ll k_B T$   % hbar ~ 10^-34, kBT ~ 10^-21 → 桁違い

10. 使い分けフローチャート

「どの不等号を使えばよいか」を即座に判断できるフローチャートです。

不等号の選択フローチャート

フローチャートをたどると判断のポイントは4つです。

厳密な大小（未満・超過）か？→ <・>
等しい場合も含む（以下・以上）か？→ 日本教科書なら \leqq、国際標準なら \leq
否定（等しくない）か？→ \neq・\nleq 等
近似か？→ 数値近似なら \approx、日本式なら \fallingdotseq、それ以外は \ll・\prec 等

このフローを意識するだけで、場面に合わない記号を使うミスがほぼなくなります。

まとめ

本記事では、LaTeX / KaTeX で使う不等号と近似記号をリファレンス形式で解説しました。

記号	コマンド	一言説明
$<$, $>$	`<`, `>`	厳密な大小（未満・超過）
$\leq$, $\geq$	`\leq` / `\geq`	以下・以上（国際標準・一本線）
$\leqq$, $\geqq$	`\leqq` / `\geqq`	以下・以上（日本教科書式・二重線）
$\neq$	`\neq` / `\ne`	等しくない
$\nleq$, $\ngeq$	`\nleq` / `\ngeq`	以下でない・以上でない（専用）
$\approx$	`\approx`	近似（数値・工学の標準）
$\fallingdotseq$	`\fallingdotseq`	≒（日本式の近似・KaTeX対応）
$\ll$, $\gg$	`\ll` / `\gg`	はるかに小さい・大きい
$\prec$, $\preceq$	`\prec` / `\preceq`	半順序（最適化・行列）

迷ったら \leq と \approx——この2つがあれば大半の場面をカバーできます。日本語コンテンツでは \leqq と \fallingdotseq も積極的に使いましょう。