Help:TeX in Wikibooks

In dit document zult u een overzicht vinden van alle mogelijkheden die de MediaWiki-software biedt om wiskundige symbolen te gebruiken. Om hier gebruik van te kunnen maken, ondersteunt de Wikimedia-software AMS-TeX.

Zit u na het lezen van deze pagina nog met onbeantwoorde vragen, dan kunt u deze stellen op de overlegpagina, of in de lerarenkamer.

Suggestie: houd deze pagina bij de hand in een apart venster van uw browser tijdens het schrijven van teksten op Wikibooks. Wellicht wilt u deze pagina ook wel bookmarken of toevoegen aan de favorieten van uw browser.

De wiskunde-context

De wiskunde-context in Wikibooks is alles wat op een pagina tussen <math> en </math> staat. Binnen de wiskunde-context werken de andere Wiki-codes niet; er moet gebruik worden gemaakt van AMSTeX-codering.

AMSTeX codering bestaat uit twee stukken:

"Gewone" tekst (bijvoorbeeld voor variabelen) -- deze tekst kun je gewoon tikken, maar let wel op: spaties en andere "wittekens" worden verwijderd! Wie een spatie wil forceren moet voor een smalle spatie schrijven: \, . En voor een brede spatie \; .
AMSTeX functies: deze bestaan uit een \ en een woord, bijvoorbeeld \frac. Deze functies worden meestal door het systeem zelf goed uitgewerkt qua spatiëring. Sommige functies hebben argumenten; deze argumenten volgen de functienaam, omgeven door accolades (bijvoorbeeld \frac{a}{b}). ( ${\frac {a}{b}}$ )

Daarnaast is er nog een speciaal soort tekst: tekst die voorafgegaan wordt door een \mbox functie en omgeven door accolades, wordt "gewoon" weergegeven, zonder TeX-formattering.
<math>\mbox {twee plus drie is vijf: } 2 + 3 = 5</math> levert: ${\mbox{twee plus drie is vijf: }}2+3=5$ .

Het systeem genereert vanuit een wiskunde-context een weergave op het scherm. Dit kan in tekst zijn, of als een plaatje (PNG formaat). In welk formaat het wordt getoond hangt af van uw instellingen, de complexiteit van de formule en hoe geavanceerd uw browser is.

Simpele uitdrukkingen

Normale, arithmetische uitdrukkingen kunnen in de wiskunde-context direct ingetikt worden, zoals al werd aangetoond op de pagina voor eenvoudige formules.

We zullen nu ingaan op de losse mogelijkheden die AMSTeX te bieden heeft.

Symbolen

Binnen de wiskunde-context wordt vaak gebruik gemaakt van speciale symbolen. Deze symbolen kunnen worden gegenereerd door AMSTeX functies, meestal zonder argumenten. Er zijn grote lijsten van dergelijke symbolen:

Speciale tekensets

AMSTeX heeft de beschikking over een aantal speciale tekensets:

Schoolbord Vetgedrukt	\mathbb{N}, \mathbb{R}, \mathbb{C}, \mathbb{G}, etc...	$\mathbb {N} ,\mathbb {R} ,\mathbb {C} ,\mathbb {G} ,{\mbox{etc...}}$
Vetgedrukt	\mathbf{x}, \mathbf{y}	$\mathbf {x} ,\mathbf {y}$
Vetgedrukt voor Grieks	\boldsymbol{\alpha}, \boldsymbol{\beta}, \boldsymbol{\gamma}	${\boldsymbol {\alpha }},{\boldsymbol {\beta }},{\boldsymbol {\gamma }}$
Fraktur	\mathfrak{a}, \mathfrak{A}, etc...	${\mathfrak {a}},{\mathfrak {A}},{\mbox{etc...}}$
Kalligrafie	\mathcal{a}, \mathcal{A}, etc...	${\mathcal {a}},{\mathcal {A}},{\mbox{etc...}}$

Grieks

Wat zou wiskunde zijn zonder een compleet arsenaal aan Griekse lettters?

