Użytkownik:Angelfrost/Dokumentacja Math, LaTeX

Z MruczekWiki

Strona zezłodziejowana z Extension:Math/Help:Formula - MediaWiki

Dokumentacja Math i LaTeX na MruczekWiki.

Extension Math na MruczekWiki używa składni AMS-LaTeX, generując obrazy PNG zawierające określone wzory. Składnia zawiera się pomiędzy znacznikami <math>...</math>.

Podstawy

Komendy LaTeX

W komendach LaTeX wielkość liter ma znaczenie i zazwyczaj wyglądają w następujący sposób:

  • Rozpoczynają się znakiem backslasha \ i następnie posiadają nazwę składającą się wyłacznie z liter.
  • Rozpoczynają się znakiem backslasha \ i posiadają dokładnie jeden znak niebędący literą.

Niektóre komendy składają się z argumentów, który podaje się w klamrach {}. Ponadto nieliczne komendy wspierają podawanie dodatkowych, opcjonalnych parametrów - te są określane w nawiasach kwadratowych [] po nazwie komendy. Generalna składnia wygląda tak:

\nazwakomendy[opcja1,opcja2,...]{argument1}{argument2}...

Znaki

Poniższe znaki są szczególne dla składni LaTeX i wstawienie ich może spowodować rozsypanie się kodu.

# $ % ^ & _ { } ~ \

Aby wstawić te znaki, trzeba nadać prefiks backslashem:

\# \$ \% \textasciicircum{} \& \_ \{ \} \~{} \textbackslash{}

Formatowanie przy użyciu LaTeX

Funkcje, symbole, znaki specjalne

Akcenty/znaki diakrytyczne

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

Podstawowe funkcje numeryczne

\exp_a b = a^b, \exp b = e^b, 10^m
\ln c, \lg d = \log e, \log_{10} f
\sin a, \cos b, \tan c, \cot d, \sec e, \csc f
\arcsin h, \arccos i, \arctan j
\sinh k, \cosh l, \tanh m, \coth n
\operatorname{sh}\,k, \operatorname{ch}\,l, \operatorname{th}\,m, \operatorname{coth}\,n
\operatorname{argsh}\,o, \operatorname{argch}\,p, \operatorname{argth}\,q
\sgn r, \left\vert s \right\vert
\min(x,y), \max(x,y)

Granice

\min x, \max y, \inf s, \sup t
\lim u, \liminf v, \limsup w
\dim p, \deg q, \det m, \ker\phi

Projekcje, rzuty

\Pr j, \hom l, \lVert z \rVert, \arg z

Różniczki i pochodne

dt, \operatorname{d}\!t, \partial t, \nabla\psi
dy/dx, \operatorname{d}\!y/\operatorname{d}\!x, {dy \over dx}, {\operatorname{d}\!y\over\operatorname{d}\!x}, {\partial^2\over\partial x_1\partial x_2}y
\prime, \backprime, f^\prime, f', f'', f^{(3)}, \dot y, \ddot y

Stałe i symbole

\infty, \aleph, \complement, \backepsilon, \eth, \Finv, \hbar
\Im, \imath, \jmath, \Bbbk, \ell, \mho, \wp, \Re, \circledS

Arytmetyka modułowa

s_k \equiv 0 \pmod{m}
a\,\bmod\,b
\gcd(m, n), \operatorname{lcm}(m, n)
\mid, \nmid, \shortmid, \nshortmid

Pierwiastki

\surd, \sqrt{2}, \sqrt[n]{}, \sqrt[3]{x^3+y^3 \over 2}

Operatory

+, -, \pm, \mp, \dotplus
\times, \div, \divideontimes, /, \backslash
\cdot, * \ast, \star, \circ, \bullet
\boxplus, \boxminus, \boxtimes, \boxdot
\oplus, \ominus, \otimes, \oslash, \odot
\circleddash, \circledcirc, \circledast
\bigoplus, \bigotimes, \bigodot

Zbiory

