Help:数式の表示

The Math extension uses a subset of TeX markup, including some extensions from LaTeX and AMS-LaTeX, to display mathematical formulas. It either generates SVG, MathML markup, or uses MathJax to render math on the client side, depending on user preferences and the complexity of the expression.

MathML and MathJax are planned to be used more in the future, with the SVG images becoming deprecated.

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

Top-level syntax

伝統的に、数学のマークアップは XML スタイルのタグ math の中に配置されます: ‎<math>...‎</math>。

ただし、すべての XML スタイルのタグと同様に、#tag 関数を使用できます。{{#tag:math|...}} はより多機能であり、「...」の部分のウィキテキストが、結果を TeX コードとして解釈する前にまず拡張されます。これにより、引数、変数、パーサー関数、テンプレートを含めることができます。ただし、この構文を使用する場合、TeX コード内の二重中カッコには、テンプレート呼び出しなどとの混同を避けるためにスペースを入れる必要があることに注意してください。また、TeX コード内で "|" 文字を生成するには、{{!}} を使用してください。

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

レンダリング

画像の alt テキストは、視覚障害者や画像を見られない読者に提示され、また、テキストが選択されてコピーされる際にも使用されます。この alt テキストは、画像を生成した TeX コードと同等です。

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

特殊文字

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

# $ % ^ & _ { } ~ \

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

<math>\# \$ \% \& \_ \{ \} </math> → $\#\$\%\&\_\{\}$

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

<math> \hat{} \quad \tilde{} \quad \backslash </math> → ${\hat {}}\quad {\tilde {}}\quad \backslash$

<span id="TeX_and_HTML">

TeXとHTML

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

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

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

構文	描画
α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ ς τ υ φ χ ψ ω Γ Δ Θ Λ Ξ Π Σ Φ Ψ Ω	α β γ δ ε ζ η θ ι κ λ μ ν ξ ο π ρ σ ς τ υ φ χ ψ ω Γ Δ Θ Λ Ξ Π Σ Φ Ψ Ω
∫ ∑ ∏ √ − ± &infty; ≈ ∝ {{=}} ≡ ≠ ≤ ≥ × ⋅ ÷ ∂ ′ ″ ∇ ‰ ° ∴ Ø ø ∈ ∉ ∩ ∪ ⊂ ⊃ ⊆ ⊇ ¬ ∧ ∨ ∃ ∀ ⇒ ⇔ → ↔ ↑ ℵ - – —	∫ ∑ ∏ √ − ± ∞ ≈ ∝ = ≡ ≠ ≤ ≥ × ⋅ ÷ ∂ ′ ″ ∇ ‰ ° ∴ Ø ø ∈ ∉ ∩ ∪ ⊂ ⊃ ⊆ ⊇ ¬ ∧ ∨ ∃ ∀ ⇒ ⇔ → ↔ ↑ ℵ - – —

HTML と TeX には、それぞれ状況に応じた利点があります。

HTMLの利点と欠点

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

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

関数・演算子・特殊記号

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

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

関数

\sin a \cos b \tan c	$\sin a\cos b\tan c$
\sec d \csc e \cot f	$\sec d\csc e\cot f\,$
\arcsin h \arccos i \arctan j	$\arcsin h\arccos i\arctan j\,$
\sinh k \cosh l \tanh m \coth n	$\sinh k\cosh l\tanh m\coth n$
\operatorname{sh}o\,\operatorname{ch}p\,\operatorname{th}q	$\operatorname {sh} o\,\operatorname {ch} p\,\operatorname {th} q$
\operatorname{arsinh}r\,\operatorname{arcosh}s\,\operatorname{artanh}t	$\operatorname {arsinh} r\,\operatorname {arcosh} s\,\operatorname {artanh} t$
\lim u \limsup v \liminf w \min x \max y	$\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	$\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	$\deg h\gcd i\Pr j\det k\hom l\arg m\dim n$

モジュロ演算

s_k \equiv 0 \pmod{m}	$s_{k}\equiv 0{\pmod {m}}\,$
a\,\bmod\,b	$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}

