Wikiszótár:Képletleíró nyelv

A Wikiszótárból, a nyitott szótárból

A MediaWiki TeX-jelölést használ a matematikai formulák leírásához. A felhasználó akaratától és a kifejezés komplexitásától függően a generált kód lehet PNG-kép vagy egyszerű HTML-szöveg. A jövőben, ha már sokkal okosabbak lesznek a böngészők, sok esetben lehetőség nyílhat akár MathML-formátum generálására is.

A matematikai kifejezéseket <math> ... </math> közé kell tenni. A sortörések kezelése intelligens, nem jelenítődik meg. Ez jól jöhet pl. a mátrixoknál (sorok), ahol a kódban is úgy szerkeszthetjük a kifejezést, ahogy az majdan megjelenik.

Bővebb információkat kapni, megjegyzéseket tenni, hibákat jelenteni a Wikitech-l levelezőlistán lehet.

Folyó szövegbe írt formulák esetén előfordulhat, hogy nem illeszkednek pontosan a szövegbe vagy a betűméretük eltér. Ha ez egy esetben nagyon zavaró, kerüljük a TeX jelölés használatát.


Az (elvileg) legfrissebb leírás elérhető a megfelelő Meta-Wiki-oldalon, itt: Help:Formula. Sablon:tudnivalók-vége

Speciális karakterek[szerkesztés]

Mit? Hogyan? Milyen lesz?
Alapképletek (jó) \sin x + \ln y +\operatorname{sgn} z
Alapképletek (rossz) sin x + ln y + sgn z
Maradékosztályok s_k \equiv 0 \pmod{m}
Deriváltak \nabla \ \partial x \ dx \ \dot x\ \ddot y
Halmazok \forall \; \exists \; \empty \; \emptyset \; \varnothing \in \ni \not\in \notin \subset \subseteq \supset \supseteq
\cap \bigcap \cup \bigcup \biguplus
Logika \lnot p \wedge \bar{q} \rightarrow p\vee \bar{q} \Rightarrow \Leftrightarrow \vdash \models
gyök \sqrt{2}\approx 1,4
\sqrt[n]{x}
Relációk \sim \simeq \cong \le \ge \equiv \approx \ne
Geometria \angle \perp \|
Nyilak

\leftarrow \rightarrow \leftrightarrow
\longleftarrow \longrightarrow
\mapsto \longmapsto
\nearrow \searrow \swarrow \nwarrow
\uparrow \downarrow \updownarrow

\Leftarrow \Rightarrow \Leftrightarrow
\Longleftarrow \Longrightarrow \Longleftrightarrow
\Uparrow \Downarrow \Updownarrow

Speciális \oplus \otimes \pm \mp \hbar \dagger \ddagger \star * \circ \cdot \times \bullet \infty

Még spécibb mathcal paranccsal \mathcal{0123456789} \mathcal{abcdefghijklmnopqrstuvxyz}

Alsó- és felsőindexek[szerkesztés]

Mit? Hogyan? Milyen lesz?
felsőindex a^2
alsóindex a_2
csoportosítás a^{2+2}
a_{i,j}
felső és alsó kombináció x_2^3
balindexek is vannak: {}_1^2\!X_3^4
derivált (jó) x'
derivált (rossz HTML-ben) x^\prime
derivált (rossz PNG-ben) x\prime
newtoni időszerinti deriváltak \dot{x}, \ddot{x}
Szumma \sum_{k=1}^N k^2
Szorzat (Produktum) \prod_{i=1}^N x_i
Határérték \lim_{n \to \infty}x_n
integrál \int_{-N}^{N} e^x\, dx
lineáris integrál \oint_{C} x^3\, dx + 4y^2\, dy
halmazrendszer metszete \bigcap_1^{n} p

halmazrendszer uniója \bigcup_1^{k} p

Törtek, mátrixok, többsoros kifejezések[szerkesztés]

Figyelem! Programhiba miatt az e szakaszban leírt funkciók némelyike nem működik!