\{ \}, \O \empty \emptyset, \varnothing
\in, \notin \not\in, \ni, \not\ni
\cap, \Cap, \sqcap, \bigcap
\cup, \Cup, \sqcup, \bigcup, \bigsqcup, \uplus, \biguplus
\setminus, \smallsetminus, \times
\subset, \Subset, \sqsubset
\supset, \Supset, \sqsupset
\subseteq, \nsubseteq, \subsetneq, \varsubsetneq, \sqsubseteq
\supseteq, \nsupseteq, \supsetneq, \varsupsetneq, \sqsupseteq
\subseteqq, \nsubseteqq, \subsetneqq, \varsubsetneqq
\supseteqq, \nsupseteqq, \supsetneqq, \varsupsetneqq

Relacje

=, \ne, \neq, \equiv, \not\equiv
\doteq, \doteqdot, \overset{\underset{\mathrm{def}}{}}{=}, :=
\sim, \nsim, \backsim, \thicksim, \simeq, \backsimeq, \eqsim, \cong, \ncong
\approx, \thickapprox, \approxeq, \asymp, \propto, \varpropto
<, \nless, \ll, \not\ll, \lll, \not\lll, \lessdot
>, \ngtr, \gg, \not\gg, \ggg, \not\ggg, \gtrdot
\le, \leq, \lneq, \leqq, \nleq, \nleqq, \lneqq, \lvertneqq
\ge, \geq, \gneq, \geqq, \ngeq, \ngeqq, \gneqq, \gvertneqq
\lessgtr, \lesseqgtr, \lesseqqgtr, \gtrless, \gtreqless, \gtreqqless
\leqslant, \nleqslant, \eqslantless
\geqslant, \ngeqslant, \eqslantgtr
\lesssim, \lnsim, \lessapprox, \lnapprox
\gtrsim, \gnsim, \gtrapprox, \gnapprox
\prec, \nprec, \preceq, \npreceq, \precneqq
\succ, \nsucc, \succeq, \nsucceq, \succneqq
\preccurlyeq, \curlyeqprec
\succcurlyeq, \curlyeqsucc
\precsim, \precnsim, \precapprox, \precnapprox
\succsim, \succnsim, \succapprox, \succnapprox

Geometria

\parallel, \nparallel, \shortparallel, \nshortparallel
\perp, \angle, \sphericalangle, \measuredangle, 45^\circ
\Box, \blacksquare, \diamond, \Diamond \lozenge, \blacklozenge, \bigstar
\bigcirc, \triangle \bigtriangleup, \bigtriangledown
\vartriangle, \triangledown
\blacktriangle, \blacktriangledown, \blacktriangleleft, \blacktriangleright

Logika

\forall, \exists, \nexists
\therefore, \because, \And
\or \lor \vee, \curlyvee, \bigvee
\and \land \wedge, \curlywedge, \bigwedge
\bar{q}, \bar{abc}, \overline{q}, \overline{abc},

\lnot \neg, \not\operatorname{R}, \bot, \top


\vdash \dashv, \vDash, \Vdash, \models
\Vvdash \nvdash \nVdash \nvDash \nVDash
\ulcorner \urcorner \llcorner \lrcorner

Strzałki

\Rrightarrow, \Lleftarrow
\Rightarrow, \nRightarrow, \Longrightarrow \implies
\Leftarrow, \nLeftarrow, \Longleftarrow
\Leftrightarrow, \nLeftrightarrow, \Longleftrightarrow \iff
\Uparrow, \Downarrow, \Updownarrow
\rightarrow \to, \nrightarrow, \longrightarrow
\leftarrow \gets, \nleftarrow, \longleftarrow
\leftrightarrow, \nleftrightarrow, \longleftrightarrow
\uparrow, \downarrow, \updownarrow
\nearrow, \swarrow, \nwarrow, \searrow
\mapsto, \longmapsto
\rightharpoonup \rightharpoondown \leftharpoonup \leftharpoondown \upharpoonleft \upharpoonright \downharpoonleft \downharpoonright \rightleftharpoons \leftrightharpoons
\curvearrowleft \circlearrowleft \Lsh \upuparrows \rightrightarrows \rightleftarrows \rightarrowtail \looparrowright
\curvearrowright \circlearrowright \Rsh \downdownarrows \leftleftarrows \leftrightarrows \leftarrowtail \looparrowleft
\hookrightarrow \hookleftarrow \multimap \leftrightsquigarrow \rightsquigarrow \twoheadrightarrow \twoheadleftarrow