\alpha , $\alpha$	\vartheta , $\vartheta$	\varpi , $\varpi$	\chi , $\chi$	\Eta , $\mathrm {H}$	\Pi , $\Pi$
\beta , $\beta$	\iota , $\iota$	\rho , $\rho$	\psi , $\psi$	\Theta , $\Theta$	\Rho , $\mathrm {P}$
\gamma , $\gamma$	\kappa , $\kappa$	\varrho , $\varrho$	\omega , $\omega$	\Iota , $\mathrm {I}$	\Sigma , $\Sigma$
\delta , $\delta$	\lambda , $\lambda$	\sigma , $\sigma$	\Alpha , $\mathrm {A}$	\Kappa , $\mathrm {K}$	\Tau , $\mathrm {T}$
\epsilon , $\epsilon$	\mu , $\mu$	\varsigma , $\varsigma$	\Beta , $\mathrm {B}$	\Lambda , $\Lambda$	\Upsilon , $\Upsilon$
\varepsilon , $\varepsilon$	\nu , $\nu$	\tau , $\tau$	\Gamma , $\Gamma$	\Mu , $\mathrm {M}$	\Phi , $\Phi$
\zeta , $\zeta$	\xi , $\xi$	\upsilon , $\upsilon$	\Delta , $\Delta$	\Nu , $\mathrm {N}$	\Chi , $\mathrm {X}$
\eta , $\eta$	o (gewoon o) , $o$	\phi , $\phi$	\Epsilon , $\mathrm {E}$	\Xi , $\Xi$	\Psi , $\Psi$
\theta , $\theta$	\pi , $\pi$	\varphi , $\varphi$	\Zeta , $\mathrm {Z}$	O (gewoon O), $O$	\Omega , $\Omega$

Hebreeuws

\aleph,

\aleph

\beth,

\beth

\gimel,

\gimel

\daleth,

\daleth

Operatoren

\pm, $\pm$	\triangleright, $\triangleright$	\setminus, $\setminus$	\circ, $\circ$
\mp, $\mp$	\times, $\times$	\bullet, $\bullet$	\star, $\star$
\vee, $\vee$	\wr, $\wr$	\ddagger, $\ddagger$	\cap, $\cap$
\dagger, $\dagger$	\oplus, $\oplus$	\smallsetminus, $\smallsetminus$	\cdot, $\cdot$
\wedge, $\wedge$	\otimes, $\otimes$	\cup, $\cup$	\triangleleft, $\triangleleft$

Relaties

\leq, $\leq$	\geq, $\geq$	\mid, $\mid$
\in, $\in$	\ni, $\ni$	\vdash, $\vdash$
\subset, $\subset$	\supset, $\supset$	\models, $\models$
\subseteq, $\subseteq$	\supseteq, $\supseteq$	\perp, $\perp$
\equiv, $\equiv$	\neq, $\neq$	\approx, $\approx$
\sim, $\sim$	\simeq, $\simeq$	\cong, $\cong$
\smile, $\smile$	\frown, $\frown$

Verder geldt dat van iedere relationele operator het tegenovergestelde gemaakt kan worden door er \not voor te zetten; zo zijn er bijvoorbeeld \not\leq ( $\not \leq$ ), \not\sim ( $\not \sim$ ) en \not\models ( $\not \models$ ).
Dit werkt ook voor relaties die geen AMSTeX functies zijn: \not= ( $\not =$ ), \not< ( $\not <$ ) enzovoorts.

Pijlen

