Documente Academic
Documente Profesional
Documente Cultură
Elgin
[COMPANY NAME] [Company address]
List of mathematical symbols
From Wikipedia, the free encyclopedia
(Redirected from Table of mathematical symbols)
Jump to: navigation, search
This list is incomplete; you can help by expanding it.
This is a list of symbols found within all branches of mathematics to express a formula or to
represent a constant.
When reading the list, it is important to recognize that a mathematical concept is independent of
the symbol chosen to represent it. For many of the symbols below, the symbol is usually
synonymous with the corresponding concept (ultimately an arbitrary choice made as a result of
the cumulative history of mathematics), but in some situations a different convention may be
used. For example, depending on context, the triple bar "" may represent congruence or a
definition. Further, in mathematical logic, numerical equality is sometimes represented by ""
instead of "=", with the latter representing equality of well-formed formulas. In short, convention
dictates the meaning.
Each symbol is shown both in HTML, whose display depends on the browser's access to an
appropriate font installed on the particular device, and typeset as an image using TeX.
Contents
[hide]
1 Guide
2 Basic symbols
3 Symbols based on equality
4 Symbols that point left or right
5 Brackets
6 Other non-letter symbols
7 Letter-based symbols
o 7.1 Letter modifiers
o 7.2 Symbols based on Latin letters
o 7.3 Symbols based on Hebrew or Greek letters
8 Variations
9 See also
10 References
11 External links
Guide[edit]
This list is organized by symbol type and is intended to facilitate finding an unfamiliar symbol
by its visual appearance. For a related list organized by mathematical topic, see List of
mathematical symbols by subject. That list also includes LaTeX and HTML markup and
Unicode code points for each symbol.
Basic symbols[edit]
Symbol Name
Symbol Read as Explanation Examples
in
in TeX
HTML Category
addition
minus;
36 11 means the subtraction
take; 36 11 = 25
subtract of 11 from 36.
arithmetic
negative sign
negative;
3 means the additive inverse
(5) = 5
minus;
the opposite of of the number 3.
arithmetic
set-theoretic A B means the set that
complement contains all the elements of A
that are not in B. {1, 2, 4} {1,
minus;
3, 4} = {2}
without ( can also be used for set-
theoretic complement as
set theory described below.)
plus-minus The equation x
6 3 means both 6 + 3 and 6 = 5 4 , has
plus or minus
3. two solutions, x
arithmetic = 7 and x = 3.
\pm plus-minus If a = 100 1
10 2 or equivalently 10
mm, then a
plus or minus 20% means the range from 10
99 mm and a
2 to 10 + 2.
measurement 101 mm.
minus-plus cos(x y) =
6 (3 5) means 6 + (3 cos(x) cos(y)
\mp
minus or plus
5) and 6 (3 + 5). sin(x)
arithmetic sin(y).
multiplication 3 4 or 3 4 means the
7 8 = 56
multiplication of 3 by 4.
times;
multiplied by
arithmetic
dot product
scalar product
dot
u v means the dot product of (1, 2, 5) (3,
vectors u and v 4, 1) = 6
linear algebra
vector algebra
\times (1, 2, 5) (3,
cross product
vector product
4, 1) =
real numbers
\surd
complex square
root
\sqrt{x} If z = r exp(i) is represented
the (complex) in polar coordinates with <
square root of , then z = r
1 = i
exp(i/2).
complex
numbers
summation
\sum
sum over ...
from ... to ... of means .
calculus
indefinite
integral or
antiderivative
indefinite
integral of
- OR -
f(x) dx means a function whose
the derivative is f.
antiderivative
\int
of
calculus
definite integral
b
integral from ... a f(x) dx means the signed area b
to ... of ... with between the x-axis and the a x2 dx = b3
respect to graph of the function f between a3/3
x = a and x = b.
calculus
line integral C f ds means the integral of f
along the curve C, b
line/ path/
curve/ integral a f(r(t)) |r'(t)| dt, where r is a
of ... along ... parametrization of C. (If the
curve is closed, the symbol
calculus may be used instead, as
described below.)
Similar to the integral, but used
to denote a single integration
over a closed curve or loop. It is
sometimes used in physics texts
involving equations regarding
Gauss's Law, and while these
formulas involve a closed
surface integral, the
representations describe only
the first integration of the
volume over the enclosing
surface. Instances where the
latter requires simultaneous
Contour
double integration, the symbol
integral;
closed line
would be more appropriate. A If C is a Jordan
integral
third related symbol is the curve about 0,
\oint contour integral closed volume integral, denoted then
of by the symbol C 1/z dz = 2i.
.
calculus
The contour integral can also
frequently be found with a
subscript capital letter C,
C, denoting that a closed loop
integral is, in fact, around a
contour C, or sometimes dually
appropriately, a circle C. In
representations of Gauss's Law,
a subscript capital S,
S, is used to denote that the
integration is over a closed
surface.
\ldots
ellipsis
\cdots
and so forth
Indicates omitted values from a 1/2 + 1/4 + 1/8
pattern. + 1/16 + = 1
everywhere
\vdots
\ddots
therefore
All humans are
therefore; mortal. Socrates
is proportional
y x means that y = kx for
if y = 2x, then y
to;
\propto some constant k. x.
varies as
everywhere
infinity
is an element of the extended
\infty
infinity
number line that is greater than
all real numbers; it often occurs
in limits.
numbers
\blacksquare
end of proof
everywhere
\blacktriangleright
Symbols based on equality[edit]
Symbol Symbol Name
in Read as Explanation Examples
in TeX
HTML Category
equality
means and
is equal to;
= equals
represent the same math object
(Both symbols have the same
value).
everywhere
matrix theory
same order of
magnitude
m ~ n means the quantities m
and n have the same order of 2~5
roughly similar;
magnitude, or general size.
poorly
8 9 ~ 100
approximates;
(Note that ~ is used for an
is on the order of
approximation that is poor, but 2 10
otherwise use .)
approximation
theory
similarity
ABC ~ DEF means triangle
is similar to[1] ABC is similar to (has the same
shape) triangle DEF.
geometry
asymptotically
equivalent
is asymptotically
x ~ x+1
equivalent to f ~ g means .
asymptotic
analysis
equivalence
relation
a ~ b means (and
are in the same 1 ~ 5 mod 4
equivalence class equivalently ).
everywhere
x := y, y =: x or x y means x is
=: definition
defined to be another name for
y, under certain assumptions
taken in context.
is defined as;
:= is equal by
(Some writers use to mean
definition to
congruence).
everywhere
P Q means P is defined to be
logically equivalent to Q.
:
congruence
ABC DEF means triangle
ABC is congruent to (has the
is congruent to
same measurements as) triangle
DEF.
geometry
G H means that group G is
\cong isomorphic isomorphic (structurally
identical) to group H.
is isomorphic to V C2 C2
( can also be used for
abstract algebra isomorphic, as described
above.)
congruence
relation
modular
arithmetic
material
equivalence
\Leftrightarrow
if and only if; A B means A is true if B is x+5=y+2x
iff true and A is false if B is false. +3=y
propositional
\leftrightarrow
logic
Assignment
:=
A := b means A is defined to Let a := 3, then...
is defined to be
have the value b. f(x) := x + 3
=: everywhere
Symbols that point left or right[edit]
Name
Symbol Symbol Read as Explanation Examples
in HTML in TeX
Category
strict inequality
means x is less than y.
is less than,
is greater than
< means x is greater
order theory than y.
proper subgroup
>
is a proper means H is a proper
subgroup of
subgroup of G.
group theory
significant
(strict) inequality
x y means x is much
is much less less than y.
than, 0.003 1000000
is much greater x y means x is much
than greater than y.
order theory
asymptotic
comparison f g means the growth of
f is asymptotically bounded
is of smaller by g.
order than,
is of greater (This is I. M. Vinogradov's
x ex
\ll order than notation. Another notation
\gg is the Big O notation,
analytic number which looks like f = O(g).)
theory
absolute
continuity If is the
counting measure on
means that is
is absolutely
absolutely continuous with
continuous with and is the
respect to Lebesgue measure,
respect to , i.e.,
measure theory then .
whenever , we have
.
x y means x is less than
or equal to y.
x y means x is greater
than or equal to y.
inequality
(The forms <= and >= are
is less than or generally used in
equal to, programming languages, 3 4 and 5 5
is greater than or where ease of typing and 5 4 and 5 5
equal to use of ASCII text is
preferred.)
order theory
( and are also used by
some writers to mean the
same thing as and , but
this usage seems to be less
\le common.)
\ge subgroup
H G means H is a ZZ
is a subgroup of
subgroup of G. A3 S3
group theory
If
reduction
A B means the problem
is reducible to A can be reduced to the
problem B. Subscripts can
computational be added to the to then
complexity indicate what kind of
theory reduction.
congruence
relation
is Karp reducible
to;
is polynomial- L1 L2 means that the
If L1 L2 and L2
time many-one problem L1 is Karp
reducible to reducible to L2.[2] P, then L1 P.
computational
complexity
theory
\prec Nondominated
\succ order
infers;
is derived from x y means y is derivable A B B
from x. A
propositional
logic, predicate
logic
\vdash
partition
is a partition of
p n means that p is a
partition of n. (4,3,1,1) 9,
number theory
bra vector
| means the dual of the
vector |, a linear
|
the bra ...;
functional which maps a
the dual of ...
\langle ket | onto the inner
product |.
Dirac notation
ket vector A qubit's state can be
| means the vector with represented as |0+
the ket ...;
| label , which is in a |1, where and
the vector ...
\rangle Hilbert space. are complex numbers
s.t. ||2 + ||2 = 1.
Dirac notation
Brackets[edit]
Symbol Symbol Name
in Read as Explanation Examples
in TeX
HTML Category
Euclidean norm
of
geometry
determinant
|A| means the determinant of the
determinant of
matrix A
matrix theory
cardinality
|X| means the cardinality of the set X.
cardinality of;
size of; |{3, 5, 7, 9}| = 4.
(# may be used instead as described
order of
below.)
set theory
norm
linear algebra
... nearest integer
function
x means the nearest integer to x.
1 = 1, 1.6 = 2,
nearest integer 2.4 = 2,
(This may also be written [x], x,
to 3.49 = 3
nint(x) or Round(x).)
numbers
set brackets
{a,b,c} means the set consisting of a,
{,} the set of ... = { 1, 2, 3, ... }
b, and c.[7]
set theory
set theory
{;}
floor
x means the floor of x, i.e. the largest
floor; integer less than or equal to x. 4 = 4, 2.1 = 2,
... greatest integer;
entier
2.9 = 2, 2.6
(This may also be written [x], floor(x) = 3
or int(x).)
numbers
x means the ceiling of x, i.e. the
ceiling
smallest integer greater than or equal
4 = 4, 2.1 = 3,
... ceiling
to x.
2.9 = 3, 2.6
= 2
(This may also be written ceil(x) or
numbers
ceiling(x).)
nearest integer
function
x means the nearest integer to x.
2 = 2, 2.6 = 3,
... nearest integer
(This may also be written [x], ||x||,
3.4 = 3,
to 4.49 = 4
nint(x) or Round(x).)
numbers
degree of a field
[(2) : ] = 2
extension
[K : F] means the degree of the
[:] [ : ] = 2
the degree of extension K : F.
[ : ] =
field theory
equivalence
[a] means the equivalence class of a,
class Let a ~ b be true
i.e. {x : x ~ a}, where ~ is an
iff a b (mod 5).
equivalence relation.
the equivalence
class of Then [2] = {...,
[a]R means the same, but with R as the
8, 3, 2, 7, ...}.
[] abstract algebra
equivalence relation.
floor [x] means the floor of x, i.e. the largest
integer less than or equal to x.
[,] floor; [3] = 3, [3.5] = 3,
greatest integer; (This may also be written x, floor(x) [3.99] = 3, [3.7]
entier or int(x). Not to be confused with the = 4
[,,] nearest integer function, as described
numbers below.)
[x] means the nearest integer to x.
nearest integer [2] = 2, [2.6] = 3,
function [3.4] = 3,
(This may also be written x, ||x||,
[4.49] = 4
nint(x) or Round(x). Not to be
nearest integer confused with the floor function, as
to described above.)
numbers
Iverson bracket
[0=5]=0,
1 if true, 0
[S] maps a true statement S to 1 and a [7>0]=1, [2
otherwise
false statement S to 0. {2,3,4}]=1, [5
{2,3,4}]=0
propositional
logic
f[X] means { f(x) : x X }, the image
of the function f under the set X
image
dom(f).
image of ...
(This may also be written as f(X) if
under ...
there is no risk of confusing the image
of f under X with the function
everywhere
application f of X. Another notation is
Im f, the image of f under its domain.)
closed interval
0 and 1/2 are in
closed interval
. the interval [0,1].
order theory
commutator
xy = x[x, y] (group
[g, h] = g1h1gh (or ghg1h1), if g, h
theory).
the commutator G (a group).
of
[AB, C] = A[B,
[a, b] = ab ba, if a, b R (a ring or
C] + [A, C]B
group theory, commutative algebra).
(ring theory).
ring theory
triple scalar
product
[a, b, c] = a b c, the scalar product [a, b, c] = [b, c,
the triple scalar
of a b with c. a] = [c, a, b].
product of
vector calculus
function
() application
If f(x) := x2 5,
f(x) means the value of the function f
then f(6) = 62 5
of at the element x.
= 36 5=31.
(,) set theory
f(X) means { f(x) : x X }, the image
of the function f under the set X
image
dom(f).
image of ...
(This may also be written as f[X] if
under ...
there is a risk of confusing the image
of f under X with the function
everywhere
application f of X. Another notation is
Im f, the image of f under its domain.)
precedence
grouping
(8/4)/2 = 2/2 = 1,
Perform the operations inside the
but 8/(4/2) = 8/2
parentheses parentheses first.
= 4.
everywhere
An ordered list (or sequence, or (a, b) is an
tuple
horizontal vector, or row vector) of ordered pair (or
values. 2-tuple).
tuple; n-tuple;
ordered
(Note that the notation (a,b) is (a, b, c) is an
pair/triple/etc;
ambiguous: it could be an ordered ordered triple (or
row vector;
pair or an open interval. Set theorists 3-tuple).
sequence
and computer scientists often use
angle brackets instead of ( ) is the empty
everywhere
parentheses.) tuple (or 0-tuple).
highest common
factor
(a, b) means the highest common
highest common
factor of a and b. (3, 7) = 1 (they
factor;
are coprime);
greatest
(This may also be written hcf(a, b) or (15, 25) = 5.
common
gcd(a, b).)
divisor; hcf; gcd
number theory
4 is not in the
open interval .
(,) interval (4, 18).
open interval (Note that the notation (a,b) is
(0, +) equals
ambiguous: it could be an ordered
],[ order theory pair or an open interval. The notation
the set of positive
real numbers.
]a,b[ can be used instead.)
left-open
interval
(,] half-open
(1, 7] and (,
interval;
. 1]
left-open
],] interval
order theory
right-open
interval
[,) half-open
[4, 18) and [1,
interval;
. +)
right-open
[,[ interval
order theory
u,v means the inner product of u and
v, where u and v are members of an
inner product space.
is an
tuple ordered pair (or
2-tuple).
An ordered list (or sequence, or
tuple; n-tuple;
horizontal vector, or row vector) of
ordered
values.
pair/triple/etc; is an
row vector; ordered triple (or
(The notation (a,b) is often used as
sequence 3-tuple).
well.)
everywhere
is the empty
tuple (or 0-tuple).
u | v means the inner product of u
| inner product
and v, where u and v are members of
an inner product space.[8] (u | v) means
inner product of
the same.
(|) linear algebra
Another variant of the notation is u,
v which is described above. For
spatial vectors, the dot product
notation, x y is common. For
matrices, the colon notation A : B may
be used. As and can be hard to
type, the more "keyboard friendly"
forms < and > are sometimes seen.
These are avoided in mathematical
texts.
convolution;
f g means the
convolved with
convolution of f and g. .
functional
analysis
complex z means the complex
conjugate conjugate of z.
conjugate
.
( can also be used for
complex the conjugate of z, as
numbers described below.)
* R consists of the set of
group of units units of the ring R, along
with the operation of
the group of multiplication.
units of
This may also be written
ring theory R as described above, or
U(R).
hyperreal
numbers R means the set of
is proportional
y x means that y = kx for
to; if y = 2x, then y x.
some constant k.
varies as
everywhere
Karp reduction[9]
is Karp
reducible to;
is polynomial- A B means the problem
If L1 L2 and L2 P, then L1
time many-one A can be polynomially
P.
reducible to reduced to the problem B.
computational
complexity
theory
set-theoretic
complement A B means the set that
contains all those elements
minus; of A that are not in B.[5]
{1,2,3,4} {3,4,5,6} =
without;
throw out; ( can also be used for set-
{1,2}
not theoretic complement as
described above.)
set theory
conditional
event P(A|B) means the
if X is a uniformly random
probability of the event A
day of the year P(X is May
given occurring given that B
25 | X is in May) = 1/31
occurs.
probability
restriction
f|A means the function f is
restriction of ... restricted to the set A, that The function f : R R
| to ...; is, it is the function with defined by f(x) = x2 is not
restricted to domain A dom(f) that injective, but f|R+ is injective.
agrees with f.
set theory
such that
S = {(x,y) | 0 < y < f(x)}
such that; | means "such that", see ":" The set of (x,y) such that y
so that (described below). is greater than 0 and less
than f(x).
everywhere
a b means a divides b.
a b means a does not
divide b.
divisor, divides
(The symbol can be Since 15 = 3 5, it is true
divides
difficult to type, and its that 3 15 and 5 15.
number theory
negation is rare, so a
regular but slightly shorter
vertical bar | character is
often used instead.)
exact divisibility
pa n means pa exactly
exactly divides divides n (i.e. pa divides n
but pa+1 does not).
23 360.
number theory
x y means x is parallel to
y.
x y means x is not
parallel parallel to y.
x y means x is equal and
is parallel to parallel to y. If l m and m n then l n.
order theory
cardinality
#X means the cardinality
cardinality of; of the set X.
size of; #{4, 6, 8} = 3
order of (|...| may be used instead as
described above.)
set theory
connected sum
everywhere
Denotes that certain
vertical ellipsis
constants and terms are
downwards
zigzag arrow Denotes that contradictory Statement: Every finite, non-
statements have been empty, ordered set has a
contradiction; inferred. For clarity, the largest element. Otherwise,
this contradicts exact point of
let's assume that is a
that contradiction can be
finite, non-empty, ordered
appended.
everywhere
set with no largest element.
. is finite.
exclusive or
The statement A B is
xor
true when either A or B, (A) A is always true, A
but not both, are true. A A is always false.
propositional
B means the same.
logic, Boolean
algebra
The direct sum is a special
way of combining several Most commonly, for vector
direct sum
objects into one general spaces U, V, and W, the
object. following consequence is
direct sum of
used:
(The bun symbol , or the U = V W (U = V + W)
abstract algebra
coproduct symbol , is (V W = {0})
used; is only for logic.)
Kulkarni Derived from the tensor
Nomizu product product of two symmetric
type (0,2) tensors; it has
Kulkarni the algebraic symmetries
Nomizu product of the Riemann tensor.
Letter-based symbols[edit]
Includes upside-down letters.
Letter modifiers[edit]
model theory
algebraic The field of algebraic numbers
closure
a algebraic
is sometimes denoted as
is the algebraic closure because it is the algebraic
closure of of the field F. closure of the rational numbers
field theory .
complex
conjugate means the complex
conjugate of z.
conjugate
.
(z can also be used for the
complex conjugate of z, as described
numbers above.)
topological
is the topological In the space of the real
closure
closure of the set S.
numbers, (the rational
(topological)
numbers are dense in the real
closure of This may also be denoted as
numbers).
cl(S) or Cl(S).
topology
vector
harpoon
linear algebra
unit vector
(pronounced "a hat") is
hat the normalized version of
... prime;
derivative of
to f at x.
If f(x) := x2, then f (x) = 2x.
(The single-quote character '
calculus is sometimes used instead,
especially in ASCII text.)
derivative
Name
Symbo Symbo
Read as
l Explanatio
l Category Examples
in n
in TeX
HTML
universal quantification
x: P(x)
for all; means P(x) is n : n2 n.
for any; true for all x.
for each;
for every
predicate logic
boolean domain
B;
means either
{0, 1}, {false,
the (set of) boolean values; true}, {F, T}, or (False)
the (set of) truth values;
B .
set theory, boolean algebra
complex numbers
C; means {a +
i = 1
the (set of) complex numbers b i : a,b }.
C numbers
The cardinality
symbol (a
set theory lowercase
Fraktur letter
C).
f/xi means the
partial derivative
partial
derivative of f
partial; If f(x,y) := x2y, then
with respect to
d f/x = 2xy,
xi, where f is a
function on (x1,
calculus
..., xn).
boundary
boundary of
M means the {x : ||x|| 2} = {x :
boundary of M ||x|| = 2}
topology
degree of a polynomial f means the
degree of the
degree of polynomial f. (x2 1) = 2
symbol
("back epsilon")
is sometimes
specifically
used for "such
that" to avoid
confusion with
set membership.
set membership S e means the
same thing as e
contains as an element S, where S is
a set and e is an
set theory element of S.
quaternions or Hamiltonian
quaternions
means {a + b
H; i+cj+dk:
the (set of) quaternions a,b,c,d }.
H
numbers
N means either
{ 0, 1, 2, 3, ...}
or { 1, 2, 3, ...}.
The choice
depends on the
area of
natural numbers
mathematics
being studied; = {|a| : a } or
the (set of) natural numbers
e.g. number = {|a| > 0: a }
N numbers
theorists prefer
the latter;
analysts, set
theorists and
computer
scientists prefer
the former. To
avoid confusion,
always check an
author's
definition of N.
Set theorists
often use the
notation (for
least infinite
ordinal) to
denote the set of
natural
numbers
(including
zero), along
with the
standard
ordering
relation .
For two
matrices (or
vectors) of the
same
dimensions
with
elements given
by .
function composition
f g is the
if f(x) := 2x, and
function such
composed with g(x) := x + 3, then (f
that (f g)(x) =
g)(x) = 2(x + 3).
f(g(x)).[10]
set theory
The Big O
Big O notation
notation If f(x) = 6x4 2x3 + 5
describes the and g(x) = x4, then
O big-oh of
limiting
behavior of a
Computational complexity theory
function, when
the argument
tends towards a
particular value
or infinity.
empty set
means the set
with no {n : 1 < n2 <
the empty set null set
elements.[7] { } 4} =
{} set theory
means the same.
set of primes
is often used
P; to denote the set
the set of prime numbers of prime
numbers.
arithmetic
projective space
P;
means a
the projective space;
space with a
the projective line; ,
point at infinity.
the projective plane
topology
perpendicular
perpendicular to the plane, then l || n.
is perpendicular to y; or more
generally x is
geometry orthogonal to y.
W means the
orthogonal
orthogonal complement complement of
W (where W is a
orthogonal/ perpendicular subspace of the
complement of; inner product
Within , .
perp space V), the set
of all vectors in
linear algebra V orthogonal to
every vector in
W.
coprime
x y means x
has no factor
is coprime to 34 55
greater than 1 in
common with y.
number theory
A B means A
is an event
whose
probability is
independent of
event B. The
independent double
perpendicular If A B, then P(A|B)
is independent of
= P(A).
symbol ( )
probability is also
commonly used
for the purpose
of denoting this,
for instance:
bottom element
means the
smallest
the bottom element x : x =
element of a
lattice.
lattice theory
means the
bottom type bottom type
types T, <: T
(a.k.a. the zero
type or empty
the bottom type; type); bottom is
bot the subtype of
every type in
type theory the type system.
comparability
{e, } {1, 2, e, 3, }
x y means that
under set containment.
is comparable to x is comparable
to y.
order theory
means "the
set of all
all numbers being considered elements being
considered."
= {,} includes all
U; It may represent
numbers.
the universal set; all numbers
the set of all numbers; both real and
If instead, = {,},
U all numbers considered complex, or any
subset of
then .
set theory thesehence
the term
"universal".
set-theoretic union A B means
the set of those
or;
statement is when n is a natural
max;
false. number.
join
For functions
propositional logic, lattice theory
A(x) and B(x),
A(x) B(x) is
used to mean
max(A(x),
B(x)).
The statement A
B is true if A
logical conjunction or meet in a and B are both
lattice true; else it is
false.
n<4n>2n=3
and;
when n is a natural
min; For functions
number.
meet A(x) and B(x),
A(x) B(x) is
propositional logic, lattice theory used to mean
min(A(x),
B(x)).
u v means the
wedge product
of any
multivectors u
wedge product
and v. In three-
dimensional
wedge product;
Euclidean space
exterior product
the wedge
product and the
exterior algebra
cross product of
two vectors are
each other's
Hodge dual.
3 4 means the
multiplication
of 3 by 4.
multiplication
(The symbol * is
times; generally used
7 8 = 56
multiplied by in programming
languages,
arithmetic where ease of
typing and use
of ASCII text is
preferred.)
Cartesian product X Y means the
set of all {1,2} {3,4} =
the Cartesian product of ... and ...; ordered pairs {(1,3),(1,4),(2,3),(2,4)
the direct product of ... and ... with the first }
element of each
set theory pair selected
from X and the
second element
selected from
Y.
cross product
u v means the
(1,2,5) (3,4,1) =
cross cross product of
(22, 16, 2)
vectors u and v
linear algebra
R consists of
the set of units
of the ring R,
group of units along with the
operation of
the group of units of multiplication.
means the
tensor product, tensor product of tensor product
modules of V and U.[12] {1, 2, 3, 4} {1, 1,
2} =
tensor product of means the {{1, 1, 2}, {2, 2, 4},
tensor product {3, 3, 6}, {4, 4, 8}}
linear algebra of modules V
and U over the
ring R.
N H is the
semidirect
product of N (a
normal
subgroup) and
semidirect product
H (a subgroup),
with respect to
the semidirect product of
. Also, if G =
group theory
N H, then G
is said to split
over N.
( may also be
written the
other way
round, as , or
as .)
R S is the
semijoin of the
relations R and
semijoin
S, the set of all
tuples in R for R S= a1,..,an(R
the semijoin of
which there is a
tuple in S that is S)
relational algebra
equal on their
common
attribute names.
R S is the
natural join of
the relations R
natural join and S, the set of
all
the natural join of combinations of
tuples in R and
relational algebra S that are equal
on their
common
attribute names.
means {...,
3, 2, 1, 0, 1,
2, 3, ...}.
+ or > means
integers {1, 2, 3, ...} .
means {0, 1,
= {p, p : p
the (set of) integers 2, 3, ...} .
{0}}
* is used by
Z numbers some authors to
mean {0, 1, 2,
3, ...}[13] and
others to mean
{... -2, -1, 1, 2,
3, ... }[14] .
n means {[0],
n integers mod n
[1], [2],
...[n1]} with
the (set of) integers modulo n 3 = {[0], [1], [2]}
addition and
p numbers
multiplication
modulo n.
Note that any
Zn letter may be
used instead of
n, such as p. To
Zp avoid confusion
with p-adic
numbers, use
/p or /(p)
instead.
p-adic integers
Note that any
the (set of) p-adic integers letter may be
used instead of
numbers p, such as n or
l.
hyperfunction
Functional
derivative
Functional
derivative of
Differential
operators
symmetric
{1,5,6,8} {2,5,8}
difference A B (or A B) means the set of
= {1,2,6}
elements in exactly one of A or B.
symmetric
difference (Not to be confused with delta, ,
{3,4,5,6}
{1,2,5,6} =
described below.)
{1,2,3,4}
set theory
x means a (non-infinitesimal)
delta
change in x.
delta;
(If the change becomes infinitesimal, is the gradient
change in
and even d are used instead. Not to of a straight line.
be confused with the symmetric
calculus
difference, written , above.)
If is a twice-
Laplacian
differentiable real-
The Laplace operator is a second valued function,
Laplace
order differential operator in n- then the Laplacian
operator
dimensional Euclidean space of is defined by
vector calculus
gradient
vector calculus
divergence
If , then .
del dot;
divergence of
vector calculus
curl
curl of
If , then .
vector calculus
Pi Used in various formulas involving
circles; is equivalent to the amount
pi;
3.1415926...; of area a circle would take up in a A = R2 = 314.16
355113 square of equal width with an area of R = 10
4 square units, roughly 3.14159. It is
mathematical also the ratio of the circumference to
constant the diameter of a circle.
projection
Projection of
restricts to the attribute
set.
relational
algebra
Homotopy
group
consists of homotopy
the nth
equivalence classes of base point
Homotopy
preserving maps from an n-
group of
dimensional sphere (with base point)
into the pointed space X.
Homotopy
theory
product
arithmetic
Cartesian
product
means the set of all (n+1)-tuples
the Cartesian
(y0, ..., yn).
product of;
the direct
product of
set theory
A general construction which
coproduct
subsumes the disjoint union of sets
and of topological spaces, the free
coproduct over
product of groups, and the direct sum
... from ... to ...
of modules and vector spaces. The
of
coproduct of a family of objects is
essentially the "least specific" object
category
to which each object in the family
theory
admits a morphism.
the value .
summation
arithmetic
Variations[edit]
In mathematics written in Arabic, some symbols may be reversed to make right-to-left writing
and reading easier.[15]
See also[edit]
Greek letters used in mathematics, science, and engineering
Diacritic
ISO 31-11 (Mathematical signs and symbols for use in physical sciences and technology)
Latin letters used in mathematics
List of mathematical abbreviations
List of mathematical symbols by subject
Mathematical Alphanumeric Symbols (Unicode block)
Mathematical constants and functions
Mathematical notation
Mathematical operators and symbols in Unicode
Notation in probability and statistics
Physical constants
Table of logic symbols
Table of mathematical symbols by introduction date
Typographical conventions in mathematical formulae
References[edit]
1. Jump up ^ "Math is Fun website".
2. Jump up ^ Rnyai, Lajos (1998), Algoritmusok(Algorithms), TYPOTEX, ISBN 963-9132-16-0
3. Jump up ^ Deb, K.; Pratap, A.; Agarwal, S.; Meyarivan, T. (2002). "A fast and elitist
multiobjective genetic algorithm: NSGA-II". IEEE Transactions on Evolutionary Computation. 6
(2): 182. doi:10.1109/4235.996017.
4. Jump up ^ Copi, Irving M.; Cohen, Carl (1990) [1953], "Chapter 8.3: Conditional Statements
and Material Implication", Introduction to Logic (8th ed.), New York: Macmillan Publishers
(United States), pp. 268269, ISBN 0-02-325035-6, LCCN 89037742
5. ^ Jump up to: a b c d Goldrei, Derek (1996), Classic Set Theory, London: Chapman and Hall, p. 4,
ISBN 0-412-60610-0
6. Jump up ^ Nielsen, Michael A; Chuang, Isaac L (2000), Quantum Computation and Quantum
Information, New York: Cambridge University Press, p. 66, ISBN 0-521-63503-9,
OCLC 43641333
7. ^ Jump up to: a b c d e Goldrei, Derek (1996), Classic Set Theory, London: Chapman and Hall, p. 3,
ISBN 0-412-60610-0
8. Jump up ^ Nielsen, Michael A; Chuang, Isaac L (2000), Quantum Computation and Quantum
Information, New York: Cambridge University Press, p. 62, ISBN 0-521-63503-9,
OCLC 43641333
9. Jump up ^ Berman, Kenneth A; Paul, Jerome L. (2005), Algorithms: Sequential, Parallel, and
Distributed, Boston: Course Technology, p. 822, ISBN 0-534-42057-5
10. Jump up ^ Goldrei, Derek (1996), Classic Set Theory, London: Chapman and Hall, p. 5,
ISBN 0-412-60610-0
11. Jump up ^ Nielsen, Michael A; Chuang, Isaac L (2000), Quantum Computation and Quantum
Information, New York: Cambridge University Press, pp. 6970, ISBN 0-521-63503-9,
OCLC 43641333
12. Jump up ^ Nielsen, Michael A; Chuang, Isaac L (2000), Quantum Computation and Quantum
Information, New York: Cambridge University Press, pp. 7172, ISBN 0-521-63503-9,
OCLC 43641333
13. Jump up ^ Z^* from Wolfram MathWorld
14. Jump up ^ LK Turner, FJ BUdden, D Knighton, "Advanced Mathematics", Book 2, Longman
1975.
15. Jump up ^ M. Benatia, A. Lazrik, and K. Sami, "Arabic mathematical symbols in Unicode",
27th Internationalization and Unicode Conference, 2005.
External links[edit]
The complete set of mathematics Unicode characters
Jeff Miller: Earliest Uses of Various Mathematical Symbols
Numericana: Scientific Symbols and Icons
GIF and PNG Images for Math Symbols
Mathematical Symbols in Unicode
Using Greek and special characters from Symbol font in HTML
DeTeXify handwritten symbol recognition doodle a symbol in the box, and the
program will tell you what its name is
Handbook for Spoken Mathematics pronunciation guide to many commonly used
symbols
Short list of commonly used LaTeX symbols and Comprehensive LaTeX Symbol List
MathML Characters - sorts out Unicode, HTML and MathML/TeX names on one page
Unicode values and MathML names
Unicode values and Postscript names from the source code for Ghostscript
Mathematical notation
Mathematics-related lists
Mathematical symbols
Mathematical tables
Mathematical logic
Lists of symbols
Hidden categories:
Not logged in
Talk
Contributions
Create account
Log in
Namespaces
Article
Talk
Variants
Views
Read
Edit
View history
More
Search
Navigation
Main page
Contents
Featured content
Current events
Random article
Donate to Wikipedia
Wikipedia store
Interaction
Help
About Wikipedia
Community portal
Recent changes
Contact page
Tools
Print/export
Create a book
Download as PDF
Printable version
In other projects
Wikimedia Commons
Languages
Bosanski
Catal
etina
Cymraeg
Deutsch
Espaol
Euskara
Franais
Galego
Bahasa Indonesia
Italiano
Lumbaart
Magyar
Nederlands
Norsk
Norsk nynorsk
Polski
Portugus
Romn
Simple English
Slovenina
Soomaaliga
Basa Sunda
Suomi
Svenska
Trke
Ting Vit
Vro
Edit links
Privacy policy
About Wikipedia
Disclaimers
Contact Wikipedia
Developers
Cookie statement
Mobile view
Enable previews
List of mathematical symbols by subject - Wikipedia
en.wikipedia.org/wiki/List_of_mathematical...
o Cached
This list of mathematical symbols by subject shows a selection of the most common
symbols that are used in modern mathematical notation within ... Propositional calculus