Mit? Hogyan? Milyen lesz?
törtek \frac{1}{2} vagy {2 \over 4}
binomiális együttható {n \choose k}
mátrixok \begin{pmatrix} x & y \\ z & v \end{pmatrix}
\begin{bmatrix} 0 & \cdots & 0 \\ \vdots &

\ddots & \vdots \\ 0 & \cdots & 0\end{bmatrix}

\begin{Bmatrix} x & y \\ z & v \end{Bmatrix}
\begin{vmatrix} x & y \\ z & v \end{vmatrix}
\begin{Vmatrix} x & y \\ z & v \end{Vmatrix}
\begin{matrix} x & y \\ z & v \end{matrix}
esetek szétválasztása a^{p-1} \equiv \begin{cases} 0, & \mbox{ha }p|a; \\

1, & \mbox{ha }\left(p,a\right)=1 \end{cases}

többsoros egyenletek \begin{matrix}f(n+1)&=& (n+1)^2 \\ \ &

=& n^2 + 2n + 1\end{matrix}

Betűtípusok[szerkesztés]

Mit? Hogyan? Milyen lesz?
Görög kisbetűk \alpha \beta \gamma \rho \xi \phi \psi
Görög kisbetűk változatai \varrho \varpi \varphi \vartheta \varsigma \varepsilon
Görög nagybetűk \Alpha \Phi \Psi \Xi \Omega
Duplaszárú betűk x\in\mathbb{R}\sub\mathbb{C}
félkövér (vektorok) \mathbf{x}\cdot\mathbf{y} = 0
félkövér (görög) \boldsymbol{\alpha}+\boldsymbol{\beta}+\boldsymbol{\gamma}
aláhúzott \underline{xy}
Gót betűk (fraktúrák) \mathfrak{a} \mathfrak{B}
Írott betűk (kalligráfia/ szkript) \mathcal{ABC} (csak nagybetűk!)
Héber (csak 4 használható) \aleph \beth \gimel \daleth
nem-döntött karakterek \mbox{abc}
nem-döntött karakterek \mathrm{abc}

Kifejezések zárójelezése[szerkesztés]

Jobb-bal méretezés[szerkesztés]

Mit? Hogyan? Milyen lesz?
nem jó ( \frac{1}{2} )
jobb \left( \frac{1}{2} \right)

Zárójeltípusok[szerkesztés]


Többféle zárójel karakter használható a \left-tel és \right-tal:

Mit? Hogyan? Milyen lesz?
zárójel \left( A \right)
szögletes zárójel \left[ A \right]
kapcsos zárójel \left\{ A \right\}
csúcsos zárójel \left\langle A \right\rangle
egyenes zárójel \left| A \right|
u.az \vert A \vert
dupla egyenes zárójel \| A \|
u.az
(normajel)
\left \Vert \frac{c}{d} \right \|  
u.az \Vert A \Vert
alsó és felső egészrész: \left \lfloor \frac{a}{b} \right \rfloor \left \lceil \frac{c}{d} \right \rceil
Slash és backslash \left / \frac{a}{b} \right \backslash
Fel, le, felle- és lefel-nyilak \left \uparrow \frac{a}{b} \right \downarrow \quad \left \Uparrow \frac{a}{b} \right \Downarrow \quad \left \updownarrow \frac{a}{b} \right \Updownarrow

Zárójelkombinálás
(minden \left-nek legyen \right párja)

\left [ 0,1 \right )
\left \langle \psi \right |


Féloldali zárójelekhez használd a
\left. és \right. parancsot
\left . \frac{A}{B} \right \} \to X
Zárójelméretezés: szuper-mega-giga zárójelek \big( \Big( \bigg( \Bigg( ... \Bigg] \bigg] \Big] \big]

