TEXm m Mathematical Formula Quick Reference

T

E

Xm m Mathematical Formula Quick Reference

T

E

Xm m Mathematical

Formula

Quick Reference

Typesetting some formulas in TeX is fairly straightforward and intuitive. Others are still easy provided one knows the syntax. And others require some lifting. This reference shall include almost all kinds of formulas one could possibly need to typeset in a typical mathematical paper, from the very simple to the very complicated.

A good TeX document begins with a preamble. PlanetMath supplies a default preamble for most kinds of documents it contains. Any formula using standard mathematical symbols can be typeset in PlanetMath without making any changes to the default preamble. Nothing in this reference requires you to make any changes to the default preamble.

After some general remarks on math mode, what follows will be organized by mathematical branch, from

elementary

to advanced, each syntax placed in the most elementary branch it is likely to

occur in

. Naturally some of these will be open to debate. But the idea is that for the most part, these usually hold.

1

Entering math mode

There are a few different ways of entering and leaving math mode. The two most commonly used on PlanetMath are the single dollar sign and the double dollar sign (this of course must be properly matched, if one closes with one too few or too many, an error occurs and rendering fails). The double dollar sign causes a linefeed before and after the formula, regardless of whether or not there is a linefeed in the source, and the formula is centered. This is recommended for most formulas where there is complicated nesting of

expressions

and/or several different levels with some particularly small

elements

.

1.1

Remarks on spacing in the source

Technically one could write in math mode and not use any spaces whatsoever, and the TeX rendering engine will take care of spacing according to the conventions of mathematical typesetting. However, for the sake of readability when one needs to look at the source, it is good form to use spacing in the source. One can even use more spacing than will actually show. In this reference, the examples will use spacing that tries to mimic the spacing in the output.

1.2

Grouping

Often it is necessary to let the rendering engine know that two or more entities are to be treated as a single entity. This accomplished with “curly braces”. Actually displaying these braces will be dealt with later.

2

Arithmetic

Base 10 numbers are written with the digits 0, 1, 2, 3, 4, 5, 6, 7, 8 and 9, and the

decimal point

“.” Some

operators

can simply be typed in.

2.1

Addition and subtraction

The “+” key will do. But the “-” is technically not a

subtraction

operator, even though it is understood as a subtraction operator in most

computer

programming languages and

computer algebra systems

. It is understood that way too in TeX but only in math mode. In math mode, the rendering engine renders an en dash as a true subtraction sign. Out of math mode it remains an en dash.

31

+

13

+

2

+

1

Code:

$31 + 13 + 2 + 1$

100

-

53

Code:

$100 - 53$

2.2

Multiplication

With

multiplication

we come to a veritable embarrasse de choix, though there are some guidelines to steer our choices by. The asterisk operator should generally only be used in programming language source code listings, not in math mode. In math mode, two options include the X-like cross “

×

” and the

central

dot “

⋅

”.

2

×

3

×

7

+

1

Code:

$2 \times 3 \times 7 + 1$

2

⋅

3

⋅

7

+

1

Code:

$2 \cdot 3 \cdot 7 + 1$

We’ll get to the

tacit multiplication operator

soon. But first, exponentiation, a kind of iterated multiplication in which a single operand is repeatedly multiplied by itself a number of times, the operand being the “base” and the

exponent

, the number of times to multiply the operand by itself, being a small

superscript

to the right of the base. In the TeX source we write the caret symbol so familiar to computer programmers, and the rendering engine will typeset a single entity to the right of the caret as a superscript to the right of the base in a smaller font.

2

3

-

1

Code:

$2^3 - 1$

2

3

⁢

1

-

1

Code:

$2^31 - 1$

For the rendering engine, the most significant digit of the exponent counts as a single digit. We must let the rendering engine know if a group of digits is a single exponent.

2

31

-

1

Code:

$2^{31} - 1$

2

131071

-

1

Code:

$2^{131071} - 1$

This suggests one way to do the tacit multiplication operator when the multiplicands have exponents.

2

2

⁢

3

2

⁢

5

2

⁢

7

2

Code:

$2^2 3^2 5^2 7^2$

2

19

⁢

3

17

⁢

5

2

⁢

7

2

Code:

$2^{19} 3^{17} 5^2 7^2$

(Though it’s good form to space them in the source).

As for

power towers

, TeX can handle these just as easily as the usual exponentiation with a single base and exponent, so long as the author makes sure each opening bracket has a

matching

closing bracket.

2

2

3

+

1

Code:

$2^{2^3} + 1$

