Βοήθεια:TeX εκτενώς

Μια συνοπτική παρουσίαση για το πώς γράφουμε μαθηματικούς τύπους στην Βικιπαίδεια θα βρείτε στην σελίδα Βοήθεια:Μαθηματικοί τύποι TeX.

Από τον Ιανουάριο του 2003 υπάρχει η δυνατότητα απεικόνισης μαθηματικών τύπων μέσω TeX-Markup. Παράγεται είτε εικόνα-PNG είτε απλός κώδικας HTML, αναλόγως με την πολυπλοκότητα της μαθηματικής έκφρασης. Στις προτιμήσεις χρήστη πρέπει να επιλεχθεί στον στηλοθέτη (tab) TeX PNG ή HTML. Εφόσον αυτό μελλοντικά υποστηρίζεται από τους φυλλομετρητές θα υπάρχει η δυνατότητα παραγωγής enhanced HTML ή ακόμα και μια γλώσσα XML για μαθηματικές εκφράσεις: η MathML

Οι τύποι περικλείονται σε <math>-ετικέτες π. χ.: <math>3\vec x+3</math> δίνει: $3\overrightarrow{x}+3$. Μέχρι στιγμής παρατηρούνται ορισμένα προβλήματα στην παρουσίαση εντός συνεχούς κειμένου, καθώς η γραφή είναι πολύ μεγάλη και η στοίχιση (align) δεν είναι ενιαία.

Αλλαγές σειράς εντός των math-ετικετών μπορεί να είναι εύχρηστες για την διακριτότητα του κείμενου κατά την συγγραφή δεν εμφανίζονται όμως στην παράγωγη εικόνα. Μέσω ειδικών TeX-συμβόλων (βλ.κάτωθι) είναι δυνατή η αλλαγή σειράς και σε αυτήν την περίπτωση.

Εντός ενός τομέα math επιτρέπεται μόνον η χρήση χαρακτήρων από την κώδικα αναπαράστασης ASCII, όχι όμως Βικισύνταξη όπως text. Εντός του \mbox είναι εμφανίσιμα και κείμενα με ειδικούς χαρακτήρες και με κενά. Η χρήση ειδικών χαρακτήρων μέσω ονοματισμένων οντοτήτων (αγγλ. named enities) ή σε αριθμητική Unicode-σημειογραφία δεν είναι δυνατή.

Καλό είναι οι μαθηματικοί τύποι να πλαισιώνονται πάντοτε από επεξηγηματικό κείμενο. Αυτό συνεισφέρει στην κατανόηση, διότι στην βιβλιογραφία συχνά χρησιμοποιούνται διαφορετικά σύμβολα για στην πραγματικότητα ταυτόσημες διατυπώσεις.

Γενικά

Παράμετροι

Οι παράμετροι στο TeX περικλείονται με αγκύλη {} π. χ.

Σύνταξη	Εμφάνιση
x^{a+b}	$x^{a+b}$
\overline{AB}	$\overline{AB}$
\frac{x+y}{xy}	$\frac{x+y}{xy}$

Εξαίρεση αποτελεί η ενδεχόμενη παράμετρος

\xrightarrow ή \sqrt):

A \xrightarrow[\kappa \acute {\alpha} \tau \omega]{ \acute {\alpha} \nu \omega} B

που περικλείεται π. χ. από άγκιστρο []:

$A\underset{\kappa \acute{\alpha }\tau \omega }{\overset{\acute{\alpha }\nu \omega }{\to }}B$

.

Άλλη εξαίρεση αποτελούν τμήματα που εισάγονται με \begin και λήγουν με \end π. χ:

\begin{pmatrix} x & y \\ z & v \end{pmatrix} για $\left(\begin{array}{cc}x& y\\ z& v\end{array}\right)$.

Όταν μια παράμετρος αποτελείται μόνον από ένα ψηφίο οι αγκύλες μπορούν να παραλειφθούν:

Σύνταξη	Εμφάνιση
x^a	$x^a$
\overline A	$\bar{A}$
\frac{x+y}2	$\frac{x+y}{2}$
\frac 12 ή και \frac 1 2	$\frac{1}{2}$

Επίσης μπορούν να παραλειφθούν εφόσον η παράμετρος αποτελείται από μία εντολή:

Σύνταξη	Εμφάνιση
x_\text{max}	$x_{\text{max}}$

Το κόμμα ως υποδιαστολή στα δεκαδικά ψηφία

Το κόμμα στο LaTeX είναι προκαθορισμένο ως σημείο απαρίθμησης. Για να εκληφθεί ως δεκαδική υποδιαστολή εισάγεται σε μεγάλες παρενθέσεις.

αριθμός με κόμμα (ορθά)	3{,}14	$3,14$
αριθμός με κόμμα (λανθασμένα)	3,14	$3,14$

Ενσωματωμένοι τύποι

Ένας μαθηματικός χαρακτήρας ή ένας σύντομος τύπος ενσωματώνεται απευθείας στο ρέον κείμενο. Στην έκφραση $f\in C(D)$ δεν υφίσταται πρόβλημα. Στις περιπτώσεις

• Κλάσματος $\frac{a}{b}$,
• Συμβόλου ολοκληρώματος $\int$ ή
• Συμβόλου αθροίσματος $\sum$

προφανώς το πρόβλημα είναι το μεγάλο ύψος των συμβόλων αυτών. Αυτό διορθώνεται με την εντολή \textstyle. Η εντολή μπορεί να αναγραφεί στην έναρξη των περικειμένων math και τα μεγάλα σύμβολα εμφανίζονται μικρότερα ή διαφορετικά π. χ.

:<math>\textstyle \int_a^b</math>

εμφανίζεται ως ${\int }_a^b$. Εφόσον αποσκοπείται η εμφάνιση ενός κλάσματος αυτό μπορεί αντί για <math>\textstyle \frac{a}{b}</math> να γραφεί εναλλακτικά και <math>\tfrac{a}{b}</math>. Και στις δύο περιπτώσεις λαμβάνουμε $\frac{a}{b}$.

Εσοχή

Στην μαθηματική συγγραφή οι εκτενείς τύποι συνηθίζεται να βρίσκονται σε εσοχή. Αυτό επιτυγχάνεται με τοποθέτηση σε νέα σειρά και πρόθεση μιας άνω-κάτω τελείας π. χ.

:<math>x=f(y^2+2).</math>

εμφανίζεται ως:

$x=f(y^2+2).$

Για εσέχοντες τύπους σε απαριθμήσεις με * ή #, συνιστάται η εξής κατασκευή:

* Κείμενο μετά το πρώτο σύμβολο απαρίθμησης, που ακολουθείται από εσέχων τύπο<br /><math style="margin-left:2em">
x=f(y^3-5)
</math><br />μπορούν να ακολουθούν κι άλλες πληροφορίες. 
* Κείμενο μετά το δεύτερο σύμβολο απαρίθμησης.

Το αποτέλεσμα είναι

• Κείμενο μετά το πρώτο σύμβολο απαρίθμησης, που ακολουθείται από από εσέχων τύπο
  $x=f(y^3-5)$
  μπορούν να ακολουθούν κι άλλες πληροφορίες.
• Κείμενο μετά το δεύτερο σύμβολο απαρίθμησης.

Επειδή εσέχοντες τύποι συχνά αποδίδονται ως εικόνα, τα σημεία στίξης είναι καλό να βρίσκονται εντός των <math>-ετικετών, ενώ στο ρέον κείμενο εκτός.

TeX σε επικεφαλίδες