$\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	$\forall \exists \emptyset \emptyset \varnothing \,$
\in \ni \not\in \notin \not\ni \subset \subseteq \supset \supseteq	$\in \ni \not \in \notin \not \ni \subset \subseteq \supset \supseteq \,$
\cap \bigcap \cup \bigcup \biguplus \setminus \smallsetminus	$\cap \bigcap \cup \bigcup \biguplus \setminus \smallsetminus \,$
\sqsubset \sqsubseteq \sqsupset \sqsupseteq \sqcap \sqcup \bigsqcup	$\sqsubset \sqsubseteq \sqsupset \sqsupseteq \sqcap \sqcup \bigsqcup \,$

演算子

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

論理演算子

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

冪根

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

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

関係演算子

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

幾何学記号

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

$\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 \longrightarrow \longleftrightarrow \,$
\Leftarrow \Rightarrow \nLeftarrow \nRightarrow \Leftrightarrow \nLeftrightarrow \Longleftarrow (or \impliedby) \Longrightarrow (or \implies) \Longleftrightarrow (or \iff)	$\Leftarrow \Rightarrow \nLeftarrow \nRightarrow \Leftrightarrow \nLeftrightarrow \Longleftarrow \Longrightarrow \Longleftrightarrow$
\uparrow \downarrow \updownarrow \Uparrow \Downarrow \Updownarrow \nearrow \searrow \swarrow \nwarrow	$\uparrow \downarrow \updownarrow \Uparrow \Downarrow \Updownarrow \nearrow \searrow \swarrow \nwarrow$
\rightharpoonup \rightharpoondown \leftharpoonup \leftharpoondown \upharpoonleft \upharpoonright \downharpoonleft \downharpoonright \rightleftharpoons \leftrightharpoons	$\rightharpoonup \rightharpoondown \leftharpoonup \leftharpoondown \upharpoonleft \upharpoonright \downharpoonleft \downharpoonright \rightleftharpoons \leftrightharpoons \,$
\curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \Rrightarrow \rightarrowtail \looparrowright	$\curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \Rrightarrow \rightarrowtail \looparrowright \,$
\curvearrowright \circlearrowright \Rsh \downdownarrows \leftleftarrows \leftrightarrows \Lleftarrow \leftarrowtail \looparrowleft	$\curvearrowright \circlearrowright \Rsh \downdownarrows \leftleftarrows \leftrightarrows \Lleftarrow \leftarrowtail \looparrowleft \,$
\mapsto \longmapsto \hookrightarrow \hookleftarrow \multimap \leftrightsquigarrow \rightsquigarrow	$\mapsto \longmapsto \hookrightarrow \hookleftarrow \multimap \leftrightsquigarrow \rightsquigarrow \,$

特殊記号

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

その他（新規追加）

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

大きな式

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

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

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