5

4

3

2

1

Code:

$5^{4^{3^{2^1}}}$

Theoretically, a power tower can go as far as the rendering engine’s

maximum

file size will allow. But for the sake of our older readers, power towers ought to be limited to three elements.

For

factorials

, if one’s keyboard has the closing exclamation mark “!”, that’s good enough for the factorial symbol in TeX.

7

!

Code:

$7!$

2.3

Divisions and fractions

We may use either the forward slash “/” or the subtraction sign enmeshed with colon “

÷

.”

81263

÷

47

Code:

$81263 \div 47$

2

1

/

2

Code:

$2^{1/2}$

Generally, however,

divisions

should be expressed as

fractions

. There are two different ways of doing fractions, but the most straightforward is the backslash-frac-numerator enclosed by braces-denominator enclosed by braces syntax.

1

2

+

1

4

+

1

20

Code:

$$\frac{1}{2} + \frac{1}{4} + \frac{1}{20}$$

2

13

7

+

19

Code:

$$\frac{2^{13}}{7 + 19}$$

4

⁢

(

2

3

×

4

3

×

4

5

×

6

5

)

Code:

$$4(\frac{2}{3} \times \frac{4}{3} \times \frac{4}{5} \times

Code:

\frac{6}{5})$$

2.4

Parentheses

The parentheses available from the keyboard will do fine for most purposes. Occasionally, as the previous example shows, it is necessary to nudge the rendering engine to make the parentheses bigger with the use of the “left(” and “right)” commands.

4

⁢

(

2

3

×

4

3

×

4

5

×

6

5

)

Code:

$$4\left(\frac{2}{3} \times \frac{4}{3} \times \frac{4}{5} \times \frac{6}{5}\right)$$

2.5

Comparisons

The symbols for the three most commonly used comparisons, less than, equal to and more than, are available from the keyboard (or at least in the standard American layout) and can simply be typed straight in.

3

2

<

2

4

Code:

$3^2 < 2^4$

2

4

=

4

2

Code:

$2^4 = 4^2$

3

4

>

4

3

Code:

$3^4 > 4^3$

For not equal to, neither “¡¿” nor “!=” should be used, except of course in computer programming language source code listings. The correct symbol is “

≠

”, and its corresponding TeX command is either

\neq

or

\ne

. Similarly, for

greater

than or equal to and less than or equal to, the commands are

geq

(or

\ge

) and

leq

(or

\le

).

(

1

2

)

(

-

1

)

≤

2

Code:

$$(\frac{1}{2})^{(-1)} \leq 2$$

(

21

×

3

)

≥

60

Code:

$(21 \times 3) \geq 60$

For

congruences

, one has the option of putting the “mod some number” part in parentheses or not.

4

2

≡

1

mod

21

Code:

$4^2 \equiv 1 \mod 21$

5

3

≡

31

(

mod

47

)

Code:

$5^3 \equiv 31 \pmod{47}$

Note that for the parenthesized version, the

modulus

must follow, preferrably bracketed.

Most computer keyboards provide a broken pipe symbol which however shows up in math mode as the single line of the

divisibility

symbol. For the does not divide symbol, however, use

\nmid

.

7

|

42

Code:

$7 | 42$

2

∤

47

Code:

$2 \nmid 47$

For the two wavy lines of approximation, the command is

\approx

.

4

7

≈

0.5714286

Code:

$$\frac{4}{7} \approx 0.5714286$$

2.6

Radicals

As you probably already know, for

square roots

the superscript 2 is understood as the default and need not be the stated; the command then consists of “sqrt” followed by the operand enclosed by curly braces.

17

≈

4.1231

Code:

$\sqrt{17} \approx 4.1231$

For other roots, “sqrt” is followed the exponent in “straight” braces “[” and “]”, followed by the operand in curly braces.

8128

47

Code:

$\sqrt[47]{8128}$

2.7

Ellipses

In most cases, the horizontal ellipses “ldots” will be

sufficient

.

Gauß and his classmates were tasked with calculating

1

+

2

+

3

+

…

+

99

+

100

.

Code:

Gau{\ss} and his classmates were tasked with calculating $1

Code:

+ 2 + 3 + \ldots + 99 + 100$.

1

+

1

3

-

1

5

+

1

7

+

…

Code:

$$1 + \frac{1}{3} - \frac{1}{5} + \frac{1}{7} + \ldots$$

2.8

Nested radicals and continued fractions

In TeX we can nest

radicals