\leftarrow, $\leftarrow$	\rightarrow, $\rightarrow$	\uparrow, $\uparrow$
\longleftarrow, $\longleftarrow$	\longrightarrow, $\longrightarrow$	\downarrow, $\downarrow$
\Leftarrow, $\Leftarrow$	\Rightarrow, $\Rightarrow$	\Uparrow, $\Uparrow$
\Longleftarrow, $\Longleftarrow$	\Longrightarrow, $\Longrightarrow$	\Downarrow, $\Downarrow$
\leftrightarrow, $\leftrightarrow$	\updownarrow, $\updownarrow$	\Updownarrow, $\Updownarrow$
\Leftrightarrow, $\Leftrightarrow$	\Longleftrightarrow, $\Longleftrightarrow$
\mapsto, $\mapsto$	\longmapsto, $\longmapsto$	\nwarrow, $\nwarrow$
\hookleftarrow, $\hookleftarrow$	\hookrightarrow, $\hookrightarrow$	\nearrow, $\nearrow$
\searrow, $\searrow$	\swarrow, $\swarrow$

Standaard functies

Zoals eerder opgemerkt gaat het met de spatiëring waarschijnlijk verkeerd als je in de wiskunde-context gewoon tekst gaat tikken. Voor bepaalde standaardfuncties zijn daarom AMSTeX-functies ingebouwd:

\arccos	\cos	\csc	\exp	\ker	\limsup	\min
\arcsin	\cosh	\deg	\gcd	\lg	\ln	\Pr
\arctan	\cot	\det	\hom	\lim	\log	\sec
\arg	\coth	\dim	\inf	\liminf	\max	\sin
\sinh	\sub	\tan	\tanh

Quantoren

De quantoren zijn variabel in grootte en passen zich aan aan het predicaat dat zij meekrijgen.

\sum, $\sum$	\coprod, $\coprod$	\biguplus, $\biguplus$
\bigcap, $\bigcap$	\bigsqcup, $\bigsqcup$	\oint, $\oint$
\bigodot, $\bigodot$	\bigoplus, $\bigoplus$	\bigwedge, $\bigwedge$
\prod, $\prod$	\int, $\int$	\bigotimes, $\bigotimes$
\bigcup, $\bigcup$	\bigvee, $\bigvee$

Wanneer u bij deze quantoren boven- en of ondergrenzen definieert, worden deze netjes gepositioneerd (zie formattering, hieronder).

Andere tekens

Verdere functies die bruikbaar zijn:

\ldots, $\ldots$	\cdots, $\cdots$	\vdots, $\vdots$	\ddots, $\ddots$
\forall, $\forall$	\infty, $\infty$	\hbar, $\hbar$	\empty, $\emptyset$
\exists, $\exists$	\nabla, $\nabla$	\triangle, $\triangle$
\imath, $\imath$	\ell, $\ell$	\neg, $\neg$
\top, $\top$	\flat, $\flat$	\natural, $\natural$	\sharp, $\sharp$
\wp, $\wp$	\bot, $\bot$
\heartsuit, $\heartsuit$	\spadesuit, $\spadesuit$	\clubsuit, $\clubsuit$	\diamondsuit, $\diamondsuit$
\angle, $\angle$	\partial, $\partial$	\N, $\mathbb {N}$	\R, $\mathbb {R}$

Simpele formatteringen

Veel formattering is niet mogelijk in de Wikibooks-implementatie van AMSTeX. Maar met weinig kan men toch een heel eind komen.

Superscript en subscript

De voornaamste formatteringen zijn superscriptie en subscriptie. Superscriptie heeft de vorm

tekst^{tekst}

wat het volgende effect oplevert:

tekst^{tekst}

Subscriptie daarentegen ziet er als volgt uit:

tekst_{tekst}

met als effect:

tekst_{tekst}

Dit kan bijvoorbeeld worden toegepast bij het schrijven van oplossingen voor diffrentiaalvergelijkingen:

y(t) = C_1e^{r_1t}+C_2e^{r_2t}

wordt

y(t)=C_{1}e^{r_{1}t}+C_{2}e^{r_{2}t}

Iets aardigs gebeurt er met het gebruik van super- en subscriptie bij quantoren. Deze super- en subscripten worden namelijk automatisch "netjes geplaatst". Bijvoorbeeld

\sum_{i=1}^{N-1} N-i = (N-1) \cdot N/2

wordt

\sum _{i=1}^{N-1}N-i=(N-1)\cdot N/2

Accenten

