You are on page 1of 2

A partial list of mathematical symbols and how to read them

Greek alphabet A Z Λ Π Φ α ζ λ π ,̟ φ, ϕ alpha zeta lambda pi phi B H M P X β η µ ρ, ̺ χ beta eta mu rho chi Γ Θ N Σ Ψ γ θ, ϑ ν σ, ς ψ gamma theta nu sigma psi ∆ I Ξ T Ω δ ι ξ τ ω delta iota xi tau omega E K O Υ ǫ, ε κ o υ epsilon kappa omicron upsilon

Important sets ∅ N N+ Z Q R R+ C empty set natural numbers positive integer numbers integer numbers rational numbers real numbers positive real numbers complex numbers {0, 1, 2, . . .} {1, 2, . . .} {. . . , −2, −1, 0, 1, 2, . . .} {m/n : m ∈ Z, n ∈ N+ } (−∞, +∞) (0, +∞) {x + iy : x, y ∈ R} (i is the imaginary unit, i2 = −1)

Logical operators ∀ ∃ ∃! ∧ ∨ ⇒ ⇐⇒ ¬ for all, universal quantifier exists, there is, existential quantifier there is exactly one and . . . over an index set or . . . over an index set implication, if-then biimplication, if-and-only-if negation, not alternative notations for negation Arithmetic operators || absolute value summation product ! n m mod div factorial n choose m, combinatorial number modulo, remainder integer quotient | − 7| = |7| = 7
−i = i∈N+ 2 n i=1 i = n!

∀n ∈ N, n ≥ 0 ∃n ∈ N, n ≥ 7 ∃!n ∈ N, n < 1 (3 > 2) ∧ (2 > 1)
i∈N Bi

= B0 ∧ B1 ∧ B2 ∧ · · · = B0 ∨ B1 ∨ B2 ∨ · · ·

(2 > 3) ∨ (2 > 1)
i∈N Bi

∀a, b ∈ R, (a = b) ⇒ (a ≥ b) ∀a, b ∈ R, (a = b) ⇐⇒ (b = a) ¬(2 > 3) (2 > 3), 2 > 3

1

7! = 1 · 2 · 3 · 4 · 5 · 6 · 7 = 5040 n m = n! (n − m)!m!

7 mod 3 = 1, -8 mod 5 = 2 7 div 3 = 2, -8 div 5 = -2

c. aa) ⊢ (p. d} = {b. b}. b. .cs. aa) yields (p. aaa. aa) ⊢ (p. {a}. 0! = 1 ∀n ∈ Z. {a. d} i∈N Si = S0 ∪ S1 ∪ S2 ∪ · · · = S0 ∩ S1 ∩ S2 ∩ · · · {a. ∀m ∈ N. A} String. |an | = n. b. aa. b. then 2A = {∅. b. . and formal language notation λ ∗ + empty string (at times. aa) ⊢ (p. .. . . c} Z⊃N N⊇N N⊂Z N⊆N if A = {a. aa) yields (p. grammar. .} |abc| = 3. . b. aa. ǫ is used instead of λ) Kleene star. . a) in one step (q. over an index set intersection . {a. a) M M ցw M րw And remember. c}.tex . |ǫ| = 0 || A→x A =⇒ x A =⇒ x A =⇒ x ⇒ x A = G (q. d} = {a. m > 0 ⇒ n = (n div m)m + (n mod m) i∈∅ Si i∈∅ ni i∈∅ ni =∅ =0 =1 A L TEXsource available at http://www. aa) ⊢ (p. {c}. c}. aa) yields (p. zero or more occurrences one or more occurrences string length A goes to x (grammar production) A derives x A derives x in some number of steps A derives x according to G A derives x according to G in some number of steps (q. aa) yields (p. a) ∗ G ∗ ∗ (q. c} ∩ {a. a) (q. c}. a. . {b.Set operators ∈ ∪ ∩ \ ⊃ ⊇ ⊂ ⊆ 2A in. a) M ∗ (q.} a+ = {a. a) in some number of steps (q. over an index set difference strict superset superset strict subset subset power set of A a ∈ {a. c} ∪ {a.ucr. . a) in some number of steps according to M the Turing machine M halts on string w the Turing machine does not M halt on string w λa = a a∗ = {ǫ. membership union . a) in one step according to M (q. b. c} \ {a.edu/~ciardo/teaching/Notation. {b}. aaa. d} = {a} i∈N Si {a. c} {a..