Extension:Math/構文

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> → $\#\$\%\mathrm{\&}\_\{\}$

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

<math> \hat{} \quad \tilde{} \quad \backslash </math> → $\stackrel{}{^}\stackrel{}{~}\mathrm{\setminus }$

<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 の数式はより通常のテキストに近い振る舞いをします。
2. 数式の背景とフォントサイズは残りの HTML コンテンツと一致します（TeXの数式については、コマンド\pagecolor と \definecolorを使用して調整できます）。見た目は CSS およびブラウザー設定に従いながら、数式を識別しやすくするために字体が変更されます。
3. HTML コードで組版された数式は、クライアント サイドのスクリプト リンク (いわゆるスクリプトレット) にアクセス可能になります。
4. 数式テンプレートを使用して入力された数式の表示は、関係するテンプレートを修正することで簡単に変更できます。この変更は、すべての関連する数式に手動の介入なしで影響を与えます。
5. HTML コードには、入念に入力されていれば、必要に応じて方程式を TeX や他のコードに戻すためのすべてのセマンティック情報が含まれます。TeX が通常捉えない違い、例えば虚数単位に対する {{math|''i''}} や任意のインデックス変数に対する {{math|<var>i</var>}} も含まれることがあります。
6. HTML コードを使用した数式は、描画に使用されるデバイスに関係なく、可能な限り鮮明に表示されます。

<span id="Pros_of_TeX">

TeXの利点と欠点

1. TeX は HTML よりセマンティックに正確です。
   1. HTML では「x」は一般的で多少曖昧であるのに対して、TeX では「<math>x</math>」は「数学上の変数 $x$」を意味します。
   2. 一方で、同じ数式を「{{math|<var>x</var>}}」とエンコードすると、同じ視覚的結果 x が得られ、情報は失われません。これは、注意深さとより多くの入力を必要とし、入力中に数式を理解しづらくする可能性があります。
