Help:Formulas

MediaWiki uses a subset of AMS-LaTeX markup, a superset of LaTeX markup which is in turn a superset of TeX markup, for mathematical formulae. It generates either PNG images or simple HTML markup, depending on user preferences and the complexity of the expression. In the future, as more browsers become smarter, it will be able to generate enhanced HTML or even MathML in many cases.

Technicals

Syntax

Math markup goes inside <math> ... </math>. The edit toolbar has a button for this.

Similar to HTML, in TeX extra spaces and newlines are ignored.

The TeX code has to be put literally: MediaWiki templates, predefined templates, and parameters cannot be used within math tags: pairs of double braces are ignored and "#" gives an error message. However, math tags work in the then and else part of #if, etc.

Rendering

The PNG colors, as well as font sizes and types, are independent of browser settings or CSS. Font sizes and types will often deviate from what HTML renders. Vertical alignment with the surrounding text can also be a problem.

The alt text of the PNG images, which is displayed to visually impaired and other readers who cannot see the images, defaults to the wikitext that produced the image, excluding the <math> and </math>. You can override this by explicitly specifying an alt attribute for the math element. For example, <math alt="Square root of pi">\sqrt{\pi}</math> generates an image $\sqrt{\pi }$ whose alt text is "Square root of pi".

Apart from function and operator names, as is customary in mathematics, variables and letters are in italics; digits are not. For other text, (like variable labels) to avoid being rendered in italics like variables, use \text or \mathrm. For example, <math>\text{abc}</math> gives $\text{abc}$. This does not work for special characters; they are ignored unless the whole <math> expression is rendered in HTML:

• <math>\text {abcdefghijklmnopqrstuvwxyzàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ}</math>
• <math>\text {abcdefghijklmnopqrstuvwxyzàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ}\,\!</math>

gives:

• $\text{abcdefghijklmnopqrstuvwxyzàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ}$
• $\text{abcdefghijklmnopqrstuvwxyzàáâãäåæçèéêëìíîïðñòóôõö÷øùúûüýþÿ}$

TeX vs HTML

Before introducing TeX markup for producing special characters, it should be noted that, as this comparison table shows, sometimes similar results can be achieved in HTML.

TeX syntax (forcing PNG)	TeX rendering	HTML syntax	HTML rendering
<math>\alpha\,\!</math>	$\alpha$	{{math|<var>&alpha;</var>}}	Template:Math
<math>\sqrt{2}</math>	$\sqrt{2}$	{{math|{{radical|2}}}}	Template:Math
<math>\sqrt{1-e^2}</math>	$\sqrt{1-e^2}$	{{math|{{radical|1 − ''e''²}}}}	Template:Math

The codes on the left produce the symbols on the right, but the latter can also be put directly in the wikitext, except for ‘=’.

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

Both HTML and TeX have advantages in some situations.

Pros of HTML

1. Formulas in HTML behave more like regular text. In-line HTML formulas always align properly with the rest of the HTML text and, to some degree, can be cut-and-pasted. The formula's background and font size match the rest of HTML contents and the appearance respects CSS and browser settings while the typeface is conveniently altered to help you identify formulas. The display of a formula entered using mathematical templates can be conveniently altered by modifying the templates involved; this modification will affect all relevant formulas without any manual intervention. Formulas typeset with HTML code will be accessible to client-side script links (a.k.a. scriptlets).
2. Pages using HTML code for formulas will load faster.
3. The HTML code, if entered diligently, will contain all semantic information to transform the equation back to TeX or any other code as needed. It can even contain differences TeX does not normally catch, e.g. {{math|''i''}} for the imaginary unit and {{math|<var>i</var>}} for an arbitrary index variable.

Pros of TeX

1. TeX is semantically more precise than HTML.
   1. In TeX, "<math>x</math>" means "mathematical variable $x$", whereas in HTML "x" is generic and somewhat ambiguous.
   2. On the other hand, if you encode the same formula as "{{math|<var>x</var>}}", you get the same visual result Template:Math and no information is lost. This requires diligence and more typing that could make the formula harder to understand as you type it. However, since there are far more readers than editors, this effort is worth considering.

   One consequence of this is that TeX code can be transformed into HTML, but not vice-versa. This means that on the server side we can always transform a formula, based on its complexity and location within the text, user preferences, type of browser, etc. Therefore, where possible, all the benefits of HTML can be retained, together with the benefits of TeX. It is true that the current situation is not ideal, but that is not a good reason to drop information/contents. Another consequence of this is that TeX can be converted to MathML for browsers which support it, thus keeping its semantics and allowing the rendering to be better suited for the reader's graphic device.