Σε επικεφαλίδες θα πρέπει να αποφεύγεται η χρήση TeX, διότι είναι αδύνατη η εμφάνιση στα περιεχόμενα. Εφόσον είναι αδύνατη η αποφυγή, να επιχειρηθεί πρώτα η παρουσίαση μέσω HTML style. Για παράδειγμα η έκφραση $L^2([a,b])$ (<math>L^2([a,b])</math>) θα μπορούσε να γραφεί ως L²([a,b]) (''L''<sup>2</sup>([''a'',''b''])). Στο ρέον κείμενο δεν είναι επιθυμητός αυτός ο τρόπος.

Εξαναγκασμός παραγωγής PNG

Για την εξαναγκαστική παραγωγή PNG αναγράφεται \!\, οπουδήποτε εντός του τύπου. Πρόκειται περί ενός αρνητικού λεπτού κενού (thin space), ακολουθουμένου από ένα θετικό λεπτό κενό. Τα δύο κενά αλληλοακυρώνονται οπότε δεν προκύπτουν ανεπιθύμητα διαστήματα. Για την εμφάνιση ως PNG και στους χρήστες που έχουν επιλέξει στις προτιμήσεις «Αν είναι δυνατό HTML αλλιώς PNG» είναι απαραίτητο το \!\, να μην βρίσκεται στην αρχή ή το τέλος του τύπου, διότι εκεί αγνοούνται τα whitespaces.

Η εξαναγκαστική παραγωγή PNG συνιστάται μόνον σε περιπτώσεις που θα επακολουθούσε απώλεια πληροφοριών, π. χ. στην παράγωγο της συνάρτησης $f$, δηλ. $f^{\prime }$ στην οποία δεν αποτυπώνεται σωστά το σύμβολο παραγώγισης (οξεία):

HTML	PNG
f'	$f{}^{\prime }$

Παράδειγμα

Σύνταξη	Εμφάνιση
<math>f'</math>	$f^{\prime }$
<math>f\!\,'</math>	$f{}^{\prime }$
<math>f^\prime</math>	$f^{\prime }$

Κείμενο και γραμματοσειρές

To TeX επιτρέπει μόνον την χρήση χαρακτήρων ASCII.

Περιγραφή	Σύνταξη	Εμφάνιση
προκαθορισμένο	abcABC123\Omega\omega	$abcABC123\mathrm{\Omega }\omega$
κείμενο, λέξεις και τμήμα λέξης	Γράμματα που δεν αναπαραστούν μεταβλητή τίθενται σε \text{...} (απαρχαιωμένο: {\rm ...}) ώστε να έχουν το σωστό μέγεθος: U_\text{σύνολο}	$U_{\text{σύνολο}},\cos x=1,\text{wenn }x=0$
ορθά (roman)	\mathrm{abcABC123\Omega\omega\ddot a} \mathrm{abcABC123\Omega\omega\,} απαρχαιωμένο: {\rm abcABC123\Omega\omega}	$\mathrm{a}\mathrm{b}\mathrm{c}\mathrm{A}\mathrm{B}\mathrm{C}\mathrm{1}\mathrm{2}\mathrm{3}\mathrm{\Omega }\mathrm{\omega }\ddot{\mathrm{a}}$ $\mathrm{a}\mathrm{b}\mathrm{c}\mathrm{A}\mathrm{B}\mathrm{C}\mathrm{1}\mathrm{2}\mathrm{3}\mathrm{\Omega }\mathrm{\omega }$ $\mathrm{a}\mathrm{b}\mathrm{c}\mathrm{A}\mathrm{B}\mathrm{C}\mathrm{1}\mathrm{2}\mathrm{3}\mathrm{\Omega }\mathrm{\omega }$
έντονα (boldface) και ορθά (μόνον λατινικοί χαρακτήρες, αριθμ. ψηφία και κεφαλαίοι ελληνικοί χαρακτήρες)	\mathbf{abcABC123\Omega\omega}	$𝐚𝐛𝐜𝐀𝐁𝐂\mathrm{𝟏}\mathrm{𝟐}\mathrm{𝟑}\mathrm{\Omega }\mathit{\omega }$
έντονα (όλοι οι χαρακτήρες)	\boldsymbol{abcABC123\Omega\omega}	$𝒂𝒃𝒄𝑨𝑩𝑪123\mathrm{\Omega }\mathit{\omega }$
πλάγια(italic)	\mathit{abcABC123\Omega\omega} \mathit{abcABC123\Omega\omega\,} απαρχαιωμένο: {\it abcABC123\Omega\omega}	$𝑎𝑏𝑐𝐴𝐵𝐶123\mathrm{\Omega }\mathit{\omega }$ $𝑎𝑏𝑐𝐴𝐵𝐶123\mathrm{\Omega }\mathit{\omega }$ $𝑎𝑏𝑐𝐴𝐵𝐶123\mathrm{\Omega }\mathit{\omega }$
χωρίς ακρέμονες (sans serif)	\mathsf{abcABC123\Omega\omega}	$𝖺𝖻𝖼𝖠𝖡𝖢\mathrm{𝟣}\mathrm{𝟤}\mathrm{𝟥}\mathrm{\Omega }\mathsf{\omega }$
Courier	\mathtt{abcABC123\Omega\omega}	$𝚊𝚋𝚌𝙰𝙱𝙲\mathrm{𝟷}\mathrm{𝟸}\mathrm{𝟹}\mathrm{\Omega }\mathtt{\omega }$
Fraktur	\mathfrak{abcABC123}	$𝔞𝔟𝔠𝔄𝔅ℭ123$
	όλοι οι χαρακτήρες:	$𝔞𝔟𝔠𝔡𝔢𝔣𝔤𝔥𝔦𝔧𝔨𝔩𝔪𝔫𝔬𝔭𝔮𝔯𝔰𝔱𝔲𝔳𝔴𝔵𝔶𝔷$ $𝔄𝔅ℭ𝔇𝔈𝔉𝔊ℌ\Im 𝔍𝔎𝔏𝔐𝔑𝔒𝔓𝔔\Re$ $𝔖𝔗𝔘𝔙𝔚𝔛𝔜ℨ0123456789$
καλλιγραφικά σύμβολα	\mathcal ? ? = κεφαλαία	$𝒜ℬ𝒞𝒟ℰℱ𝒢\mathscr{H}ℐ𝒥𝒦ℒℳ$ $𝒩𝒪𝒫𝒬ℛ𝒮𝒯𝒰𝒱𝒲𝒳𝒴𝒵$
σύνολα αριθμών και διάφοροι ειδικοί χαρακτήρες	\mathbb ? ? = κεφαλαία συπληρωματικά διάφορες συντομεύσεις: \C \N \Q \R \Z	$𝔸𝔹ℂ𝔻𝔼𝔽𝔾ℍ𝕀𝕁𝕂𝕃𝕄$ $\mathbb{N}𝕆\mathbb{P}\mathbb{Q}ℝ𝕊𝕋𝕌𝕍𝕎𝕏𝕐\mathbb{Z}$
	\Bbbk	$𝕜$
φανταστικό και πραγματικό μέρος	\Im \Re καλύτερα: \operatorname{Im} \operatorname{Re}	$\mathrm{\Im }\mathrm{\Re }$ $\mathrm{Im}\mathrm{Re}$
εβραϊκά:	\daleth \gimel \beth \aleph	$\daleth \gimel \beth \mathrm{\aleph }$
ονόματα συναρτήσεων	\sin (x+y), \sin x εφόσον δεν υπάρχει: \operatorname{arsinh} x Σε μη μαθηματικές συναρτήσεις όπως: $\sin$, $\log$, $\exp$ μπορούν να παραλειφθούν οι παρενθέσεις στο όρισμα, εφόσον δεν προκαλείται σύγχυση	$\sin (x+y)$, $\sin x$ $\mathrm{arsinh}x$

Ελληνικοί χαρακτήρες

