本文へ移動

LaTeX の数式の関係記号

数式モードで、≤ には \leq(または \le)、≠ には \neq(または \ne)、∈ には \in を使います。ほとんどの関係記号には、\nleq のように先頭に n を付けた否定形があり、記号の前に \not を置いても否定にできます。

関係記号の使い方

関係記号は 2 つのものを比べる記号で、LaTeX はその両側に、演算子の周りより少し広いスペースを入れます。入力した <、>、= はそのまま関係記号として扱われ、それ以外にはコマンドがあります。

本文中の関係記号

For all $n \geq 44$ we have $a_n \leq b_n$, so $\lim a_n \neq \infty$.
The set satisfies $x \in A \subseteq B$, and $\pi \approx 3.14$.
Scissor LaTeX による組版: 本文中の関係記号

多くの関係記号には否定形があります。\neq、\notin、\nleq、\nsubseteq のようにコマンドが用意されている場合はそれを使いましょう。斜線が記号に合わせて描かれます。それ以外の関係記号は、前に \not を置くと打ち消し線が入ります。

否定の関係記号

a \neq b \qquad x \notin A \qquad p \nmid q \qquad A \nsubseteq B \qquad x \not\equiv y

定義にはよく := が使われます。mathtools の \coloneqq を使うと、コロンが等号の中央にそろい、:= と入力するより読みやすくなります。

定義と同値関係

LaTeXプリアンブル: \usepackage{mathtools}エディタで開く (新しいタブで開きます)
f(x) \coloneqq x^2 + 44 \qquad a \equiv b \pmod{n} \qquad A \cong B \qquad x \propto y

すべての関係記号

これらはすべて Scissor LaTeX で使えます。コピーボタンをクリックすると、コマンドをコピーできます。

  • \in
  • \isin
  • \notin
  • \subset
  • \subseteq
  • \subsetneqq
  • \ne
  • \neq
  • \lt
  • \gt
  • \le
  • \ge
  • \leq
  • \geq
  • \leqslant
  • \geqslant
  • \eqslantgtr
  • \eqslantless
  • \approx
  • \sim
  • \simeq
  • \backsimeq
  • \cong
  • \ncong
  • \nsim
  • \backsim
  • \eqsim
  • \triangleq
  • \curlyeqprec
  • \curlyeqsucc
  • \gtrdot
  • \gg
  • \ngeq
  • \geqq
  • \gtrless
  • \gneqq
  • \ngtr
  • \gnsim
  • \gtrsim
  • \vartriangleright
  • \trianglerighteq
  • \ntrianglerighteq
  • \ntriangleright
  • \ggg
  • \lessdot
  • \ll
  • \nleq
  • \leqq
  • \lessgtr
  • \lneqq
  • \nless
  • \lnsim
  • \lesssim
  • \vartriangleleft
  • \trianglelefteq
  • \ntrianglelefteq
  • \ntriangleleft
  • \lll
  • \approxeq
  • \prec
  • \precapprox
  • \preceq
  • \preccurlyeq
  • \npreceq
  • \precnapprox
  • \nprec
  • \precnsim
  • \precsim
  • \succ
  • \succapprox
  • \succeq
  • \succcurlyeq
  • \nsucceq
  • \succnapprox
  • \nsucc
  • \succnsim
  • \succsim
  • \equiv
  • \propto
  • \ni
  • \nsubseteq
  • \sqsubseteq
  • \subsetneq
  • \supset
  • \supseteq
  • \nsupseteq
  • \sqsupseteq
  • \supsetneq
  • \models
  • \therefore
  • \because
  • \mid
  • \nmid
  • \parallel
  • \shortparallel
  • \nparallel
  • \perp
  • \Join
  • \vdash
  • \nvdash
  • \vDash
  • \nvDash
  • \dashv
  • \asymp
  • \circeq
  • \smile
  • \doteq
  • \Vdash
  • \Vvdash
  • \gnapprox
  • \ngeqslant
  • \precneqq
  • \gneq
  • \between
  • \bowtie
  • \Bumpeq
  • \bumpeq
  • \coloneq
  • \coloneqq
  • \doteqdot
  • \eqcolon
  • \eqqcolon
  • \fallingdotseq
  • \frown
  • \lessapprox
  • \lnapprox
  • \lneq
  • \nVDash
  • \nVdash
  • \owns
  • \pitchfork
  • \risingdotseq
  • \sqsubset
  • \sqsupset
  • \subseteqq
  • \succneqq
  • \supseteqq
  • \supsetneqq
  • \unlhd
  • \unrhd
  • \varpropto

よくある質問

\le と \leq の違いは何ですか?

違いはありません。\le と \leq はどちらも ≤ の名前で、\ge と \geq も ≥ を表します。amssymb の \leqslant と \geqslant を使うと、斜めの形になります。

LaTeX で「属さない」を書くにはどうすればよいですか?

\notin を使います。$x \notin A$ で x ∉ A になります。\not\in でも書けますが、\notin のほうがきれいに描かれます。

LaTeX で「ほぼ等しい」を書くにはどうすればよいですか?

\approx で ≈ になります。「相似」には \sim(∼)、「漸近的に等しい」には \simeq(≃)を使います。

このページの例はすべて、サイトのビルド時に Scissor LaTeX で組版されています。 最終更新:2026-11-07