Specjalne

\amalg \P \S \% \dagger \ddagger \ldots \cdots
\smile \frown \wr \triangleleft \triangleright
\diamondsuit, \heartsuit, \clubsuit, \spadesuit, \Game, \flat, \natural, \sharp

Większe wyrażenia

Indeksy górne i dolne, całki

Funkcja Składnia Renderuje jako
Indeks górny a^2
Indeks dolny a_2
Grupowanie 10^{30} a^{2+2}
a_{i,j} b_{f'}
Łączenie indeksów z separacją poziomą i bez x_2^3
{x_2}^3
Łączenie indeksów górnych 10^{10^{8}}
Wiodące indeksy \sideset{_1^2}{_3^4}\prod_a^b
{}_1^2\!\Omega_3^4
Pozycja \overset{\alpha}{\omega}
\underset{\alpha}{\omega}
\overset{\alpha}{\underset{\gamma}{\omega}}
\stackrel{\alpha}{\omega}
Pochodne x', y'', f', f''
x^\prime, y^{\prime\prime}
Kropki pochodne \dot{x}, \ddot{x}
Wektory, podkreślenia \hat a \ \bar b \ \vec c
\overrightarrow{a b} \ \overleftarrow{c d} \ \widehat{d e f}
\overline{g h i} \ \underline{j k l}
Łuk \overset{\frown} {AB}
Strzałki A \xleftarrow{n+\mu-1} B \xrightarrow[T]{n\pm i-1} C
Klamra górna \overbrace{ 1+2+\cdots+100 }^{5050}
Klamra dolna \underbrace{ a+b+\cdots+z }_{26}
Suma \sum_{k=1}^N k^2
Suma (inline) \textstyle \sum_{k=1}^N k^2
Suma w ułamku (domyślnie inline) \frac{\sum_{k=1}^N k^2}{a}
Suma w ułamku (wymuś blok) \frac{\displaystyle \sum_{k=1}^N k^2}{a}
Suma w ułamku (alternatywna) \frac{\sum\limits^{^N}_{k=1} k^2}{a}
Iloczyn \prod_{i=1}^N x_i
Iloczyn (inline) \textstyle \prod_{i=1}^N x_i
Koprodukt \coprod_{i=1}^N x_i
Koprodukt (inline) \textstyle \coprod_{i=1}^N x_i
Granica \lim_{n \to \infty}x_n
Granica ((inline) \textstyle \lim_{n \to \infty}x_n
Całka \int\limits_{1}^{3}\frac{e^3/x}{x^2}\, dx
Całka (alternatywna) \int_{1}^{3}\frac{e^3/x}{x^2}\, dx
Całka (wymuś blok) \textstyle \int\limits_{-N}^{N} e^x\, dx
Całka (wymuś inline, alternatywna) \textstyle \int_{-N}^{N} e^x\, dx
Podwójna całka \iint\limits_D \, dx\,dy
Potrójna całka \iiint\limits_E \, dx\,dy\,dz
Poczwórna całka \iiiint\limits_F \, dx\,dy\,dz\,dt
Całka krzywej \int_{(x,y)\in C} x^3\, dx + 4y^2\, dy
Całka krzywej zamkniętej \oint_{(x,y)\in C} x^3\, dx + 4y^2\, dy
Część wspólna \bigcap_{i=_1}^n E_i
Suma zbiorów \bigcup_{i=_1}^n E_i

Ułamki, macierze, wyrażenia wieloliniowe

Funkcja Składnia Renderuje jako
Ułamki \frac{2}{4}=0.5 lub {2 \over 4}=0.5
Małe ułamki \tfrac{2}{4} = 0.5
Duże (normalne) ułamki \dfrac{2}{4} = 0.5 \qquad \dfrac{2}{c + \dfrac{2}{d + \dfrac{2}{4}}} = a
Duże (zagnieżdżone) ułamki \cfrac{2}{c + \cfrac{2}{d + \cfrac{2}{4}}} = a
Nie działa z MathJax \cfrac{x}{1 + \cfrac{\cancel{y}}{\cancel{y}}} = \cfrac{x}{2}
Współczynniki dwumianowe Newtona \binom{n}{k}
Małe współczynniki dwumianowe Newtona \tbinom{n}{k}
Duże (normalne) współczynniki dwumianowe \dbinom{n}{k}
Macierze \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)
Warunki f(n) =
\begin{cases}
n/2, & \text{dla }n\text{ parzystej} \\
3n+1, & \text{dla }n\text{ nieparzystej}
\end{cases}
Równania wieloliniowe \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}
Równania wieloliniowe (trzeba zdefiniować numer kolumn ({lcr}) (używać tylko w razie konieczności) \begin{array}{lcl}
z & = & a \\
f(x,y,z) & = & x + y + z
\end{array}
Równania wieloliniowe (więcej) \begin{array}{lcr}
z & = & a \\
f(x,y,z) & = & x + y + z
\end{array}
Dzielenie długiego wyrażenia aby przeszło do następnego wiersza f(x) =
\sum_{n=0}^\infty a_n x^n =
a_0+a_1x+a_2x^2+\cdots
Układ równań \begin{cases}
3x + 5y + z \\
7x - 2y + 4z \\
-6x + 3y + 2z
\end{cases}
Tabele prawd \begin{array}{|c|c||c|} a & b & S \\
\hline
0&0&1\\
0&1&1\\
1&0&1\\
1&1&0\\
\end{array}

Nawiasy dla większych wyrażeń

Funkcja Składnia Renderuje jako
Źle ( \frac{1}{2} )
Dobrze \left ( \frac{1}{2} \right )

Można używać różnych nawiasów dzięki \left i \right:

Funkcja Składnia Renderuje jako
Nawiasy okrągłe \left ( \frac{a}{b} \right )
Nawiasy kwadratowe \left [ \frac{a}{b} \right ] \quad
\left \lbrack \frac{a}{b} \right \rbrack
Klamry \left \{ \frac{a}{b} \right \} \quad
\left \lbrace \frac{a}{b} \right \rbrace
Nawiasy ostre \left \langle \frac{a}{b} \right \rangle
Pionowe kreski \left | \frac{a}{b} \right \vert \quad
\left \Vert \frac{c}{d} \right \|
Podłoga i sufit \left \lfloor \frac{a}{b} \right \rfloor \quad
\left \lceil \frac{c}{d} \right \rceil
Slashe i backslashe \left / \frac{a}{b} \right \backslash
Strzałki \left \uparrow \frac{a}{b} \right \downarrow \quad
\left \Uparrow \frac{a}{b} \right \Downarrow \quad
\left \updownarrow \frac{a}{b} \right \Updownarrow
Można mieszać nawiasy,
tak długo jak jest \left i \right
\left [ 0,1 \right )
\left \langle \psi \right |

Użyj \left . i \right . jeśli
nie chcesz nawiasu z jednej strony
\left . \frac{A}{B} \right \} \to X
Rozmiar nawiasów (dodaj "l" lub "r" aby określić stronę) ( \bigl( \Bigl( \biggl( \Biggl( \dots \Biggr] \biggr] \Bigr] \bigr] ]
\{ \bigl\{ \Bigl\{ \biggl\{ \Biggl\{ \dots
\Biggr\rangle \biggr\rangle \Bigr\rangle \bigr\rangle \rangle
\| \big\| \Big\| \bigg\| \Bigg\| \dots \Bigg| \bigg| \Big| \big| |
\lfloor \bigl\lfloor \Bigl\lfloor \biggl\lfloor \Biggl\lfloor \dots
\Biggr\rceil \biggr\rceil \Bigr\rceil \bigr\rceil \ceil
\uparrow \big\uparrow \Big\uparrow \bigg\uparrow \Bigg\uparrow \dots
\Bigg\Downarrow \bigg\Downarrow \Big\Downarrow \big\Downarrow \Downarrow
\updownarrow \big\updownarrow \Big\updownarrow \bigg\updownarrow \Bigg\updownarrow \dots
\Bigg\Updownarrow \bigg\Updownarrow \Big\Updownarrow \big\Updownarrow \Updownarrow
/ \big/ \Big/ \bigg/ \Bigg/ \dots
\Bigg\backslash \bigg\backslash \Big\backslash \big\backslash \backslash