Help:数式の表示

From Meta, a Wikimedia project coordination wiki
This page is a translated version of the page Help:Displaying a formula and the translation is 81% complete.
MediaWiki ハンドブック: 目次読者編集者中間管理者システム管理者 +/-

MediaWikiでは、LaTeXAMS-LaTeXからの拡張をいくつか含んだ TeXマークアップを利用して数式を書くことができます。数式は個人設定と数式の複雑さによって、PNG形式の画像かHTMLのテキストのどちらかの形式で表示されます。

より正確には、MediaWikiはマークアップをTexvcに通し、順番にコマンドをTeXに渡して、実際のレンダリングが行われるといった流れになっています。このように、完全なTeXの言語の限られた部分がサポートされています。詳細については以下を参照してください。

数学を描画させるには、 Math拡張機能を読み込む必要があります。

技術面

構文

伝統的に、数学のマークアップはXML-style tagの中に<math> ... </math>としてあります。旧編集ツールバーにはこのボタンがありましたが、WikiEditorツールバーのカスタマイズで同様のボタンを追加することができます。アイコンはMediaWiki:Math tipです。

しかしながら、パーサー関数#tag: {{#tag:math|...}}を使うこともできます。これはより多機能です。wikitextにおいて「...」の部分は結果をTeXコードとして解釈する前に、まず初めに拡張機能を解釈されます。このように引数、変数、パーサー関数、テンプレートを含むことができます。しかし、この構文ではTeXコードにおける二重中カッコは、テンプレート呼び出しなどにおける混同を避けるために、その間にスペースを入れなければならないということに注意してください。また、TeXコード中に"|"という文字を生じさせるために、{{!}}を使ってください。

TeXでは、HTMLのように余分なスペースや改行は無視されます。

レンダリング

視覚障害者や画像を見ることのできない読者へ提示される、PNG画像のalt textは、文字が、選択やコピーされるときにも使用されます。wikitextが生成した<math></math>を除く画像へは適用されません。これはmath要素に対して、明示的にalt属性を指定することよって上書きすることができます。たとえば、<math alt="Square root of pi">\sqrt{\pi}</math>はalt textが"Square root of pi"であるのような画像を生成します。

関数や二項演算子は別ですが、変数や文字が斜体で書かれ、数字はそう書かれません。 このことは数学における慣習です。(ラベル変数のように)数学以外の文脈では、変数のように斜体でレンダリングされるのを避けるために\text\mbox\mathrmを使ってください。\operatorname{...}を使って新たな関数名を定義することもできます。例えば、<math>\text{abc}</math>になります。これは、特殊文字では機能しません。\operatorname{...}を使って新しい関数名を定義することもできます。

特殊文字

以下の記号はLaTeXにおいて特別な意味を持ち、すべてのフォントで利用不可能な予約文字です。

# $ % ^ & _ { } ~ \

一部の予約文字は直前にバックスラッシュ(日本語環境では半角の円記号)をつけることで表示できます:

<math>\# \$ \% \& \_ \{ \} </math> と表示されます。

他の予約文字はバックスラッシュに記号名を続けることで表示できます:

<math> \hat{} \quad \tilde{} \quad \backslash </math> を与えます。

<span id="TeX_and_HTML">

TeXとHTML

TeX は様々な特殊文字を表現できますが、以下の比較表に示す通り、HTMLでも似たような表現が得られます(特殊文字についてのヘルプを参照)。

