プロジェクト:数学/スタイルマニュアル (数式)

数式を組む

→「Help:数式の表示」および「en:Help:Displaying a formula」も参照

数式中では、数学的対象は文字の書体によっても区別されます。変数や一般的な関数名はイタリック体で、固有の関数名などはローマン体で、実数体や複素数体はボールド体でという具合です。また、特殊な数学記号を使うこともあります。このセクションではウィキペディアでこれらを書き分ける方法について解説します。（この方針についてはノートにて議論があります。）（英語版のスタイルマニュアル en:Wikipedia:Manual of Style/Mathematics も参考になるでしょう。）

Wikipedia で数式を記述する方法には

1. {{math}}や{{mvar}}内にWiki 記法または HTML タグで数式を書く
2. <math>...</math>内にLaTeX記法で数式を書く

の２つがあります。

TeX 記法の方が強力な表現能力を持っていますが、この方法には後述するいくつかの欠点があります。一方、簡単な数式なら後者の方法でも表現できて、テキストだけのブラウザにも向いています。

そこでローマン、ボールド、イタリック書体や、上付きや下付き、通常の大きさの演算子記号といった簡単な数式にはなるべく{{math}}テンプレートや{{mvar}}テンプレート用いるようにしてください。

なお、数式や変数をHTMLタグで書く場合、HTMLの数式や変数を直接文中に書く事は避け、かならず{{math}}や{{mvar}}の中に数式や変数を記載してください。

また文章の可読性が損なわれない範囲で、LaTeX を用いる必要がある数式は数式だけの行に置くようにしてください。

{{math}}や{{mvar}}を利用する

→詳細は「Template:math」を参照

{{math}}は主に数式を、{{mvar}}は主に変数を書くためのテンプレートで、

{{math|数式}}、{{mvar|変数}}

のように記載し、いずれもMathJax風に出力されます。なお、{{math}}で書いた場合、数式は途中で改行されませんので、改行が必要な場合は{{math2}}を使ってください。

技術的には {{math}}で囲まれた文字列はCSSのクラス texhtml で指定されたスタイルで表示されるようになります。アカウントを所持しているユーザーは利用者ページのサブページに個人用の css を作成することで、texhtml クラスの表示を変更することができます（詳細はWP:CSSを参照）。

{{math}}で数式を記載する場合、イタリックやボールドといった変数の書体を指定するには、Wiki 記法かHTML タグのいずれかを使う必要があります：

書体	Wiki記法	HTMLタグによる記法	表示結果
立体	x	x	x
イタリック	''x''	<i>x</i>	x
ボールド	'''x'''	<b>x</b>	x
ボールドイタリック	'''''x'''''	<b><i>x</i></b>	x

上付きや下付きの添字は以下のように書きます：

書体	Wiki記法	HTMLタグによる記法	表示結果
上付き添字	x{{sup|2}}	x<sup>2</sup>	x2
下付き添字	x{{sub|2}}	x<sub>2</sub>	x2

例えば「x = (y + 2)²」はWiki記法であれば

{{math|''x'' {{=}} (''y'' + 2){{sup|2}}}}

のように書きます。Wiki記法とHTMLタグを混在させて

{{math|''x'' {{=}} (''y'' + 2)<sup>2</sup>}}

のように記載する事も可能です。丸かっこや等号やプラスがイタリックになっていないことに注意してください。なお、等号が「{{=}}」と記載されているのはWikipediaのマークアップと誤解されないためです。詳細はTemplate:mathを参照ください。

複数の文字を囲んでまとめて書体を指定すると編集が容易になります。例えばイタリックの「x_i」を書く時、「''x''<sub>''i''</sub>」とするより「''x<sub>i</sub>''」のほうが容易でしょうし、「v^k」を書く時、'''''v'''''<sup>''k''</sup>より「'''''v'''<sup>k</sup>''」の方が容易でしょう。

他にも数式を書くうえで便利なWiki記法が複数用意されており（詳細はTemplate:mathを参照）、これらを使うと下記のような複雑な式が記述可能です：

入力内容	表示結果
{{Math|{{Intmath|int|0|+∞}} e{{Sup|−''x''}} d''x'' {{=}} 1}}	∫0+∞ e−x dx = 1

{{mvar}}も基本的には{{math}}と使い方が同じですが、{{mvar}}は文字を自動的にイタリックにしてくれます：

入力内容	表示結果
{{mvar|x}}	x

数学では慣習的にどの文字を立体にし、どの文字をイタリックにするかが決まっています：

• 変数や定数はイタリックにします。
• 関数f(x)のfもイタリックにします。
• sin やcosのように固定された関数の名前についてはイタリックでなく立体を用います。
• 微分・積分における d や自然対数の底 e などは、ローマンでもイタリックでもかまいません。
• 円周率などに用いられる数式中のギリシャ文字 π は、テンプレートを用いて {{pi}} と書きます。
• 実数の集合はボールドで「R」とするか、黒板太字で「ℝ」とします。

その他に注意すべき点として、マイナスにはハイフンマイナス - ではなくマイナス記号 − (−) を用います。また、不等号 <, > を HTML タグの囲みと混同されないようにするには、文字参照を利用して <, > と書きます。

LaTeXを利用する