機能	構文	描写結果
分数	\frac{1}{2}=0.5	${\frac {1}{2}}=0.5$
小さな ("テキストスタイル") 分数	\tfrac{1}{2} = 0.5	${\tfrac {1}{2}}=0.5$
大きな("ディスプレイ スタイル")分数	\dfrac{k}{k-1} = 0.5	${\dfrac {k}{k-1}}=0.5$
大きい分数と小さい分数の混合	\dfrac{ \tfrac{1}{2}[1-(\tfrac{1}{2})^n] }{ 1-\tfrac{1}{2} } = s_n	${\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	${\cfrac {2}{c+{\cfrac {2}{d+{\cfrac {1}{2}}}}}}=a\qquad {\dfrac {2}{c+{\dfrac {2}{d+{\dfrac {1}{2}}}}}}=a$
二項係数	\binom{n}{k}	${\binom {n}{k}}$
小さな("テキスト スタイル") 二項係数	\tbinom{n}{k}	${\tbinom {n}{k}}$
大きな ("ディスプレイ スタイル") 二項係数	\dbinom{n}{k}	${\dbinom {n}{k}}$
行列	\begin{matrix} x & y \\ z & v \end{matrix}	${\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{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}0&\cdots &0\\\vdots &\ddots &\vdots \\0&\cdots &0\end{bmatrix}}$
	\begin{Bmatrix} x & y \\ z & v \end{Bmatrix}	${\begin{Bmatrix}x&y\\z&v\end{Bmatrix}}$
	\begin{pmatrix} x & y \\ z & v \end{pmatrix}	${\begin{pmatrix}x&y\\z&v\end{pmatrix}}$
	\bigl( \begin{smallmatrix} a&b\\ c&d \end{smallmatrix} \bigr)	${\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}	${\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}	$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}	${\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>	$f(x)=\sum _{n=0}^{\infty }a_{n}x^{n}$ $=a_{0}+a_{1}x+a_{2}x^{2}+\cdots$
複数行の数式	\begin{align} f(x) & = (a+b)^2 \\ & = a^2+2ab+b^2 \end{align}	${\begin{aligned}f(x)&=(a+b)^{2}\\&=a^{2}+2ab+b^{2}\end{aligned}}$
	\begin{alignat}{2} f(x) & = (a-b)^2 \\ & = a^2-2ab+b^2 \end{alignat}	${\begin{alignedat}{2}f(x)&=(a-b)^{2}\\&=a^{2}-2ab+b^{2}\end{alignedat}}$
位置を揃える複数行の数式 (left, center, right)	\begin{array}{lcl} z & = & a \\ f(x,y,z) & = & x + y + z \end{array}	${\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}	${\begin{array}{lcr}z&=&a\\f(x,y,z)&=&x+y+z\end{array}}$

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

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

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

機能	構文	描写結果
括弧	\left ( \frac{a}{b} \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\lbrack {\frac {a}{b}}\right\rbrack$
ブレイス （コード内のブレイスの前の "\" に注意してください）	\left \{ \frac{a}{b} \right \} \quad \left \lbrace \frac{a}{b} \right \rbrace	$\left\{{\frac {a}{b}}\right\}\quad \left\lbrace {\frac {a}{b}}\right\rbrace$
Angle brackets	\left \langle \frac{a}{b} \right \rangle	$\left\langle {\frac {a}{b}}\right\rangle$
縦線と二重縦線(注:縦線は絶対値を表します)	\left | \frac{a}{b} \right \vert \left \Vert \frac{c}{d} \right \|	$\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\lfloor {\frac {a}{b}}\right\rfloor \left\lceil {\frac {c}{d}}\right\rceil$
スラッシュとバックスラッシュ	\left / \frac{a}{b} \right \backslash	$\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\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 |	$\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	$\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 ]}{\bigg ]}{\Big ]}{\big ]}$
	\big\{ \Big\{ \bigg\{ \Bigg\{ \dots \Bigg\rangle \bigg\rangle \Big\rangle \big\rangle	${\big \{}{\Big \{}{\bigg \{}{\Bigg \{}\dots {\Bigg \rangle }{\bigg \rangle }{\Big \rangle }{\big \rangle }$
	\big| \Big| \bigg| \Bigg| \dots \Bigg\| \bigg\| \Big\| \big\|	${\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 \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 \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 \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	${\big /}{\Big /}{\bigg /}{\Bigg /}\dots {\Bigg \backslash }{\bigg \backslash }{\Big \backslash }{\big \backslash }$

アルファベットと書体

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

ギリシャ文字
\Alpha \Beta \Gamma \Delta \Epsilon \Zeta	$\mathrm {A} \mathrm {B} \Gamma \Delta \mathrm {E} \mathrm {Z} \,$
\Eta \Theta \Iota \Kappa \Lambda \Mu	$\mathrm {H} \Theta \mathrm {I} \mathrm {K} \Lambda \mathrm {M} \,$
\Nu \Xi \Omicron \Pi \Rho \Sigma \Tau	$\mathrm {N} \Xi \mathrm {O} \Pi \mathrm {P} \Sigma \mathrm {T} \,$
\Upsilon \Phi \Chi \Psi \Omega	$\Upsilon \Phi \mathrm {X} \Psi \Omega \,$
\alpha \beta \gamma \delta \epsilon \zeta	$\alpha \beta \gamma \delta \epsilon \zeta \,$
\eta \theta \iota \kappa \lambda \mu	$\eta \theta \iota \kappa \lambda \mu \,$
\nu \xi \omicron \pi \rho \sigma \tau	$\nu \xi \mathrm {o} \pi \rho \sigma \tau \,$
\upsilon \phi \chi \psi \omega	$\upsilon \phi \chi \psi \omega \,$
\varepsilon \digamma \vartheta \varkappa	$\varepsilon \digamma \vartheta \varkappa \,$
\varpi \varrho \varsigma \varphi	$\varpi \varrho \varsigma \varphi \,$
Blackboard Bold/Scripts
\mathbb{A} \mathbb{B} \mathbb{C} \mathbb{D} \mathbb{E} \mathbb{F} \mathbb{G}	$\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 {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 {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}	$\mathbb {U} \mathbb {V} \mathbb {W} \mathbb {X} \mathbb {Y} \mathbb {Z} \,$
\C \N \Q \R \Z	$\mathbb {C} \mathbb {N} \mathbb {Q} \mathbb {R} \mathbb {Z}$
太字（ベクトル）
\mathbf{A} \mathbf{B} \mathbf{C} \mathbf{D} \mathbf{E} \mathbf{F} \mathbf{G}	$\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 {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 {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 {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 {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 {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 {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 {u} \mathbf {v} \mathbf {w} \mathbf {x} \mathbf {y} \mathbf {z} \,$
\mathbf{0} \mathbf{1} \mathbf{2} \mathbf{3} \mathbf{4}	$\mathbf {0} \mathbf {1} \mathbf {2} \mathbf {3} \mathbf {4} \,$
\mathbf{5} \mathbf{6} \mathbf{7} \mathbf{8} \mathbf{9}	$\mathbf {5} \mathbf {6} \mathbf {7} \mathbf {8} \mathbf {9} \,$
太字（ギリシャ語）
\boldsymbol{\Alpha} \boldsymbol{\Beta} \boldsymbol{\Gamma} \boldsymbol{\Delta} \boldsymbol{\Epsilon} \boldsymbol{\Zeta}	${\boldsymbol {\mathrm {A} }}{\boldsymbol {\mathrm {B} }}{\boldsymbol {\Gamma }}{\boldsymbol {\Delta }}{\boldsymbol {\mathrm {E} }}{\boldsymbol {\mathrm {Z} }}\,$
\boldsymbol{\Eta} \boldsymbol{\Theta} \boldsymbol{\Iota} \boldsymbol{\Kappa} \boldsymbol{\Lambda} \boldsymbol{\Mu}	${\boldsymbol {\mathrm {H} }}{\boldsymbol {\Theta }}{\boldsymbol {\mathrm {I} }}{\boldsymbol {\mathrm {K} }}{\boldsymbol {\Lambda }}{\boldsymbol {\mathrm {M} }}\,$
\boldsymbol{\Nu} \boldsymbol{\Xi} \boldsymbol{\Omicron} \boldsymbol{\Pi} \boldsymbol{\Rho} \boldsymbol{\Sigma} \boldsymbol{\Tau}	${\boldsymbol {\mathrm {N} }}{\boldsymbol {\Xi }}{\boldsymbol {\mathrm {O} }}{\boldsymbol {\Pi }}{\boldsymbol {\mathrm {P} }}{\boldsymbol {\Sigma }}{\boldsymbol {\mathrm {T} }}\,$
\boldsymbol{\Upsilon} \boldsymbol{\Phi} \boldsymbol{\Chi} \boldsymbol{\Psi} \boldsymbol{\Omega}	${\boldsymbol {\Upsilon }}{\boldsymbol {\Phi }}{\boldsymbol {\mathrm {X} }}{\boldsymbol {\Psi }}{\boldsymbol {\Omega }}\,$
\boldsymbol{\alpha} \boldsymbol{\beta} \boldsymbol{\gamma} \boldsymbol{\delta} \boldsymbol{\epsilon} \boldsymbol{\zeta}	${\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 {\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 {\nu }}{\boldsymbol {\xi }}{\boldsymbol {\mathrm {o} }}{\boldsymbol {\pi }}{\boldsymbol {\rho }}{\boldsymbol {\sigma }}{\boldsymbol {\tau }}\,$
\boldsymbol{\upsilon} \boldsymbol{\phi} \boldsymbol{\chi} \boldsymbol{\psi} \boldsymbol{\omega}	${\boldsymbol {\upsilon }}{\boldsymbol {\phi }}{\boldsymbol {\chi }}{\boldsymbol {\psi }}{\boldsymbol {\omega }}\,$
\boldsymbol{\varepsilon} \boldsymbol{\digamma} \boldsymbol{\vartheta} \boldsymbol{\varkappa}	${\boldsymbol {\varepsilon }}{\boldsymbol {\digamma }}{\boldsymbol {\vartheta }}{\boldsymbol {\varkappa }}\,$
\boldsymbol{\varpi} \boldsymbol{\varrho} \boldsymbol{\varsigma} \boldsymbol{\varphi}	${\boldsymbol {\varpi }}{\boldsymbol {\varrho }}{\boldsymbol {\varsigma }}{\boldsymbol {\varphi }}\,$
Italics
\mathit{A} \mathit{B} \mathit{C} \mathit{D} \mathit{E} \mathit{F} \mathit{G}	${\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 {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 {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 {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 {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 {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 {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 {u}}{\mathit {v}}{\mathit {w}}{\mathit {x}}{\mathit {y}}{\mathit {z}}\,$
\mathit{0} \mathit{1} \mathit{2} \mathit{3} \mathit{4}	${\mathit {0}}{\mathit {1}}{\mathit {2}}{\mathit {3}}{\mathit {4}}\,$
\mathit{5} \mathit{6} \mathit{7} \mathit{8} \mathit{9}	${\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 {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 {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 {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 {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 {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 {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 {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 {u} \mathrm {v} \mathrm {w} \mathrm {x} \mathrm {y} \mathrm {z} \,$
\mathrm{0} \mathrm{1} \mathrm{2} \mathrm{3} \mathrm{4}	$\mathrm {0} \mathrm {1} \mathrm {2} \mathrm {3} \mathrm {4} \,$
\mathrm{5} \mathrm{6} \mathrm{7} \mathrm{8} \mathrm{9}	$\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 {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 {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 {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 {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 {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 {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 {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 {u}}{\mathfrak {v}}{\mathfrak {w}}{\mathfrak {x}}{\mathfrak {y}}{\mathfrak {z}}\,$
\mathfrak{0} \mathfrak{1} \mathfrak{2} \mathfrak{3} \mathfrak{4}	${\mathfrak {0}}{\mathfrak {1}}{\mathfrak {2}}{\mathfrak {3}}{\mathfrak {4}}\,$
\mathfrak{5} \mathfrak{6} \mathfrak{7} \mathfrak{8} \mathfrak{9}	${\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 {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 {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 {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}	${\mathcal {U}}{\mathcal {V}}{\mathcal {W}}{\mathcal {X}}{\mathcal {Y}}{\mathcal {Z}}\,$
Hebrew
\aleph \beth \gimel \daleth	$\aleph \beth \gimel \daleth \,$

機能	構文	描写結果
non-italicised characters	\mbox{abc}	${\mbox{abc}}$
mixed italics (bad)	\mbox{if} n \mbox{is even}	${\mbox{if}}n{\mbox{is even}}$
mixed italics (good)	\mbox{if }n\mbox{ is even}	${\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}	${\mbox{if}}~n\ {\mbox{is even}}$

色

式で色を使えます:

• {\color{Blue}x^2}+{\color{YellowOrange}2x}-{\color{OliveGreen}1}

  ${\color {Blue}x^{2}}+{\color {YellowOrange}2x}-{\color {OliveGreen}1}$

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

  $x_{1,2}={\frac {-b\pm {\sqrt {\color {Red}b^{2}-4ac}}}{2a}}$

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

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

書式関連

スペース

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

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

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

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

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

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

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}	$\Gamma _{i{\phantom {j}}k}^{{\phantom {i}}j}$
Empty vertical spacing	-e\sqrt{\vphantom{p'}p},\; -e'\sqrt{p'},\; \ldots	$-e{\sqrt {{\vphantom {p'}}p}},\;-e'{\sqrt {p'}},\;\ldots$
Empty horizontal spacing	\int u^2\,du=\underline{\hphantom{(2/3)u^3+C}}	$\int u^{2}\,du={\underline {\hphantom {(2/3)u^{3}+C}}}$

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

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

img.tex { vertical-align: middle; }

平文の中で数式$\int _{-N}^{N}e^{x}\,dx$は正しく表示されるはずです。

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

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

化学

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

• <math chem>
• <chem>

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

(Xとは化学和の式)。

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

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

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

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

使用例

化学

<chem>C6H5-CHO</chem>
${\ce {C6H5-CHO}}$

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

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

<chem>SO4^2- + Ba^2+ -> BaSO4 v</chem>
${\ce {SO4^2- + Ba^2+ -> BaSO4 v}}$

<chem>H2NCO2- + H2O <=> NH4+ + CO3^2-</chem>
${\ce {H2NCO2- + H2O <=> NH4+ + CO3^2-}}$

<chem>H2O</chem>
${\ce {H2O}}$

<chem>Sb2O3</chem>
${\ce {Sb2O3}}$

<chem>H+</chem>
${\ce {H+}}$

<chem>CrO4^2-</chem>
${\ce {CrO4^2-}}$

<chem>AgCl2-</chem>
${\ce {AgCl2-}}$

<chem>[AgCl2]-</chem>
${\ce {[AgCl2]-}}$

<chem>Y^{99}+</chem>
${\ce {Y^{99}+}}$

<chem>Y^{99+}</chem>
${\ce {Y^{99+}}}$

<chem>H2_{(aq)}</chem>
${\ce {H2_{(aq)}}}$

<chem>NO3-</chem>
${\ce {NO3-}}$

<chem>(NH4)2S</chem>
${\ce {(NH4)2S}}$

二次多項式

$ax^{2}+bx+c=0$

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

二次多項式（強制PNG）

$ax^{2}+bx+c=0\,$

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

二次方程式の解

$x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}$

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

大括弧と分数

$2=\left({\frac {\left(3-x\right)\times 2}{3-x}}\right)$

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

$S_{\text{new}}=S_{\text{old}}-{\frac {\left(5-T\right)^{2}}{2}}$

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

積分

$\int _{a}^{x}\!\!\!\int _{a}^{s}f(y)\,dy\,ds=\int _{a}^{x}f(y)(x-y)\,dy$

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

総和

$\sum _{m=1}^{\infty }\sum _{n=1}^{\infty }{\frac {m^{2}\,n}{3^{m}\left(m\,3^{n}+n\,3^{m}\right)}}$

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

微分方程式

$u''+p(x)u'+q(x)u=f(x),\quad x>a$

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

複素数

$|{\bar {z}}|=|z|,|({\bar {z}})^{n}|=|z|^{n},\arg(z^{n})=n\arg(z)$

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

極限

$\lim _{z\rightarrow z_{0}}f(z)=f(z_{0})$

<math>\lim_{z\rightarrow z_0} f(z)=f(z_0)</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>\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>

例

$\phi _{n}(\kappa )=0.033C_{n}^{2}\kappa ^{-11/3},\quad {\frac {1}{L_{0}}}\ll \kappa \ll {\frac {1}{l_{0}}}$

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

連続と場合分け

$f(x)={\begin{cases}1&-1\leq x<0\\{\frac {1}{2}}&x=0\\1-x^{2}&{\mbox{otherwise}}\end{cases}}$

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

下付文字の前置

${}_{p}F_{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>{}_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>

分数及び小型化した分数

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

バグ報告

Bug reports and feature requests should be reported on Phabricator with the tag Math.

関連項目

• Converting between ParserFunctions syntax and TeX syntax
• Typesetting of mathematical formulas
• Score — extension for music markup
• Glossary of mathematical symbols

外部リンク

• A LaTeX tutorial
• LaTeX, A Short Course: Typesetting Mathematics
• A paper introducing TeX—see page 39 onwards for a good introduction to the maths side of things.
• A paper introducing LaTeX—skip to page 49 for the math section. See page 63 for a complete reference list of symbols included in LaTeX and AMS-LaTeX.
• The Comprehensive LaTeX Symbol List
• Comprehensive List of Mathematical Symbols
• AMS-LaTeX guide
• A set of public domain fixed-size math symbol bitmaps
• MathML: A product of the W3C Math working group, is a low-level specification for describing mathematics as a basis for machine to machine communication.