Template:MathSymbols

From Wikipedia, the free encyclopedia

<tbody> </tbody>

is equal to; equals
is not equal to; does not equal
plus
minus
negative sign
minus; without
 n times n
Cartesian product of … and …; direct product of … and …
divided by
[[material

implication|⇒]]

if .. then
[[material

equivalence|⇔]]

if and only if; iff
[[logical

negation|¬]]

˜
not
[[logical conjunction|∧]]
and
 lattice theory
[[logical disjunction|∨]]
or
join

[[exclusive or|⊕]]

[[exclusive or|⊻]]
xor
propositional logic, Boolean algebra
[[universal quantification|∀]]
for all; for any; for each
[[existential quantification|∃]]
there exists
is defined as
the set of ...
[[set builder

notation|{ : }]]

{ | }
the set of ... such that ...

the empty set
set theory
[[set

membership|∈]]

is an element of; is not an element of
everywhere, set theory
is a subset of
set theory
is a superset of
set theory
[[set theoretic union|∪]]
the union of ... and ...; union
[[set

theoretic

intersection|∩]]
intersected with; intersect
[[set theoretic compliment|\]]
minus; without
[[function application|( )]]
of
precedence grouping
[[function arrow|f:XY]]
from ... to

[[natural numbers|N]]
[[natural numbers|ℕ]]
numbers

integers

[[rational numbers|Q]]
[[rational numbers|ℚ]]
rational numbers

[[real numbers|R]]
[[real numbers|ℝ]]
real numbers


[[complex numbers|C]]
[[complex numbers|ℂ]]
complex numbers
[[strict

inequality|<]]

>
strict inequality
is less than, is greater than
partial orders
inequality
is less than or equal to, is greater than or equal to
partial orders
[[square root|√]]
square root
the principal square root of; square root
real numbers
infinity
pi
pi
Euclidean geometry
factorial
factorial
combinatorics
[[absolute value|| |]]
absolute value
absolute value of
norm of; length of
summation
sum over ... from ... to ... of
product over ... from ... to ... of
the Cartesian product of; the direct product of
integral from ... to ... of ... with respect to
derivative of f; f prime
del, nabla, gradient of
[[partial derivative|∂]]
partial derivative of
is perpendicular to
the bottom element
... entails ...
predicate logic
infers or is derived from
 predicate logic