TeX構文(PNG強制表示モード TeXレンダリング HTML構文 HTMLレンダリング
<math>\alpha</math> {{math|<var>&alpha;</var>}} α
<math> f(x) = x^2\,</math> {{math|''f''(<var>x</var>) {{=}} <var>x</var><sup>2</sup>}} f(x) = x2
<math>\sqrt{2}</math> {{math|{{radical|2}}}} 2
<math>\sqrt{1-e^2}</math> {{math|{{radical|1 &minus; ''e''&sup2;}}}} 1 − e²

表の左欄のコードを入力すると、右欄の記号が出力されます。ただし、‘=’ を除けば、右欄の記号を直接エディタに入力しても問題ありません。

構文 描画
&alpha; &beta; &gamma; &delta; &epsilon; &zeta;
&eta; &theta; &iota; &kappa; &lambda; &mu; &nu;
&xi; &omicron; &pi; &rho; &sigma; &sigmaf;
&tau; &upsilon; &phi; &chi; &psi; &omega;
&Gamma; &Delta; &Theta; &Lambda; &Xi; &Pi;
&Sigma; &Phi; &Psi; &Omega;
α β γ δ ε ζ
η θ ι κ λ μ ν
ξ ο π ρ σ ς
τ υ φ χ ψ ω
Γ Δ Θ Λ Ξ Π
Σ Φ Ψ Ω
&int; &sum; &prod; &radic; &minus; &plusmn; &infty;
&asymp; &prop; {{=}} &equiv; &ne; &le; &ge; 
&times; &sdot; &divide; &part; &prime; &Prime;
&nabla; &permil; &deg; &there4; &Oslash; &oslash;
&isin; &notin; 
&cap; &cup; &sub; &sup; &sube; &supe;
&not; &and; &or; &exist; &forall; 
&rArr; &hArr; &rarr; &harr; &uarr; 
&alefsym; - &ndash; &mdash; 
∫ ∑ ∏ √ − ± ∞
≈ ∝ = ≡ ≠ ≤ ≥
× ⋅ ÷ ∂ ′ ″
∇ ‰ ° ∴ Ø ø
∈ ∉ ∩ ∪ ⊂ ⊃ ⊆ ⊇
¬ ∧ ∨ ∃ ∀
⇒ ⇔ → ↔ ↑
ℵ - – —

プロジェクトではHTMLとTeXの両方を、状況に応じて使い分けることができます。

HTMLの利点と欠点

  1. HTMLの数式はより通常のテキストに近い振る舞いをします。インラインHTML数式は常に残りのHTMLテキストと適切に並び、ある程度は切り貼り(カット‐アンド‐ペースト)できます(もしTeXMathJaxを使ってレンダリングされているならばこれは問題ではありません、そしてひとたびbug 32694が修正されれば、PNGレンダリングに対して整列は問題にならないはずです)。
  2. 数式の背景とフォントの大きさは残りのHTMLコンテンツと一致します(これはTeXの数式においてコマンド\pagecolor\definecolorを使うことにより修正することができます)そして見た目はCSSとブラウザ設定を尊重しますが、字体は数式を識別しやすくするのに都合がいいように変更されます。
  3. 数式にHTMLコードを使用したページが送信するデータはより少なくて済みます。このことは遅いまたは上限のあるインターネット接続(例えば、遅いまたはデータに上限があるダイヤルアップまたはモバイル・インターネット接続)を使っている利用者にとって重要です。
  4. HTMLコードを用いた数式組版はクライアント側スクリプトリンク(別名スクリプトレット)にとってよりアスセスしやすいでしょう。
  5. 数学テンプレートを使用して入力された数式の表示は、関連するテンプレートを修正することにより都合よく変えることができます;この修正は手動で介入することなくすべての関係する数式に影響します。
  6. HTMLコードには、もし入念に入力されていれば、必要に応じて方程式を変換してTeXまたは何らかの他のコードへ戻すためのすべてのセマンティック情報が含まれるでしょう。それにはTeXが通常捕捉しない違い(例えば虚数単位に対する{{math | ''i'' }}と任意の添え字変数に対する{{ math | <var> i </var> }})さえも含められます。
  7. HTMLコードを使う数式はそれらを描出するのに使われるデバイスがなんであれ可能なかぎり鮮明に描出されるでしょう。

<span id="Pros_of_TeX">

TeXの利点と欠点

  1. TeXはHTMLよりセマンティックには正確さがあります。
    1. HTMLでは「x」は一般的でそして多少曖昧であるのに対して、TeXでは「<math> x </math>」は「数学上の変数」を意味します。
    2. 一方で、もし同じ数式を「{{math|<var>x</var>}}」のようにコードにすると、その同じ視覚的な結果のxが得られ、情報は失われません。これは勤勉さとより多くのタイピングを要求し、その数式をタイプされた通りに理解するのをより困難する可能性があります。しかしながら、編集者よりも読者ほうがはるかに多いので他の利用可能なレンダリングオプションがないならばこの努力は一考の余地があります(Extension:Mathにおける新しいレンダリングオプションとしてウィキペディア・ウィキにおける利用のためにbug 31406で要求され実装されつつあるMathJaxのように)。
  2. 論点1のひとつの結論は、TeXコードはHTMLへ変換することができますが、逆はそうではないということです。[1]これは、その複雑さとそのテキストにおける位置、利用者の好み、ブラウザの種類などに基づいて、サーバー側ではいつでも数式を変換できることを意味します。したがって、可能なところでは、TeXのその利点と一緒にHTMLのそのすべての利点は保持されます。その現在の状況は理想的ではありません、しかしそのことは情報の内容を欠落するひとつの良い理由ではないことは真実です。その状況を改善するのを助けるにはもっと多くの課題があります。
  3. 論点1の別の結論は、TeXが(例えばMathJaxによって)MathMLをサポートするブラウザではそれへ変換でき、したがってセマンティックを保持し、読者のグラフィック・デバイスにより適するようにレンダリングすることができるというものです。
  4. TeXは多くの職業的な数学者、科学者、そして技術者らに好まれるテキスト・フォーマッティング言語です。もしTeXで書くことができるならば彼らに投稿するよう説得するのはより容易になります。
  5. TeXは特に数式組版のために設計されてきたので、もしそれに慣れているならば入力はより容易でそしてより自然であり、もしそれを含むページ全体ではなく単一の数式に焦点を当てるならば出力は見た目がより美しいです。
  6. HTMLの結果がいくらかブラウザまたはブラウザのバージョンに依存するのに対して、TeXで一度正しく数式を作ると確実に描出されます。この依存性の別の側面はフォントです:数式を描出するのに使うセリフ・フォントはブラウザ依存であり、いくらかの重要なグリフ(文字などの標識)が欠けているかもしれません。ブラウザは一般的に別のフォント・ファミリーからグリフを照合して代用することができるものの、組み合わせグリフの場合はその必要はありません( &Isquo;  ’と &Isquo;  ’を比べてみましょう)。
  7. TeXで書くとき、編集者はあれこれのブラウザのあれこれのバージョンがあれこれのHTML実体をサポートしているのか悩む必要がありません。これらの決定のその重荷はそのソフトウェアに置かれます。これは別のブラウザでは容易に編集者の意図を間違ってあるいは別の形式で描出してしまうHTMLの数式には当てはまりません。[2]
  8. TeXの数式は、既定では、幅広くそして通常HTMLの数式よりも読みやすく描出し、フォントのようなクライアント側のブラウザの資源に依存しないので、結果がより確実にWYSIWYGとなります。
  9. TeXは(ブラウザーでHTMLソースを見ることによって獲得できるものである)HTMLコードまたはUnicodeの値を探すのを補助しないものの、ウィキペディアでTeXのPNGから単純なテキストへの切り貼りすればその LaTeX のソースを返すでしょう。
^ あなたのウィキテキストが論点1、2のそのスタイルに従うことなしに
^ 実体のサポートの問題は数学の数式へ限定されないにもかかわらず;その対応するグリフが視覚的に識別できる場合を除いて、その文字が受け持つ対応をするところの、実体の代わりにその対応する文字を使うことによりそれは容易に解決されることができます(例えば、'–' に対応する &ndash; と '−' に対応する&minus;)。

いくつかの場合には、TeXでもHTMLの代替策でもなく、代わりに標準的なキーボードの単純なASCIIシンボルが最善の選択となるかもしれません(一例として、以下を見てください)。

関数・演算子・特殊記号

アクセント記号・分音符号

\acute{a} \grave{a} \hat{a} \tilde{a} \breve{a}
\check{a} \bar{a} \ddot{a} \dot{a}

関数

\sin a \cos b \tan c
\sec d \csc e \cot f
\arcsin h \arccos i \arctan j
\sinh k \cosh l \tanh m \coth n
\operatorname{sh}o\,\operatorname{ch}p\,\operatorname{th}q
\operatorname{arsinh}r\,\operatorname{arcosh}s\,\operatorname{artanh}t
\lim u \limsup v \liminf w \min x \max y
\inf z \sup a \exp b \ln c \lg d \log e \log_{10} f \ker g
\deg h \gcd i \Pr j \det k \hom l \arg m \dim n

モジュロ演算

s_k \equiv 0 \pmod{m}
a\,\bmod\,b

導関数

\nabla \, \partial x \, dx \, \dot x \, \ddot y\, dy/dx\, \frac{dy}{dx}\, \frac{\partial^2 y}{\partial x_1\,\partial x_2}

集合

\forall \exists \empty \emptyset \varnothing
\in \ni \not\in \notin \not\ni \subset \subseteq \supset \supseteq
\cap \bigcap \cup \bigcup \biguplus \setminus \smallsetminus
\sqsubset \sqsubseteq \sqsupset \sqsupseteq \sqcap \sqcup \bigsqcup

演算子

+ \oplus \bigoplus \pm \mp -
\times \otimes \bigotimes \cdot \circ \bullet \bigodot
\star * / \div \frac{1}{2}

論理演算子

\land (or \and) \wedge \bigwedge \bar{q} \to p
\lor \vee \bigvee \lnot \neg q \And

冪根

\sqrt{2} \sqrt[n]{x}

関係演算子

\sim \approx \simeq \cong \dot= \overset{\underset{\mathrm{def}}{}}{=}
< \le \ll \gg \ge > \equiv \not\equiv \ne \mbox{or} \neq \propto
\lessapprox \lesssim \eqslantless \leqslant \leqq \geqq \geqslant \eqslantgtr \gtrsim \gtrapprox

幾何学記号

\Diamond \Box \triangle \angle \perp \mid \nmid \| 45^\circ

矢印

\leftarrow (or \gets) \rightarrow (or \to) \nleftarrow \nrightarrow \leftrightarrow \nleftrightarrow \longleftarrow \longrightarrow \longleftrightarrow
\Leftarrow \Rightarrow \nLeftarrow \nRightarrow \Leftrightarrow \nLeftrightarrow \Longleftarrow (or \impliedby) \Longrightarrow (or \implies) \Longleftrightarrow (or \iff)
\uparrow \downarrow \updownarrow \Uparrow \Downarrow \Updownarrow \nearrow \searrow \swarrow \nwarrow
\rightharpoonup \rightharpoondown \leftharpoonup \leftharpoondown \upharpoonleft \upharpoonright \downharpoonleft \downharpoonright \rightleftharpoons \leftrightharpoons
\curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \Rrightarrow \rightarrowtail \looparrowright
\curvearrowright \circlearrowright \Rsh \downdownarrows \leftleftarrows \leftrightarrows \Lleftarrow \leftarrowtail \looparrowleft
\mapsto \longmapsto \hookrightarrow \hookleftarrow \multimap \leftrightsquigarrow \rightsquigarrow

特殊記号

\And \eth \S \P \% \dagger \ddagger \ldots \cdots \colon
\smile \frown \wr \triangleleft \triangleright \infty \bot \top
\vdash \vDash \Vdash \models \lVert \rVert \imath \hbar
\ell \mho \Finv \Re \Im \wp \complement
\diamondsuit \heartsuit \clubsuit \spadesuit \Game \flat \natural \sharp

その他(新規追加)

\vartriangle \triangledown \lozenge \circledS \measuredangle \nexists \Bbbk \backprime \blacktriangle \blacktriangledown
\square \blacksquare \blacklozenge \bigstar \sphericalangle \diagup \diagdown \dotplus \Cap \Cup \barwedge
\veebar \doublebarwedge \boxminus \boxtimes \boxdot \boxplus \divideontimes \ltimes \rtimes \leftthreetimes
\rightthreetimes \curlywedge \curlyvee \circleddash \circledast \circledcirc \centerdot \intercal \leqq \leqslant
\eqslantless \lessapprox \approxeq \lessdot \lll \lessgtr \lesseqgtr \lesseqqgtr \doteqdot \risingdotseq
\fallingdotseq \backsim \backsimeq \subseteqq \Subset \preccurlyeq \curlyeqprec \precsim \precapprox \vartriangleleft
\Vvdash \bumpeq \Bumpeq \eqsim \gtrdot
\ggg \gtrless \gtreqless \gtreqqless \eqcirc \circeq \triangleq \thicksim \thickapprox \supseteqq
\Supset \succcurlyeq \curlyeqsucc \succsim \succapprox \vartriangleright \shortmid \between \shortparallel \pitchfork
\varpropto \blacktriangleleft \therefore \backepsilon \blacktriangleright \because \nleqslant \nleqq \lneq \lneqq
\lvertneqq \lnsim \lnapprox \nprec \npreceq \precneqq \precnsim \precnapprox \nsim \nshortmid
\nvdash \nVdash \ntriangleleft \ntrianglelefteq \nsubseteq \nsubseteqq \varsubsetneq \subsetneqq \varsubsetneqq \ngtr
\subsetneq
\ngeqslant \ngeqq \gneq \gneqq \gvertneqq \gnsim \gnapprox \nsucc \nsucceq \succneqq
\succnsim \succnapprox \ncong \nshortparallel \nparallel \nvDash \nVDash \ntriangleright \ntrianglerighteq \nsupseteq
\nsupseteqq \varsupsetneq \supsetneqq \varsupsetneqq
\jmath \surd \ast \uplus \diamond \bigtriangleup \bigtriangledown \ominus
\oslash \odot \bigcirc \amalg \prec \succ \preceq \succeq
\dashv \asymp \doteq \parallel
\ulcorner \urcorner \llcorner \lrcorner
\Coppa\coppa\Digamma\Koppa\koppa\Sampi\sampi\Stigma\stigma\varstigma

大きな式

上付き文字、下付き文字、積分

機能 構文 描写結果
上付きの添え字 a^2
下付きの添え字 a_2
グループ化 a^{2+2}
a_{i,j}
上付き文字と下付き文字の組み合わせ、水平分離する場合と、水平分離しない場合 x_2^3
{x_2}^3
上付きの上付き 10^{10^{8}}
記号の前または後に追加する、上付 & 下付文字 _nP_k
\sideset{_1^2}{_3^4}\prod_a^b
{}_1^2\!\Omega_3^4
記号の積み重ね \overset{\alpha}{\omega}
\underset{\alpha}{\omega}
\overset{\alpha}{\underset{\gamma}{\omega}}
\stackrel{\alpha}{\omega}
導関数 x', y'', f', f''
x^\prime, y^{\prime\prime}
導関数 ドット \dot{x}, \ddot{x}
アンダーライン、オーバーライン、ベクトル \hat a \ \bar b \ \vec c
\overrightarrow{a b} \ \overleftarrow{c d} \ \widehat{d e f}
\overline{g h i} \ \underline{j k l}
\not 1 \ \cancel{123}
矢印 A \xleftarrow{n+\mu-1} B \xrightarrow[T]{n\pm i-1} C
上ブレイス \overbrace{ 1+2+\cdots+100 }^{\text{sum}\,=\,5050}
下ブレイス \underbrace{ a+b+\cdots+z }_{26\text{ terms}}
総和 \sum_{k=1}^N k^2
総和 (force \textstyle) \textstyle \sum_{k=1}^N k^2
総積 \prod_{i=1}^N x_i
総積 (force \textstyle) \textstyle \prod_{i=1}^N x_i
余積 \coprod_{i=1}^N x_i
余積 (force \textstyle) \textstyle \coprod_{i=1}^N x_i
極限 \lim_{n \to \infty}x_n
極限 (force \textstyle) \textstyle \lim_{n \to \infty}x_n
積分 \int\limits_{1}^{3}\frac{e^3/x}{x^2}\, dx
積分記号∫(別の limit スタイル) \int_{1}^{3}\frac{e^3/x}{x^2}\, dx
積分 (force \textstyle) \textstyle \int\limits_{-N}^{N} e^x\, dx
積分 (force \textstyle, alternate limits style) \textstyle \int_{-N}^{N} e^x\, dx
二重積分 \iint\limits_D \, dx\,dy
三重積分 \iiint\limits_E \, dx\,dy\,dz
四重積分 \iiiint\limits_F \, dx\,dy\,dz\,dt
線積分 \int_C x^3\, dx + 4y^2\, dy
周回積分 \oint_C x^3\, dx + 4y^2\, dy
共通部分 \bigcap_1^n p
和集合 \bigcup_1^k p

分数、行列、複数行の数式

機能 構文 描写結果
分数 \frac{1}{2}=0.5
小さな ("テキストスタイル") 分数 \tfrac{1}{2} = 0.5
大きな("ディスプレイ スタイル")分数 \dfrac{k}{k-1} = 0.5
大きい分数と小さい分数の混合 \dfrac{ \tfrac{1}{2}[1-(\tfrac{1}{2})^n] }{ 1-\tfrac{1}{2} } = s_n
連分数 (書式設定の違いに注目)
\cfrac{2}{ c + \cfrac{2}{ d + \cfrac{1}{2} } } = a
\qquad
\dfrac{2}{ c + \dfrac{2}{ d + \dfrac{1}{2} } } = a
二項係数 \binom{n}{k}
小さな("テキスト スタイル") 二項係数 \tbinom{n}{k}
大きな ("ディスプレイ スタイル") 二項係数 \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)
配列
\begin{array}{|c|c||c|} a & b & S \\
\hline
0&0&1\\
0&1&1\\
1&0&1\\
1&1&0
\end{array}
場合分け
f(n) = 
\begin{cases} 
n/2,  & \mbox{if }n\mbox{ is even} \\
3n+1, & \mbox{if }n\mbox{ is odd} 
\end{cases}
連立方程式
\begin{cases}
3x + 5y +  z &= 1 \\
7x - 2y + 4z &= 2 \\
-6x + 3y + 2z &= 3
\end{cases}
長い式を区切って入力する方法(必要なだけmathタグで囲みます)
<math>f(x) = \sum_{n=0}^\infty a_n x^n</math>
<math>= a_0 + a_1x + a_2x^2 + \cdots</math>
複数行の数式
\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}
位置を揃える複数行の数式 (left, center, right)
\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}