Σύνταξη (μικρά γράμματα)	Εμφάνιση (html/tex)	Σύνταξη (κεφαλαία)	Εμφάνιση (html/tex)
\alpha	$\alpha$ $\alpha$	\Alpha	$\mathrm{A}$ $\mathrm{A}$
\beta	$\beta$ $\beta$	\Beta	$\mathrm{B}$ $\mathrm{B}$
\gamma	$\gamma$ $\gamma$	\Gamma	$\mathrm{\Gamma }$ $\mathrm{\Gamma }$
\delta	$\delta$ $\delta$	\Delta	$\mathrm{\Delta }$ $\mathrm{\Delta }$
\epsilon \varepsilon	$ϵ$ $ϵ$ $\epsilon$ $\epsilon$	\Epsilon	$\mathrm{E}$ $\mathrm{E}$
\zeta	$\zeta$ $\zeta$	\Zeta	$\mathrm{Z}$ $\mathrm{Z}$
\eta	$\eta$ $\eta$	\Eta	$\mathrm{H}$ $\mathrm{H}$
\theta \vartheta	$\theta$ $\theta$ $\vartheta$ $\vartheta$	\Theta	$\mathrm{\Theta }$ $\mathrm{\Theta }$
\iota	$\iota$ $\iota$	\Iota	$\mathrm{I}$ $\mathrm{I}$
\kappa \varkappa	$\kappa$ $\kappa$ $\varkappa$ $\varkappa$	\Kappa	$\mathrm{K}$ $\mathrm{K}$
\lambda	$\lambda$ $\lambda$	\Lambda	$\mathrm{\Lambda }$ $\mathrm{\Lambda }$
\mu	$\mu$ $\mu$	\Mu	$\mathrm{M}$ $\mathrm{M}$
\nu	$\nu$ $\nu$	\Nu	$\mathrm{N}$ $\mathrm{N}$
\xi	$\xi$ $\xi$	\Xi	$\mathrm{\Xi }$ $\mathrm{\Xi }$
\omicron	$o$ $o$	\Omicron	$O$ $O$
\pi \varpi	$\pi$ $\pi$ $\varpi$ $\varpi$	\Pi	$\mathrm{\Pi }$ $\mathrm{\Pi }$
\rho \varrho	$\rho$ $\rho$ $\varrho$ $\varrho$	\Rho	$\mathrm{P}$ $\mathrm{P}$
\sigma \varsigma	$\sigma$ $\sigma$ $\varsigma$ $\varsigma$	\Sigma	$\mathrm{\Sigma }$ $\mathrm{\Sigma }$
\tau	$\tau$ $\tau$	\Tau	$\mathrm{T}$ $\mathrm{T}$
\upsilon	$\upsilon$ $\upsilon$	\Upsilon	$\mathrm{{\rm Y}}$ $\mathrm{{\rm Y}}$
\phi \varphi	$\varphi$ $\varphi$ $\phi$ $\phi$	\Phi	$\mathrm{\Phi }$ $\mathrm{\Phi }$
\chi	$\chi$ $\chi$	\Chi	$\mathrm{X}$ $\mathrm{X}$
\psi	$\psi$ $\psi$	\Psi	$\mathrm{\Psi }$ $\mathrm{\Psi }$
\omega	$\omega$ $\omega$	\Omega	$\mathrm{\Omega }$ $\mathrm{\Omega }$

Ειδικοί χαρακτήρες στο TeX

Περιγραφή	Σύνταξη	Εμφάνιση
παράγωγοι	\nabla, \partial, \mathrm dx ή dx, \dot x, \ddot x	$\mathrm{\nabla },\partial ,\mathrm{d}x$ ή $dx,\dot{x},\ddot{x}$
μοίρες	360^\circ	$360^{\circ }$
μοίρες στον παρονομαστή (δύσμορφο)	\frac{\pi}{180^\circ} = 1	$\frac{\pi }{180^{\circ }}=1$
μοίρες στον παρονομαστή (εύμορφο)	\frac{\pi}{\displaystyle 180^\circ} = 1	$\frac{\pi }{180^{\circ }}=1$
λεπτά μοίρας	10^\prime	$10^{\prime }$
δευτερόλεπτα μοίρας	3^{\prime\prime}	$3^{\prime \prime }$
βαθμοί Κελσίου	100\,^{\circ}\mathrm{C}	$100{}^{\circ }\mathrm{C}$
διάμετρος, μέση τιμή	\varnothing	$\varnothing$
κενό σύνολο	\emptyset	$\mathrm{\varnothing }$
λοιπά (επιλογή)	\&	$\mathrm{\&}$
	\angle \measuredangle \sphericalangle	$\mathrm{\angle }\measuredangle \sphericalangle$
	\backslash \diagdown \diagup	$\mathrm{\setminus }╲╱$
	\empty \infty	$\mathrm{\varnothing }\mathrm{\infty }$
	\prime \backprime \# \surd \hbar \imath \jmath \wp \ell \mho	$\prime ‵\mathrm{\#}\surd \hslash ıȷ\mathrm{\wp }\ell \mho$
	\bot \top \Box \blacksquare \Diamond \lozenge \blacklozenge \triangle \blacktriangle \blacktriangledown \bigstar	$\mathrm{\perp }\mathrm{\top }◻◼◊◊⧫\mathrm{△}▴▾★$
	\clubsuit \heartsuit \spadesuit \diamondsuit	$\mathrm{♣}\mathrm{♡}\mathrm{♠}\mathrm{♢}$
	\circledS	$\mathrm{Ⓢ}$
	\flat, \natural, \sharp	$\mathrm{♭},\mathrm{♮},\mathrm{♯}$

Σειρές (array), Πίνακες και Μητρώα

Περιγραφή	Σύνταξη	Εμφάνιση
σειρές (array)	\begin{array}{ccc}  0  & 1  & 6\\  2  & 3  & 10 \end{array}	$\begin{array}{ccc}0& 1& 6\\ 2& 3& 10\end{array}$
πίνακες (συντακτικοί)	\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}$
πίνακες (μαθηματικοί)/ μητρώα	\begin{matrix} x & y \\ z & v \end{matrix}	$\begin{array}{cc}x& y\\ z& v\end{array}$
	\bigl( \begin{smallmatrix} a&b \\ c&d \end{smallmatrix} \bigr)	$\left(\begin{array}{cc}a& b\\ c& d\end{array}\right)$
	\begin{pmatrix} x & y \\ z & v \end{pmatrix}	$\left(\begin{array}{cc}x& y\\ z& v\end{array}\right)$
	\begin{bmatrix} 0 & 1\\ 2 & 3 \end{bmatrix}	$\left[\begin{array}{cc}0& 1\\ 2& 3\end{array}\right]$
	\begin{Bmatrix} x & y \\ z & v \end{Bmatrix}	$\left\{\begin{array}{cc}x& y\\ z& v\end{array}\right\}$
	\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$

Μαθηματικά σύμβολα

Δυαδικοί τελεστές, σχέσεις και συγκρίσεις

Σημείωση: Μην χρησιμοποιείτε την κάτωθι μέθοδο \mathcal{μικρό γράμμα ή αριθμός }.