2. TeX is the preferred text formatting language of most professional mathematicians, scientists, and engineers. It is easier to persuade them to contribute if they can write in TeX. TeX has been specifically designed for typesetting formulas, so input is easier and more natural if you are accustomed to it, and output is more aesthetically pleasing if you focus on a single formula rather than on the whole containing page. Once a formula is done correctly in TeX, it will render reliably, whereas the success of HTML formulas is somewhat dependent on browsers or versions of browsers. Another aspect of this dependency is fonts: the serif font used for rendering formulas is browser-dependent and it may be missing some important glyphs. While browsers are generally able to substitute a matching glyph from a different font family, this may not work for combined glyphs (compare ‘ Template:IPA ’ and ‘ a̅ ’).Template:Ref
3. TeX formulas, by default, render larger and are usually more readable than HTML formula and are not dependent on client-side browser resources, such as fonts, and so the results are more reliably WYSIWYG.
4. While TeX does not assist you in finding HTML codes or Unicode values (which you can obtain by viewing the HTML source in your browser), cutting and pasting from a TeX PNG in Wikipedia into simple text will return the LaTeX source.

In some cases it may be the best choice to use neither TeX nor the html-substitutes, but instead the simple ASCII symbols of a standard keyboard (see below, for an example).

Functions, symbols, special characters