大きな式、ブラケット、バーを括弧で囲む

機能 構文 描写結果
悪い例: ( \frac{1}{2} )
いい例: \left ( \frac{1}{2} \right )

\left\rightでさまざまな区切り文字を利用できます。

機能 構文 描写結果
括弧 \left ( \frac{a}{b} \right )
ブラケット \left [ \frac{a}{b} \right ] \quad \left \lbrack \frac{a}{b} \right \rbrack
ブレイス (コード内のブレイスの前の "\" に注意してください) \left \{ \frac{a}{b} \right \} \quad \left \lbrace \frac{a}{b} \right \rbrace
Angle brackets \left \langle \frac{a}{b} \right \rangle
縦線と二重縦線(注:縦線は絶対値を表します) \left | \frac{a}{b} \right \vert \left \Vert \frac{c}{d} \right \|
Floor and ceiling functions: \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
Delimiters can be mixed, as long as \left and \right are both used \left [ 0,1 \right )
\left \langle \psi \right |

Use \left. or \right. if you don't want a delimiter to appear: \left . \frac{A}{B} \right \} \to X
Size of the delimiters \big( \Big( \bigg( \Bigg( \dots \Bigg] \bigg] \Big] \big]
\big\{ \Big\{ \bigg\{ \Bigg\{ \dots \Bigg\rangle \bigg\rangle \Big\rangle \big\rangle
\big| \Big| \bigg| \Bigg| \dots \Bigg\| \bigg\| \Big\| \big\|
\big\lfloor \Big\lfloor \bigg\lfloor \Bigg\lfloor \dots \Bigg\rceil \bigg\rceil \Big\rceil \big\rceil
\big\uparrow \Big\uparrow \bigg\uparrow \Bigg\uparrow \dots \Bigg\Downarrow \bigg\Downarrow \Big\Downarrow \big\Downarrow
\big\updownarrow \Big\updownarrow \bigg\updownarrow \Bigg\updownarrow \dots \Bigg\Updownarrow \bigg\Updownarrow \Big\Updownarrow \big\Updownarrow
\big / \Big / \bigg / \Bigg / \dots \Bigg\backslash \bigg\backslash \Big\backslash \big\backslash

アルファベットと書体

Texvcは、任意のUnicode文字をレンダリングすることはできません。Texvcが処理できるものは、以下の式で入力できます。キリル文字などの他の文字については、実行中のテキストにUnicodeまたはHTMLエンティティとして入力できますが、表示された数式に使用することはできません。

ギリシャ文字
\Alpha \Beta \Gamma \Delta \Epsilon \Zeta
\Eta \Theta \Iota \Kappa \Lambda \Mu
\Nu \Xi \Omicron \Pi \Rho \Sigma \Tau
\Upsilon \Phi \Chi \Psi \Omega
\alpha \beta \gamma \delta \epsilon \zeta
\eta \theta \iota \kappa \lambda \mu
\nu \xi \omicron \pi \rho \sigma \tau
\upsilon \phi \chi \psi \omega
\varepsilon \digamma \vartheta \varkappa
\varpi \varrho \varsigma \varphi
Blackboard Bold/Scripts
\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}
\C \N \Q \R \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{\Omicron} \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{\omicron} \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}
Italics
\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}
Roman typeface
\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}
Fraktur typeface
\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}
Calligraphy/Script
\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}
Hebrew
\aleph \beth \gimel \daleth
機能 構文 描写結果
non-italicised characters \mbox{abc}
mixed italics (bad) \mbox{if} n \mbox{is even}
mixed italics (good) \mbox{if }n\mbox{ is even}
mixed italics (more legible: ~ is a non-breaking space, while "\ " forces a space) \mbox{if}~n\ \mbox{is even}