ウィキペディアの記事中では、<math> タグを使うことで LaTeX の組版機能を利用して数式を表現することができます；その場合、記述された数式表現は標準の設定では PNG 画像に変換されて、テキストの中に埋め込まれます。この技術についての詳細は、m:ヘルプ:数式の書き方を見てください。 使用例：

$\int _{0}^{\infty }e^{-x^{2}}\,dx$

この方法で数式を使う場合、数式を地の文の一部とすることもできますし、別行立てにすることもできます。ただし、 <math> を用いた数式表現は画像に変換される分だけ負荷が大きく、またレイアウトを壊しやすいため、基本的には重要性の高い数式のみに、別行立てで用いることが推奨されています。

数式を別行立てで表示するときには、行頭にコロンを用いることで行頭をコロンの数に応じて右寄せします（インデントします）。上記の使用例は実際には以下のように組まれています。

:<math>\int_0^\infty e^{-x^2}\,dx</math>

もし数式のレイアウトの効果のために、行頭をスペース（ ,  ,   なども含む）で行頭位置を調整している記事を見つけた場合には、書き直してください。 数式が連続する記事や、主題となる重要な数式が存在する場合には、{{numBlk}} および {{equationRef}}, {{equationNote}} テンプレートの利用を検討して下さい。{{numBlk}} は数式をブロックで囲むためのテンプレートで、{{equationRef}} は数式に対するリンクのアンカー、{{equationNote}} は数式リンクの参照点を作るテンプレートです。たとえば、

{{numBlk|:|<math>\int_0^\infty e^{-x^2}\,dx</math>|{{equationRef|refName|eq.name/num}}}}

と記述すると、

$\int _{0}^{\infty }e^{-x^{2}}\,dx$

(eq.name/num)

という形で出力され、この数式は {{equationNote|refName|ここからジャンプ}} という形でリンクをつくることができます。

ここからジャンプ

自身の編集で <math> を利用したい場合には、他の利用者にどう見えるかという点に注意を払ってください。大半の利用者は、個人の環境設定の 表示 にある 数式 の項目を変更していないため、省略時設定の 常に PNG のままになっています。あなたもそのように設定することでほかの利用者と同じように見ることができます（このページの右上の、あなたの利用者名のすぐ下のところにある“個人設定”というリンクで環境設定ができます）。

いくつかのコマンドは本来の LaTeX とは異なる挙動をします。例えば、align 環境は align* 環境のように振る舞いますが、align* 環境は使えません。また、対応していないコマンドもあります。

LaTeX による数式表記には次のような問題点があることに注意してください：

• 基本的に数式環境中には日本語を書き込むことができません。\mbox や \text を使うとスペーシングが異常に狭くなってしまいます。次に例を挙げます。
  

\textを使用した場合： $e^{i\pi }+1=0\qquad {\text{オイラーの等式}}$
\mboxを使用した場合： $e^{i\pi }+1=0\qquad {\mbox{オイラーの等式}}$

→ 地の文や数式の横など <math> の外で可能な限り分かりやすく表現して下さい。<math> を多用することであたかも数式中に日本語やそれに準ずる文字列を書き込むことは可能ですが（たとえば $\langle$この$|$ように！$\rangle =\langle$この$|\int |$あんな$\rangle \langle$あんな$|$ように！$\rangle$）、編集者にとっても閲覧者にとっても見通しの悪い記事になってしまうので、無理をせず別の方法を検討して下さい。日常的な言葉や記事内で示されている言葉であれば、英語など <math> が変換可能な文字を使う言語で置き換えてもよいでしょう。

• 数式部分と地の文とでフォントが異なってしまうので読みにくい（数式以外の部分のフォントは読者が自由に選べるのに対して、画像化された数式内のフォントは読者が制御できないため）。さらに、上下方向の位置も不揃いになります。例えば、a, d, f, g と $a,d,f,g$ と $a$, $d$, $f$, $g$ を比べてみてください。

→ 数式の行を独立させたり、テキスト形式で数式を書いたりしてください（#HTMLを利用する を参照）。

• 画像を表示できないブラウザ（lynx など）では数式が読めない（数式環境は画像データとして取り扱われるため）。
• 数式が多いと、ページのダウンロードに時間がかかってしまう（理由同じ）。

→ 些細な数式は HTML テキストを利用してください。

• サーバの不具合によって LaTeX で記述された部分の画像が表示されなくなることがある。

→ キャッシュを破棄することで問題が解決する場合があります。

• ディスプレイサイズによっては、 LaTeX で記述された部分の画像が異常に小さく表示されてしまうことがあります。
• 「上付きの上付き」の処理に関するバグがあり、<math>a^{b^c}</math> は不正な HTML コードに変換されてしまうことがあります。

特別な記号を使う

数学記号の表をちょっと見てみるといいかもしれません。全てのブラウザでこれらの全ての記号が正しく表示されるわけではありません；多くの人に見てもらうためには、HTML の文字参照を用いて特殊記号を使うことは控えめになった方が良いでしょう。たとえば量子力学で広く用いられるディラック定数 ℏ (ℏ) や山括弧 〈 〉 (〈 〉), ⟨ ⟩ (⟨ ⟩) などは環境によっては表示できません。