and divisions with an ease not possible in HTML. The only thing one needs to be careful about is closing each brace one opens.

1

+

1

+

1

+

1

+

1

+

…

Code:

$\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+\sqrt{1+\ldots}}}}}$

3

+

1

7

+

1

15

+

1

1

+

⋯

Code:

$$3 + \frac{1}{{7} + \frac{1}{{15} + \frac{1}{{1} + \,

Code:

\cdots}}}$$

2.9

Binomial coefficients.

There are at least two different ways of doing

binomial coefficients

, but the most straightforward is the backslash-binom-top number enclosed by braces-bottom number enclosed by braces syntax. (Note the similarity between this and fractions.)

(

7

4

)

=

7

!

(

7

-

4

)

!

⁢

4

!

=

35

Code:

$$\binom{7}{4}=\frac{7!}{(7-4)!4!}=35$$

3

Algebra

By using non-numerical symbols to represent an unknown number, or any number, or any number that could be input, or all numbers of a kind or in a given range, or maybe even all numbers. In mathematical writings in English, the symbols most commonly used for this purpose are the uppercase and lowercase letters of the Greek alphabet and the uppercase and lowercase italicized letters of the English

alphabet

. For English letters, it is enough to type them in math mode, TeX will take care of italicizing them.

Shade the area between

y

=

4

⁢

x

-

3

and

y

=

-

2

⁢

x

+

1

.

Code:

Shade the area between $y = 4x - 3$ and $y = -2x + 1$.

Then

N

=

p

1

⁢

p

2

⁢

…

⁢

p

n

+

1

is not

divisible

by any prime…

Code:

Then $N = p_1p_2 \ldots p_n + 1$ is not divisible by any

Code:

prime...

For Greek letters, the command is the anglicized name of the Greek letter, with its first letter capitalized for the uppercase letters. At this point I’d like to mention that the use of non-numeric symbols is not limited to

variables

, but can also be used as a handy shortcut for constants that would be too cumbersome to write as

literals

each time they’re needed.

Clearly

2

⁢

ϵ

<

1

and

Δ

3

>

κ

.

Code:

Clearly $2\epsilon < 1$ and $\Delta^3 > \sqrt{\kappa}$.

The

golden ratio

ϕ

=

1

+

5

2

applied to Doric columns…

Code:

The golden ratio $\phi = \frac{1 + \sqrt{5}}{2}$ applied to

Code:

Doric columns...

Variant forms of some Greek letters are available for use in math mode, these are invoked by inserting “var” between the backslash and the letter name.

Their handwriting was very

similar

, but Robert always wrote

ϕ

′

while Catherine prefered

φ

′

.

Code:

Their handwriting was very similar, but Robert always wrote

Code:

$\phi\prime$ while Catherine prefered $\varphi\prime$.

See “Greek alphabet” in the PlanetMath encyclopedia for a

complete

listing.

With the

addition

of parentheses, we can also use letters to stand for

functions

. Usually we can just type them from the keyboard.

Define

f

⁢

(

n

)

=

n

2

+

m

mod

a

and

iterate

7 times.

Code:

Define $f(n) = n^2 + m \mod a$ and iterate 7 times.

Clearly

Ω

⁢

(

n

)

>

ω

⁢

(

n

)

if

n

is squarefull.

Code:

Clearly $\Omega(n) > \omega(n)$ if $n$ is squarefull.

3.1

Superscripts and subscripts

As shown, most of what was said about

arithmetic

applies to

algebra

as well. However, it now becomes useful to think of the caret as not being semantically tied down to exponentiation, but simply as a superscript symbol, as will become clear later on. TeX will properly determine from

context

the correct nature and placement of the superscript.

Subscripts

are obtained with the underscore

character

.

By

ϕ

3

⁢

(

n

)

we mean

ϕ

⁢

(

ϕ

⁢

(

ϕ

⁢

(

n

)

)

)

and so on.

Code:

By $\phi^3(n)$ we mean $\phi(\phi(\phi(n)))$ and so on.

For a prime

p

,

σ

3

⁢

(

p

)

is

1

+

p

3

.

Code:

For a prime $p$, $\sigma_3(p)$ is $1 + p^3$.

3.2

Iterated sums and products

The basic syntax for iterated sums and

products

is well worth remembering as it comes in handy for other things later on. It consists of the “sum” or “prod” command followed by an underscore with the

iterator

initialization or iterator conditions (preferably grouped with braces), followed by the caret and the iterator’s maximum value (grouped with braces if consisting of more than one entity), then the expression to be iteratily summed or multiplied. It’s good form to include a space between the iterator end expression and the expression to be iterated.