式で色を使えます:

  • {\color{Blue}x^2}+{\color{YellowOrange}2x}-{\color{OliveGreen}1}
  • x_{1,2}=\frac{-b\pm\sqrt{\color{Red}b^2-4ac}}{2a}

こちらにあるのはLaTeXでサポートする全配色です (アーカイブ版) 。

何かを表現するのに、色彩だけで 識別させることはしてはいけません。モノクロ (白黒) 印刷あるいは色覚障害の利用者には意味をなさないからです。Wikipedia:色の使用も参照してください。

書式関連

スペース

TeXは自動的にスペースを調整しますが、時には手動の調整が必要なときもあります。

機能 構文 描写結果
double quad space a \qquad b
quad space a \quad b
text space a\ b
text space without PNG conversion a \mbox{ } b
large space a\;b
medium space a\>b [not supported]
small space a\,b
no space ab
small negative space a\!b

自動スペース調整は、非常に長大な式場合だと一貫しない可能性があります (TeXでは過剰なhboxが生成されるため)。

<math>0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+\cdots</math>

これは、式全体を{ }で囲むことで修正できます。

<math>{0+1+2+3+4+5+6+7+8+9+10+11+12+13+14+15+16+17+18+19+20+\cdots}</math>

Empty horizontal or vertical spacing