Accents/diacritics
\dot{a}, \ddot{a}, \acute{a}, \grave{a}	$\dot{a},\ddot{a},\acute{a},\stackrel{`}{a}$
\check{a}, \breve{a}, \tilde{a}, \bar{a}	$\check{a},\breve{a},\tilde{a},\overline{a}$
\hat{a}, \widehat{a}, \vec{a}	$\hat{a},\hat{a},\overrightarrow{a}$
Standard functions
\exp_a b = a^b, \exp b = e^b, 10^m	${\exp }_{a}b=a^b,\exp b=e^b,10^m$
\ln c, \lg d = \log e, \log_{10} f	$\ln c,\lg d=\log e,{\log }_{10}f$
\sin a, \cos b, \tan c, \cot d, \sec e, \csc f	$\sin a,\cos b,\tan c,\cot d,\sec e,\csc 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} k, \operatorname{ch} l, \operatorname{th} m, \operatorname{coth} n	$\mathrm{sh}k,\mathrm{ch}l,\mathrm{th}m,\coth n$
\operatorname{argsh} o, \operatorname{argch} p, \operatorname{argth} q	$\mathrm{argsh}o,\mathrm{argch}p,\mathrm{argth}q$
\sgn r, \left\vert s \right\vert	$\mathrm{sgn}r,\left|s\right|$
Bounds
\min x, \max y, \inf s, \sup t	$\min x,\max y,\inf s,\sup t$
\lim u, \liminf v, \limsup w	$\lim u,\mathrm{lim\; inf}v,\mathrm{lim\; sup}w$
\dim p, \deg q, \det m, \ker\phi	$\dim p,\mathrm{deg}q,\det m,\ker \varphi$
Projections
\Pr j, \hom l, \lVert z \rVert, \arg z	$\mathrm{Pr}j,\mathrm{hom}l,\Vert z\Vert ,\arg z$
Differentials and derivatives
dt, \operatorname{d}t, \partial t, \nabla\psi	$dt,\mathrm{d}t,\partial t,\mathrm{\nabla }\psi$
\operatorname{d}y/\operatorname{d}x, {\operatorname{d}y\over\operatorname{d}x}, {\partial^2\over\partial x_1\partial x_2}y	$\mathrm{d}y/\mathrm{d}x,\frac{\mathrm{d}y}{\mathrm{d}x},\frac{{\partial }^2}{\partial x_1\partial x_2}y$
\prime, \backprime, f^\prime, f', f'', f^{(3)}, \dot y, \ddot y	$\prime ,‵,f^{\prime },f^{\prime },f^{″},f^{(3)},\dot{y},\ddot{y}$
Letter-like symbols or constants
\infty, \alef, \complement, \backepsilon, \eth, \Finv, \hbar	$\mathrm{\infty },\mathrm{\aleph },\complement ,∍,\mathrm{ð},Ⅎ,\hslash$
\Im, \imath, \jmath, \Bbbk, \ell, \mho, \wp, \Re, \circledS	$\mathrm{\Im },ı,ȷ,𝕜,\ell ,\mho ,\mathrm{\wp },\mathrm{\Re },\mathrm{Ⓢ}$
Modular arithmetic
s_k \equiv 0 \pmod{m}	$s_k\equiv 0(\mathrm{mod}m)$
a\,\bmod\,b	$amodb$
\gcd(m, n), \operatorname{lcm}(m, n)	$\gcd (m,n),\mathrm{lcm}(m,n)$
\mid, \nmid, \shortmid, \nshortmid	$\mid ,\nmid ,\mid ,\nmid$
Radicals
\surd, \sqrt{2}, \sqrt[n]{}, \sqrt[3]{x^3+y^3 \over 2}	$\surd ,\sqrt{2},\sqrt[n]{},\sqrt[3]{\frac{x^3+y^3}{2}}$
Operators
+, -, \pm, \mp, \dotplus	$+,-,\pm ,\mp ,\dotplus$
\times, \div, \divideontimes, /, \backslash	$\times ,÷,\divideontimes ,/,\mathrm{\setminus }$
\cdot, * \ast, \star, \circ, \bullet	$\cdot ,*\ast ,\star ,\circ ,\bullet$
\boxplus, \boxminus, \boxtimes, \boxdot	$⊞,\boxminus ,⊠,⊡$
\oplus, \ominus, \otimes, \oslash, \odot	$\oplus ,\ominus ,\otimes ,\oslash ,\odot$
\circleddash, \circledcirc, \circledast	$⊝,⊚,⊛$
\bigoplus, \bigotimes, \bigodot	$⨁,⨂,⨀$
Sets
\{ \}, \O \empty \emptyset, \varnothing	$\{\},\mathrm{\varnothing }\mathrm{\varnothing }\mathrm{\varnothing },\varnothing$
\in, \notin \not\in, \ni, \not\ni	$\in ,\notin \in ̸,\ni ,\ni ̸$
\cap, \Cap, \sqcap, \bigcap, \setminus, \smallsetminus	$\cap ,⋒,\sqcap ,\bigcap ,\setminus ,\setminus$
\cup, \Cup, \sqcup, \bigcup, \bigsqcup, \uplus, \biguplus	$\cup ,⋓,\bigsqcup ,\bigcup ,⨆,\uplus ,⨄$
\subset, \Subset, \sqsubset	$\subset ,⋐,⊏$
\supset, \Supset, \sqsupset	$\supset ,⋑,⊐$
\subseteq, \nsubseteq, \subsetneq, \varsubsetneq, \sqsubseteq	$\subseteq ,⊈,⊊,⊊,⊑$
\supseteq, \nsupseteq, \supsetneq, \varsupsetneq, \sqsupseteq	$\supseteq ,⊉,⊋,⊋,⊒$
\subseteqq, \nsubseteqq, \subsetneqq, \varsubsetneqq	$⫅,⊈,⫋,⫋$
\supseteqq, \nsupseteqq, \supsetneqq, \varsupsetneqq	$⫆,⊉,⫌,⫌$
Relations
=, \ne \neq, \equiv, \not\equiv	$=,\ne \ne ,\equiv ,\equiv ̸$
\doteq, \overset{\underset{\mathrm{def}}{}}{=}, :=	$\doteq ,\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=},:=$
\sim, \nsim, \backsim, \thicksim, \simeq, \backsimeq, \eqsim, \cong, \ncong	$\sim ,\nsim ,\backsim ,\sim ,\simeq ,\backsimeq ,\eqsim ,\cong ,≆$
\approx, \thickapprox, \approxeq, \asymp, \propto, \varpropto	$\approx ,\approx ,\approxeq ,\asymp ,\propto ,\propto$
<, \nless, \ll, \not\ll, \lll, \not\lll, \lessdot	$<,\nless ,\ll ,\ll ̸,⋘,⋘̸,⋖$
>, \ngtr, \gg, \not\gg, \ggg, \not\ggg, \gtrdot	$>,\ngtr ,\gg ,\gg ̸,⋙,⋙̸,⋗$
\le \leq, \lneq, \leqq, \nleqq, \lneqq, \lvertneqq	$\le \le ,⪇,\leqq ,\nleqq ,\lneqq ,\lneqq$
\ge \geq, \gneq, \geqq, \ngeqq, \gneqq, \gvertneqq	$\ge \ge ,⪈,\geqq ,\ngeqq ,\gneqq ,\gneqq$
\lessgtr \lesseqgtr \lesseqqgtr \gtrless \gtreqless \gtreqqless	$\lessgtr ⋚⪋\gtrless ⋛⪌$
\leqslant, \nleqslant, \eqslantless	$⩽,⪇,⪕$
\geqslant, \ngeqslant, \eqslantgtr	$⩾,⪈,⪖$
\lesssim, \lnsim, \lessapprox, \lnapprox	$\lesssim ,⋦,⪅,⪉$
\gtrsim, \gnsim, \gtrapprox, \gnapprox	$\gtrsim ,⋧,⪆,⪊$
\prec, \nprec, \preceq, \npreceq, \precneqq	$\prec ,\nprec ,⪯,⋠,⪵$
\succ, \nsucc, \succeq, \nsucceq, \succneqq	$\succ ,\nsucc ,⪰,⋡,⪶$
\preccurlyeq, \curlyeqprec	$\preccurlyeq ,⋞$
\succcurlyeq, \curlyeqsucc	$\succcurlyeq ,⋟$
\precsim, \precnsim, \precapprox, \precnapprox	$\precsim ,⋨,⪷,⪹$
\succsim, \succnsim, \succapprox, \succnapprox	$\succsim ,⋩,⪸,⪺$
Geometric
\parallel, \nparallel, \shortparallel, \nshortparallel	$\parallel ,\nparallel ,\parallel ,\nparallel$
\perp, \angle, \sphericalangle, \measuredangle, 45^\circ	$\perp ,\mathrm{\angle },\sphericalangle ,\measuredangle ,45^{\circ }$
\Box, \blacksquare, \diamond, \Diamond \lozenge, \blacklozenge, \bigstar	$◻,◼,\diamond ,◊◊,⧫,★$
\bigcirc, \triangle \bigtriangleup, \bigtriangledown	$◯,\mathrm{△}△,▽$
\vartriangle, \triangledown	$△,▽$
\blacktriangle, \blacktriangledown, \blacktriangleleft, \blacktriangleright	$▴,▾,◂,▸$
Logic
\forall, \exists, \nexists	$\mathrm{\forall },\mathrm{\exists },\nexists$
\therefore, \because, \And	$\therefore ,\because ,\mathrm{\&}$
\or \lor \vee, \curlyvee, \bigvee	$\vee \vee \vee ,⋎,\bigvee$
\and \land \wedge, \curlywedge, \bigwedge	$\wedge \wedge \wedge ,⋏,\bigwedge$
\bar{q}, \overline{q}, \lnot \neg, \not\operatorname{R}, \bot, \top	$\overline{q},\bar{q},\mathrm{\neg }\mathrm{\neg },\text{⧸}\mathrm{R},\mathrm{\perp },\mathrm{\top }$
\vdash \dashv, \vDash, \Vdash, \models	$⊢⊣,\models ,⊩,\models$
\Vvdash \nvdash \nVdash \nvDash \nVDash	$\Vvdash ⊬⊮⊭⊯$
\ulcorner \urcorner \llcorner \lrcorner	$⌜⌝⌞⌟$
Arrows
\Rrightarrow, \Lleftarrow	$\Rrightarrow ,\Lleftarrow$
\Rightarrow, \nRightarrow, \Longrightarrow \implies	$\Rightarrow ,\nRightarrow ,⟹⟹$
\Leftarrow, \nLeftarrow, \Longleftarrow	$\Leftarrow ,\nLeftarrow ,⟸$
\Leftrightarrow, \nLeftrightarrow, \Longleftrightarrow \iff	$\iff ,\nLeftrightarrow ,⟺⟺$
\Uparrow, \Downarrow, \Updownarrow	$\Uparrow ,\Downarrow ,\Updownarrow$
\rightarrow \to, \nrightarrow, \longrightarrow	$\to \to ,\nrightarrow ,⟶$
\leftarrow \gets, \nleftarrow, \longleftarrow	$\leftarrow \leftarrow ,\nleftarrow ,⟵$
\leftrightarrow, \nleftrightarrow, \longleftrightarrow	$\leftrightarrow ,\nleftrightarrow ,⟷$
\uparrow, \downarrow, \updownarrow	$\uparrow ,\downarrow ,\updownarrow$
\nearrow, \swarrow, \nwarrow, \searrow	$\nearrow ,\swarrow ,\nwarrow ,\searrow$
\mapsto, \longmapsto	$\mapsto ,⟼$
\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 \rightarrowtail \looparrowright	$\curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \rightarrowtail \looparrowright$
\curvearrowright \circlearrowright \Rsh \downdownarrows \leftleftarrows \leftrightarrows \leftarrowtail \looparrowleft	$\curvearrowright \circlearrowright \Rsh \downdownarrows \leftleftarrows \leftrightarrows \leftarrowtail \looparrowleft$
\hookrightarrow \hookleftarrow \multimap \leftrightsquigarrow \rightsquigarrow \twoheadrightarrow \twoheadleftarrow	$\hookrightarrow \hookleftarrow ⊸\leftrightsquigarrow ⇝\twoheadrightarrow \twoheadleftarrow$
Special
\amalg \P \S \% \dagger \ddagger \ldots \cdots	$⨿\P \mathrm{\S }\mathrm{\%}†‡\dots \cdots$
\smile \frown \wr \triangleleft \triangleright	$⌣⌢\wr ◃▹$
\diamondsuit, \heartsuit, \clubsuit, \spadesuit, \Game, \flat, \natural, \sharp	$\mathrm{♢},\mathrm{♡},\mathrm{♣},\mathrm{♠},⅁,\mathrm{♭},\mathrm{♮},\mathrm{♯}$
Unsorted (new stuff)
\diagup \diagdown \centerdot \ltimes \rtimes \leftthreetimes \rightthreetimes	$╱╲\cdot ⋉⋊⋋⋌$
\eqcirc \circeq \triangleq \bumpeq \Bumpeq \doteqdot \risingdotseq \fallingdotseq	$\eqcirc \circeq \triangleq \bumpeq \Bumpeq \doteqdot \risingdotseq \fallingdotseq$
\intercal \barwedge \veebar \doublebarwedge \between \pitchfork	$⊺⊼⊻⩞\between ⋔$
\vartriangleleft \ntriangleleft \vartriangleright \ntriangleright	$⊲⋪⊳⋫$
\trianglelefteq \ntrianglelefteq \trianglerighteq \ntrianglerighteq	$⊴⋬⊵⋭$
\Coppa\coppa\varcoppa\Digamma\Koppa\koppa\Sampi\sampi\Stigma\stigma\varstigma	$ϘϙϙϜϞϟϠϡϚϛϛ$

For a little more semantics on these symbols, see the brief TeX Cookbook.

Larger expressions

Subscripts, superscripts, integrals

Feature	Syntax	How it looks rendered
		HTML	PNG
Superscript	a^2	$a^2$	$a^2$
Subscript	a_2	$a_2$	$a_2$
Grouping	10^{30} a^{2+2}	$10^{30}{a}^{2+2}$	$10^{30}{a}^{2+2}$
	a_{i,j} b_{f'}	$a_{i,j}{b}_{f^{\prime }}$	$a_{i,j}{b}_{f^{\prime }}$
Combining sub & super without and with horizontal separation	x_2^3		$x_2^3$
	{x_2}^3		${x_2}^3$
Super super	10^{10^{8}}		$10^{10^8}$
Preceding and/or additional sub & super	\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$
Stacking	\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 }$
Derivative (f in italics may overlap primes in HTML)	x', y'', f', f''	$x^{\prime },y^{″},f^{\prime },f^{″}$	$x^{\prime },y^{″},f^{\prime },f^{″}$
Derivative (wrong in HTML)	x^\prime, y^{\prime\prime}	$x^{\prime },y^{\prime \prime }$	$x^{\prime },y^{\prime \prime }$
Derivative (wrong in PNG)	x\prime, y\prime\prime	$x\prime ,y\prime \prime$	$x\prime ,y\prime \prime$
Derivative dots	\dot{x}, \ddot{x}		$\dot{x},\ddot{x}$
Underlines, overlines, vectors	\hat a \ \bar b \ \vec c	$\hat{a}\overline{b}\overrightarrow{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}\underset{\_}{jkl}$
Arrows	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$
Overbraces	\overbrace{ 1+2+\cdots+100 }^{5050}	$\stackrel{5050}{\overbrace{1+2+\cdots +100}}$
Underbraces	\underbrace{ a+b+\cdots+z }_{26}	$\underset{26}{\underbrace{a+b+\cdots +z}}$
Sum	\sum_{k=1}^N k^2	$\sum _{k=1}^N{k}^2$
Sum (force \textstyle)	\textstyle \sum_{k=1}^N k^2	${\sum }_{k=1}^N{k}^2$
Sum in a fraction (default \textstyle)	\frac{\sum_{k=1}^N k^2}{a}	$\frac{\sum _{k=1}^N{k}^2}{a}$
Sum in a fraction (force \displaystyle)	\frac{\displaystyle \sum_{k=1}^N k^2}{a}	$\frac{\sum _{k=1}^N{k}^2}{a}$
Product	\prod_{i=1}^N x_i	$\prod _{i=1}^N{x}_i$
Product (force \textstyle)	\textstyle \prod_{i=1}^N x_i	${\prod }_{i=1}^N{x}_i$
Coproduct	\coprod_{i=1}^N x_i	$\coprod _{i=1}^N{x}_i$
Coproduct (force \textstyle)	\textstyle \coprod_{i=1}^N x_i	${\coprod }_{i=1}^N{x}_i$
Limit	\lim_{n \to \infty}x_n	$\underset{n\to \mathrm{\infty }}{\lim }{x}_n$
Limit (force \textstyle)	\textstyle \lim_{n \to \infty}x_n	$\underset{n\to \mathrm{\infty }}{\lim }{x}_n$
Integral	\int\limits_{1}^{3}\frac{e^3/x}{x^2}\, dx	$\underset{1}{\overset{3}{\int }}\frac{e^3/x}{x^2}dx$
Integral (alternate limits style)	\int_{1}^{3}\frac{e^3/x}{x^2}\, dx	$\underset{1}{\overset{3}{\int }}\frac{e^3/x}{x^2}dx$
Integral (force \textstyle)	\textstyle \int\limits_{-N}^{N} e^x\, dx	$\underset{-N}{\overset{N}{\int }}{e}^{x}dx$
Integral (force \textstyle, alternate limits style)	\textstyle \int_{-N}^{N} e^x\, dx	${\int }_{-N}^N{e}^{x}dx$
Double integral	\iint\limits_D \, dx\,dy	$\underset{D}{\iint }dxdy$
Triple integral	\iiint\limits_E \, dx\,dy\,dz	$\underset{E}{\iiint }dxdydz$
Quadruple integral	\iiiint\limits_F \, dx\,dy\,dz\,dt	$\underset{F}{⨌}dxdydzdt$
Line or path integral	\int_{(x,y)\in C} x^3\, dx + 4y^2\, dy	$\underset{(x,y)\in C}{\int }{x}^{3}dx+4y^{2}dy$
Closed line or path integral	\oint_{(x,y)\in C} x^3\, dx + 4y^2\, dy	${\oint }_{(x,y)\in C}{x}^{3}dx+4y^{2}dy$
Intersections	\bigcap_{i=_1}^n E_i	$\bigcap _{i{=}_1}^n{E}_i$
Unions	\bigcup_{i=_1}^n E_i	$\bigcup _{i{=}_1}^n{E}_i$

Fractions, matrices, multilines

Feature	Syntax	How it looks rendered
Fractions	\frac{2}{4}=0.5 or {2 \over 4}=0.5	$\frac{2}{4}=0.5$
Small fractions	\tfrac{2}{4} = 0.5	$\frac{2}{4}=0.5$
Large (normal) fractions	\dfrac{2}{4} = 0.5 \qquad \dfrac{2}{c + \dfrac{2}{d + \dfrac{2}{4}}} = a	$\frac{2}{4}=0.5\frac{2}{c+\frac{2}{d+\frac{2}{4}}}=a$
Large (nested) fractions	\cfrac{2}{c + \cfrac{2}{d + \cfrac{2}{4}}} = a	$\frac{2}{c+\frac{2}{d+\frac{2}{4}}}=a$
Binomial coefficients	\binom{n}{k}	$(\genfrac{}{}{0ex}{}{n}{k})$
Small binomial coefficients	\tbinom{n}{k}	$(\genfrac{}{}{0ex}{}{n}{k})$
Large (normal) binomial coefficients	\dbinom{n}{k}	$(\genfrac{}{}{0ex}{}{n}{k})$
Matrices	\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)$
Case distinctions	f(n) = \begin{cases} n/2, & \text{if }n\text{ is even} \\ 3n+1, & \text{if }n\text{ is odd} \end{cases}	$f(n)=\{\begin{array}{cc}n/2,& \text{if }n\text{ is even}\\ 3n+1,& \text{if }n\text{ is odd}\end{array}$
Multiline equations	\begin{align} f(x) & = (a+b)^2 \\ & = a^2+2ab+b^2 \\ \end{align}	$\begin{array}{cc}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}{cc}f(x)& =(a-b{)}^2\\ & =a^2-2ab+b^2\\ \end{array}$
Multiline equations (must define number of columns used ({lcr}) (should not be used unless needed)	\begin{array}{lcl} z & = & a \\ f(x,y,z) & = & x + y + z \end{array}	$\begin{array}{ccc}z& =& a\\ f(x,y,z)& =& x+y+z\end{array}$
Multiline equations (more)	\begin{array}{lcr} z & = & a \\ f(x,y,z) & = & x + y + z \end{array}	$\begin{array}{ccc}z& =& a\\ f(x,y,z)& =& x+y+z\end{array}$
Breaking up a long expression so that it wraps when necessary, at the expense of destroying correct spacing	<math>f(x) \,\!</math> <math>= \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$
Simultaneous equations	\begin{cases} 3x + 5y + z \\ 7x - 2y + 4z \\ -6x + 3y + 2z \end{cases}	$\{\begin{array}{c}3x+5y+z\\ 7x-2y+4z\\ -6x+3y+2z\end{array}$
Arrays	\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}$

Parenthesizing big expressions, brackets, bars

Feature	Syntax	How it looks rendered
Bad	( \frac{1}{2} )	$(\frac{1}{2})$
Good	\left ( \frac{1}{2} \right )	$\left(\frac{1}{2}\right)$

You can use various delimiters with \left and \right:

Feature	Syntax	How it looks rendered
Parentheses	\left ( \frac{a}{b} \right )	$\left(\frac{a}{b}\right)$
Brackets	\left [ \frac{a}{b} \right ] \quad \left \lbrack \frac{a}{b} \right \rbrack	$\left[\frac{a}{b}\right]\left[\frac{a}{b}\right]$
Braces	\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}⟩$
Bars and double bars	\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$
Slashes and backslashes	\left / \frac{a}{b} \right \backslash	$/\frac{a}{b}\backslash$
Up, down and up-down arrows	\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 match	\left [ 0,1 \right ) \left \langle \psi \right |	$[0,1)$ $⟨\psi |$
Use \left. and \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|	$\Vert \Vert \Vert \Vert \dots \left|\right|\left|\right|$
	\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$

Alphabets and typefaces

Texvc cannot render arbitrary Unicode characters. Those it can handle can be entered by the expressions below. For others, such as Cyrillic, they can be entered as Unicode or HTML entities in running text, but cannot be used in displayed formulas.

Greek alphabet
\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 \Pi \Rho \Sigma \Tau	$\mathrm{N}\mathrm{\Xi }\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 \pi \rho \sigma \tau	$\nu \xi \pi \rho \sigma \tau$
\upsilon \phi \chi \psi \omega	$\upsilon \varphi \chi \psi \omega$
\varepsilon \digamma \varkappa \varpi	$\epsilon ϝ\varkappa \varpi$
\varrho \varsigma \vartheta \varphi	$\varrho \varsigma \vartheta \phi$
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{N}𝕆\mathbb{P}\mathbb{Q}ℝ𝕊𝕋$
\mathbb{U} \mathbb{V} \mathbb{W} \mathbb{X} \mathbb{Y} \mathbb{Z}	$𝕌𝕍𝕎𝕏𝕐\mathbb{Z}$
Boldface (vectors)
\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}	$\mathrm{𝟎}\mathrm{𝟏}\mathrm{𝟐}\mathrm{𝟑}\mathrm{𝟒}$
\mathbf{5} \mathbf{6} \mathbf{7} \mathbf{8} \mathbf{9}	$\mathrm{𝟓}\mathrm{𝟔}\mathrm{𝟕}\mathrm{𝟖}\mathrm{𝟗}$
Boldface (Greek)
\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{\Pi} \boldsymbol{\Rho} \boldsymbol{\Sigma} \boldsymbol{\Tau}	$\mathrm{N}\mathrm{\Xi }\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{\pi} \boldsymbol{\rho} \boldsymbol{\sigma} \boldsymbol{\tau}	$\mathit{\nu }\mathit{\xi }\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{\varkappa} \boldsymbol{\varpi}	$\mathit{\epsilon }\mathit{ϝ}\mathit{\varkappa }\mathit{\varpi }$
\boldsymbol{\varrho} \boldsymbol{\varsigma} \boldsymbol{\vartheta} \boldsymbol{\varphi}	$\mathit{\varrho }\mathit{\varsigma }\mathit{\vartheta }\mathit{\phi }$
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}	$01234$
\mathit{5} \mathit{6} \mathit{7} \mathit{8} \mathit{9}	$56789$
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{H} \mathfrak{I} \mathfrak{J} \mathfrak{K} \mathfrak{L} \mathfrak{M}	$ℌ\Im 𝔍𝔎𝔏𝔐$
\mathfrak{N} \mathfrak{O} \mathfrak{P} \mathfrak{Q} \mathfrak{R} \mathfrak{S} \mathfrak{T}	$𝔑𝔒𝔓𝔔\Re 𝔖𝔗$
\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}	$01234$
\mathfrak{5} \mathfrak{6} \mathfrak{7} \mathfrak{8} \mathfrak{9}	$56789$
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 symbols
\aleph \beth \gimel \daleth	$\mathrm{\aleph }\beth \gimel \daleth$

Mixed text faces

Feature	Syntax	How it looks rendered
Non-italicised characters	\text{xyz}	$\text{xyz}$	$\text{xyz}$
Mixed italics (bad)	\text{if} n \text{is even}	$\text{if}n\text{is even}$	$\text{if}n\text{is even}$
Mixed italics (good)	\text{if }n\text{ is even}	$\text{if }n\text{ is even}$	$\text{if }n\text{ is even}$
Mixed italics (alternative: ~ or "\ " forces a space)	\text{if}~n\ \text{is even}	$\text{if}n\text{is even}$	$\text{if}n\text{is even}$

Color

Equations can use color:

• {\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}$

Colors supported

$\text{Apricot}$	$\text{Aquamarine}$	$\text{Bittersweet}$	$\text{Black}$
$\text{Blue}$	$\text{BlueGreen}$	$\text{BlueViolet}$	$\text{BrickRed}$
$\text{Brown}$	$\text{BurntOrange}$	$\text{CadetBlue}$	$\text{CarnationPink}$
$\text{Cerulean}$	$\text{CornflowerBlue}$	$\text{Cyan}$	$\text{Dandelion}$
$\text{DarkOrchid}$	$\text{Emerald}$	$\text{ForestGreen}$	$\text{Fuchsia}$
$\text{Goldenrod}$	$\text{Gray}$	$\text{Green}$	$\text{GreenYellow}$
$\text{JungleGreen}$	$\text{Lavender}$	$\text{LimeGreen}$	$\text{Magenta}$
$\text{Mahogany}$	$\text{Maroon}$	$\text{Melon}$	$\text{MidnightBlue}$
$\text{Mulberry}$	$\text{NavyBlue}$	$\text{OliveGreen}$	$\text{Orange}$
$\text{OrangeRed}$	$\text{Orchid}$	$\text{Peach}$	$\text{Periwinkle}$
$\text{PineGreen}$	$\text{Plum}$	$\text{ProcessBlue}$	$\text{Purple}$
$\text{RawSienna}$	$\text{Red}$	$\text{RedOrange}$	$\text{RedViolet}$
$\text{Rhodamine}$	$\text{RoyalBlue}$	$\text{RoyalPurple}$	$\text{RubineRed}$
$\text{Salmon}$	$\text{SeaGreen}$	$\text{Sepia}$	$\text{SkyBlue}$
$\text{SpringGreen}$	$\text{Tan}$	$\text{TealBlue}$	$\text{Thistle}$
$\text{Turquoise}$	$\text{Violet}$	$\text{VioletRed}$	$\text{White}$
$\text{WildStrawberry}$	$\text{Yellow}$	$\text{YellowGreen}$	$\text{YellowOrange}$

Note that color should not be used as the only way to identify something, because it will become meaningless on black-and-white media or for color-blind people.

Formatting issues

Spacing

Note that TeX handles most spacing automatically, but you may sometimes want manual control.

Feature	Syntax	How it looks rendered
Double quad space	a \qquad b	$ab$
Quad space	a \quad b	$ab$
Text space, forced space	a\ b a~b	$ab$
Text space without PNG conversion	a \text{ } b	$ab$
Large space	a\;b	$ab$
Medium space	a\>b [not supported] a\;\;\!\!b	$ab$
Small space	a\,b	$ab$
No space	ab	$ab$
Small negative space	a\!b	$ab$

Automatic spacing may be broken in very long expressions (because they produce an overfull hbox in TeX):

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

This can be remedied by putting a pair of braces { } around the whole expression:

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

Alignment with normal text flow

Due to the default CSS

img.tex { vertical-align: middle; }

an inline expression like $\underset{-N}{\overset{N}{\int }}{e}^{x}dx$ should look good.

If you need to align it otherwise, use <math style="vertical-align:-100%;">...</math> and play with the vertical-align argument until you get it right. However, how it looks may depend on the browser and the browser settings.

Also note that if you rely on this workaround, if/when the rendering on the server gets fixed in future releases, as a result of this extra manual offset your formulae will suddenly be aligned incorrectly. So use it sparingly, if at all.

Forced PNG rendering

To force the formula to render as PNG, add \, (small space) at the end of the formula (where it is not rendered). This will force PNG if the user is in "HTML if simple" mode, but not for "HTML if possible" mode (math rendering settings in preferences).

You can also use \! at the end of a formula to force PNG even in "HTML if possible" mode, unlike \,. If it is understandable to have \! at the end of a formula for some reason, it may also be used at the beginning or the combinations \,\! and \!\, (a negative and positive space which cancel out) may appear anywhere within the math expression to force PNG.

Forcing PNG can be useful to keep the rendering of formulas in a proof consistent, for example, or to fix formulas that render incorrectly in HTML (at one time, a^{2+2} rendered with an extra underscore), or to demonstrate how something is rendered when it would normally show up as HTML (as in the examples above).

For instance:

Syntax	How it looks rendered
a^{c+2}	$a^{c+2}$
a^{c+2} \,	$a^{c+2}$
a^{\,\!c+2}	$a^{c+2}$ (this example uses \,\! in the middle of the expression.)
a^{b^{c+2}}	$a^{b^{c+2}}$ (WRONG with option "HTML if possible or else PNG"!)
a^{b^{c+2}} \,	$a^{b^{c+2}}$ (WRONG with option "HTML if possible or else PNG"!)
a^{b^{c+2}}\approx 5	$a^{b^{c+2}}\approx 5$ (due to "$\approx$" correctly displayed, no code "\!" needed)
a^{b^{c+2}}\!	$a^{b^{c+2}}$
\int_{-N}^{N} e^x\, dx	$\underset{-N}{\overset{N}{\int }}{e}^{x}dx$

This has been tested with most of the formulas on this page, and seems to work perfectly.

You might want to include a comment in the HTML so people don't "correct" the formula by removing it:

<!-- The \! is to keep the formula rendered as PNG instead of HTML. Please don't remove it.-->

Examples of implemented TeX formulas

Commutative diagram

$\begin{array}{ccccc}& X& \stackrel{f}{⟶}& Z& \\ & g\downarrow & & \downarrow g^{\prime }\\ & Y& ⟶f^{\prime }& W& \end{array}$

<math>
\begin{array}{lcl}
 & X & \overset{f}\longrightarrow & Z & \\
 &g \downarrow &&\downarrow g'\\
 &Y & \underset{f'}\longrightarrow& W & \\
\end{array}
</math>

Quadratic polynomial

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

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

Quadratic polynomial (force PNG rendering)

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

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

Quadratic formula

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

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

Tall parentheses and fractions

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

Integrals

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

Summation

$\sum _{i=0}^{n-1}i$

<math>\sum_{i=0}^{n-1} i</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>

Differential equation

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

Complex numbers

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

Limits

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

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

Integral equation

${\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>

Example

${\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>

Continuation and cases

$f(x)=\{\begin{array}{cc}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 & \text{otherwise}
 \end{cases}
 </math>

Prefixed subscript

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

Fraction and small fraction

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

Repeating fraction

$0.10\overline{00101010}$
<math>0.10\overline{00101010}</math>

Area of a quadrilateral

$S=dD\sin \alpha$
<math>S=dD\,\sin\alpha\!</math>

Volume of a sphere-stand

$V=\frac{1}{6}\pi h[3(r_1^2+r_2^2)+h^2]$
<math>V=\tfrac16\pi h\left[3\left(r_1^2+r_2^2\right)+h^2\right]</math>