第 7 章 数式の組版 99
7.7 数式モード中の記号
記号の中には数式モード中でしか使えないものがほとんどです．以下の記号は
\( \)
で 囲むなど，数式環境の中で使用しないと! Missing $ inserted.のようなエラーが表示 されます．7.7.1 ギリシャ文字
数式中の変数ならびに定数にはギリシャ文字を使うのが一般的です．ギリシャ小 文字は表
7.12
，小文字の変体文字は表7.13
，大文字は表7.14
となります．ギリシャ表7.12 ギリシャ小文字
α
\alpha
η\eta
ν\nu
τ\tau
β
\beta
θ\theta
ξ\xi
υ\upsilon
γ
\gamma
ι\iota
oo
φ\phi
δ
\delta
κ\kappa
π\pi
χ\chi
\epsilon
λ\lambda
ρ\rho
ψ\psi
ζ
\zeta
µ\mu
σ\sigma
ω\omega
小 文 字 に お い て オ ミ ク ロ ン
‘o’
だ け は ア ル フ ァ ベ ッ ト の‘o’
と 同 じ た め 特 別 に 記 号 が 用 意 さ れ て い ま せ ん ．逆 に‘\o’
は 文 中 で 使 う べ き 記 号 で あ り ，こ の 命 令 を 数 式中で使うとLaTeX Warning: Command \o invalid in math mode on input line 30.のように警告が表示されます．
好き好き
L
ATEX 2
ε初級編7.7
数式モード中の記号7
\begin{eqnarray*}
\cos^2\theta+\sin^2\theta &\neq&
\cos^2x + \sin^2x
\end{eqnarray*}
cos2θ+sin2θ,cos2x+sin2x
表7.13 ギリシャ小文字の変体文字
ε
\varepsilon
ϑ\vartheta
$\varpi
%
\varrho
ς\varsigma
ϕ\varphi
一筆書きできる小文字が使われた名残でしょうか．
表7.14 ギリシャ大文字
A
A
HH
NN
TT
B
B
Θ\Theta
Ξ\Xi
Υ\Upsilon
Γ
\Gamma
II
OO
Φ\Phi
∆
\Delta
KK
Π\Pi
XX
E
E
Λ\Lambda
PP
Ψ\Psi
Z
Z
MM
Σ\Sigma
Ω\Omega
ギリシャ大文字でもアルファベットと同じ文字は特別な記号が用意されておりません．
ギリシャ小文字と同じようにオミクロン
‘\O’
を数式中で使うと次のような警告が表示さ れます．LaTeX Warning: Command \O invalid in math mode on input line 40.
さらにギリシャ大文字のA，B，E，Z，H，I，K，M，N，O，P，T，Xはそのままで はイタリック体となって変数を意味してしまいますので定数としてのギリシャ大文字を出 力するためには
\mathrm
を使います．\begin{eqnarray*}
A &\neq& \mathrm A \\
F(x)+C &\neq& F(x)+ \mathrm C \\
\mathit{foo}&\neq& \mathrm{foo}
\end{eqnarray*}
A,A F(x)+C,F(x)+C
foo,foo
7.7.2 関係子や演算子などの数学記号
表7.15 関係子
以下のコマンドの前に\notコマンドを付ければその関係子の否定になります
≤
\le
∈\in
w\sqsupseteq
,\neq
≺
\prec
<\notin
a\dashv \doteq
\preceq
≥\ge
3\ni
∝\propto
\ll \succ
≡\equiv
|=\models
⊂
\subset \succeq
∼\sim
⊥\perp
⊆
\subseteq \gg
'\simeq
|\mid
v
\sqsubseteq
⊃\supset \asymp
k\parallel
`
\vdash
⊇\supseteq
≈\approx
./\bowtie
_
\smile
^\frown \cong
表7.16 2項演算子
±
\pm
·\cdot
\\setminus \ominus
∓
\mp
∩\cap
o\wr
⊗\otimes
×
\times
∪\cup \diamond \oslash
÷
\div
]\uplus
4\bigtriangleup \odot
∗
\ast
u\sqcap
5\bigtriangledown \bigcirc
?
\star
t\sqcup
/\triangleleft
†\dagger
◦
\circ
∨\vee
.\triangleright
‡\ddagger
•
\bullet
∧\wedge
⊕\oplus
q\amalg
表7.17 大型演算子 これらは大きさが可変です
P
\sum
H\oint
W\bigvee
L\bigoplus
Q
\prod
S\bigcup
V\bigwedge
N\bigotimes
`
\coprod
T\bigcap
J\bigodot
R\int
F\bigsqcup
U\biguplus
\( \vec{a}+\vec{b}\neq \vec{a+b}
\neq \overrightarrow{a+b} \) ~a+~b,a~+b,−−−−→
a+b
好き好き
L
ATEX 2
ε初級編7.7
数式モード中の記号7
表7.18 小さいアクセント
これらの小さいアクセントは大きさが変わりません
ˆa \hat{a} ˇa \check{a} ˘a \breve{a} ´a \acute{a}
`a \grave{a} ˜a \tilde{a} ¯a \bar{a} ˙a \dot{a}
¨a \ddot{a}
~a\vec{a}
表7.19 大きいアクセント 大きいアクセントは大きさが可変です
m+M
\overline
z }| {m+M
\overbrace
m+M\underline
m| {z }+M\underbrace
←−−−−−
m+M
\overleftarrow
m[+M\widehat
−−−−−→
m+M
\overrightarrow
m]+M\widetilde
\begin{displaymath}
\overbrace{a+b+c+d+e+f+g}^{h+i+j+k}+
\underbrace{l+m+n}_{o+p+q}
\end{displaymath}
h+i+j+k
z }| {
a+b+c+d+e+ f+g+l| {z }+m+n
o+p+q
表7.20 矢印
←
\leftarrow
−→\longrightarrow
↔\leftrightarrow
⇐
\Leftarrow
=⇒\Longrightarrow
⇔\Leftrightarrow
←-
\hookleftarrow
7−→\longmapsto \rightleftharpoons
(\leftharpoonup
,→\hookrightarrow
⇐⇒\Longleftrightarrow
)\leftharpoondown
*\rightharpoonup
l\updownarrow
←−
\longleftarrow
+\rightharpoondown
m\Updownarrow
⇐=
\Longleftarrow
↑\uparrow
%\nearrow
→
\rightarrow
⇑\Uparrow
.\swarrow
⇒
\Rightarrow
↓\downarrow
&\searrow
7→
\mapsto
⇓\Downarrow
-\nwarrow
\begin{displaymath}
(p\rightarrow r)\vee (q\rightarrow s)
\end{displaymath}
(p→r)∨(q→s)
\[ \forall{x}\forall{y}(
P(x,y)\vee(f(x)\wedge g(x))) \] ∀x∀y(P(x,y)∨( f (x)∧g(x)))
表7.21 特殊な数学記号
ℵ
\aleph
∂\partial
⊥\bot
\\natural
~
\hbar
∞\infty
∠\angle
]\sharp
ı
\imath
0\prime
4\triangle
♣\clubsuit
\jmath
∅\emptyset
∀\forall
♦\diamondsuit
`
\ell
∇\nabla
∃\exists
♥\heartsuit
℘
\wp
√\surd
¬\neg
♠\spadesuit
<
\Re
||
\\backslash
=
\Im
>\top
[\flat
\( e^{j\theta}=\Re{\{e^{j\theta}\}}
+\Im{\{e^{j\theta}\}}
=\cos\theta+j\sin\theta\)
ejθ =<{ejθ}+={ejθ}=cosθ+ j sinθ
表7.22 点
. . .
\ldots
· · ·\cdots
...\vdots
...\ddots
\[ (a_0+a_1+\cdots+a_n)
\neq \{a_0,a_1,\ldots,a_n\} \] (a0+a1+· · ·+an),{a0,a1, . . . ,an}
7.7.3 標準ではない数学記号
L
ATEX 2
εからはこぼれた記号類を出力するためには，Frank Mittelbach
氏が作成した latexsymを読み込むと良いでしょう．すでにamssymbかamsfontsを読み込んでいるな らば，そちらに定義されているのでlatexsymをさらに読み込まなくても良いです．表7.23 標準ではない数学記号
f
\mho
Z\Join \Box
^\Diamond
{
\leadsto
@\sqsubset
A\sqsupset
C\lhd
E