T

n

=

∑

i

=

1

n

i

Code:

$$T_n = \sum_{i = 1}^n i$$

∑

i

=

0

∞

(

-

1

)

i

⁢

1

2

⁢

i

+

1

Code:

$$\sum_{i = 0}^\infty (-1)^i \frac{1}{2i + 1}$$

∏

i

=

1

∞

(

i

i

+

1

)

(

-

1

)

i

Code:

$$\sum_{i = 0}^\infty (-1)^i \frac{1}{2i + 1}$$

4

Set theory

Generally uppercase letters are used to stand for sets. The command for the set membership symbol is

\in

.

Since any element

x

satisfies

both

x

∈

A

and

x

∈

B

…

Code:

Since any element $x$ satisfies both $x \in A$ and $x \in

Code:

B$ ...

To list the member

elements of

a set, curly braces are typically used as delimiters, but these braces have an important function in TeX. Therefore, they must be “escaped” with a backslash.

Given the set

H

=

{

1

,

2

,

4

,

6

}

, it is clear that…

Code:

Given the set $H = \{ 1, 2, 4, 6 \}$, it is clear that...

The commands for union and

intersection

are “cap” and “cup” respectively.

{

a

,

e

,

i

,

o

,

u

,

y

}

∩

{

b

,

c

,

d

,

f

,

…

⁢

x

,

y

,

z

}

=

{

y

}

Code:

$\{ a, e, i, o, u, y \} \cap \{ b, c, d, f, \ldots x, y,

Code:

z \} = \{ y \}$

If

C

=

A

∪

B

, then both

A

and

B

are subsets of

C

.

Code:

If $C = A \cup B$, then both $A$ and $B$ are subsets of $C$.

4.1

Blackboard bold

Certain special

infinite sets

which need frequent reference are symbolized by

blackboard bold

letters. The command is

\mathbb{X}

where

X

is replaced by the desired letter.

ℕ

=

{

1

,

2

,

3

,

4

,

5

,

6

,

7

,

8

,

9

,

10

,

11

,

12

,

…

}

Code:

$\mathbb{N} = \{ 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, \ldots \}$

Even

(

0

+

0

⁢

i

)

∈

ℂ

, thus

ℂ

∩

ℝ

=

ℝ

.

Code:

Even $(0 + 0i) \in \mathbb{C}$, thus $\mathbb{C} \cap

Code:

\mathbb{R} = \mathbb{R}$.

4.2

Empty set

The

empty set

can simply be denoted as

{

}

, but the symbols

∅

and

∅

are also available.

Obviously

𝕁

∩

ℕ

=

∅

.

Code:

Obviously $\mathbb{J} \cap \mathbb{N} = \varnothing$.

If

A

and

B

have no elements in common then

A

∩

B

=

∅

.

Code:

If $A$ and $B$ have no elements in common then $A \cap B = \emptyset$.

5

Trigonometry

The

trigonometric functions

are just strings of three or four lowercase English letters, but shouldn’t just be typed in, or else they’ll be italicized. It’s enough to precede them with backslashes.

The parametric equations in this case are

x

=

a

+

r

⁢

cos

⁡

t

and

y

=

b

+

r

⁢

sin

⁡

t

.

Code:

The parametric equations in this case are $x = a + r \cos t$

Code:

and $y = b + r \sin t$.

6

Calculus

Calculus

has been described as the “art of finding limits.” Therefore we’ll begin with limit notation. The syntax consists of the “lim” command followed by an underscore and the expression of limit enclosed by braces, then the expression of which we’re stating the limit.

Hadamard

proved that

lim

x

→

∞

⁡

π

⁢

(

x

)

x

ln

⁡

(

x

)

=

1

.

Code:

Hadamard proved that $$\lim_{x \to \infty} \frac{\pi(x)}

Code:

{\frac{x}{\ln(x)}} = 1.$$

As mentioned before, the underlying idea of the iterated sum and product comes in handy later on. Integration is also an iterated

computation

, and the syntax is the same, only we use “int” instead of “sum” or “prod.”

∫

0

x

d

⁢

t

ln

⁡

t

Code:

$$\int_0^x \frac{dt}{\ln t}$$

Some people prefer to use the command “limits” to make the

lower bound

of integration appear lower and the

upper bound

of integration appear higher.

∫

0

x

d

⁢

t

ln

⁡

t

Code:

$$\int\limits_0^x \frac{dt}{\ln t}$$

