ヘルプ:数式の書き方
From Meta, a Wikimedia project coordination wiki
MediaWikiでは数式を記述するのにTeXによる組版の機能を部分的に利用することができます（LaTeXやAMS-LaTeXなどの拡張にも部分的に対応）。各利用者のオプション設定と「数式の複雑さ」によって、PNG画像もしくはHTMLマークアップとして表示されます。ブラウザの進歩に伴い、より高度なHTMLやMathMLによって出力することもできるようになる予定です（MathMLに対応させる作業の進捗状況については、blahtexをご覧ください（英語））。
- （訳注）強制的にPNG画像で表示したい場合は、強制PNG画像レンダリングの節を参照してください。
厳密にいえばMediaWikiソフトウェアは数式マークアップをTexvcソフトウェアに通し、Texvcが組版命令をTeXソフトウェアに渡して実際のレンダリングが行われるといった流れになっています。したがって、TeX言語の全てに対応しているわけではありません。詳しくは以下をご覧ください。
Contents |
[edit] 文法
数式をTeXで書く時には、<math> ... </math>という一組のmathタグの間に書きます。編集ツールバーに数式ボタンがあるので、それを使っても構いません。
HTMLを書く時と同様、TeXでは余分なスペースや改行は無視されます。
mathタグの中にはTeXの命令文を正確に書いてください。なお、MediaWikiソフトウェアの機能であるテンプレートやシステム変数などは使用できません（2重ブレス（「{{」や「}}」）は無視され、「#」の使用はエラーとなります）。
[edit] レンダリング
出力されるPNG画像は、非透過の白地に黒字です。この色、ならびにフォントの大きさや種類はブラウザやCSSによる設定とは無関係です。PNG画像のフォントの大きさや種類は、HTMLマークアップのフォントとはしばしば異なります。また、周辺の文字とは縦位置がずれるかもしれません。画像のCSSセレクタ（選択子）はimg.texです（ヘルプ:外装の詳細設定も参照）。
上に挙げた問題の多くはMaynard Handley（英語）によって対処がなされていますが、現在まだ公開に至っていないことを付記します。
PNG画像のalt属性（ブラウザが画像を表示できない場合に代替的に表示する文字の指定のこと、Internet Explorerではホバーボックス（hover box）で表示されます）にはmathタグ（<math>と</math>）を除く数式のTeX文が指定されています。
字体は斜体ですが、関数や演算子といった慣習的に斜体にしない文字は除きます。数字は斜体とはなりません。変数の説明のような数式以外の文章が斜体となるのを避けるためには、\mboxまたは\mathrmを使用します。例えば<math>\mbox{abc}</math>と表記すればabcとレンダリングされます。
[edit] TeXの使用に対する議論
（訳注）この節は英語版で議論されている内容のためコメントアウトされています。ウィキペディア日本語版のガイドラインについては、ja:Wikipedia:ウィキプロジェクト 数学を参考にしてください。
[edit] 関数・演算子・特殊記号
![\sqrt{2} \sqrt[n]{x}\,\!](http://upload.wikimedia.org/math/b/1/c/b1cf10dc44d326999f62708d9999fcc8.png)
[edit] 上付文字・下付文字
| 項目 | 文法 | 表示 | |
|---|---|---|---|
| HTML | PNG | ||
| 上付文字・冪乗 | a^2 |
a2 |  |
a^{2+3} a^2+3 |
a2 + 3a2 + 3 |  |
|
| 下付文字・添え字 | a_2 |
a2 |  |
a_{i,j} a_i,j |
ai,jai,j |  |
|
| 上付文字と下付文字 | x_2^3 x^3_2 |
 |
|
| 記号の前などに追加する 上付・下付文字 |
\sideset{_1^2}{_3^4}\prod_a^b |
 |
|
{}_1^2\!\Omega_3^4 |
 |
||
| 記号の積み重ね | \overset{a}{z} |
 |
|
\underset{a}{z} |
 |
||
\overset{a}{\underset{x}{z}} |
 |
||
\stackrel{a}{z} |
 |
||
| 導関数 | x' y'' |
x'y'' |  |
| 導関数 （HTMLでは斜体のfと'が重なってしまう） |
f'|f'' |
f'f'' |  |
| 導関数 （HTMLでは正しく表示されない） |
x^\prime y^{\prime\prime} |
 |
 |
| 導関数 （PNGでは正しく表示されない） |
x\prime y\prime\prime |
 |
 |
| 導関数 ドット | \dot{x}, \ddot{x} |
 |
|
| オーバーライン | \bar a \bar{a} |
 |
|
\overline{bc} |
 |
||
| アンダーライン | \underline{bc} |
 |
|
| ベクトル | \vec a \vec{a} |
 |
|
\overrightarrow{bc} |
 |
||
| ベクトル（逆向き） | \overleftarrow{bc} |
 |
|
| ハット | \hat a \hat{a} |
 |
|
\widehat{bc} |
 |
||
| チルダ | \tilde a \tilde{a} |
 |
|
| 矢印 | A \xleftarrow{n+\mu-1} B\xrightarrow[T]{n\pm i-1} C |
![A \xleftarrow{n+\mu-1} B\xrightarrow[T]{n\pm i-1} C](http://upload.wikimedia.org/math/c/e/5/ce50e9216ca80ae92251cbdeea7ce134.png) |
|
| オーバーブレス | \overbrace{ 1+2+\cdots+100 }^{5050} |
 |
|
| アンダーブレス | \underbrace{ a+b+\cdots+z }_{26} |
 |
|
| 総和 | \sum_{k=1}^N k^2 |
 |
|
| 総和（テキストスタイル） | \textstyle \sum_{k=1}^N k^2 |
 |
|
| 総積 | \prod_{i=1}^N x_i |
 |
|
| 総積（テキストスタイル） | \textstyle \prod_{i=1}^N x_i |
 |
|
| 余積 | \coprod_{i=1}^N x_i |
 |
|
| 余積（テキストスタイル） | \textstyle \coprod_{i=1}^N x_i |
 |
|
| 極限 | \lim_{n \to \infty}x_n |
 |
|
| 極限（テキストスタイル） | \textstyle \lim_{n \to \infty}x_n |
 |
|
| 積分 | \int_{-N}^{N} e^x\, dx |
 |
|
| 積分（テキストスタイル） | \textstyle \int_{-N}^{N} e^x\, dx |
 |
|
| 重積分 | \iint_{D}^{W} \, dx\,dy |
 |
|
| 3重積分 | \iiint_{E}^{V} \, dx\,dy\,dz |
 |
|
| 4重積分 | \iiiint_{F}^{U} \, dx\,dy\,dz\,dt |
 |
|
| 経路積分 | \oint_{C} x^3\, dx + 4y^2\, dy |
 |
|
| 論理積 | \bigcap_1^{n} p |
 |
|
| 論理和 | \bigcup_1^{k} p |
 |
|
[edit] 分数・行列・複数行数式
分数と行列
| 項目 | 文法 | 表示 |
|---|---|---|
| 分数 | \frac{2}{4}=0.5 |  |
| 分数（テキストスタイル） | \tfrac{2}{4} = 0.5 |  |
| 分数（ディスプレイスタイル） | \dfrac{2}{4} = 0.5 |  |
| 繁分数 | \cfrac{2}{c + \cfrac{2}{d + \cfrac{2}{4}}} = a |  |
| 2項係数 | \binom{n}{k} |  |
| 2項係数（テキストスタイル） | \tbinom{n}{k} |  |
| 2項係数（ディスプレイスタイル） | \dbinom{n}{k} |  |
| 行列 |
\begin{matrix}
x & y \\
z & v
\end{matrix}
|
 |
\begin{vmatrix}
x & y \\
z & v
\end{vmatrix}
|
 |
|
\begin{Vmatrix}
x & y \\
z & v
\end{Vmatrix}
|
 |
|
\begin{bmatrix}
0 & \cdots & 0 \\
\vdots & \ddots & \vdots \\
0 & \cdots & 0
\end{bmatrix}
|
 |
|
\begin{Bmatrix}
x & y \\
z & v
\end{Bmatrix}
|
 |
|
\begin{pmatrix}
x & y \\
z & v
\end{pmatrix}
|
 |
|
\bigl(\begin{smallmatrix}
a&b\\ c&d
\end{smallmatrix} \bigr)
|
 |
複数行の数式
| 項目 | 文法 | 表示 |
|---|---|---|
| 場合分け |
f(n) =
\begin{cases}
n/2, & \mbox{if }n\mbox{ is even} \\
3n+1, & \mbox{if }n\mbox{ is odd}
\end{cases}
|
 |
| 複数行数式 |
\begin{align}
f(x) & = (a+b)^2 \\
& = a^2+2ab+b^2 \\
\end{align}
|
 |
\begin{alignat}{2}
f(x) & = (a-b)^2 \\
& = a^2-2ab+b^2 \\
\end{alignat}
|
 |
|
| 複数行数式 （列位置指定方法、必要ないならば使わないほうがよい） |
\begin{array}{lcl}
z & = & a \\
f(x,y,z) & = & x + y + z
\end{array}
|
 |
\begin{array}{lcr}
z & = & a \\
f(x,y,z) & = & x + y + z
\end{array}
|
 |
|
| 区切って入力する方法（必要なだけmathタグで囲みます） |
<math>f(x) \,\!</math>
<math>=\sum_{n=0}^\infty a_nx^n</math>
<math>=a_0+ a_1x+a_2 x^2+\cdots</math>
|
   |
| 連立方程式 |
\begin{cases}
3x + 5y + z = 1\\
7x - 2y + 4z = 2\\
-6x + 3y + 2z = 3
\end{cases}
|
 |
[edit] アルファベットと書体
| ギリシア文字 | |
|---|---|
\Alpha \Beta \Gamma \Delta \Epsilon \Zeta |
 |
\Eta \Theta \Iota \Kappa \Lambda \Mu |
 |
\Nu \Xi \Pi \Rho \Sigma \Tau |
 |
\Upsilon \Phi \Chi \Psi \Omega |
 |
\alpha \beta \gamma \delta \epsilon \zeta |
 |
\eta \theta \iota \kappa \lambda \mu |
 |
\nu \xi \pi \rho \sigma \tau |
 |
\upsilon \phi \chi \psi \omega |
 |
\varepsilon \digamma \vartheta \varkappa |
 |
\varpi \varrho \varsigma \varphi |
 |
| 太字白抜き（ブラックボード・ボルド） | |
\mathbb{A} \mathbb{B} \mathbb{C} \mathbb{D} \mathbb{E} \mathbb{F} \mathbb{G} |
 |
\mathbb{H} \mathbb{I} \mathbb{J} \mathbb{K} \mathbb{L} \mathbb{M} |
 |
\mathbb{N} \mathbb{O} \mathbb{P} \mathbb{Q} \mathbb{R} \mathbb{S} \mathbb{T} |
 |
\mathbb{U} \mathbb{V} \mathbb{W} \mathbb{X} \mathbb{Y} \mathbb{Z} |
 |
| 太字（ベクトルなど） | |
\mathbf{A} \mathbf{B} \mathbf{C} \mathbf{D} \mathbf{E} \mathbf{F} \mathbf{G} |
 |
\mathbf{H} \mathbf{I} \mathbf{J} \mathbf{K} \mathbf{L} \mathbf{M} |
 |
\mathbf{N} \mathbf{O} \mathbf{P} \mathbf{Q} \mathbf{R} \mathbf{S} \mathbf{T} |
 |
\mathbf{U} \mathbf{V} \mathbf{W} \mathbf{X} \mathbf{Y} \mathbf{Z} |
 |
\mathbf{a} \mathbf{b} \mathbf{c} \mathbf{d} \mathbf{e} \mathbf{f} \mathbf{g} |
 |
\mathbf{h} \mathbf{i} \mathbf{j} \mathbf{k} \mathbf{l} \mathbf{m} |
 |
\mathbf{n} \mathbf{o} \mathbf{p} \mathbf{q} \mathbf{r} \mathbf{s} \mathbf{t} |
 |
\mathbf{u} \mathbf{v} \mathbf{w} \mathbf{x} \mathbf{y} \mathbf{z} |
 |
\mathbf{0} \mathbf{1} \mathbf{2} \mathbf{3} \mathbf{4} |
 |
\mathbf{5} \mathbf{6} \mathbf{7} \mathbf{8} \mathbf{9} |
 |
| ギリシア文字太字 | |
\boldsymbol{\Alpha} \boldsymbol{\Beta} \boldsymbol{\Gamma} \boldsymbol{\Delta} \boldsymbol{\Epsilon} \boldsymbol{\Zeta} |
 |
\boldsymbol{\Eta} \boldsymbol{\Theta} \boldsymbol{\Iota} \boldsymbol{\Kappa} \boldsymbol{\Lambda} \boldsymbol{\Mu} |
 |
\boldsymbol{\Nu} \boldsymbol{\Xi} \boldsymbol{\Pi} \boldsymbol{\Rho} \boldsymbol{\Sigma} \boldsymbol{\Tau} |
 |
\boldsymbol{\Upsilon} \boldsymbol{\Phi} \boldsymbol{\Chi} \boldsymbol{\Psi} \boldsymbol{\Omega} |
 |
\boldsymbol{\alpha} \boldsymbol{\beta} \boldsymbol{\gamma} \boldsymbol{\delta} \boldsymbol{\epsilon} \boldsymbol{\zeta} |
 |
\boldsymbol{\eta} \boldsymbol{\theta} \boldsymbol{\iota} \boldsymbol{\kappa} \boldsymbol{\lambda} \boldsymbol{\mu} |
 |
\boldsymbol{\nu} \boldsymbol{\xi} \boldsymbol{\pi} \boldsymbol{\rho} \boldsymbol{\sigma} \boldsymbol{\tau} |
 |
\boldsymbol{\upsilon} \boldsymbol{\phi} \boldsymbol{\chi} \boldsymbol{\psi} \boldsymbol{\omega} |
 |
\boldsymbol{\varepsilon} \boldsymbol{\digamma} \boldsymbol{\vartheta} \boldsymbol{\varkappa} |
 |
\boldsymbol{\varpi} \boldsymbol{\varrho} \boldsymbol{\varsigma} \boldsymbol{\varphi} |
 |
| イタリック体 | |
\mathit{A} \mathit{B} \mathit{C} \mathit{D} \mathit{E} \mathit{F} \mathit{G} |
 |
\mathit{H} \mathit{I} \mathit{J} \mathit{K} \mathit{L} \mathit{M} |
 |
\mathit{N} \mathit{O} \mathit{P} \mathit{Q} \mathit{R} \mathit{S} \mathit{T} |
 |
\mathit{U} \mathit{V} \mathit{W} \mathit{X} \mathit{Y} \mathit{Z} |
 |
\mathit{a} \mathit{b} \mathit{c} \mathit{d} \mathit{e} \mathit{f} \mathit{g} |
 |
\mathit{h} \mathit{i} \mathit{j} \mathit{k} \mathit{l} \mathit{m} |
 |
\mathit{n} \mathit{o} \mathit{p} \mathit{q} \mathit{r} \mathit{s} \mathit{t} |
 |
\mathit{u} \mathit{v} \mathit{w} \mathit{x} \mathit{y} \mathit{z} |
 |
\mathit{0} \mathit{1} \mathit{2} \mathit{3} \mathit{4} |
 |
\mathit{5} \mathit{6} \mathit{7} \mathit{8} \mathit{9} |
 |
| ローマン体（通常書体） | |
\mathrm{A} \mathrm{B} \mathrm{C} \mathrm{D} \mathrm{E} \mathrm{F} \mathrm{G} |
 |
\mathrm{H} \mathrm{I} \mathrm{J} \mathrm{K} \mathrm{L} \mathrm{M} |
 |
\mathrm{N} \mathrm{O} \mathrm{P} \mathrm{Q} \mathrm{R} \mathrm{S} \mathrm{T} |
 |
\mathrm{U} \mathrm{V} \mathrm{W} \mathrm{X} \mathrm{Y} \mathrm{Z} |
 |
\mathrm{a} \mathrm{b} \mathrm{c} \mathrm{d} \mathrm{e} \mathrm{f} \mathrm{g} |
 |
\mathrm{h} \mathrm{i} \mathrm{j} \mathrm{k} \mathrm{l} \mathrm{m} |
 |
\mathrm{n} \mathrm{o} \mathrm{p} \mathrm{q} \mathrm{r} \mathrm{s} \mathrm{t} |
 |
\mathrm{u} \mathrm{v} \mathrm{w} \mathrm{x} \mathrm{y} \mathrm{z} |
 |
\mathrm{0} \mathrm{1} \mathrm{2} \mathrm{3} \mathrm{4} |
 |
\mathrm{5} \mathrm{6} \mathrm{7} \mathrm{8} \mathrm{9} |
 |
| フラクトゥール | |
\mathfrak{A} \mathfrak{B} \mathfrak{C} \mathfrak{D} \mathfrak{E} \mathfrak{F} \mathfrak{G} |
 |
\mathfrak{H} \mathfrak{I} \mathfrak{J} \mathfrak{K} \mathfrak{L} \mathfrak{M} |
 |
\mathfrak{N} \mathfrak{O} \mathfrak{P} \mathfrak{Q} \mathfrak{R} \mathfrak{S} \mathfrak{T} |
 |
\mathfrak{U} \mathfrak{V} \mathfrak{W} \mathfrak{X} \mathfrak{Y} \mathfrak{Z} |
 |
\mathfrak{a} \mathfrak{b} \mathfrak{c} \mathfrak{d} \mathfrak{e} \mathfrak{f} \mathfrak{g} |
 |
\mathfrak{h} \mathfrak{i} \mathfrak{j} \mathfrak{k} \mathfrak{l} \mathfrak{m} |
 |
\mathfrak{n} \mathfrak{o} \mathfrak{p} \mathfrak{q} \mathfrak{r} \mathfrak{s} \mathfrak{t} |
 |
\mathfrak{u} \mathfrak{v} \mathfrak{w} \mathfrak{x} \mathfrak{y} \mathfrak{z} |
 |
\mathfrak{0} \mathfrak{1} \mathfrak{2} \mathfrak{3} \mathfrak{4} |
 |
\mathfrak{5} \mathfrak{6} \mathfrak{7} \mathfrak{8} \mathfrak{9} |
 |
| カリグラフ体（スクリプト体） | |
\mathcal{A} \mathcal{B} \mathcal{C} \mathcal{D} \mathcal{E} \mathcal{F} \mathcal{G} |
 |
\mathcal{H} \mathcal{I} \mathcal{J} \mathcal{K} \mathcal{L} \mathcal{M} |
 |
\mathcal{N} \mathcal{O} \mathcal{P} \mathcal{Q} \mathcal{R} \mathcal{S} \mathcal{T} |
 |
\mathcal{U} \mathcal{V} \mathcal{W} \mathcal{X} \mathcal{Y} \mathcal{Z} |
 |
| ヘブライ文字 | |
\aleph \beth \gimel \daleth |
 |
| 項目 | 文法 | 表示 | |
|---|---|---|---|
| イタリック体でないラテン文字 | abc |  |
|
\mbox{if} n \mbox{is even} |
ifnis even |  |
|
\mbox{if }n\mbox{ is even} |
if n is even |  |
|
イタリック体と通常書体の交ぜ書き（より読みやすくするために）
|
\mbox{if}~n\ \mbox{is even} |
 |
 |
[edit] 括弧と区切子
| 項目 | 文法 | 表示 |
|---|---|---|
| 良い例 | \left( \frac{1}{2} \right) |
 |
| 悪い例 | ( \frac{1}{2} ) |
 |
\leftと\rightには様々な種類の括弧と区切子が使用できます。
| 項目 | 文法 | 表示 | |
|---|---|---|---|
| 小括弧、パーレン、() | \left( \frac{a}{b} \right) |
 |
|
| 中括弧、ブレス、{} | \left\{ \frac{a}{b} \right\} \quad \left\lbrace \frac{a}{b} \right\rbrace |
 |
|
| 大括弧、ブラケット、[] | \left[ \frac{a}{b} \right] \quad \left\lbrack \frac{a}{b} \right\rbrack |
![\left[ \frac{a}{b} \right] \quad \left\lbrack \frac{a}{b} \right\rbrack](http://upload.wikimedia.org/math/7/c/b/7cb5a74153ec87cdda6b92669ba685e1.png) |
|
| 山形括弧、山形パーレン、<> | \left\langle \frac{a}{b} \right\rangle |  |
|
| バーと2重バー、|と|| | \left| \frac{a}{b} \right\vert \left\Vert \frac{c}{d} \right\| |  |
|
| 床関数、天井関数 | \left \lfloor \frac{a}{b} \right \rfloor \left \lceil \frac{c}{d} \right \rceil |  |
|
| スラッシュとバックスラッシュ | \left/ \frac{a}{b} \right\backslash |  |
|
| 矢印 | \left \uparrow \frac{a}{b} \right \downarrow \quad \left \Uparrow \frac{a}{b} \right \Downarrow \quad \left \updownarrow \frac{a}{b} \right \Updownarrow |  |
|
| 左と右に違う括弧を使用できます | \left[ 0,1 \right) \left\langle \psi \right| |
  |
|
\left.や\right.を使うと、片側だけの括弧になります。 |
\left. \frac{A}{B} \right\} \to X |  |
|
| 括弧と区切子の大きさと種類 | \big( \Big( \bigg( \Bigg( ... \Bigg] \bigg] \Big] \big] | ![\big( \Big( \bigg( \Bigg( ... \Bigg] \bigg] \Big] \big]](http://upload.wikimedia.org/math/0/a/2/0a2c41697f07213ddaa59a92738e8bd6.png) |
|
| \big\{ \Big\{ \bigg\{ \Bigg\{ ... \Bigg\rangle \bigg\rangle \Big\rangle \big\rangle |  |
||
| \Big\| \bigg\| \Bigg\| ... \Bigg| \bigg| \Big| \big| |  |
||
| \big\lfloor \Big\lfloor \bigg\lfloor \Bigg\lfloor ... \Bigg\rceil \bigg\rceil \Big\rceil \big\rceil |  |
||
| \big\uparrow \Big\uparrow \bigg\uparrow \Bigg\uparrow ... \Bigg\Downarrow \bigg\Downarrow \Big\Downarrow \big\Downarrow |  |
||
| \big\updownarrow \Big\updownarrow \bigg\updownarrow \Bigg\updownarrow ... \Bigg\Updownarrow \bigg\Updownarrow \Big\Updownarrow \big\Updownarrow |  |
||
| \big / \Big / \bigg / \Bigg / ... \Bigg\backslash \bigg\backslash \Big\backslash \big\backslash |  |
||
[edit] スペース
TeXは自動的にスペースを調整しますが、時には手動の調整が必要なときもあります。
| 項目 | 文法 | 表示 | 説明（注） |
|---|---|---|---|
| 倍角スペース（Double quad space） | a \qquad b |
 |
\quadの2倍 |
| 全角スペース（Quad space） | a \quad b |
 |
|
| 半角スペース（Text space） | a\ b |
 |
\quadの1/2 |
| PNGに変換されないスペース | a \mbox{ } b |
a b | |
| 大スペース | a\;b |
 |
\quadの5/18 |
| 中スペース | a\>b |
未実装 | \quadの4/18 |
| 小スペース | a\,b |
 |
\quadの3/18 |
| （スペースなし） | ab |
 |
|
| 負の小スペース | a\!b |
 |
\quadの−3/18 |
（注）説明はTeXの仕様に従って訳者が付け加えたもので、MediaWikiでの実装は異なっている可能性があります。
手動スペースが必要な例
| 項目 | 文法（スペースあり） | 表示 | 文法（スペースなし） | 表示 |
|---|---|---|---|---|
| 積分記号の後 | \int \!\! \int t \, dx \, dy |
 |
\int \int t dx dy |
 |
（注）二重積分には\iintを使用した方がより良い結果が得られます。
[edit] 本文との位置揃え
標準で以下のCSS設定がなされているため、のような形で本文中に表れる数式は（行の中央に合わせて）本文と揃って表示されるはずです（img.tex { vertical-align: middle; }）。
これとは異なる位置揃えをしたい場合は、<font style="vertical-align:-100%;"><math>...</math></font>と書き、求める表示となるようvertical-alignの値を調整してください。ただし、この方法による調整はブラウザや設定により異なって見える可能性があることにご注意ください。
また、この小技の使用は控えめにとどめ、これに頼り過ぎないようにしてください。もしサーバー側でのレンダリング方法が変更された場合、この手動調整の結果、突然大きく数式がずれることになるかもしれません。
[edit] 強制PNG画像レンダリング
数式を強制的にPNG画像としてレンダリングさせるためには、\,（小スペース）を数式の最後に付け加えてください。最後のスペースはレンダリングされません。こうすると、利用者オプションの数式タブで「シンプルな数式はHTML、それ以外はPNG」に設定されている場合、強制的にPNG画像として式を表示します。一方で「できる限りHTML、さもなければPNG」に設定されている場合はPNG画像とはなりません。
あるいは、数式中の任意の場所に \,\! を挿入する手もあります。これは「小スペース」と「負の小スペース」であり、お互いに打ち消し合って表示には影響しません。これは \, のみと異なり、「できる限りHTML、さもなければPNG」の場合でもPNG画像による表示を強制します。
これは、例えば1つの証明の中での数式の表示を一定に保ちたい時や正しく表示されない数式があるとき（一時期、a^{2+2}で余分なアンダースコアが出力されていたときがあった）、あるいは、上の表にあったように通常HTMLとして表示されるものはPNGレンダリングではどう表示されるかを示したい時などに有用でしょう。
例：
| TeX文 | 表示例 |
|---|---|
| a^{c+2} | ac + 2 |
| a^{c+2} \, |  |
| a^{\,\!c+2} |  |
| a^{b^{c+2}} |  （「できる限りHTML、さもなければPNG」のときには正しく表示されない） |
| a^{b^{c+2}} \, |  （「できる限りHTML、さもなければPNG」のときには正しく表示されない） |
| a^{b^{c+2}}\approx 5 |  （" "が正しく表示されるため、 "\,\!" は必要なし） |
| a^{b^{\,\!c+2}} |  |
| \int_{-N}^{N} e^x\, dx | |
この方法はこのページにあるほとんどの数式で正しく動作することが確認されています。
他の利用者が「余分」なスペースを除去しないよう、数式の近くに以下のようなHTMLコメントを書いておくとよいかもしれません。
- スペース \,\! は、数式をHTMLでなくPNGとして出力させるために必要です。取り除かないでください。
[edit] 色
TeXでは式中で文字色を使うこともできます。
{\color{Blue}x^2}+{\color{Brown}2x}-{\color{OliveGreen}1}
x_{1,2}=\frac{-b\pm\sqrt{\color{Red}b^2-4ac}}{2a}
LaTeXで実装されている色については、次の外部リンクを参考にしてください（all named colours （注意!PDFファイルです））。
何かを識別するための唯一の方法として色を使うべきではありません。なぜなら、色の違いを認識できない人もいるからです。ja:Wikipedia:色の使用は控えめにやen:Wikipedia:Manual of Style#Formatting issues（英語版の議論）も参照してください。
[edit] 使用例
[edit] 二次の多項式
- 3x2 + 3x + 3 = 0
<math>3x^2 + 3x + 3 = 0</math>
[edit] 二次の多項式（強制PNG）
<math>ax^2 + bx + c = 0\,\!</math>
[edit] 二次方程式の解
<math>x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}</math>
[edit] 大きな括弧と分数
<math>2 = \left(
\frac{\left(3-x\right) \times 2}{3-x}
\right)</math>
<math>S_{new} = S_{old}
+ \frac{\left( 5-T \right) ^2}{2}</math>
[edit] 積分
<math>\int_a^x \int_a^s f(y)\,dy\,ds = \int_a^x f(y)(x-y)\,dy</math>
[edit] 総和
<math>\sum_{m=1}^\infty\sum_{n=1}^\infty\frac{m^2\,n}
{3^m\left(m\,3^n+n\,3^m\right)}</math>
[edit] 微分方程式
<math>u'' + p(x)u' + q(x)u=f(x),\quad x>a</math>
[edit] 複素数
<math>|\bar{z}| = |z|,
|(\bar{z})^n| = |z|^n,
\arg(z^n) = n \arg(z)</math>
[edit] 極限
<math>\lim_{z\rightarrow z_0} f(z)=f(z_0)\,</math>
[edit] 積分方程式
![\phi_n(\kappa) = \frac{1}{4\pi^2\kappa^2} \int_0^\infty \frac{\sin(\kappa R)}{\kappa R} \frac{\partial}{\partial R}\left[R^2\frac{\partial D_n(R)}{\partial R}\right]\,dR](http://upload.wikimedia.org/math/2/8/3/28356802dbe4d3fcfcd9db966120cda5.png)
<math>\phi_n(\kappa)
= \frac{1}{4\pi^2\kappa^2} \int_0^\infty
\frac{\sin(\kappa R)}{\kappa R}
\frac{\partial}{\partial R}
\left[R^2\frac{\partial D_n(R)}{\partial R}\right]\,dR</math>
[edit] 例
<math>\phi_n(\kappa)
= 0.033C_n^2\kappa^{-11/3},\quad
\frac{1}{L_0}\ll\kappa\ll\frac{1}{l_0}</math>
[edit] 連続や場合分け
<math>
f(x) =
\begin{cases}
1 & -1 \le x < 0 \\
\frac{1}{2} & x = 0 \\
1 - x^2 & 0 < x\le 1
\end{cases}
</math>
[edit] 下付文字の前置
<math>{}_pF_q(a_1,...,a_p;c_1,...,c_q;z)
= \sum_{n=0}^\infty
\frac{(a_1)_n\cdot\cdot\cdot(a_p)_n}{(c_1)_n\cdot\cdot\cdot(c_q)_n}
\frac{z^n}{n!}</math>
[edit] バグ報告
議論・バグ報告・機能の要望はWikitech-l mailing listまでお願いします（英語）。あるいは、Mediazilla の MediaWiki extensions に登録していただいても構いません。
[edit] 関連項目
- Typesetting of mathematical formulas（英語）［訳注：日本語版では、ウィキプロジェクト 数学に一部同等の記述があります。］
- GNU LilyPond に対応させる提案（英語）
- ja:数学記号の表
- Blahtex、あるいは blahtex: ウィキペディア用 LaTeX - MathML 変換ツール（英語）
- Wikiのページの一般的な編集の仕方について
- Mimetex.cgiを用いた、数式を表示するための別の方法：Mimetex alternative（英語）
[edit] 外部リンク
[edit] 英語資料
- LaTeX入門
- TeXを解説しているPDF書類 ─ 39ページ以降に数学的表現の書き方についての良質の解説あり
- TeXを解説しているPDF書類 ─ 数式については59ページから。72ページに、LaTeXおよびAMS-LaTeXに含まれる記号の全リストあり
- TeXリファレンス
- [1]
- 数学諸記号のサイズ固定ビットマップ。パブリックドメイン
- MathML - W3C数学ワーキンググループによる、主に機械同士で数学的表現をやり取りするための基礎となる低級仕様
[edit] 日本語資料（訳者追記）
| メディアウィキ・ユーザーズガイド - ヘルプ・ページ全部 一般的な利用法: 表示 | 検索 | 検索に使用できない単語 | URL | 名前空間 | ページ名 | セクション | リンク | リンク元 | パイプ付きリンク | 言語間リンク | リダイレクト | 変数 | カテゴリ | 画像ページ | 特別ページ |