Naast super- en subscriptie, kun je in de wiskunde-context ook accenten aanbrengen. Dit gebeurt met behulp van functies die een karakter als argument meekrijgen.

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

Afgeleiden en andere constructies

AMSTeX kent ook een aantal zogeheten constructie-functies. Deze functies verzorgen weergave van speciale notatie rondom stukken tekst. De tekst waar het om gaat, wordt als argument meegegeven.

\overleftarrow{abc}, ${\overleftarrow {abc}}$	\overrightarrow{abc}, ${\overrightarrow {abc}}$
\overline{abc}, ${\overline {abc}}$	\underline{abc}, ${\underline {abc}}$
\overbrace{abc}, $\overbrace {abc}$	\underbrace{abc}, $\underbrace {abc}$
\sqrt{abc}, ${\sqrt {abc}}$	\sqrt[n]{abc}, ${\sqrt[{n}]{abc}}$
f' (f accent), $f'$	\frac{abc}{xyz}, ${\frac {abc}{xyz}}$
\widehat{abc}, ${\widehat {abc}}$

Haakjes

Ronde en rechte haken -- "()", "[]" -- zijn direct te gebruiken in de wiskunde-context. Accolades worden in AMSTeX normaal gebruikt voor argumenten, daarom moet er een slash voor worden geplaatst, als u ze wilt gebruiken als tekst: "\{", "\}".

Daarnaast kent het systeem nog de volgende haken (en wat daarop lijkt):

\lfloor, $\lfloor$	\rfloor, $\rfloor$
\lceil, $\lceil$	\rceil, $\rceil$
\langle, $\langle$	\rangle, $\rangle$
\|, $\|$	\\|, $\\|$

Bij het gebruik van ronde haken kan het bij sommige functies kan het mooi zijn wanneer sommige haken groter zijn dan het standaardformaat. Dit kan worden bereikt door het gebruik van \left en \right. Vergelijk:

2+3*(\frac{(x+a)^{230}}{D}-1)

2+3*({\frac {(x+a)^{230}}{D}}-1)

met

2+3*\left (\frac{(x+a)^{230}}{D}-1 \right)

2+3*\left({\frac {(x+a)^{230}}{D}}-1\right)

Grotere constructies

Matrices

Matrices zijn de basis van alle, grotere constructies in Wikibooks AMSTeX. Een matrix is een blok van M rijen en N kolommen (dus MxN elementen) waarin ieder element een formule of constructie mag zijn.

Een matrix heeft zijn eigen context binnen de wiskunde-context; deze wordt afgeschermd door \begin{matrix} en \end{matrix}.

Een matrix wordt rij voor rij, kolom voor kolom opgebouwd. Als scheidingsteken tussen kolommen wordt een &-teken gebruikt; als scheiding tussen rijen een dubbele backslash (\\). Een helder voorbeeld is de volgende eenheidsmatrix van 5x5:

\begin{matrix}

1 & 0 & 0 & 0 & 0 \\

0 & 1 & 0 & 0 & 0 \\

0 & 0 & 1 & 0 & 0 \\

0 & 0 & 0 & 1 & 0 \\

0 & 0 & 0 & 0 & 1

\end{matrix}

{\begin{matrix}1&0&0&0&0\\0&1&0&0&0\\0&0&1&0&0\\0&0&0&1&0\\0&0&0&0&1\end{matrix}}

Een iets uitgebreider voorbeeld:

\begin{matrix}

x^{2} + 3x - 9 & \int_{-\infty}^{\infty}f(g(x)) dx\\

\frac{7x}{19y} & \{ \begin{matrix} 1 & 2 \\ 3 & 4 \end{matrix} \}

\end{matrix}

{\begin{matrix}x^{2}+3x-9&\int _{-\infty }^{\infty }f(g(x))dx\\{\frac {7x}{19y}}&\{{\begin{matrix}1&2\\3&4\end{matrix}}\}\end{matrix}}