2. 論点1のひとつの結論は、TeXコードはHTMLへ変換できるが、その逆はできないということです（ただし、ウィキテキストが論点1.2のスタイルに従っている場合を除きます）。これは、サーバー側ではその複雑さやテキスト内の位置、利用者の好み、ブラウザの種類などに基づいて、常に数式を変換できることを意味します。したがって、可能な限り、TeXの利点とともにHTMLのすべての利点を保持できます。
3. 論点1の別の結論は、TeXが（例えばMathJaxによって）MathMLに変換できることで、これをサポートするブラウザではセマンティクスを保持し、読者のグラフィックデバイスにより適したレンダリングが可能になるというものです。
4. TeXは多くの職業的な数学者、科学者、そして技術者らに好まれるテキスト・フォーマッティング言語です。もしTeXで書くことができるならば彼らに投稿するよう説得するのはより容易になります。
5. TeXは特に数式組版のために設計されてきたので、もしそれに慣れているならば入力はより容易でそしてより自然であり、もしそれを含むページ全体ではなく単一の数式に焦点を当てるならば出力は見た目がより美しいです。
6. HTMLの結果がいくらかブラウザまたはブラウザのバージョンに依存するのに対して、TeXで一度正しく数式を作ると確実に描出されます。この依存性の別の側面はフォントです：数式を描出するのに使うセリフ・フォントはブラウザ依存であり、いくらかの重要なグリフ（文字などの標識）が欠けているかもしれません。ブラウザは一般的に別のフォント・ファミリーからグリフを照合して代用することができるものの、組み合わせグリフの場合はその必要はありません（ &Isquo;  a̅ ’と &Isquo;  a̅ ’を比べてみましょう）。
7. TeXで書くとき、編集者はあれこれのブラウザのあれこれのバージョンがあれこれのHTML実体をサポートしているのか悩む必要がありません。これらの決定のその重荷はそのソフトウェアに置かれます。これは別のブラウザでは容易に編集者の意図を間違ってあるいは別の形式で描出してしまうHTMLの数式には当てはまりません。
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}\stackrel{`}{a}\hat{a}\tilde{a}\breve{a}$
\check{a} \bar{a} \ddot{a} \dot{a}	$\check{a}\overline{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	$\mathrm{sh}o\mathrm{ch}p\mathrm{th}q$
\operatorname{arsinh}r\,\operatorname{arcosh}s\,\operatorname{artanh}t	$\mathrm{arsinh}r\mathrm{arcosh}s\mathrm{artanh}t$
\lim u \limsup v \liminf w \min x \max y	$\lim u\mathrm{lim\; sup}v\mathrm{lim\; inf}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	$\mathrm{deg}h\gcd i\mathrm{Pr}j\det k\mathrm{hom}l\arg m\dim n$

モジュロ演算

s_k \equiv 0 \pmod{m}	$s_k\equiv 0(\mathrm{mod}m)$
a\,\bmod\,b	$amodb$

導関数

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

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

集合

\forall \exists \empty \emptyset \varnothing	$\mathrm{\forall }\mathrm{\exists }\mathrm{\varnothing }\mathrm{\varnothing }\varnothing$
\in \ni \not\in \notin \not\ni \subset \subseteq \supset \supseteq	$\in \ni \in ̸\notin \ni ̸\subset \subseteq \supset \supseteq$
\cap \bigcap \cup \bigcup \biguplus \setminus \smallsetminus	$\cap \bigcap \cup \bigcup ⨄\setminus \setminus$
\sqsubset \sqsubseteq \sqsupset \sqsupseteq \sqcap \sqcup \bigsqcup	$⊏⊑⊐⊒\sqcap \bigsqcup ⨆$

演算子

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

論理演算子

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

冪根

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

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

関係演算子

\sim \approx \simeq \cong \dot= \overset{\underset{\mathrm{def}}{}}{=}	$\sim \approx \simeq \cong \dot{=}\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}$
< \le \ll \gg \ge > \equiv \not\equiv \ne \mbox{or} \neq \propto	$<\le \ll \gg \ge >\equiv \equiv ̸\ne \text{or}\ne \propto$
\lessapprox \lesssim \eqslantless \leqslant \leqq \geqq \geqslant \eqslantgtr \gtrsim \gtrapprox	$⪅\lesssim ⪕⩽\leqq \geqq ⩾⪖\gtrsim ⪆$

幾何学記号

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

$◊◻\mathrm{△}\mathrm{\angle }\perp \mid \nmid \Vert 45^{\circ }$

矢印

\leftarrow (or \gets) \rightarrow (or \to) \nleftarrow \nrightarrow \leftrightarrow \nleftrightarrow \longleftarrow \longrightarrow \longleftrightarrow	$\leftarrow \to \nleftarrow \nrightarrow \leftrightarrow \nleftrightarrow ⟵⟶⟷$
\Leftarrow \Rightarrow \nLeftarrow \nRightarrow \Leftrightarrow \nLeftrightarrow \Longleftarrow (or \impliedby) \Longrightarrow (or \implies) \Longleftrightarrow (or \iff)	$\Leftarrow \Rightarrow \nLeftarrow \nRightarrow \iff \nLeftrightarrow ⟸⟹⟺$
\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 ⟼\hookrightarrow \hookleftarrow ⊸\leftrightsquigarrow ⇝$

特殊記号

\And \eth \S \P \% \dagger \ddagger \ldots \cdots \colon	$\mathrm{\&}\mathrm{ð}\mathrm{\S }\P \mathrm{\%}†‡\dots \cdots :$
\smile \frown \wr \triangleleft \triangleright \infty \bot \top	$⌣⌢\wr ◃▹\mathrm{\infty }\mathrm{\perp }\mathrm{\top }$
\vdash \vDash \Vdash \models \lVert \rVert \imath \hbar	$⊢\models ⊩\models \Vert \Vert ı\hslash$
\ell \mho \Finv \Re \Im \wp \complement	$\ell \mho Ⅎ\mathrm{\Re }\mathrm{\Im }\mathrm{\wp }\complement$
\diamondsuit \heartsuit \clubsuit \spadesuit \Game \flat \natural \sharp	$\mathrm{♢}\mathrm{♡}\mathrm{♣}\mathrm{♠}⅁\mathrm{♭}\mathrm{♮}\mathrm{♯}$

その他（新規追加）

\vartriangle \triangledown \lozenge \circledS \measuredangle \nexists \Bbbk \backprime \blacktriangle \blacktriangledown	$△▽◊\mathrm{Ⓢ}\measuredangle \nexists \mathbb{k}‵▴▾$
\square \blacksquare \blacklozenge \bigstar \sphericalangle \diagup \diagdown \dotplus \Cap \Cup \barwedge	$◻◼⧫★\sphericalangle ╱╲\dotplus ⋒⋓⊼$
\veebar \doublebarwedge \boxminus \boxtimes \boxdot \boxplus \divideontimes \ltimes \rtimes \leftthreetimes	$⊻⩞\boxminus ⊠⊡⊞\divideontimes ⋉⋊⋋$
\rightthreetimes \curlywedge \curlyvee \circleddash \circledast \circledcirc \centerdot \intercal \leqq \leqslant	$⋌⋏⋎⊝⊛⊚\cdot ⊺\leqq ⩽$
\eqslantless \lessapprox \approxeq \lessdot \lll \lessgtr \lesseqgtr \lesseqqgtr \doteqdot \risingdotseq	$⪕⪅\approxeq ⋖⋘\lessgtr ⋚⪋\doteqdot \risingdotseq$
\fallingdotseq \backsim \backsimeq \subseteqq \Subset \preccurlyeq \curlyeqprec \precsim \precapprox \vartriangleleft	$\fallingdotseq \backsim \backsimeq ⫅⋐\preccurlyeq ⋞\precsim ⪷⊲$
\Vvdash \bumpeq \Bumpeq \eqsim \gtrdot	$\Vvdash \bumpeq \Bumpeq \eqsim ⋗$
\ggg \gtrless \gtreqless \gtreqqless \eqcirc \circeq \triangleq \thicksim \thickapprox \supseteqq	$⋙\gtrless ⋛⪌\eqcirc \circeq \triangleq \sim \approx ⫆$
\Supset \succcurlyeq \curlyeqsucc \succsim \succapprox \vartriangleright \shortmid \between \shortparallel \pitchfork	$⋑\succcurlyeq ⋟\succsim ⪸⊳\mid \between \parallel ⋔$
\varpropto \blacktriangleleft \therefore \backepsilon \blacktriangleright \because \nleqslant \nleqq \lneq \lneqq	$\propto ◂\therefore ∍▸\because ⪇\nleqq ⪇\lneqq$
\lvertneqq \lnsim \lnapprox \nprec \npreceq \precneqq \precnsim \precnapprox \nsim \nshortmid	$\lneqq ⋦⪉\nprec ⋠⪵⋨⪹\nsim \nmid$
\nvdash \nVdash \ntriangleleft \ntrianglelefteq \nsubseteq \nsubseteqq \varsubsetneq \subsetneqq \varsubsetneqq \ngtr	$⊬⊮⋪⋬⊈⊈⊊⫋⫋\ngtr$
\subsetneq	$⊊$
\ngeqslant \ngeqq \gneq \gneqq \gvertneqq \gnsim \gnapprox \nsucc \nsucceq \succneqq	$⪈\ngeqq ⪈\gneqq \gneqq ⋧⪊\nsucc ⋡⪶$
\succnsim \succnapprox \ncong \nshortparallel \nparallel \nvDash \nVDash \ntriangleright \ntrianglerighteq \nsupseteq	$⋩⪺≆\nparallel \nparallel ⊭⊯⋫⋭⊉$
\nsupseteqq \varsupsetneq \supsetneqq \varsupsetneqq	$⊉⊋⫌⫌$
\jmath \surd \ast \uplus \diamond \bigtriangleup \bigtriangledown \ominus	$ȷ\surd \ast \uplus \diamond △▽\ominus$
\oslash \odot \bigcirc \amalg \prec \succ \preceq \succeq	$\oslash \odot ◯⨿\prec \succ ⪯⪰$
\dashv \asymp \doteq \parallel	$⊣\asymp \doteq \parallel$
\ulcorner \urcorner \llcorner \lrcorner	$⌜⌝⌞⌟$
\Coppa\coppa\Digamma\Koppa\koppa\Sampi\sampi\Stigma\stigma\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	$\underset{a}{\overset{b}{{}_1{}^2\prod _3^4}}$
	{}_1^2\!\Omega_3^4	${}_1^2{\mathrm{\Omega }}_3^4$
記号の積み重ね	\overset{\alpha}{\omega}	$\stackrel{\alpha }{\omega }$
	\underset{\alpha}{\omega}	$\underset{\alpha }{\omega }$
	\overset{\alpha}{\underset{\gamma}{\omega}}	$\stackrel{\alpha }{\underset{\gamma }{\omega }}$
	\stackrel{\alpha}{\omega}	$\stackrel{\alpha }{\omega }$
導関数	x', y'', f', f''	$x^{\prime },y^{″},f^{\prime },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	$$\begin{gathered} \hat{a} \\ \overline{b} \\ \overrightarrow{c} \end{gathered}$$
	\overrightarrow{a b} \ \overleftarrow{c d} \ \widehat{d e f}	$$\begin{gathered} \underrightarrow{ab} \\ \underleftarrow{cd} \\ \widehat{def} \end{gathered}$$
	\overline{g h i} \ \underline{j k l}	$$\begin{gathered} \underset{‾}{ghi} \\ \underset{\_}{jkl} \end{gathered}$$
	\not 1 \ \cancel{123}	$$\begin{gathered} 1 \\ \cancel{123} \end{gathered}$$
矢印	A \xleftarrow{n+\mu-1} B \xrightarrow[T]{n\pm i-1} C	$A\stackrel{n+\mu -1}{\leftarrow }B\underset{T}{\overset{n\pm i-1}{\to }}C$
上ブレイス	\overbrace{ 1+2+\cdots+100 }^{\text{sum}\,=\,5050}	$\stackrel{\text{sum}=5050}{\underset{⏞}{1+2+\cdots +100}}$
下ブレイス	\underbrace{ a+b+\cdots+z }_{26\text{ terms}}	$\underset{26\text{ terms}}{\underbrace{a+b+\cdots +z}}$
総和	\sum_{k=1}^N k^2	$\sum _{k=1}^N{k}^2$
総和 (force \textstyle)	\textstyle \sum_{k=1}^N k^2	${\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	${\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	${\coprod }_{i=1}^N{x}_i$
極限	\lim_{n \to \infty}x_n	$\underset{n\to \mathrm{\infty }}{\lim }{x}_n$
極限 (force \textstyle)	\textstyle \lim_{n \to \infty}x_n	$\underset{n\to \mathrm{\infty }}{\lim }{x}_n$
積分	\int\limits_{1}^{3}\frac{e^3/x}{x^2}\, dx	$\underset{1}{\overset{3}{\int }}\frac{e^3/x}{x^2}dx$
積分記号∫（別の limit スタイル）	\int_{1}^{3}\frac{e^3/x}{x^2}\, dx	$\underset{1}{\overset{3}{\int }}\frac{e^3/x}{x^2}dx$
積分 (force \textstyle)	\textstyle \int\limits_{-N}^{N} e^x\, dx	$\underset{-N}{\overset{N}{\int }}{e}^{x}dx$
積分 (force \textstyle, alternate limits style)	\textstyle \int_{-N}^{N} e^x\, dx	${\int }_{-N}^N{e}^{x}dx$
二重積分	\iint\limits_D \, dx\,dy	$\underset{D}{\iint }dxdy$
三重積分	\iiint\limits_E \, dx\,dy\,dz	$\underset{E}{\iiint }dxdydz$
四重積分	\iiiint\limits_F \, dx\,dy\,dz\,dt	$\underset{F}{⨌}dxdydzdt$
線積分	\int_C x^3\, dx + 4y^2\, dy	$\underset{C}{\int }{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	$\frac{1}{2}=0.5$
大きな("ディスプレイ スタイル")分数	\dfrac{k}{k-1} = 0.5	$\frac{k}{k-1}=0.5$
大きい分数と小さい分数の混合	\dfrac{ \tfrac{1}{2}[1-(\tfrac{1}{2})^n] }{ 1-\tfrac{1}{2} } = s_n	$\frac{\frac{1}{2}[1-(\frac{1}{2}{)}^n]}{1-\frac{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	$\frac{2}{c+\frac{2}{d+\frac{1}{2}}}=a\frac{2}{c+\frac{2}{d+\frac{1}{2}}}=a$
二項係数	\binom{n}{k}	$(\genfrac{}{}{0ex}{}{n}{k})$
小さな("テキスト スタイル") 二項係数	\tbinom{n}{k}	$(\genfrac{}{}{0ex}{}{n}{k})$
大きな ("ディスプレイ スタイル") 二項係数	\dbinom{n}{k}	$(\genfrac{}{}{0ex}{}{n}{k})$
行列	\begin{matrix} x & y \\ z & v \end{matrix}	$\begin{array}{cc}x& y\\ z& v\end{array}$
	\begin{vmatrix} x & y \\ z & v \end{vmatrix}	$\left|\begin{array}{cc}x& y\\ z& v\end{array}\right|$
	\begin{Vmatrix} x & y \\ z & v \end{Vmatrix}	$\Vert \begin{array}{cc}x& y\\ z& v\end{array}\Vert$
	\begin{bmatrix} 0 & \cdots & 0 \\ \vdots & \ddots & \vdots \\ 0 & \cdots & 0 \end{bmatrix}	$\left[\begin{array}{ccc}0& \cdots & 0\\ ⋮& \ddots & ⋮\\ 0& \cdots & 0\end{array}\right]$
	\begin{Bmatrix} x & y \\ z & v \end{Bmatrix}	$\left\{\begin{array}{cc}x& y\\ z& v\end{array}\right\}$
	\begin{pmatrix} x & y \\ z & v \end{pmatrix}	$\left(\begin{array}{cc}x& y\\ z& v\end{array}\right)$
	\bigl( \begin{smallmatrix} a&b\\ c&d \end{smallmatrix} \bigr)	$\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$
配列	\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}{ccc}a& b& S\\ 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{array}{ll}n/2,& \text{if }n\text{ is even}\\ 3n+1,& \text{if }n\text{ is odd}\end{array}$
連立方程式	\begin{cases} 3x + 5y + z &= 1 \\ 7x - 2y + 4z &= 2 \\ -6x + 3y + 2z &= 3 \end{cases}	$\{\begin{array}{ll}3x+5y+z& =1\\ 7x-2y+4z& =2\\ -6x+3y+2z& =3\end{array}$
長い式を区切って入力する方法（必要なだけ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}^{\mathrm{\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{array}{rl}f(x)& =(a+b{)}^2\\ & =a^2+2ab+b^2\end{array}$
	\begin{alignat}{2} f(x) & = (a-b)^2 \\ & = a^2-2ab+b^2 \end{alignat}	$\begin{array}{rl}f(x)& =(a-b{)}^2\\ & =a^2-2ab+b^2\end{array}$
位置を揃える複数行の数式 (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]\left[\frac{a}{b}\right]$
ブレイス （コード内のブレイスの前の "\" に注意してください）	\left \{ \frac{a}{b} \right \} \quad \left \lbrace \frac{a}{b} \right \rbrace	$\left\{\frac{a}{b}\right\}\left\{\frac{a}{b}\right\}$
Angle brackets	\left \langle \frac{a}{b} \right \rangle	$⟨\frac{a}{b}⟩$
縦線と二重縦線(注:縦線は絶対値を表します)	\left | \frac{a}{b} \right \vert \left \Vert \frac{c}{d} \right \|	$\left|\frac{a}{b}\right|\Vert \frac{c}{d}\Vert$
Floor and ceiling functions:	\left \lfloor \frac{a}{b} \right \rfloor \left \lceil \frac{c}{d} \right \rceil	$\lfloor \frac{a}{b}\rfloor \lceil \frac{c}{d}\rceil$
スラッシュとバックスラッシュ	\left / \frac{a}{b} \right \backslash	$/\frac{a}{b}\backslash$
上矢印、下矢印と上下矢印	\left \uparrow \frac{a}{b} \right \downarrow \quad \left \Uparrow \frac{a}{b} \right \Downarrow \quad \left \updownarrow \frac{a}{b} \right \Updownarrow	$\uparrow \frac{a}{b}\downarrow \Uparrow \frac{a}{b}\Downarrow \updownarrow \frac{a}{b}\Updownarrow$
Delimiters can be mixed, as long as \left and \right are both used	\left [ 0,1 \right ) \left \langle \psi \right |	$[0,1)$ $⟨\psi |$
Use \left. or \right. if you don't want a delimiter to appear:	\left . \frac{A}{B} \right \} \to X	$\frac{A}{B}\}\to X$
Size of the delimiters	\big( \Big( \bigg( \Bigg( \dots \Bigg] \bigg] \Big] \big]	$\left(\right(\left(\right(\dots \left]\right]\left]\right]$
	\big\{ \Big\{ \bigg\{ \Bigg\{ \dots \Bigg\rangle \bigg\rangle \Big\rangle \big\rangle	$\left\{\right\{\left\{\right\{\dots ⟩⟩⟩⟩$
	\big| \Big| \bigg| \Bigg| \dots \Bigg\| \bigg\| \Big\| \big\|	$\left|\right|\left|\right|\dots \Vert \Vert \Vert \Vert$
	\big\lfloor \Big\lfloor \bigg\lfloor \Bigg\lfloor \dots \Bigg\rceil \bigg\rceil \Big\rceil \big\rceil	$\lfloor \lfloor \lfloor \lfloor \dots \rceil \rceil \rceil \rceil$
	\big\uparrow \Big\uparrow \bigg\uparrow \Bigg\uparrow \dots \Bigg\Downarrow \bigg\Downarrow \Big\Downarrow \big\Downarrow	$\uparrow \uparrow \uparrow \uparrow \dots \Downarrow \Downarrow \Downarrow \Downarrow$
	\big\updownarrow \Big\updownarrow \bigg\updownarrow \Bigg\updownarrow \dots \Bigg\Updownarrow \bigg\Updownarrow \Big\Updownarrow \big\Updownarrow	$\updownarrow \updownarrow \updownarrow \updownarrow \dots \Updownarrow \Updownarrow \Updownarrow \Updownarrow$
	\big / \Big / \bigg / \Bigg / \dots \Bigg\backslash \bigg\backslash \Big\backslash \big\backslash	$////\dots \backslash \backslash \backslash \backslash$

アルファベットと書体

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

ギリシャ文字
\Alpha \Beta \Gamma \Delta \Epsilon \Zeta	$\mathrm{A}\mathrm{B}\mathrm{\Gamma }\mathrm{\Delta }\mathrm{E}\mathrm{Z}$
\Eta \Theta \Iota \Kappa \Lambda \Mu	$\mathrm{H}\mathrm{\Theta }\mathrm{I}\mathrm{K}\mathrm{\Lambda }\mathrm{M}$
\Nu \Xi \Omicron \Pi \Rho \Sigma \Tau	$\mathrm{N}\mathrm{\Xi }O\mathrm{\Pi }\mathrm{P}\mathrm{\Sigma }\mathrm{T}$
\Upsilon \Phi \Chi \Psi \Omega	$\mathrm{{\rm Y}}\mathrm{\Phi }\mathrm{X}\mathrm{\Psi }\mathrm{\Omega }$
\alpha \beta \gamma \delta \epsilon \zeta	$\alpha \beta \gamma \delta ϵ\zeta$
\eta \theta \iota \kappa \lambda \mu	$\eta \theta \iota \kappa \lambda \mu$
\nu \xi \omicron \pi \rho \sigma \tau	$\nu \xi o\pi \rho \sigma \tau$
\upsilon \phi \chi \psi \omega	$\upsilon \varphi \chi \psi \omega$
\varepsilon \digamma \vartheta \varkappa	$\epsilon ϝ\vartheta \varkappa$
\varpi \varrho \varsigma \varphi	$\varpi \varrho \varsigma \phi$
Blackboard Bold/Scripts
\mathbb{A} \mathbb{B} \mathbb{C} \mathbb{D} \mathbb{E} \mathbb{F} \mathbb{G}	$\mathbb{𝔸}\mathbb{𝔹}\mathbb{ℂ}\mathbb{𝔻}\mathbb{𝔼}\mathbb{𝔽}\mathbb{𝔾}$
\mathbb{H} \mathbb{I} \mathbb{J} \mathbb{K} \mathbb{L} \mathbb{M}	$\mathbb{ℍ}\mathbb{𝕀}\mathbb{𝕁}\mathbb{𝕂}\mathbb{𝕃}\mathbb{𝕄}$
\mathbb{N} \mathbb{O} \mathbb{P} \mathbb{Q} \mathbb{R} \mathbb{S} \mathbb{T}	$\mathbb{\mathbb{N}}\mathbb{𝕆}\mathbb{\mathbb{P}}\mathbb{\mathbb{Q}}\mathbb{ℝ}\mathbb{𝕊}\mathbb{𝕋}$
\mathbb{U} \mathbb{V} \mathbb{W} \mathbb{X} \mathbb{Y} \mathbb{Z}	$\mathbb{𝕌}\mathbb{𝕍}\mathbb{𝕎}\mathbb{𝕏}\mathbb{𝕐}\mathbb{\mathbb{Z}}$
\C \N \Q \R \Z	$\mathbb{ℂ}\mathbb{\mathbb{N}}\mathbb{\mathbb{Q}}\mathbb{ℝ}\mathbb{\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}	$\mathrm{A}\mathrm{B}\mathrm{\Gamma }\mathrm{\Delta }\mathrm{E}\mathrm{Z}$
\boldsymbol{\Eta} \boldsymbol{\Theta} \boldsymbol{\Iota} \boldsymbol{\Kappa} \boldsymbol{\Lambda} \boldsymbol{\Mu}	$\mathrm{H}\mathrm{\Theta }\mathrm{I}\mathrm{K}\mathrm{\Lambda }\mathrm{M}$
\boldsymbol{\Nu} \boldsymbol{\Xi} \boldsymbol{\Omicron} \boldsymbol{\Pi} \boldsymbol{\Rho} \boldsymbol{\Sigma} \boldsymbol{\Tau}	$\mathrm{N}\mathrm{\Xi }\mathit{O}\mathrm{\Pi }\mathrm{P}\mathrm{\Sigma }\mathrm{T}$
\boldsymbol{\Upsilon} \boldsymbol{\Phi} \boldsymbol{\Chi} \boldsymbol{\Psi} \boldsymbol{\Omega}	$\mathrm{{\rm Y}}\mathrm{\Phi }\mathrm{X}\mathrm{\Psi }\mathrm{\Omega }$
\boldsymbol{\alpha} \boldsymbol{\beta} \boldsymbol{\gamma} \boldsymbol{\delta} \boldsymbol{\epsilon} \boldsymbol{\zeta}	$\mathit{\alpha }\mathit{\beta }\mathit{\gamma }\mathit{\delta }\mathit{ϵ}\mathit{\zeta }$
\boldsymbol{\eta} \boldsymbol{\theta} \boldsymbol{\iota} \boldsymbol{\kappa} \boldsymbol{\lambda} \boldsymbol{\mu}	$\mathit{\eta }\mathit{\theta }\mathit{\iota }\mathit{\kappa }\mathit{\lambda }\mathit{\mu }$
\boldsymbol{\nu} \boldsymbol{\xi} \boldsymbol{\omicron} \boldsymbol{\pi} \boldsymbol{\rho} \boldsymbol{\sigma} \boldsymbol{\tau}	$\mathit{\nu }\mathit{\xi }\mathit{o}\mathit{\pi }\mathit{\rho }\mathit{\sigma }\mathit{\tau }$
\boldsymbol{\upsilon} \boldsymbol{\phi} \boldsymbol{\chi} \boldsymbol{\psi} \boldsymbol{\omega}	$\mathit{\upsilon }\mathit{\varphi }\mathit{\chi }\mathit{\psi }\mathit{\omega }$
\boldsymbol{\varepsilon} \boldsymbol{\digamma} \boldsymbol{\vartheta} \boldsymbol{\varkappa}	$\mathit{\epsilon }\mathit{ϝ}\mathit{\vartheta }\mathit{\varkappa }$
\boldsymbol{\varpi} \boldsymbol{\varrho} \boldsymbol{\varsigma} \boldsymbol{\varphi}	$\mathit{\varpi }\mathit{\varrho }\mathit{\varsigma }\mathit{\phi }$
Italics
\mathit{A} \mathit{B} \mathit{C} \mathit{D} \mathit{E} \mathit{F} \mathit{G}	${A}{B}{C}{D}{E}{F}{G}$
\mathit{H} \mathit{I} \mathit{J} \mathit{K} \mathit{L} \mathit{M}	${H}{I}{J}{K}{L}{M}$
\mathit{N} \mathit{O} \mathit{P} \mathit{Q} \mathit{R} \mathit{S} \mathit{T}	${N}{O}{P}{Q}{R}{S}{T}$
\mathit{U} \mathit{V} \mathit{W} \mathit{X} \mathit{Y} \mathit{Z}	${U}{V}{W}{X}{Y}{Z}$
\mathit{a} \mathit{b} \mathit{c} \mathit{d} \mathit{e} \mathit{f} \mathit{g}	${a}{b}{c}{d}{e}{f}{g}$
\mathit{h} \mathit{i} \mathit{j} \mathit{k} \mathit{l} \mathit{m}	${h}{i}{j}{k}{l}{m}$
\mathit{n} \mathit{o} \mathit{p} \mathit{q} \mathit{r} \mathit{s} \mathit{t}	${n}{o}{p}{q}{r}{s}{t}$
\mathit{u} \mathit{v} \mathit{w} \mathit{x} \mathit{y} \mathit{z}	${u}{v}{w}{x}{y}{z}$
\mathit{0} \mathit{1} \mathit{2} \mathit{3} \mathit{4}	${0}{1}{2}{3}{4}$
\mathit{5} \mathit{6} \mathit{7} \mathit{8} \mathit{9}	${5}{6}{7}{8}{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{𝔄}\mathfrak{𝔅}\mathfrak{ℭ}\mathfrak{𝔇}\mathfrak{𝔈}\mathfrak{𝔉}\mathfrak{𝔊}$
\mathfrak{H} \mathfrak{I} \mathfrak{J} \mathfrak{K} \mathfrak{L} \mathfrak{M}	$\mathfrak{ℌ}\mathfrak{\Im }\mathfrak{𝔍}\mathfrak{𝔎}\mathfrak{𝔏}\mathfrak{𝔐}$
\mathfrak{N} \mathfrak{O} \mathfrak{P} \mathfrak{Q} \mathfrak{R} \mathfrak{S} \mathfrak{T}	$\mathfrak{𝔑}\mathfrak{𝔒}\mathfrak{𝔓}\mathfrak{𝔔}\mathfrak{\Re }\mathfrak{𝔖}\mathfrak{𝔗}$
\mathfrak{U} \mathfrak{V} \mathfrak{W} \mathfrak{X} \mathfrak{Y} \mathfrak{Z}	$\mathfrak{𝔘}\mathfrak{𝔙}\mathfrak{𝔚}\mathfrak{𝔛}\mathfrak{𝔜}\mathfrak{\mathbb{Z}}$
\mathfrak{a} \mathfrak{b} \mathfrak{c} \mathfrak{d} \mathfrak{e} \mathfrak{f} \mathfrak{g}	$\mathfrak{𝔞}\mathfrak{𝔟}\mathfrak{𝔠}\mathfrak{𝔡}\mathfrak{𝔢}\mathfrak{𝔣}\mathfrak{𝔤}$
\mathfrak{h} \mathfrak{i} \mathfrak{j} \mathfrak{k} \mathfrak{l} \mathfrak{m}	$\mathfrak{𝔥}\mathfrak{𝔦}\mathfrak{𝔧}\mathfrak{𝔨}\mathfrak{𝔩}\mathfrak{𝔪}$
\mathfrak{n} \mathfrak{o} \mathfrak{p} \mathfrak{q} \mathfrak{r} \mathfrak{s} \mathfrak{t}	$\mathfrak{𝔫}\mathfrak{𝔬}\mathfrak{𝔭}\mathfrak{𝔮}\mathfrak{𝔯}\mathfrak{𝔰}\mathfrak{𝔱}$
\mathfrak{u} \mathfrak{v} \mathfrak{w} \mathfrak{x} \mathfrak{y} \mathfrak{z}	$\mathfrak{𝔲}\mathfrak{𝔳}\mathfrak{𝔴}\mathfrak{𝔵}\mathfrak{𝔶}\mathfrak{𝔷}$
\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{H} \mathcal{I} \mathcal{J} \mathcal{K} \mathcal{L} \mathcal{M}	${\mathscr{H}}{ℐ}{𝒥}{𝒦}{ℒ}{ℳ}$
\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	$\mathrm{\aleph }\beth \gimel \daleth$

機能	構文	描写結果
non-italicised characters	\mbox{abc}	$\text{abc}$
mixed italics (bad)	\mbox{if} n \mbox{is even}	$\text{if}n\text{is even}$
mixed italics (good)	\mbox{if }n\mbox{ is even}	$\text{if }n\text{ is even}$
mixed italics (more legible: ~ is a non-breaking space, while "\ " forces a space)	\mbox{if}~n\ \mbox{is even}	$$\begin{gathered} \text{if}n \\ \text{is even} \end{gathered}$$

色

式で色を使えます:

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

  $x^2+2x-1$

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

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

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

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

書式関連

スペース

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

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

自動スペース調整は、非常に長大な式場合だと一貫しない可能性があります (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}	${\mathrm{\Gamma }}_{i\phantom{j}k}^{\phantom{i}j}$
Empty vertical spacing	-e\sqrt{\vphantom{p'}p},\; -e'\sqrt{p'},\; \ldots	$-e\sqrt{\phantom{p^{\prime }}p},-e^{\prime }\sqrt{p^{\prime }},\dots$
Empty horizontal spacing	\int u^2\,du=\underline{\hphantom{(2/3)u^3+C}}	$\int u^{2}du=\underset{\_}{\phantom{(2/3)u^3+C}}$

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

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

img.tex { vertical-align: middle; }

平文の中で数式$\underset{-N}{\overset{N}{\int }}{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>
$\mathrm{C}{\phantom{A}}_6\mathrm{H}{\phantom{A}}_5-\mathrm{C}\mathrm{H}\mathrm{O}$

<chem>\mathit{A} ->[\ce{+H2O}] \mathit{B}</chem>
${A}\stackrel{+\mathrm{H}{\phantom{A}}_2\mathrm{O}}{\to }{B}$

<math chem>A \ce{->[\ce{+H2O}]} B</math>
$A\stackrel{+\mathrm{H}{\phantom{A}}_2\mathrm{O}}{\to }B$

<chem>SO4^2- + Ba^2+ -> BaSO4 v</chem>
$\mathrm{S}\mathrm{O}{\phantom{A}}_4{\phantom{A}}^{2-}+\mathrm{B}\mathrm{a}{\phantom{A}}^{2+}⟶\mathrm{B}\mathrm{a}\mathrm{S}\mathrm{O}{\phantom{A}}_4\downarrow$

<chem>H2NCO2- + H2O <=> NH4+ + CO3^2-</chem>
$\mathrm{H}{\phantom{A}}_2\mathrm{N}\mathrm{C}\mathrm{O}{\phantom{A}}_2{\phantom{A}}^{-}+\mathrm{H}{\phantom{A}}_2\mathrm{O}\stackrel{-\rightharpoonup }{\leftharpoondown -}\mathrm{N}\mathrm{H}{\phantom{A}}_4{\phantom{A}}^{+}+\mathrm{C}\mathrm{O}{\phantom{A}}_3{\phantom{A}}^{2-}$

<chem>H2O</chem>
$\mathrm{H}{\phantom{A}}_2\mathrm{O}$

<chem>Sb2O3</chem>
$\mathrm{S}\mathrm{b}{\phantom{A}}_2\mathrm{O}{\phantom{A}}_3$

<chem>H+</chem>
$\mathrm{H}{\phantom{A}}^{+}$

<chem>CrO4^2-</chem>
$\mathrm{C}\mathrm{r}\mathrm{O}{\phantom{A}}_4{\phantom{A}}^{2-}$

<chem>AgCl2-</chem>
$\mathrm{A}\mathrm{g}\mathrm{C}\mathrm{l}{\phantom{A}}_2{\phantom{A}}^{-}$

<chem>[AgCl2]-</chem>
$[\mathrm{A}\mathrm{g}\mathrm{C}\mathrm{l}{\phantom{A}}_2]{\phantom{A}}^{-}$

<chem>Y^{99}+</chem>
$\mathrm{Y}{\phantom{A}}^{99+}$

<chem>Y^{99+}</chem>
$\mathrm{Y}{\phantom{A}}^{99+}$

<chem>H2_{(aq)}</chem>
$\mathrm{H}{\phantom{A}}_2{\phantom{A}}_{(\mathrm{a}\mathrm{q})}$

<chem>NO3-</chem>
$\mathrm{N}\mathrm{O}{\phantom{A}}_3{\phantom{A}}^{-}$

<chem>(NH4)2S</chem>
$(\mathrm{N}\mathrm{H}{\phantom{A}}_4){\phantom{A}}_2\mathrm{S}$

二次多項式

$a{x}^2+bx+c=0$

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

二次多項式（強制PNG）

$a{x}^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{(3-x)\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{{(5-T)}^2}{2}$

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

積分

$\underset{a}{\overset{x}{\int }}\underset{a}{\overset{s}{\int }}f(y)dyds=\underset{a}{\overset{x}{\int }}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}^{\mathrm{\infty }}\sum _{n=1}^{\mathrm{\infty }}\frac{m^{2}n}{3^m(m{3}^n+n{3}^m)}$

<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^{\prime }+q(x)u=f(x),x>a$

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

複素数

$|\overline{z}|=|z|,|(\overline{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>

極限

$\underset{z\to z_0}{\lim }f(z)=f(z_0)$

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

積分方程式

${\varphi }_n(\kappa )=\frac{1}{4{\pi }^2{\kappa }^2}\underset{0}{\overset{\mathrm{\infty }}{\int }}\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>

例

${\varphi }_n(\kappa )=0.033C_n^2{\kappa }^{-11/3},\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{array}{ll}1& -1\le x<0\\ \frac{1}{2}& x=0\\ 1-x^2& \text{otherwise}\end{array}$

<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}^{\mathrm{\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}$   $\frac{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.