The same

concept

applies for

substitution notation

: The square brackets can simply be typed in (or “left[” and “right]” used if bigger brackets are needed), then the underscore followed by the start value, and the caret followed by the end value.

Γ

⁢

(

1

)

=

∫

0

∞

e

-

t

⁢

𝑑

t

=

[

-

e

-

t

]

0

∞

=

1

Code:

$$\Gamma(1) = \int_0^\infty e^{-t} \, dt = [-e^{-t}]_0^\infty

Code:

= 1$$

Note that the “

d

⁢

t

” has an extra space in front of it — this serves as
a visual cue that

d

⁢

t

is to be taken as a unit. Likewise, when several

differentials

appear, it is good to separate them with spaces:

∫

0

1

∫

x

1

x

2

+

y

2

⁢

𝑑

y

⁢

𝑑

x

Code:

$$\int_0^1 \int_x^1 \sqrt{x^2 + y^2} \, dy \, dx$$

7

Logic

In any treatment of mathematical logic, certain words are bound to occur with a frequency that bloats a document and makes it seem rather verbose. Mathematicians have invented a standard set of symbols that abbreviate all these common words that pertain to logic, enabling conciseness. It is possible, even outside the study of logic, to use these symbols so pervasively that the use of a natural language like English is almost completely avoided, resulting in a very dense document. For guidance on the proper

balance

of English and

logical symbols

in PlanetMath, consult the

section

“Logic symbols versus words” in the

PlanetMath Content and Style Guide

(in the Docs group under Information). The examples in this section of this reference will of necessity skew towards a near-total avoidance of English.

Just as variables can be symbolized in algebra by italicized letters of the English alphabet, so can

propositions

in logic.

∀

x

(

S

(

x

)

→

P

(

x

)

)

Code:

$\forall x\; (S(x) \to P(x))$

∀

x

(

S

(

x

)

→

¬

P

(

x

)

)

Code:

$\forall x\; (S(x) \to \neg P(x))$

∃

x

⁢

(

S

⁢

(

x

)

∧

P

⁢

(

x

)

)

Code:

$\exists x\; (S(x) \wedge P(x))$

∃

x

(

S

(

x

)

∧

¬

P

(

x

)

Code:

$\exists x\; (S(x) \wedge \neg P(x)$

The logic symbols in the Latex2e editor are

contained

under the
“Comparison, or Comparison 2” menus:

E

⁢

x

⁢

i

⁢

s

⁢

t

⁢

s

=

∃

,

∋

a

⁢

n

⁢

y

=

∀

n

⁢

e

⁢

g

⁢

a

⁢

t

⁢

i

⁢

o

⁢

n

=

¬

=

N

v

⁢

e

⁢

e

=

∨

w

⁢

e

⁢

d

⁢

g

⁢

e

=

∧

,

B

⁢

i

⁢

g

⁢

v

⁢

e

⁢

e

=

⋁

,

B

⁢

i

⁢

g

⁢

w

⁢

e

⁢

d

⁢

g

⁢

e

=

⋀

.

The

implication

is however found as a double or single arrow under the arrows
menu in the latex2e editor. For symbols used in conjuction with

multi-valued

or LM-

logic algebras

see for example:

h

t

t

p

:

/

/

p

l

a

n

e

t

m

a

t

h

.

o

r

g

/

e

n

c

y

c

l

o

p

e

d

i

a

/

A

l

g

e

b

r

a

i

c

C

a

t

e

g

o

r

y

O

f

L

M

n

L

o

g

i

c

A

l

g

e

b

r

a

s

.

h

t

m

l

.

Of course, just as algebra can have literal numbers, so too can logic have literal propositions.

(

x

=

|

x

|

)

⇔

(

¬

x

=

(

-

1

)

|

x

|

&

x

≠

0

)

Code:

$(x = |x|) \Leftrightarrow (\neg x = (-1)|x| \And x \neq 0)$

π

≠

a

b

∴

π

∉

ℚ

Code:

$\pi \neq \frac{a}{b} \therefore \pi \not \in \mathbb{Q}$

Title

T

E

Xm m Mathematical Formula Quick Reference

Canonical

name

TeXMathematicalFormulaQuickReference

Date of creation

2013-05-16 10:53:21

Last modified on

2013-05-16 10:53:21

Owner

PrimeFan (13766)

Last modified by

unlord (1)

Numerical id

5

Author

PrimeFan (1)

Entry type

Definition

Generated on Fri Feb 9 21:21:17 2018 by

LaTeXML