Δυαδική τελεστές Σύνταξη Εμφάνιση \amalg $⨿$ \setminus $\setminus$ \pm \mp $\pm \mp$ \ast \star $\ast \star$ \centerdot \cdot \bullet $\cdot \cdot \bullet$ \circ \bigcirc $\circ ◯$ \odot \circleddash \circledast \circledcirc $\odot ⊝⊛⊚$ \oplus \otimes \ominus \oslash $\oplus \otimes \ominus \oslash$ \boxplus \boxtimes \boxminus \boxdot $⊞⊠\boxminus ⊡$ \sqcap και \sqcup $\sqcap \bigsqcup$ \cap $\cap$ \cup \uplus $\cup \uplus$ \Cap \Cup $⋒⋓$ \doublecap \doublecup $⋒⋓$ \dagger \ddagger $†‡$ \times \div \divideontimes $\times ÷\divideontimes$ \ltimes \rtimes $⋉⋊$ \leftthreetimes \rightthreetimes $⋋⋌$ \vartriangle \triangledown $△▽$ \triangle \mathcal 5 $\mathrm{△}5$ \bigtriangleup \bigtriangledown $△▽$ \triangleright \triangleleft $▹◃$ \diamond $\diamond$ \bowtie $\bowtie$ \vee, \lor \wedge, \land $\vee \vee \wedge \wedge$ \veebar \barwedge $⊻⊼$ \doublebarwedge $⩞$ \curlywedge \curlyvee $⋏⋎$ \wr $\wr$ \intercal $⊺$ \dotplus $\dotplus$ Δυαδικές σχέσεις Σύνταξη Εμφάνιση \propto \varpropto $\propto \propto$ \shortmid \mid $\mid \mid$ \between $\between$ \pitchfork $⋔$ \therefore \because $\therefore \because$ \frown \smile $⌢⌣$ \| \parallel \shortparallel $\Vert \parallel \parallel$ \in \ni $\in \ni$ \perp $\perp$ \backepsilon $∍$

Δυαδικές σχέσεις Σύνταξη Εμφάνιση \cong $\cong$ \equiv $\equiv$ \sim \thicksim \backsim $\sim \sim \backsim$ \simeq \backsimeq $\simeq \backsimeq$ \eqsim $\eqsim$ \approx \thickapprox $\approx \approx$ \approxeq $\approxeq$ \bumpeq $\bumpeq$ \Bumpeq $\Bumpeq$ \doteq $\doteq$ \doteqdot \Doteq $\doteqdot \doteqdot$ \risingdotseq \fallingdotseq $\risingdotseq \fallingdotseq$ \eqcirc $\eqcirc$ \circeq $\circeq$ \triangleq $\triangleq$ σύμβολο «αντιστοιχεί»: \mathrel{\widehat{=}} $\widehat{=}$ < > $<>$ \ll \gg $\ll \gg$ \lll \ggg \gggtr $⋘⋙⋙$ \le ή \leq, \ge ή \geq $\le \ge$ \leqq \geqq $\leqq \geqq$ \leqslant \geqslant $⩽⩾$ \eqslantless \eqslantgtr $⪕⪖$ \lesssim \gtrsim $\lesssim \gtrsim$ \lessapprox \gtrapprox $⪅⪆$ \lessdot \gtrdot $⋖⋗$ \lessgtr \gtrless $\lessgtr \gtrless$ \lesseqgtr \gtreqless $⋚⋛$ \lesseqqgtr \gtreqqless $⪋⪌$ \sqsubseteq και \sqsupseteq $⊑⊒$ \subset \supset $\subset \supset$ \subseteq \supseteq $\subseteq \supseteq$ \subseteqq \supseteqq $⫅⫆$ \Subset \Supset $⋐⋑$ \prec \succ $\prec \succ$ \preccurlyeq \succcurlyeq $\preccurlyeq \succcurlyeq$ \curlyeqprec \curlyeqsucc $⋞⋟$ \preceq \succeq $⪯⪰$ \precsim \succsim $\precsim \succsim$ \precapprox \succapprox $⪷⪸$ \asymp $\asymp$ \vdash \dashv $⊢⊣$ \models $\models$ \Vvdash $\Vvdash$ \vartriangleleft \vartriangleright $⊲⊳$ \blacktriangleleft \blacktriangleright $◂▸$

Δυαδικές σχέσεις (αρνήσεις) Σύνταξη Εμφάνιση \neg $\mathrm{\neg }$ \not< \not> \ngtr $<>\ngtr$ \not=, \neq, \ne $=$ \nsim $\nsim$ \not\approx $\approx ̸$ \ncong $≆$ \not\equiv $\equiv ̸$ \not\le \not\ge $\le ̸\ge ̸$ \nleqq \ngeqq $\nleqq \ngeqq$ \lneq \gneq $⪇⪈$ \lneqq \gneqq $\lneqq \gneqq$ \lvertneqq \gvertneqq $\lneqq \gneqq$ \nleqslant \ngeqslant $⪇⪈$ \lnsim \gnsim $⋦⋧$ \lnapprox \gnapprox $⪉⪊$ \notin $\notin$ \not\simeq $\simeq ̸$ \not\sqsubseteq \not\sqsupseteq $⋢⋣$ \not\subset \not\supset $\subset ̸\supset ̸$ \nsubseteq \nsupseteq $⊈⊉$ \nsubseteqq \nsubseteqq $⊈⊈$ \varsubsetneq \varsupsetneq $⊊⊋$ \subsetneqq \supsetneqq $⫋⫌$ \varsubsetneqq \varsupsetneqq $⫋⫌$ \nprec \nsucc $\nprec \nsucc$ \npreceq \nsucceq $⋠⋡$ \precneqq \succneqq $⪵⪶$ \precnsim \succnsim $⋨⋩$ \precnapprox \succnapprox $⪹⪺$ \not\asymp $\asymp ̸$ \nshortmid $\nmid$ \nshortparallel \nparallel $\nparallel \nparallel$ \nvdash \nvDash $⊬⊭$ \nVdash \nVDash $⊮⊯$ \ntriangleleft \ntriangleright $⋪⋫$ \ntrianglelefteq \ntrianglerighteq $⋬⋭$

Εκθέτες και δείκτες

Περιγραφή	Σύνταξη	Εμφάνιση
εκθέτης	a^2	$a^2$
δείκτης	a_2	$a_2$
διαδοχικοί εκθέτες	{a^3}^4	${a^3}^4$
διαδοχικοί δείκτες	{(\mathrm{NH}_3)}_2	${({\mathrm{N}\mathrm{H}}_3)}_2$
ομαδοποιήση	a^{2+2}	$a^{2+2}$
	a_{i, j}	$a_{i,j}$
απλός συνδυασμός εκθέτη-δείκτη	τόσο το x_2^3 όσο και το x^3_2 δίνουν	$x_2^3$
διαδοχικός συνδυασμός εκθέτη-δείκτη	{x_2}^3 {x^3}_2	${x_2}^3$ ${x^3}_2$
πρόθεση εκθέτη και δείκτη	{}^4_2\mathrm{He}	${}_2^4\mathrm{H}\mathrm{e}$
παράγωγος γενικά	x' ή x^\prime λανθασμένο: x\prime	$x^{\prime }$ λανθασμένο: $x\prime$
χρονική παράγωγος	\dot{x} ή \ddot{x}	$\dot{x}$ ή $\ddot{x}$
παράγωγος σε σημείο	\left. \frac{df}{dx} \right|_{x_0} ή \left. \frac{\mathrm df}{\mathrm dx} \right|_{x_0}	${\frac{df}{dx}|}_{x_0}$ ή ${\frac{\mathrm{d}f}{\mathrm{d}x}|}_{x_0}$
σύμβολο αθροίσματος	\sum_{k=1}^N k^2	$\sum _{k=1}^N{k}^2$
σύμβολο αθροίσματος (συνεπτυγμένο για ρέον κείμενο)	\sum\nolimits_{k=1}^N k^2	$\sum _{k=1}^N{k}^2$
σύμβολο αθροίσματος σε περισσότερες σειρές	\sum_{k\in M,\atop k>5} k	$\sum _{\genfrac{}{}{0ex}{}{k\in M,}{k>5}}k$
γινόμενο	\prod_{i=1}^N x_i	$\prod _{i=1}^N{x}_i$
γινόμενο σε ρέον κείμενο	\prod\nolimits_{i=1}^N x_i	$\prod _{i=1}^N{x}_i$
ρίζα	\sqrt{2} \approx 1{,}4	$\sqrt{2}\approx 1,4$
	\sqrt[n]{x}	$\sqrt[n]{x}$