\big\{ \Big\{ \bigg\{ \Bigg\{ ... \Bigg\rangle \bigg\rangle \Big\rangle \big\rangle

\Big\| \bigg\| \Bigg\| ... \Bigg| \bigg| \Big| \big|
\big\lfloor \Big\lfloor \bigg\lfloor \Bigg\lfloor ... \Bigg\rceil \bigg\rceil \Big\rceil \big\rceil

\big\uparrow \Big\uparrow \bigg\uparrow \Bigg\uparrow ... \Bigg\Downarrow \bigg\Downarrow \Big\Downarrow \big\Downarrow

Szóközök[szerkesztés]

A TeX automatikusan kezeli a szóközöket, de ha szükség van kézi beállításra, akkor a következőket lehet használni:

Mit? Hogyan? Milyen lesz?
nyolcszoros köz a \qquad b
négyszeres köz a \quad b
szövegszerű köz a\ b
nagy köz a\;b
közepes köz a\>b [nem alkalmazható]
kis köz a\,b
nincs köz ab
negatív köz a\!b

PNG kényszerítése[szerkesztés]

Kikényszerítheted, hogy a formula PNG formában jelenjen meg, ha a végére egy \, jelet teszel. (Olyan helyre kell tenned, ahol a fordító nem tudja az előző szakaszban leírt módon értelmezni. Ha közvetlenül két karakter közé teszed, akkor helyközként viselkedik, és nem változtat a formula megjelenítésén.) Ilyenkor a formula mindenkinek PNG-ként jelenik meg, kivéve azokat, akik a Beállításoknál a "Képletek megjelenítése" opciót "HTML ha lehetséges"-re állították. Ha azt akarod, hogy nekik is kép formájában jelenjen meg, akkor a \, \! jelet használd. (Ezt már bárhova elhelyezheted.)

Ezzel a módszerrel elkerülheted, hogy egy formula egyes részei HTML-ként, más részei pedig PNG-ként (azaz más méretben és betűtípussal) jelenjenek meg, ami meglehetősen csúnyán néz ki.

Néhány példa:

Jelölés Így fog kinézni
a^{2+2}
a^{2+2} \,
a^{\,\!2+2}
\int_{-N}^{N} e^x\, dx
\int_{-N}^{N} e^x\, dx \,
\int_{-N}^{N} e^x\, dx \,\!

Ilyenkor nem árt elrejteni egy megjegyzést a szövegben, hogy az utánad jövők ne próbálják meg tévedésből "kijavítani" a formulát:

<!-- A \,\! azért kell, hogy a formula ne HTML, hanem PNG formában jelenjen meg. Ne töröld ki! -->
\acute{a} \grave{a} \hat{a} \tilde{a} \breve{a}
\check{a} \bar{a} \ddot{a} \dot{a}
\sin a \cos b \tan c
\sec d \csc e \cot f
\arcsin h \arccos i \arctan j
\sinh k \cosh l \tanh m \coth n
\operatorname{sh}o\,\operatorname{ch}p\,\operatorname{th}q
\operatorname{arsinh}r\,\operatorname{arcosh}s\,\operatorname{artanh}t
\lim u \limsup v \liminf w \min x \max y
\inf z \sup a \exp b \ln c \lg d \log e \log_{10} f \ker g
\deg h \gcd i \Pr j \det k \hom l \arg m \dim n
s_k \equiv 0 \pmod{m}
a\,\bmod\,b
\nabla \, \partial x \, dx \, \dot x \, \ddot y\, dy/dx\, \frac{dy}{dx}\, \frac{\partial^2 y}{\partial x_1\,\partial x_2}
\forall \exists \empty \emptyset \varnothing
\in \ni \not \in \notin \subset \subseteq \supset \supseteq
\cap \bigcap \cup \bigcup \biguplus \setminus \smallsetminus
\sqsubset \sqsubseteq \sqsupset \sqsupseteq \sqcap \sqcup \bigsqcup
+ \oplus \bigoplus \pm \mp -
\times \otimes \bigotimes \cdot \circ \bullet \bigodot
\star * / \div \frac{1}{2}
\land (or \and) \wedge \bigwedge \bar{q} \to p
\lor \vee \bigvee \lnot \neg q \And
\sqrt{2} \sqrt[n]{x}
\sim \approx \simeq \cong \dot= \overset{\underset{\mathrm{def}}{}}{=}
< \le \ll \gg \ge > \equiv \not\equiv \ne \mbox{or} \neq \propto
\lessapprox \lesssim \eqslantless \leqslant \leqq \geqq \geqslant \eqslantgtr \gtrsim \gtrapprox
\Diamond \Box \triangle \angle \perp \mid \nmid \| 45^\circ
\leftarrow (or \gets) \rightarrow (or \to) \nleftarrow \nrightarrow \leftrightarrow \nleftrightarrow \longleftarrow \longrightarrow \longleftrightarrow
\Leftarrow \Rightarrow \nLeftarrow \nRightarrow \Leftrightarrow \nLeftrightarrow \Longleftarrow (or \impliedby) \Longrightarrow (or \implies) \Longleftrightarrow (or \iff)
\uparrow \downarrow \updownarrow \Uparrow \Downarrow \Updownarrow \nearrow \searrow \swarrow \nwarrow
\rightharpoonup \rightharpoondown \leftharpoonup \leftharpoondown \upharpoonleft \upharpoonright \downharpoonleft \downharpoonright \rightleftharpoons \leftrightharpoons
\curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \Rrightarrow \rightarrowtail \looparrowright
\curvearrowright \circlearrowright \Rsh \downdownarrows \leftleftarrows \leftrightarrows \Lleftarrow \leftarrowtail \looparrowleft
\mapsto \longmapsto \hookrightarrow \hookleftarrow \multimap \leftrightsquigarrow \rightsquigarrow
\And \eth \S \P \% \dagger \ddagger \ldots \cdots \colon
\smile \frown \wr \triangleleft \triangleright \infty \bot \top
\vdash \vDash \Vdash \models \lVert \rVert \imath \hbar
\ell \mho \Finv \Re \Im \wp \complement
\diamondsuit \heartsuit \clubsuit \spadesuit \Game \flat \natural \sharp
\vartriangle \triangledown \lozenge \circledS \measuredangle \nexists \Bbbk \backprime \blacktriangle \blacktriangledown
\square \blacksquare \blacklozenge \bigstar \sphericalangle \diagup \diagdown \dotplus \Cap \Cup \barwedge
\veebar \doublebarwedge \boxminus \boxtimes \boxdot \boxplus \divideontimes \ltimes \rtimes \leftthreetimes
\rightthreetimes \curlywedge \curlyvee \circleddash \circledast \circledcirc \centerdot \intercal \leqq \leqslant
\eqslantless \lessapprox \approxeq \lessdot \lll \lessgtr \lesseqgtr \lesseqqgtr \doteqdot \risingdotseq
\fallingdotseq \backsim \backsimeq \subseteqq \Subset \preccurlyeq \curlyeqprec \precsim \precapprox \vartriangleleft
\Vvdash \bumpeq \Bumpeq \eqsim \gtrdot
\ggg \gtrless \gtreqless \gtreqqless \eqcirc \circeq \triangleq \thicksim \thickapprox \supseteqq
\Supset \succcurlyeq \curlyeqsucc \succsim \succapprox \vartriangleright \shortmid \between \shortparallel \pitchfork
\varpropto \blacktriangleleft \therefore \backepsilon \blacktriangleright \because \nleqslant \nleqq \lneq \lneqq
\lvertneqq \lnsim \lnapprox \nprec \npreceq \precneqq \precnsim \precnapprox \nsim \nshortmid
\nvdash \nVdash \ntriangleleft \ntrianglelefteq \nsubseteq \nsubseteqq \varsubsetneq \subsetneqq \varsubsetneqq \ngtr
\subsetneq
\ngeqslant \ngeqq \gneq \gneqq \gvertneqq \gnsim \gnapprox \nsucc \nsucceq \succneqq
\succnsim \succnapprox \ncong \nshortparallel \nparallel \nvDash \nVDash \ntriangleright \ntrianglerighteq \nsupseteq
\nsupseteqq \varsupsetneq \supsetneqq \varsupsetneqq
\jmath \surd \ast \uplus \diamond \bigtriangleup \bigtriangledown \ominus
\oslash \odot \bigcirc \amalg \prec \succ \preceq \succeq
\dashv \asymp \doteq \parallel
\ulcorner \urcorner \llcorner \lrcorner
\Coppa\coppa\varcoppa\Digamma\Koppa\koppa\Sampi\sampi\Stigma\stigma\varstigma
\Alpha \Beta \Gamma \Delta \Epsilon \Zeta
\Eta \Theta \Iota \Kappa \Lambda \Mu
\Nu \Xi \Omicron \Pi \Rho \Sigma \Tau
\Upsilon \Phi \Chi \Psi \Omega
\alpha \beta \gamma \delta \epsilon \zeta
\eta \theta \iota \kappa \lambda \mu
\nu \xi \omicron \pi \rho \sigma \tau
\upsilon \phi \chi \psi \omega
\varepsilon \digamma \vartheta \varkappa
\varpi \varrho \varsigma \varphi
Blackboard Bold/Scripts
\mathbb{A} \mathbb{B} \mathbb{C} \mathbb{D} \mathbb{E} \mathbb{F} \mathbb{G}
\mathbb{H} \mathbb{I} \mathbb{J} \mathbb{K} \mathbb{L} \mathbb{M}
\mathbb{N} \mathbb{O} \mathbb{P} \mathbb{Q} \mathbb{R} \mathbb{S} \mathbb{T}
\mathbb{U} \mathbb{V} \mathbb{W} \mathbb{X} \mathbb{Y} \mathbb{Z}
\C \N \Q \R \Z
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}
\mathbf{5} \mathbf{6} \mathbf{7} \mathbf{8} \mathbf{9}
Boldface (greek)
\boldsymbol{\Alpha} \boldsymbol{\Beta} \boldsymbol{\Gamma} \boldsymbol{\Delta} \boldsymbol{\Epsilon} \boldsymbol{\Zeta}
\boldsymbol{\Eta} \boldsymbol{\Theta} \boldsymbol{\Iota} \boldsymbol{\Kappa} \boldsymbol{\Lambda} \boldsymbol{\Mu}
\boldsymbol{\Nu} \boldsymbol{\Xi} \boldsymbol{\Pi} \boldsymbol{\Rho} \boldsymbol{\Sigma} \boldsymbol{\Tau}
\boldsymbol{\Upsilon} \boldsymbol{\Phi} \boldsymbol{\Chi} \boldsymbol{\Psi} \boldsymbol{\Omega}
\boldsymbol{\alpha} \boldsymbol{\beta} \boldsymbol{\gamma} \boldsymbol{\delta} \boldsymbol{\epsilon} \boldsymbol{\zeta}
\boldsymbol{\eta} \boldsymbol{\theta} \boldsymbol{\iota} \boldsymbol{\kappa} \boldsymbol{\lambda} \boldsymbol{\mu}
\boldsymbol{\nu} \boldsymbol{\xi} \boldsymbol{\pi} \boldsymbol{\rho} \boldsymbol{\sigma} \boldsymbol{\tau}
\boldsymbol{\upsilon} \boldsymbol{\phi} \boldsymbol{\chi} \boldsymbol{\psi} \boldsymbol{\omega}
\boldsymbol{\varepsilon} \boldsymbol{\digamma} \boldsymbol{\vartheta} \boldsymbol{\varkappa}
\boldsymbol{\varpi} \boldsymbol{\varrho} \boldsymbol{\varsigma} \boldsymbol{\varphi}
Italics
\mathit{A} \mathit{B} \mathit{C} \mathit{D} \mathit{E} \mathit{F} \mathit{G}
\mathit{H} \mathit{I} \mathit{J} \mathit{K} \mathit{L} \mathit{M}
\mathit{N} \mathit{O} \mathit{P} \mathit{Q} \mathit{R} \mathit{S} \mathit{T}
\mathit{U} \mathit{V} \mathit{W} \mathit{X} \mathit{Y} \mathit{Z}
\mathit{a} \mathit{b} \mathit{c} \mathit{d} \mathit{e} \mathit{f} \mathit{g}
\mathit{h} \mathit{i} \mathit{j} \mathit{k} \mathit{l} \mathit{m}
\mathit{n} \mathit{o} \mathit{p} \mathit{q} \mathit{r} \mathit{s} \mathit{t}
\mathit{u} \mathit{v} \mathit{w} \mathit{x} \mathit{y} \mathit{z}
\mathit{0} \mathit{1} \mathit{2} \mathit{3} \mathit{4}
\mathit{5} \mathit{6} \mathit{7} \mathit{8} \mathit{9}
Roman typeface
\mathrm{A} \mathrm{B} \mathrm{C} \mathrm{D} \mathrm{E} \mathrm{F} \mathrm{G}
\mathrm{H} \mathrm{I} \mathrm{J} \mathrm{K} \mathrm{L} \mathrm{M}
\mathrm{N} \mathrm{O} \mathrm{P} \mathrm{Q} \mathrm{R} \mathrm{S} \mathrm{T}
\mathrm{U} \mathrm{V} \mathrm{W} \mathrm{X} \mathrm{Y} \mathrm{Z}
\mathrm{a} \mathrm{b} \mathrm{c} \mathrm{d} \mathrm{e} \mathrm{f} \mathrm{g}
\mathrm{h} \mathrm{i} \mathrm{j} \mathrm{k} \mathrm{l} \mathrm{m}
\mathrm{n} \mathrm{o} \mathrm{p} \mathrm{q} \mathrm{r} \mathrm{s} \mathrm{t}
\mathrm{u} \mathrm{v} \mathrm{w} \mathrm{x} \mathrm{y} \mathrm{z}
\mathrm{0} \mathrm{1} \mathrm{2} \mathrm{3} \mathrm{4}
\mathrm{5} \mathrm{6} \mathrm{7} \mathrm{8} \mathrm{9}
Fraktur typeface
\mathfrak{A} \mathfrak{B} \mathfrak{C} \mathfrak{D} \mathfrak{E} \mathfrak{F} \mathfrak{G}
\mathfrak{H} \mathfrak{I} \mathfrak{J} \mathfrak{K} \mathfrak{L} \mathfrak{M}
\mathfrak{N} \mathfrak{O} \mathfrak{P} \mathfrak{Q} \mathfrak{R} \mathfrak{S} \mathfrak{T}
\mathfrak{U} \mathfrak{V} \mathfrak{W} \mathfrak{X} \mathfrak{Y} \mathfrak{Z}
\mathfrak{a} \mathfrak{b} \mathfrak{c} \mathfrak{d} \mathfrak{e} \mathfrak{f} \mathfrak{g}
\mathfrak{h} \mathfrak{i} \mathfrak{j} \mathfrak{k} \mathfrak{l} \mathfrak{m}
\mathfrak{n} \mathfrak{o} \mathfrak{p} \mathfrak{q} \mathfrak{r} \mathfrak{s} \mathfrak{t}
\mathfrak{u} \mathfrak{v} \mathfrak{w} \mathfrak{x} \mathfrak{y} \mathfrak{z}
\mathfrak{0} \mathfrak{1} \mathfrak{2} \mathfrak{3} \mathfrak{4}
\mathfrak{5} \mathfrak{6} \mathfrak{7} \mathfrak{8} \mathfrak{9}
Calligraphy/Script
\mathcal{A} \mathcal{B} \mathcal{C} \mathcal{D} \mathcal{E} \mathcal{F} \mathcal{G}
\mathcal{H} \mathcal{I} \mathcal{J} \mathcal{K} \mathcal{L} \mathcal{M}
\mathcal{N} \mathcal{O} \mathcal{P} \mathcal{Q} \mathcal{R} \mathcal{S} \mathcal{T}
\mathcal{U} \mathcal{V} \mathcal{W} \mathcal{X} \mathcal{Y} \mathcal{Z}
Hebrew
\aleph \beth \gimel \daleth



Superscript a^2
Subscript a_2
Grouping a^{2+2}
a_{i,j}
Combining sub & super without and with horizontal separation x_2^3
{x_2}^3
Super super 10^{10^{8}}
Preceding and/or Additional sub & super _nP_k
\sideset{_1^2}{_3^4}\prod_a^b
{}_1^2\!\Omega_3^4
Stacking \overset{\alpha}{\omega}
\underset{\alpha}{\omega}
\overset{\alpha}{\underset{\gamma}{\omega}}
\stackrel{\alpha}{\omega}
Derivatives x', y'', f', f''
x^\prime, y^{\prime\prime}
Derivative dots \dot{x}, \ddot{x}
Underlines, overlines, vectors \hat a \ \bar b \ \vec c
\overrightarrow{a b} \ \overleftarrow{c d} \ \widehat{d e f}
\overline{g h i} \ \underline{j k l}
\not 1 \ \cancel{123}
Arrows A \xleftarrow{n+\mu-1} B \xrightarrow[T]{n\pm i-1} C
Overbraces \overbrace{ 1+2+\cdots+100 }^{\text{sum}\,=\,5050}
Underbraces \underbrace{ a+b+\cdots+z }_{26\text{ terms}}
Sum \sum_{k=1}^N k^2
Sum (force \textstyle) \textstyle \sum_{k=1}^N k^2
Product \prod_{i=1}^N x_i
Product (force \textstyle) \textstyle \prod_{i=1}^N x_i
Coproduct \coprod_{i=1}^N x_i
Coproduct (force \textstyle) \textstyle \coprod_{i=1}^N x_i
Limit \lim_{n \to \infty}x_n
Limit (force \textstyle) \textstyle \lim_{n \to \infty}x_n
Integral \int\limits_{1}^{3}\frac{e^3/x}{x^2}\, dx
Integral (alternate limits style) \int_{1}^{3}\frac{e^3/x}{x^2}\, dx
Integral (force \textstyle) \textstyle \int\limits_{-N}^{N} e^x\, dx
Integral (force \textstyle, alternate limits style) \textstyle \int_{-N}^{N} e^x\, dx
Double integral \iint\limits_D \, dx\,dy
Triple integral \iiint\limits_E \, dx\,dy\,dz
Quadruple integral \iiiint\limits_F \, dx\,dy\,dz\,dt
Line or path integral \int_C x^3\, dx + 4y^2\, dy
Closed line or path integral \oint_C x^3\, dx + 4y^2\, dy
Intersections \bigcap_1^n p
Unions \bigcup_1^k p

Fractions

\frac{1}{2}=0.5

Small ("text style") fractions

\tfrac{1}{2} = 0.5

Large ("display style") fractions

\dfrac{k}{k-1} = 0.5

Mixture of large and small fractions

\dfrac{ \tfrac{1}{2}[1-(\tfrac{1}{2})^n] }{ 1-\tfrac{1}{2} } = s_n

Continued fractions (note the difference in formatting)

\cfrac{2}{ c + \cfrac{2}{ d + \cfrac{1}{2} } } = a
\qquad
\dfrac{2}{ c + \dfrac{2}{ d + \dfrac{1}{2} } } = a

Binomial coefficients

\binom{n}{k}

Small ("text style") binomial coefficients

\tbinom{n}{k}

Large ("display style") binomial coefficients

\dbinom{n}{k}

Matrices

\begin{matrix}
x & y \\
z & v 
\end{matrix}
\begin{vmatrix}
x & y \\
z & v 
\end{vmatrix}
\begin{Vmatrix}
x & y \\
z & v
\end{Vmatrix}
\begin{bmatrix}
0      & \cdots & 0      \\
\vdots & \ddots & \vdots \\ 
0      & \cdots & 0
\end{bmatrix}
\begin{Bmatrix}
x & y \\
z & v
\end{Bmatrix}
\begin{pmatrix}
x & y \\
z & v 
\end{pmatrix}
\bigl( \begin{smallmatrix}
a&b\\ c&d
\end{smallmatrix} \bigr)

Arrays

\begin{array}{|c|c||c|} a & b & S \\
\hline
0&0&1\\
0&1&1\\
1&0&1\\
1&1&0
\end{array}

Cases

f(n) = 
\begin{cases} 
n/2,  & \mbox{if }n\mbox{ is even} \\
3n+1, & \mbox{if }n\mbox{ is odd} 
\end{cases}

System of equations

\begin{cases}
3x + 5y +  z &= 1 \\
7x - 2y + 4z &= 2 \\
-6x + 3y + 2z &= 3
\end{cases}

Breaking up a long expression so it wraps when necessary

<math>f(x) = \sum_{n=0}^\infty a_n x^n</math>
<math>= a_0 + a_1x + a_2x^2 + \cdots</math>

Multiline equations

\begin{align}
f(x) & = (a+b)^2 \\
& = a^2+2ab+b^2
\end{align}
\begin{alignat}{2}
f(x) & = (a-b)^2 \\
& = a^2-2ab+b^2
\end{alignat}

Multiline equations with aligment specified (left, center, right)

\begin{array}{lcl}
z        & = & a \\
f(x,y,z) & = & x + y + z  
\end{array}
\begin{array}{lcr}
z        & = & a \\
f(x,y,z) & = & x + y + z     
\end{array}

Bad

( \frac{1}{2} )

Good

\left ( \frac{1}{2} \right )

Parentheses

\left ( \frac{a}{b} \right )

Brackets

\left [ \frac{a}{b} \right ] \quad \left \lbrack \frac{a}{b} \right \rbrack

Braces (note the backslash before the braces in the code)

\left \{ \frac{a}{b} \right \} \quad \left \lbrace \frac{a}{b} \right \rbrace
Angle brackets \left \langle \frac{a}{b} \right \rangle
Bars and double bars (note: "bars" provide the absolute value function) \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
Slashes and backslashes \left / \frac{a}{b} \right \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
Delimiters can be mixed, as long as \left and \right are both used \left [ 0,1 \right )
\left \langle \psi \right |

Use \left. or \right. if you don't want a delimiter to appear: \left . \frac{A}{B} \right \} \to X
Size of the delimiters \big( \Big( \bigg( \Bigg( \dots \Bigg] \bigg] \Big] \big]
\big\{ \Big\{ \bigg\{ \Bigg\{ \dots \Bigg\rangle \bigg\rangle \Big\rangle \big\rangle
\big| \Big| \bigg| \Bigg| \dots \Bigg\| \bigg\| \Big\| \big\|
\big\lfloor \Big\lfloor \bigg\lfloor \Bigg\lfloor \dots \Bigg\rceil \bigg\rceil \Big\rceil \big\rceil
\big\uparrow \Big\uparrow \bigg\uparrow \Bigg\uparrow \dots \Bigg\Downarrow \bigg\Downarrow \Big\Downarrow \big\Downarrow
\big\updownarrow \Big\updownarrow \bigg\updownarrow \Bigg\updownarrow \dots \Bigg\Updownarrow \bigg\Updownarrow \Big\Updownarrow \big\Updownarrow
\big / \Big / \bigg / \Bigg / \dots \Bigg\backslash \bigg\backslash \Big\backslash \big\backslash
non-italicised characters \mbox{abc}
mixed italics (bad) \mbox{if} n \mbox{is even}
mixed italics (good) \mbox{if }n\mbox{ is even}
mixed italics (more legible: ~ is a non-breaking space, while "\ " forces a space) \mbox{if}~n\ \mbox{is even}