Er zijn een aantal varianten op matrices, die allemaal te maken hebben met de afscheidingen rondom de matrix. In de bovenstaande gevallen, was er bijvoorbeeld geen afscheiding. We kennen echter rechtomleinde matrices, dubbel rechtomleinde matrices, blokmatrices, matrices in accolades en matrices in haken:

Stijl	Voorbeeld	resultaat
"Gewoon"	\begin{matrix} x & y \\ v & w \end{matrix}	${\begin{matrix}x&y\\v&w\end{matrix}}$
Rechtomlijnd	\begin{vmatrix} x & y \\ v & w \end{vmatrix}	${\begin{vmatrix}x&y\\v&w\end{vmatrix}}$
Dubbel rechtomlijnd	\begin{Vmatrix} x & y \\ v & w \end{Vmatrix}	${\begin{Vmatrix}x&y\\v&w\end{Vmatrix}}$
Blok	\begin{bmatrix} x & y \\ v & w \end{bmatrix}	${\begin{bmatrix}x&y\\v&w\end{bmatrix}}$
Accolades	\begin{Bmatrix} x & y \\ v & w \end{Bmatrix}	${\begin{Bmatrix}x&y\\v&w\end{Bmatrix}}$
Haken	\begin{pmatrix} x & y \\ v & w \end{pmatrix}	${\begin{pmatrix}x&y\\v&w\end{pmatrix}}$

Een zeer veel voorkomende matrix met haken is de 1x2-matrix; deze wordt onder meer gebruikt als vector. Een 1x2-matrix komt dermate vaak voor, dat hiervoor een kortere constructie bedacht is:

{a \choose b}

wordt

{a \choose b}

Gevalsonderscheid

Constructies van gevalsonderscheid vallen prachtig te maken met behulp van matrices. Beschouw bijvoorbeeld de volgende definitie van de notatie van Knuth:

[\mathcal{B}] = \{ \begin{matrix}\mbox{Als } \mathcal{B} & 1 \\ \mbox{Anders } & 0 \end{matrix}

[{\mathcal {B}}]=\{{\begin{matrix}{\mbox{Als }}{\mathcal {B}}&1\\{\mbox{Anders }}&0\end{matrix}}

Meerregelige vergelijkingen

Ook vergelijkingen over meerdere regels kunnen met matrices makkelijk opgesteld worden:

\begin{matrix}

& ax^{2} + bx + c = 0 \\

\equiv & \{q(r+s) = qr + qs; \frac{p}{q} \cdot \frac{r}{s} = \frac{pr}{qs}; \frac{p}{1} = p; \ldots \} \\

& a(x^{2} + \frac{b}{a} x + \frac{c}{a} ) = 0 \\

\equiv & \{p + 0 = p; q - q = 0\} \\

& a(x^{2} + 2 \frac{b}{2a} x + (\frac{b}{2a}) - (\frac{b}{2a}) + \frac{c}{a}) = 0 \\

\equiv & \{(p+q)^{2} = p^{2} + 2pq + q^{2}\} \\

& a((x + \frac{b}{2a})^{2} + \frac{4ac-b^{2}}{4a^{2}}) = 0 \\

\equiv & \\

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

\end{matrix}

{\begin{matrix}&ax^{2}+bx+c=0\\\equiv &\{q(r+s)=qr+qs;{\frac {p}{q}}\cdot {\frac {r}{s}}={\frac {pr}{qs}};{\frac {p}{1}}=p;\ldots \}\\&a(x^{2}+{\frac {b}{a}}x+{\frac {c}{a}})=0\\\equiv &\{p+0=p;q-q=0\}\\&a(x^{2}+2{\frac {b}{2a}}x+({\frac {b}{2a}})-({\frac {b}{2a}})+{\frac {c}{a}})=0\\\equiv &\{(p+q)^{2}=p^{2}+2pq+q^{2}\}\\&a((x+{\frac {b}{2a}})^{2}+{\frac {4ac-b^{2}}{4a^{2}}})=0\\\equiv &\\&x={\frac {-b\pm {\sqrt {b^{2}-4ac}}}{2a}}\end{matrix}}