ένωση συνόλων	\bigcup_{\lambda\in\Lambda} A_\lambda	$\bigcup _{\lambda \in \mathrm{\Lambda }}{A}_{\lambda }$
τομή συνόλων	\bigcap_{\lambda\in\Lambda} A_\lambda	$\bigcap _{\lambda \in \mathrm{\Lambda }}{A}_{\lambda }$
όριο	\lim_{n \to \infty}x_n	$\underset{n\to \mathrm{\infty }}{\lim }{x}_n$
εκθετικές συναρτήσεις	\mathrm e^{-\alpha x^2} („e“ ορθό)	${\mathrm{e}}^{-\alpha x^2}$
	e^{-\alpha x^2} („e“ πλάγιο)	$e^{-\alpha x^2}$
	σε πολύπλοκους εκθέτες: \exp\left(-\frac {1}{2}\left(\frac{x-\mu}\sigma\right)^2\right)	$\exp (-\frac{1}{2}{\left(\frac{x-\mu }{\sigma }\right)}^2)$
ολοκλήρωμα (συνεπτυγμένο για εξοικονόμηση χώρου)	\int_{-N}^N \mathrm e^x\,\mathrm dx	$\underset{-N}{\overset{N}{\int }}{\mathrm{e}}^x\mathrm{d}x$
	\int_{-N}^N e^x\,dx	$\underset{-N}{\overset{N}{\int }}{e}^{x}dx$
ολοκλήρωμα (όρια άνω και κάτω του συμβόλου)	\int\limits_{-N}^N	$\underset{-N}{\overset{N}{\int }}$
ερμιτιανός συζυγής (ή προσαρτημένος) πίνακας	A^\dagger	$A^{†}$
ανάστροφος πίνακας	A^T, A^{\mathrm T}, A^{\mathsf T} ή A^\top	$A^T$, $A^{\mathrm{T}}$, $A^{𝖳}$ ή $A^{\mathrm{\top }}$
συμπληρωματικός πίνακας (θεωρία συνόλων)	A^C, A^{\mathrm C} ή A^{\mathsf C} Οι σπανιότερες διατυπώσεις \complement A να αποφεύγονται.	$A^C$, $A^{\mathrm{C}}$ ή $A^{𝖢}$ $\complement A$
διάταξη εκατέρωθεν	\sideset{_m^n}{_s^e}\prod_a^b	$\underset{a}{\overset{b}{{}_m{}^n\prod _s^e}}$
διάταξη κάτωθεν	\underset{x}{y}	$\underset{x}{y}$
διάταξη άνωθεν	\overset{x}{y}	$\stackrel{x}{y}$
	\stackrel{\mathrm{def}}= (για σχέσεις)	$\stackrel{\mathrm{d}\mathrm{e}\mathrm{f}}{=}$
βέλη με επιγραφές	\xrightarrow\alpha ή πιο σύνθετα A \xleftarrow[P+1]{n+\mu-1} B \xrightarrow[T]{n\pm i-1} C	$\stackrel{\alpha }{\to }$ ή $A\underset{P+1}{\overset{n+\mu -1}{\leftarrow }}B\underset{T}{\overset{n\pm i-1}{\to }}C$

Παρατήρηση:

Το e των εκθετικών και το d των διαφορικών εξισώσεων μπορούν να γραφούν είτε πλάγια, είτε ορθά, αρκεί αυτό να γίνεαται ενιαία σε ένα λήμμα.

Γραμμές,βέλη κ.τ.λ. άνω ή κάτω των όρων

Περιγραφή	Σύνταξη	Εμφάνιση
υπεργράμμιση	\overline {...}	$\overline{ABC}$
υπογράμμιση	\underline {...}	$\underset{\_}{ABC}$
διπλή υπογράμμιση	\underline{\underline{...}}	$\underset{\_}{\underset{\_}{ABC}}$
άνω βέλος με δεξιά φορά	\overrightarrow {...}	$\overrightarrow{ABC}$
άνω βέλος με αριστερή φορά	\overleftarrow {...}	$\overleftarrow{ABC}$
πίλος (hat)	\widehat {...}	$\widehat{ABC}$
αγκύλες έκτασης άνω	\overbrace {ABC} με επιγραφή \overbrace {ABC}^{123}	$\overbrace{ABC}$ με επιγραφή $\stackrel{123}{\overbrace{ABC}}$
αγκύλες έκτασης κάτω	\underbrace {ABC} με επιγραφή \underbrace {ABC}_{123}	$\underbrace{ABC}$ με επιγραφή $\underset{123}{\underbrace{ABC}}$

Λογικοί ποσοδείκτες

Παρατήρηση: Η χρήση ποσοδεικτών περιορίζει την αναγωσιμότητα για το ευρύ κοινό. Η χρήση τους καλό είναι να περιορίζεται.

Περιγραφή	Σύνταξη	Εμφάνιση
για κάθε $x$	\forall x \, A(x)	$\mathrm{\forall }xA(x)$
υπάρχει τουλάχιστον ένα $x$	\exists x \, A(x)	$\mathrm{\exists }xA(x)$
δεν υπάρχει $x$	\nexists x \, A(x)	$\nexists xA(x)$
εναλλακτικά (σπανίως εν χρήσει):
για κάθε $x$	\bigwedge_x A(x)	$\underset{x}{\bigwedge }A(x)$
υπάρχει ένα $x$	\bigvee_x A(x)	$\underset{x}{\bigvee }A(x)$

Μαθηματικά μικροσημεία