The phantom commands create empty horizontal and/or vertical space the same height and/or width of the argument.

機能 構文 描写結果
Empty horizontal and vertical spacing \Gamma^{\phantom{i}j}_{i\phantom{j}k}
Empty vertical spacing -e\sqrt{\vphantom{p'}p},\; -e'\sqrt{p'},\; \ldots
Empty horizontal spacing \int u^2\,du=\underline{\hphantom{(2/3)u^3+C}}


通常の文の流れとの位置合わせ

既定のCSSで、以下の記述は行の上下中央揃えを示し

img.tex { vertical-align: middle; }

平文の中で数式は正しく表示されるはずです。

もし文字の高さ揃え (配置) を変えたい場合は、<math style="vertical-align:-100%;">...</math>を使い、正しく表示されるまでvertical-align引数をいろいろ変更してみます。しかしながら、実際の表示は使っているブラウザと、その設定に影響を受けます。

またこの回避策に依拠する場合、将来のリリースでサーバー上のレンダリングが修正される可能性があり、実際に修正されたとき、この追加の手動オフセットの結果、突然、数式が誤って配置されることがありえます。そこで回避策を使うのであれば、控えめにしてください。

可換図式

可換図式の作成には3段階あります。

<span id="Diagrams_in_TeX">

TeXで記述する図

Xy-pic (オンライン版マニュアル) (英語) は TeXの最も強力で汎用性の高い図式パッケージです。

より簡略なパッケージの構成は以下のとおりです。

  • AMSamscd (アーカイブ)
  • ポール・テイラー (Paul Taylor) による図式 (マクロのセット)
  • フランソワ・ボルソー (François Borceux) による図式 (アーカイブ)

以下にXy-picのテンプレートとともに、dvipsを使って余白 (英語) を広げる、つまり図を過度なトリミングから守り切り捨てられないようにするハックを紹介します (TUGboatの発行済み「TUGboat」1996年第17巻第3号参照。):

\documentclass{amsart}
\usepackage[all, ps]{xy} % <span lang="en" dir="ltr" class="mw-content-ltr">Loading the XY-Pic package</span>
                         % <span lang="en" dir="ltr" class="mw-content-ltr">Using postscript driver for smoother curves</span>
\usepackage{color}       % <span lang="en" dir="ltr" class="mw-content-ltr">For invisible frame</span>
\begin{document}
\thispagestyle{empty} % <span lang="en" dir="ltr" class="mw-content-ltr">No page numbers</span>
\SelectTips{eu}{}     % <span lang="en" dir="ltr" class="mw-content-ltr">Euler arrowheads (tips)</span>
\setlength{\fboxsep}{0pt} % <span lang="en" dir="ltr" class="mw-content-ltr">Frame box margin</span>
{\color{white}\framebox{{\color{black}$$ % <span lang="en" dir="ltr" class="mw-content-ltr">Frame for margin</span>

\xymatrix{ % 図は3×3の行列
%%% <span lang="en" dir="ltr" class="mw-content-ltr">Diagram goes here</span> %%%
}

$$}}} % end math, end frame
\end{document}

If the document class \documentclass[preview]{standalone} is used instead, then the outputted pdf file is automatically cropped.[1]

SVGに変換

図をTeX (もしくはTeX) で記述したら、次の一連のコマンドを使いSVGファイルに変換します。

pdflatex file.tex
pdfcrop --clip file.pdf tmp.pdf
pdf2svg tmp.pdf file.svg
  (rm tmp.pdf at the end)

pdflatex と pdfcroppdf2svg ユーティリティがこの手順に必要です。

上記のプログラムが未入手の場合は、次のコマンドを代用し

latex ファイル名.tex
dvipdfm ファイル名.dvi

図式の PDF 版を出力します。

プログラム

一般的に数式の処理はTeXとGhostscriptが必ず必要であり、数式を手動で作成や調整するにはinkscapeプログラムが便利です。またpstoeditというユーティリティはPostscriptファイルから直接、ベクター画像方式に変換できるものの、SVGに変換するには有料の変換ソフトが必要なこと、この編集者の経験では、形式に関わらずTeXで作成した斜めの矢印を含む数式の変換には失敗することを注記しておきます。

該当するプログラムには以下が含まれます。

ファイルをアップロード

数式は利用者個人のものであればWikimedia Commonsにアップロードすることで、どのプロジェクトでも (特にどの言語でも) 自分の言語のウィキにコピーしなくても共有できます。(以前、コモンズ以外の場所にアップロードしたファイルがある場合は、ウィキ間で移動させてコモンズへ移動します)。

サイズの確認
アップロードの前に、SVG applicationを使用して開き規定サイズ (縮尺100%)で表示させた場合、画像の既定のサイズが大きすぎたり小さすぎたりしないか確かめます。 適切でない場合は-yオプションとdvipsの釣り合いを取り直します。
ファイル名を決める
意味がわかりやすい名前を選びます。
アップロード
ウィキメディアコモンズにログインし、次にファイルをアップロードします; Summary (要約欄) に短い説明を記入します。

次にファイルページを開き、ソースコードを含む説明を追加するのに以下のテンプレート ({{Information}}) を使います:

{{Information

|Description =
{{en| 説明 [[:ja:WPページのリンク|トピック]]
}}
|Source = {{own}}

以下に従って作成します:

[[:meta:Help:Displaying_a_formula/ja#可換図式]]; 以下のソースコードを使用。
|Date = The Creation Date, like 1999-12-31
|Author = [[User:YourUserName|Your Real Name]]
|Permission = Public domain; (or other license) see below.
}}

== LaTeX source ==
<source lang="latex">
% LaTeX source here
</source>

== [[Commons:Copyright tags|Licensing]]: ==
{{self|PD-self (or other license)|author=[[User:YourUserName|Your Real Name]]}}

[[Category:Descriptive categories, such as "Group theory"]]
[[Category:Commutative diagrams]]
ソースコード
  • ファイルページLaTeX source節にソースコードを含め、将来、数式を編集できるようにします。
  • 断片ではなく.texファイル全体を含め、将来の編集者が可換図式ファイルをゼロから作成しなくて済むようにします。
ライセンス
可換図式の最も一般的なライセンスはPD-selfです; 中には簡略な数式に対してPD-ineligibleその他のライセンスを使う人がいます。GFDLの使用はしないようにお願いします。数式を使用するあらゆる文書に、GFDLの全文を添付するように規定しているからです。
説明
可能な場合は数式に勘廉野あるウィキペディアのページにリンクします。
カテゴリ
[[Category:Commutative diagrams]]を挿入し、コモンズのカテゴリcommons:Category:Commutative diagrams配下に表示されるようにします。また下位カテゴリからも選べるので、挿入します。
画像を挿入
ここで[[Image:Diagram.svg]]を使い、数式を四來野ページに挿入します。

サンプル

適合図の例はcommons:Image:PSU-PU.svgです。

化学

化学反応式で利用される化学式を表示させるには以下の二つの方法があります。

  • <math chem>
  • <chem>

<chem>X</chem><math chem>\ce{X}</math>の略です

(Xとは化学和の式)。

技術的には、mathjax 説明文書によれば、<math chem>とはmathタグでmhchem拡張子が有効なものを示します。

注意事項として、コマンドの\cee および\cfmhchem LaTeX パッケージの説明文書に廃止されたと記述してあるため、無効です。

数式が特定の「複雑さ」に達すると空きスペースは無視 (たとえば<chem>A + B</chem>の処理結果がpositive chargeのある<chem>A+B</chem>の処理結果そっくりになるなど) されます。その場合、記述に<chem>A{} + B</chem> (以前の推奨<chem>{A} + {B}</chem>ではない 点に注意) を使います。すると、バグが解決された時点もしくは/そしてmhchemの新バージョンの使用開始に合わせ、数式が自動的に清書されます。

下記の例を参照してください。

使用例

化学

<chem>C6H5-CHO</chem>

<chem>\mathit{A} ->[\ce{+H2O}] \mathit{B}</chem>

<math chem>A \ce{->[\ce{+H2O}]} B</math>

<chem>SO4^2- + Ba^2+ -> BaSO4 v</chem>

<chem>H2NCO2- + H2O <=> NH4+ + CO3^2-</chem>

<chem>H2O</chem>

<chem>Sb2O3</chem>

<chem>H+</chem>

<chem>CrO4^2-</chem>

<chem>AgCl2-</chem>

<chem>[AgCl2]-</chem>

<chem>Y^{99}+</chem>

<chem>Y^{99+}</chem>

<chem>H2_{(aq)}</chem>

<chem>NO3-</chem>

<chem>(NH4)2S</chem>

二次多項式



<math>ax^2 + bx + c = 0</math>

二次多項式(強制PNG)



<math>ax^2 + bx + c = 0\,</math>

二次方程式の解



<math>x=\frac{-b\pm\sqrt{b^2-4ac}}{2a}</math>

大括弧と分数



<math>2 = \left(
 \frac{\left(3-x\right) \times 2}{3-x}
 \right)</math>

 <math>S_{\text{new}} = S_{\text{old}} - \frac{ \left( 5-T \right) ^2} {2}</math>
 

積分



<math>\int_a^x \!\!\!\int_a^s f(y)\,dy\,ds
 = \int_a^x f(y)(x-y)\,dy</math>

総和



<math>\sum_{m=1}^\infty\sum_{n=1}^\infty\frac{m^2\,n}
 {3^m\left(m\,3^n+n\,3^m\right)}</math>

微分方程式



<math>u'' + p(x)u' + q(x)u=f(x),\quad x>a</math>

複素数



<math>|\bar{z}| = |z|,
 |(\bar{z})^n| = |z|^n,
 \arg(z^n) = n \arg(z)</math>

極限



<math>\lim_{z\rightarrow z_0} f(z)=f(z_0)</math>

積分方程式



<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>



<math>\phi_n(\kappa) = 
 0.033C_n^2\kappa^{-11/3},\quad
 \frac{1}{L_0}\ll\kappa\ll\frac{1}{l_0}</math>

連続と場合分け



<math>
 f(x) =
 \begin{cases}
 1 & -1 \le x < 0 \\
 \frac{1}{2} & x = 0 \\
 1 - x^2 & \mbox{otherwise}
 \end{cases}
 </math>

下付文字の前置



 <math>{}_pF_q(a_1,\dots,a_p;c_1,\dots,c_q;z)
 = \sum_{n=0}^\infty
 \frac{(a_1)_n\cdots(a_p)_n}{(c_1)_n\cdots(c_q)_n}
 \frac{z^n}{n!}</math>

分数及び小型化した分数


<math> \frac {a}{b}\  \tfrac {a}{b} </math>

バグ報告

議論・バグ報告・機能の要望は Wikitech-l mailing list.までお願いします(英語)。あるいは、Mediazillaの"MediaWiki extensions"に登録していただいても構いません。

特徴

将来的にはMath拡張機能追加された MathJaxが安定版に移行した段階で、(bug 31406によると) ウィキメディアのウィキ群でTeX数式をPNG処理するよりも優れた選択肢として有効になります。MathJaxは数式をインラインでレンダーするJavaScriptライブラリであり、LaTeXをMathMLに変換し、ブラウザが直接、解釈できるようになります。

関連項目

注記

外部リンク

メディアウィキ・ユーザーズガイド - ヘルプ・ページ全部

一般的な利用法: 表示 | 検索 | URL | 名前空間 | ページ名 | セクション | リンク | リンク元 | パイプ付きリンク | 言語間リンク | リダイレクト | 変数 | カテゴリ | 画像ページ | 特別ページ
ログイン及びユーザー設定: ログイン | オプション | 外装の詳細設定
起稿・編集: ページの編集 | 新規ページの作成 | 画像/ファイル | 特殊文字 | 数式の書き方 | 表の作り方 | EasyTimeline | テンプレート | リダイレクト | ページの移動 | 編集用ショートカット | トークページ | 公開前のテスト | Help/ja 関連ページの更新状況
改定追跡: 最近更新したページ | 拡張された最近更新したページ | リンク先の更新状況 | ウォッチリスト | 差分 | 履歴 | 要約欄 | ユーザの投稿記録 | 細部の編集 | 編集の巡回

他プロジェクト: Wikibooks | Wikicommons | Wikinews | Wikipedia | Wikiquote | Wikisource | Wiktionary - このテンプレートを編集