Series on Blogging with LaTeX

This is the 2nd post in the series. Previous one:

This series shows my first experiences with using the mathematical expressions handling tools provided by WordPress for blogging. They use a version of the LaTeX syntax.

Many of the examples shown here were adapted from the Wikipedia article Displaying a formula, which is actually about formulas in Math Markup.

.

Accents – Diacritics

Examples on how to put accents in mathematical expressions:

\acute{a} \grave{a} \hat{a} \tilde{a} \breve{a}

\check{a} \bar{a} \ddot{a} \dot{a}

x’, y”

.

Superscript and subscript

How to display subscripts and superscripts, indexes and exponents:

Subscripts :

a_i gives

gives b_{ij} gives

gives C_{m,n} gives

gives \delta_{j+k} gives

Superscripts :

x^y gives

gives a^{j2\pi} gives

gives x^2_3 gives

gives C^k_{\mu,

u} gives

Composition with preceding indexes : {}_1^2 \Psi_3^4 gives

.

Underlines, overlines and stackings



Includes 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}

\overbrace{ 1+2+\cdots+100 }^{5050}

\underbrace{ a+b+\cdots+z }_{26}

A \xleftarrow{n+\mu-1} B \xrightarrow[T]{n\pm i-1} C

\overset{\alpha}{\omega} \underset{\mu}{

u} \overset{\beta}{\underset{\Delta}{\tau}} \stackrel{\zeta}{\eta}

.

Sets

Sets operations and related symbols.

\in

i

otin \varnothing \complement



\subset \subseteq \subsetneq \supset \supseteq \supsetneq

\cap \bigcap \cup \bigcup

\ell \mho \Finv \Re \Im \wp

Others – examples using the calligraphic font (\cal) and the Greek font for designating sets:

{\cal A} \setminus {\cal B} gives

\Omega \smallsetminus \omega gives

.

Logic

Logical operators and relations:

\forall \exists

exists \bar{A} \mid



\And \wedge \vee

eg \to \gets \iff



\bigwedge \bigvee \diamond \lozenge



\vdash \Vdash \vDash \Vvdash \models \dashv

Examples:

\ forall p,q \, \exists q \mid \bar{q} \to p gives

gives \bigwedge _{x \in A} gives

gives \bigwedge \limits _{x

otin A} gives

gives \bar{A \vee B} = \bar{A} \wedge \bar{B} gives

gives A \iff B = A \to B \wedge A \gets B gives

gives \bigcap \limits _{i=1}^n \bigcup \limits _{j=1}^n {\cal B}_{i,j} gives

Obs – the statement \limits shown in the examples above puts the indexes exactly above and / or below the symbol. In the first example, \, is used to put an extra space. .

Operators

Several types of operators:

+ \oplus \bigoplus \pm \mp –

\times \otimes \bigotimes \cdot \circ \bullet \bigodot

\star * / \div \frac{1}{2}

\sqrt{2} \sqrt[n]{x}



abla \partial x \dot x \ddot y

Examples:

\rho = \sqrt{x^2 + y^2} gives



abla \phi (x,y) = \frac{\partial \phi}{\partial x} + \frac{\partial \phi}{\partial y} gives



abla^2 \phi (x,y) = \frac{\partial^2 \phi}{\partial x^2} + \frac{\partial^2 \phi}{\partial y^2} gives

\frac{\partial^2 \phi}{\partial x \partial y} = \frac{\partial^2 \phi}{\partial y \partial x} gives

.

Relations and definitions

To specify relations, mappings and definitions

\sim \approx \simeq \cong \dot =



< > \le \ge \ll \gg

\lessgtr \lesseqgtr \lesseqqgtr

\equiv

ot\equiv

e \propto

\mapsto \longmapsto

.

Geometric

Geometric symbols

\circ \bigcirc \Diamond \Box \triangle



\vartriangle \triangledown \triangleleft \triangleright \vartriangleright \vartriangleleft



\angle \sphericalangle \measuredangle 45^\circ

\perp \mid

mid \| \asymp \parallel

.

Arrows

Some more frequent types of arrows (there are many more – see in Wikipedia article)

\leftarrow \rightarrow \leftrightarrow \Leftarrow \Rightarrow \Leftrightarrow

\leftarrow \gets \rightarrow \to

ot\to \leftrightarrow \longleftarrow \longrightarrow

\rightleftharpoons \leftleftarrows \leftrightarrows \Lleftarrow \leftarrowtail

\uparrow \downarrow \updownarrow \Uparrow \Downarrow \Updownarrow

.

Special symbols

Some special symbols. There are many more in Wikipedia article

\S \P \% \dagger \ddagger \ldots \cdots

\smile \frown \wr \triangleleft \triangleright \infty \bot \top

\imath \hbar \jmath \surd \ast \amalg \therefore \backepsilon \sharp

.

Summations, Integrals and Products

Several cases, including limits, sequences and series. Notice in the examples below that when you want to put the limits with the same vertical alignment of the math symbol, you must use the \limits declaration. Otherwise, the limits will be put ahead of the symbol.

\lim \limits_{n \to \infty}x_n

\lim _{n \to \infty}x_n

\sum_{k=1}^N k^2

\sum \limits_{k=1}^N k^2

\prod_{i=1}^N x_i

\prod \limits_{i=1}^N x_i

\coprod_{i=1}^N x_i

\coprod \limits_{i=1}^N x_i

\int_{-N}^{N} e^x\, dx

\int \limits_{-N}^{N} e^x\, dx

\iint_{D}^{W} \, dx\,dy

\iiint_{E}^{V} \, dx\,dy\,dz

\iiiint_{F}^{U} \, dx\,dy\,dz\,dt

\oint_{C} x^3\, dx + 4y^2\, dy

Obs – the declaration \, in the above integrals puts extra spaces between consecutive letters. See more about alignement on this post : LaTeX – Fine-tunning and some extras.

.

Binomials

Binomials only. For matrices, see next post.

\binom{n}{p} = \frac{n!}{p!(n-p)!}