Περιγραφή	Σύνταξη	Εμφάνιση
διανυσματικό βέλος	\vec a	$\overrightarrow{a}$
παράγωγος γενικά	a' ή a^\prime	$a^{\prime }$
χρονική παράγωγος	\dot a	$\dot{a}$
δεύτερη χρονική παράγωγος	\ddot a	$\ddot{a}$
χρονική παράγωγος διανύσματος	\dot{\vec a}	$\dot{\overrightarrow{a}}$
παύλα (μέση τιμή)	\bar a	$\overline{a}$
υπεργράμμιση (συμπλήρωμα ή συζυγία)	\overline a	$\bar{a}$
υπογράμμιση	\underline a	$\underset{\_}{a}$
διπλή υπογράμμιση	\underline{\underline a}	$\underset{\_}{\underset{\_}{a}}$
περισπωμένη	\tilde a	$\tilde{a}$
πίλος(hat)	\hat a	$\hat{a}$
βαρεία	\grave a	$\stackrel{`}{a}$
οξεία	\acute a	$\acute{a}$
αντίπιλος (inverted hat,háček ή caron)	\check a	$\check{a}$
βραχύ (breve)	\breve a	$\breve{a}$
μη	a\!\!\!/	$a/$

Ονόματα συναρτήσεων

τριγων. \sin $\sin$ \cos $\cos$ \tan $\tan$ \cot $\cot$ \sec $\sec$ \csc $\csc$ \arcsin $\arcsin$ \arccos $\arccos$ \arctan $\arctan$ \arccot $\mathrm{arccot}$ \arcsec $\mathrm{arcsec}$ \arccsc $\mathrm{arccsc}$

υπερβ. \sinh $\sinh$ \cosh $\cosh$ \tanh $\tanh$ \coth $\coth$ λοιπά \arg $\arg$ \deg $\mathrm{deg}$ \det $\det$ \dim $\dim$ \exp $\exp$ \lg $\lg$ \ln $\ln$ \log $\log$

\max $\max$ \min $\min$ \mod $amodb$ \bmod $amodb$ \pmod $a(\mathrm{mod}b)$ \gcd $\gcd$ \hom $\mathrm{hom}$ \inf $\inf$ \ker $\ker$ \lim $\lim$ \liminf $\mathrm{lim\; inf}$ \limsup $\mathrm{lim\; sup}$ \Pr $\mathrm{Pr}$ \sup $\sup$ \sgn $\mathrm{sgn}$

Παρατήρηση για ονόματα συναρτήσεων

συναρτήσεις (ορθά)	\sin x + \ln y + \operatorname{supp} \, z	$\sin x+\ln y+\mathrm{supp}z$
συναρτήσεις (λανθασμένα)	sin x + ln y + supp z	$sinx+lny+suppz$

Άνω κάτω τελεία στα πεδία ορισμού

Για αυτόν τον σκοπό υπάρχει η εντολή \colon:

ορθό διάστημα	f\colon \R \to \R	$f:ℝ\to ℝ$
λανθασμένο πολύ μεγάλο διάστημα	f: \R \to \R	$f:ℝ\to ℝ$
ορθά διαστήματα μεταξύ των „:“	a:b:c = d:e:f	$a:b:c=d:e:f$ (HTML), $a:b:c=d:e:f$ (PNG)

Κλάσματα και διωνυμικοί συντελεστές

Περιγραφή	Σύνταξη	Εμφάνιση
κλάσματα	\frac{2}{4} απαρχαιωμένο: {2 \over 4}	$\frac{2}{4}$
	απλά κλάσματα σε ρέον κείμενο: \textstyle \frac{2}{3} ή σύντομα \tfrac{2}{3}	$\frac{2}{3}$
	\dfrac{2}{3}	$\frac{2}{3}$
διωνυμικοί συντελεστές	\binom{n}{k} απαρχαιωμένο: {n \choose k}	$(\genfrac{}{}{0ex}{}{n}{k})$
	\dbinom{n}{k}	$(\genfrac{}{}{0ex}{}{n}{k})$
	σε ρέον κείμενο: \tbinom{n}{k}	$(\genfrac{}{}{0ex}{}{n}{k})$

Ολοκληρώματα

Περιγραφή	Σύνταξη	Εμφάνιση
ολοκλήρωμα	\int_{-N}^N	$\underset{-N}{\overset{N}{\int }}$
	\int\limits_{-N}^N	$\underset{-N}{\overset{N}{\int }}$
πολλαπλό ολοκλήρωμα	\iint_a^b \iiint_a^b \iiiint_a^b	$\underset{a}{\overset{b}{\iint }}\underset{a}{\overset{b}{\iiint }}\underset{a}{\overset{b}{⨌}}$
επικαμπύλιο ολοκλήρωμα	\oint_c	${\oint }_c$

Εξισώσεις σε πολλαπλές σειρές

Σύνταξη	Εμφάνιση
\begin{align} L & = \lim_{|x| \to \infty}\ \frac{\cos \frac 1x \cdot \frac{-1}{x^2}}{\frac{-1}{x^2}}\\   & = \lim_{|x| \to \infty} {\cos\frac 1x} \cdot \frac{-1}{x^2} \cdot \frac{x^2}{-1}\\   & = \cos\frac 1{\infty} = \cos 0 = 1 \end{align}	$\begin{array}{cc}L& =\underset{|x|\to \mathrm{\infty }}{\lim }\frac{\cos \frac{1}{x}\cdot \frac{-1}{x^2}}{\frac{-1}{x^2}}\\ & =\underset{|x|\to \mathrm{\infty }}{\lim }\cos \frac{1}{x}\cdot \frac{-1}{x^2}\cdot \frac{x^2}{-1}\\ & =\cos \frac{1}{\mathrm{\infty }}=\cos 0=1\end{array}$
\begin{alignat}{2} L & = \lim_{|x| \to \infty}\ \frac{\cos \frac 1x \cdot \frac{-1}{x^2}}{\frac{-1}{x^2}} &\quad& \text{by me}\\   & = \lim_{|x| \to \infty} {\cos\frac 1x} \cdot \frac{-1}{x^2} \cdot \frac{x^2}{-1} && \text{by him}\\   & = \cos\frac 1{\infty} = \cos 0 = 1 && \text{Axiom 3} \end{alignat}	$\begin{array}{cccc}L& =\underset{|x|\to \mathrm{\infty }}{\lim }\frac{\cos \frac{1}{x}\cdot \frac{-1}{x^2}}{\frac{-1}{x^2}}& & \text{by me}\\ & =\underset{|x|\to \mathrm{\infty }}{\lim }\cos \frac{1}{x}\cdot \frac{-1}{x^2}\cdot \frac{x^2}{-1}& & \text{by him}\\ & =\cos \frac{1}{\mathrm{\infty }}=\cos 0=1& & \text{Axiom 3}\end{array}$

Διακλαδώσεις περιπτώσεων

Σύνταξη	Εμφάνιση
f(n)=\begin{cases} n/2, & \gamma \iota \alpha\ n\ \acute \alpha \rho \tau \iota \omicron\\ 3n+1, & \gamma \iota \alpha\ n\ \pi \epsilon \rho \iota \tau \tau \acute {\omicron} \end{cases}	$f(n)=\{\begin{array}{cc}n/2,& \gamma \iota \alpha n\acute{\alpha }\rho \tau \iota o\\ 3n+1,& \gamma \iota \alpha n\pi ϵ\rho \iota \tau \tau \acute{o}\end{array}$

Παρενθέσεις και σημεία περιορισμού

Στρογγυλές παρενθέσεις και άγκιστρα ως επί το πλείστον πληκτρολογούνται απευθείας (f(x),a[y]: $f(x),a[y]$). Αγκύλες τυπώνονται με \{ και με \}, μυτερές παρενθέσεις με \langle και με \rangle (όχι απευθείας με < και >):

μυτερές παρενθέσεις (ορθά)	\langle x,y \rangle	$⟨x,y⟩$
μυτερές παρενθέσεις (λανθασμένα)	<x,y>	$<x,y>$

Εάν οι παρενθέσεις περικλείουν μεγαλύτερες εκφράσεις π. χ ένα κλάσμα, αυτό θα πρέπει να προμηνύεται στον κώδικα μέσω \left έκφραση \right ή μιας από τις ακόλουθες κατασκευές:

\left( \frac{x+2}{x^3+7} \right\rangle

$(\frac{x+2}{x^3+7}⟩$

Το \left και το \right πρέπει να εμφανίζονται κατά ζεύγη και με τις σχετικές παρενθέσεις π. χ.\left( μαθ. έκφραση \right), ή \left\{ μαθ. έκφραση \right\}. Εάν από την μία πλευρά δεν επιθυμείται σημείο περιορισμού \left ή \right τότε γίνεται συνδυασμός με μία τελεία: \left. ομοίως \right.

\left. \frac{\partial V}{\partial x} \right\rbrace

$\frac{\partial V}{\partial x}\}$

Για την ειδική περίπτωση της διακλάδωσης περιπτώσεων υπάρχει το cases βλ. άνωθι.

Σε ορισμένες περιπτώσεις η χρήση των \left και \right οδηγεί σε παρενθέσεις, που είναι δυσανάλογα μεγάλες ή μικρές. Σε τέτοια περίπτωση υπάρχει επιπλέον η δυνατότητα διαβάθμισης του μεγέθους μέσω \big, \Big, \bigg ή \Bigg. Η χρήση είναι ανάλογη με το \left και \right.

Κατάλογος συμβόλων περιορισμού

Περιγραφή	Σύνταξη	Εμφάνιση
στρογγυλές παρενθέσεις	(A)	$(A)$
άγκιστρο	[A] \lbrack \rbrack	$[A]$ $[]$
αγκύλη	\{ A\} \lbrace \rbrace	$\{A\}$ $\{\}$
στρογγυλοποίηση προς τα κάτω	\lfloor A \rfloor	$\lfloor A\rfloor$
στρογγυλοποίηση προς τα άνω	\lceil A \rceil	$\lceil A\rceil$
μυτερές παρενθέσεις	\langle A \rangle	$⟨A⟩$
απόλυτη τιμή	\left| A \right| \vert	$\left|A\right|$ $|$
νόρμα	\| A \| \Vert	$\Vert A\Vert$ $\Vert$
χρήση των \left. και\right., με μονόπλευρο περιορισμό:	\left. \frac AB \right\} \to X	$\frac{A}{B}\}\to X$
κώχες (γωνίες)	\ulcorner, \urcorner \llcorner, \lrcorner	$⌜⌝$ $⌞⌟$

Χειρακτικά (manual) σύμβολα περιορισμού

Τα \mathopen και \mathclose καθιστούν δυνατή την χρήση χειρακτικών συμβόλων περιορισμού. Εφόσον π. χ. η άνω κάτω τελεία δεν προβλέπεται να χρησιμοποιηθεί ως δυαδικός τελεστής αλλά ως περιορισμός τότε προσφέρεται η εξής σύνταξη:

Σύνταξη	Εμφάνιση
foo\mathopen:a,b\mathclose:bar	$foo:a,b:bar$
προς σύγκριση: foo:a,b:bar	$foo:a,b:bar$

Μαθηματικά διαστήματα

Περιγραφή	Σύνταξη	Εμφάνιση
κλειστό διάστημα	[a,b]	$[a,b]$
ανοικτό διάστημα	(a,b) {]a,b[}	$(a,b)$ $]a,b[$
ηµιανοικτό διάστημα	[a,b) {[a,b[}	$[a,b)$ $[a,b[$

Κατά την χρήση αγκίστρων ][ για τις ανοικτές πλευρές πρέπει επιπλέον να χρησιμοποιηθούν αγκύλες για να μην δημιουργηθούν λανθασμένα κενά.

Ογκώδεις εκφράσεις εντός παρενθέσεων

δύσμορφο: ( \frac{1}{2} )	εύμορφο: \left( \frac{1}{2} \right) ή \bigg(\frac 12\bigg)
δύσμορφο: $(\frac{1}{2})$	εύμορφο: $\left(\frac{1}{2}\right)$ ή $\left(\frac{1}{2}\right)$

Διάφορες διαβαθμήσεις μεγέθους

\bigl( ... \bigr)	$(...)$
\Bigl( ... \Bigr)	$(...)$
\biggl( ... \biggr)	$(...)$
\Biggl( ... \Biggr)	$(...)$

λειτουργεί και το \big του οποίου όμως συνιστάται η αποφυγή.

Βέλη

Σύνταξη Εμφάνιση \circlearrowleft \circlearrowright $\circlearrowleft \circlearrowright$ \curvearrowleft \curvearrowright $\curvearrowleft \curvearrowright$ \downarrow \uparrow $\downarrow \uparrow$ \downdownarrows \upuparrows $\downdownarrows \upuparrows$ \Downarrow \Uparrow $\Downarrow \Uparrow$ \hookleftarrow \hookrightarrow $\hookleftarrow \hookrightarrow$ \leftarrow \rightarrow $\leftarrow \to$ \Leftarrow \Rightarrow $\Leftarrow \Rightarrow$ \leftarrowtail \rightarrowtail $\leftarrowtail \rightarrowtail$ \leftharpoondown \rightharpoondown $\leftharpoondown \rightharpoondown$ \leftharpoonup \rightharpoonup $\leftharpoonup \rightharpoonup$ \leftleftarrows \rightrightarrows $\leftleftarrows \rightrightarrows$ \leftrightarrow \Leftrightarrow $\leftrightarrow \iff$ \leftrightarrows \rightleftarrows $\leftrightarrows \rightleftarrows$ \leftrightharpoons \rightleftharpoons $\leftrightharpoons \rightleftharpoons$

Σύνταξη Εμφάνιση \leftrightsquigarrow \rightsquigarrow $\leftrightsquigarrow ⇝$ \Lleftarrow \Rrightarrow $\Lleftarrow \Rrightarrow$ \longleftarrow \longrightarrow $⟵⟶$ \Longleftarrow \Longrightarrow $⟸⟹$ \longleftrightarrow $⟷$ \Longleftrightarrow $⟺$ \longmapsto \mapsto $⟼\mapsto$ \looparrowleft \looparrowright $\looparrowleft \looparrowright$ \Lsh \Rsh $\Lsh \Rsh$ \multimap $⊸$ \nearrow \nwarrow \searrow \swarrow $\nearrow \nwarrow \searrow \swarrow$ \nLeftarrow \nRightarrow $\nLeftarrow \nRightarrow$ \nleftrightarrow \nLeftrightarrow $\nleftrightarrow \nLeftrightarrow$ \restriction $\upharpoonright$ \twoheadleftarrow \twoheadrightarrow $\twoheadleftarrow \twoheadrightarrow$ \updownarrow \Updownarrow $\updownarrow \Updownarrow$

Διανυσματικά βέλη μπορούν να δημιουργηθούν μέσω \vec x: $\overrightarrow{x}$.
Για τα υπόλοιπα βέλη βλέπε Εκθέτες και Δείκτες άνωθι.

Αποσιωποιητικά

Υπάρχουν σημασιολογικά αποσιωποιητικά:

Περιγραφή	Σύνταξη	Εμφάνιση
δυαδικές πράξεις/σχέσεις	a_1 + a_2 + \dotsb + a_n	$a_1+a_2+\cdots +a_n$
απαριθμήσεις („dots with commas“)	1, 2, \dotsc, n	$1,2,\dots ,n$
πολλαπλασιασμοί	a_1 a_2\dotsm a_n	$a_1{a}_2\cdots a_n$
ολοκληρώματα	\int_{A_1}\int_{A_2}\dotsi\int_{A_n}	$\underset{A_1}{\int }\underset{A_2}{\int }\cdots \underset{A_n}{\int }$
λοιπά („other dots“)	\square\dotso\square	$◻\dots ◻$

Επίσης υπάρχουν συντακτικά αποσιωπητικά, των οποίων η χρήση συνιστάται μόνον εφόσον δεν υπάρχουν κατάλληλα σημασιολογικά:

Περιγραφή	Σύνταξη	Εμφάνιση
διαγωνίως ( \iddots σε άλλη κλίση δεν παριστάνονται)	\ddots	$\ddots$
κατακόρυφα	\vdots	$⋮$
οριζόντια,μέσον	A_{11} \cdots A_{1n}	$A_{11}\cdots A_{1n}$
οριζόντια,κάτω	\square \ldots \square	$◻\dots ◻$

Διαγραμμίσεις

Περιγραφή	Σύνταξη	Εμφάνιση
διαγράμμιση (κάτω αριστερά πρός άνω δεξιά)	\cancel {a}	$\cancel{a}$
διαγράμμιση (άνω αριστερά πρός κάτω δεξιά)	\bcancel {a}	$\bcancel{a}$
διαγράμμιση (σταυρωτά)	\xcancel {a}	$\xcancel{a}$
διαγράμμιση με βέλος (κάτω αριστερά πρός άνω δεξιά)	\cancelto {0}{a}	${\xcancel{a}}^0$

Παρεμβολή κενών διαστήματων

Για την χειρωνακτική ρύθμιση των κενών διαστημάτων το TeX παρέχει τις εξής εντολές:

Μέγεθος κενού	Σύνταξη	Περιγραφή	Εμφάνιση
2 quad	a \qquad b	2 quad	$ab$
1 quad	a \quad b	1 quad	$ab$
κανονικό διάστημα	a\ b	?	$ab$
μεγάλο διάστημα	a\;b	5/18 quad	$ab$
μικρό διάστημα	a\,b	3/18 quad	$ab$
κανένα διάστημα	ab	0 quad	$ab$
μικρό αρνητικό διάστημα	a\!b	−3/18 quad	$ab$

Το μήκος 1 quad αντιστοχεί σε 1 em.

Επιπλέον υπάρχει η δυνατότητα χαρακτηρισμού ως « σύνηθες μαθηματικό σύμβολο » για τον αυτόματο καθορισμό του παρεμβαλλομένου διαστήματος:

Περιγραφή	Σύνταξη	Παράδειγμα	Εμφάνιση
σύνηθες μαθηματικό σύμβολο	\mathord	a+\mathord\downarrow a+\downarrow	$a+\downarrow$ $a+\downarrow$
		a\mathord=b a=b	$a=b$ $a=b$

Κατακόρυφη στοίχιση

Μέσω της CSS-προεπιλογής

img.tex { vertical-align: middle; }

γίνεται κάθετη κεντρική στοίχιση π. χ.: $\sum _{i=-N}^N\sin i$

Χρώματα

Εξισώσεις μπορούν να περιέχουν χρώματα:

{ \color{Blue}x^2 } + { \color{Brown} 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}$

CSS-Styles

Η ετικέτα <math> μπορεί να τροποιηθεί εμφανισιακά.

<math style="border: 1px blue; border-style: dashed; padding: 1em;">a^2+b^2=c^2</math> δίνει:

$a^2+b^2=c^2$

Τι δεν γίνεται

• Ειδικοί χαρακτήρες: Ειδικοί χαρακτήρες μπορούν να τεθούν σε \mbox \mbox{öäöß}=$\text{öäöß}$, αλλά όχι σε \text για άγνωστη αιτία.
• Δυαδικοί τελεστές: \lhd, \rhd, \unlhd, \unrhd
• Δυαδικές συγκρίσεις: \Join
• Πολυδιάστα επικαμπύλια ολοκληρώματα: \oiint, και παρακάμψεις όπως
  $\underset{\partial V}{\iint }\subset \supset 𝐃\cdot \mathrm{d}𝐀=Q(V)$ ή
  $\int \underset{\partial V}{\int }◯𝐃\cdot \mathrm{d}𝐀=Q(V)$
  καθώς και ο κώδικας αυτών
  \iint_{\partial V}\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\!\;\;\;\subset\!\supset \mathbf D\;\cdot\mathrm{d}\mathbf A = Q(V)
  είναι δυσανάγνωστα και σε μορφή κειμένου (text-style) επιπλέον δυσδιάκριτα $\int \underset{\partial V}{\int }◯𝐃\cdot \mathrm{d}𝐀=Q(V)$.
• Κενό-φάντασμα: \hphantom, \vphantom, \phantom
• Άρνηση (negation): \not\preqeq, \not\sym, \not\succec.
• Ελληνικοί χαρακτήρες: Ελληνικοί μικροί χαρακτήρες αποτυπώνονται μόνον πλάγια και όχι ορθά. Τα \mathrm και \mathit οδηγούν στο ίδιο αποτέλεσμα.
• Εβραϊκοί χαρακτήρες: Μόνον τα πρώτα γράμματα είναι δυνατά \chet, \zayin, \waw, ... τα άλλα όχι
• Βέλη: \leadsto
• Βέλη ισορροπίας \rightleftharpoons με μεταβλητές πάνω και κάτω \xrightleftharpoons{άνω}{κάτω}. Feature Request: chemarr package
• Ορισμός επιπλέον χρωμάτων: \definecolor
• Σύμβολα συνόλων με απλή γραμμή:

Λειτουργία	Αντικαθίσταται με	Εμφάνιση	Διαφορά
\mathds ή \mathbbm	\mathbb	$\mathbb{N}$	Οι χαρακτήρες εχούν τα διπλά ίχνη αλλού σε σχέση με $\mathrm{I}\mathrm{N}$

• Λοιπά αποσιωποιητικά: \iddots
• Παρενθέσεις και σύμβολα περιορισμού:

Λειτουργία	Αντικαθίσταται με	Εμφάνιση	Μειονέκτημα
\lvert A\rvert	\vert A \vert	$|A|$	λανθασμένο κενό, π. χ. σε $|-a|$
\lVert A\rVert	\Vert A \Vert	$\Vert A\Vert$
\interleave A\interleave	|||A|||	$|||A|||$	λανθασμένο κενό
\left\bbracket B \right\bbracket	[\![ B ]\!]	$[[B]]$	δεν κλιμακώνεται με \left και \right

Επιπλέον: \lgroup, \rgroup, \lmoustache, \rmoustache.

• Λοιπά:

Λειτουργία	Αντικαθίσταται με	Εμφάνιση	Μειονέκτημα
\unit{nF}	\mathrm{nF}, \text{Text}	$\mathrm{n}\mathrm{F},\text{Text}$	μη σημασιολογικό
\text{\"u} ή \mathrm{ \ddot u}	\mbox{ü}	$\text{ü}$
\sum_{\substack{0<i<m\\0<j<n}}P(i,j) ή \sum_{\begin{subarray}{l}0<i<m\\ 0<j<n\end{subarray}}P(i,j)	\sum_{0\le i\le m\atop 0<j<n}P(i,j)	$\sum _{\genfrac{}{}{0ex}{}{0\le i\le m}{0<j<n}}P(i,j)$	όχι τόσο ευέλικτο
\permil	{}^{0\!}\!/\!_{00}	${}^0/{}_{00}$	το σύμβολο ‰ είναι πιο ωραίο
\textdegree, \degree (και \textcelsius, \celsius)	^\circ	${\circ }^{}$	μη σημασιολογικό

Παραδείγματα

Τετραγωνική εξίσωση

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

<math>x_{1,2} = \frac{-b \pm \sqrt{b^2-4ac} }{2a}</math>

Ογκώδες κλάσμα και παρένθεση

$2=\left(\frac{(3-x)\cdot 2}{3-x}\right)$

<math>2 = \left( \frac{\left( 3-x \right) \cdot 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)\mathrm{d}y\mathrm{d}s=\underset{a}{\overset{x}{\int }}f(y)(x-y)\mathrm{d}y$

<math>\int_a^x \int_a^s f(y)\,\mathrm dy\,\mathrm ds
=\int_a^x f(y)(x-y)\,\mathrm dy</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^2n}{3^m \left( m3^n + n3^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>

Μιγαδικοί αριθμοί

$z=a+ib\text{ ή }z=a+\mathrm{i}b,|{\overline{z}}^n|=|z{|}^n,\arg (z^n)=n\arg (z)$

<math>z=a+ib \text{ ή } z=a+\mathrm ib, \quad |\bar z^n| = |z|^n, \quad \arg(z^n) = n \arg(z)</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]\mathrm{d}R$

<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]\mathrm dR</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, \ldots, a_p; c_1, \ldots, 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>

Επιπλέον δείγμα

${\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{,}033 C_n^2 \kappa^{-11/3}, \quad
\frac{1}{L_0} \ll \kappa \ll \frac{1}{l_0}\,</math>

Διασυνδέσεις

• Εισαγωγικό στο TeX στα αγγλικά από την σελ. 39 και εξής υπάρχει εισαγωγή στο math: http://www.ctan.org/tex-archive/info/gentle/gentle.pdf?action=/starter/
• AMS-LaTeX πακέτο λογισμικού και περιγραφή: http://www.ams.org/tex/amslatex.html
• Επιπλέον κείμενο στα αγγλικά: http://www.ctan.org/tex-archive/info/lshort/english/lshort.pdf
• The Comprehensive LaTeX Symbol List - Κατάλογος όλων των συμβόλων