The following list of mathematical symbols by subject features a selection of the most common symbols used in modern mathematical notation within formulas , grouped by mathematical topic. As it is impossible to know if a complete list existing today of all symbols used in history is a representation of all ever used in history, as this would necessitate knowing if extant records are of all usages, only those symbols which occur often in mathematics or mathematics education are included. Many of the characters are standardized, for example in DIN 1302 General mathematical symbols or DIN EN ISO 80000-2 Quantities and units – Part 2: Mathematical signs for science and technology .
The following list is largely limited to non-alphanumeric characters. It is divided by areas of mathematics and grouped within sub-regions. Some symbols have a different meaning depending on the context and appear accordingly several times in the list. Further information on the symbols and their meaning can also be found in the respective linked articles.
Guide
The following information is provided for each mathematical symbol:
Symbol
The symbol as it is represented by LaTeX . If there are several typographic variants, only one of the variants is shown.
Usage
An exemplary use of the symbol in a formula. Letters here stand as a placeholder for numbers , variables or complex expressions. Different possible applications are listed separately.
Articles with usage
Examples of Wikipedia articles in which the symbol is used.
LaTeX
The LaTeX command that creates the icon. Characters from the ASCII character set can be used directly, with a few exceptions (e.g., pound sign #, backslash \, braces {}, and percent sign %). High-and low-position is indicated via the ^ and _ characters, and is not explicitly specified.
HTML
The icon in HTML , if it is defined as a named mark. Non-named characters can be indicated in the form &#xnnnn
by specifying the Unicode code point of the next column. High and low position can be indicated via
and
. The character × whose HTML code is Time can be displayed by typing ×
.
Unicode
The code point of the corresponding Unicode character. Some characters are combining and require the entry of additional characters. For brackets, the code points of opening and closing forms are specified. The Unicode character ⨯ whose hexadecimal value is U+2A2F
can be displayed by typing ⨯
where #x
indicates that the value in hexadecimal.
Numbers
Number sets
Symbol
Unicode character
Articles with usage
LaTeX
HTML
Unicode Hex
A
{\displaystyle \mathbb {A} }
𝔸
Algebraic number
\mathbb{A}
𝔸
U+1D538
C
{\displaystyle \mathbb {C} }
ℂ
Complex number
\mathbb{C}
, \Complex
ℂ
U+2102
H
{\displaystyle \mathbb {H} }
ℍ
Quaternion
\mathbb{H}
ℍ
U+210D
N
{\displaystyle \mathbb {N} }
ℕ
Natural number
\mathbb{N}
, \N
ℕ
U+2115
O
{\displaystyle \mathbb {O} }
𝕆
Octonion
\mathbb{O}
𝕆
U+1D546
Q
{\displaystyle \mathbb {Q} }
ℚ
Rational number
\mathbb{Q}
, \Q
ℚ
U+211A
R
{\displaystyle \mathbb {R} }
ℝ
Real number
\mathbb{R}
, \R
, \Reals
ℝ
U+211D
S
{\displaystyle \mathbb {S} }
𝕊
Sedenion
\mathbb{S}
𝕊
U+1D54A
Z
{\displaystyle \mathbb {Z} }
ℤ
Integer
\mathbb{Z}
, \Z
ℤ
U+2124
Intervals
Symbol
Usage
LaTeX
HTML
Unicode Hex
[
]
{\displaystyle [~~]}
[
a
,
b
]
{\displaystyle [a,b]}
( )
[ ]
(
)
[
]
U+0028/9
U+005B/D
]
[
{\displaystyle ]~~[}
]
a
,
b
[
{\displaystyle ]a,b[}
(
)
{\displaystyle (~~)}
(
a
,
b
)
{\displaystyle (a,b)}
[
[
{\displaystyle [~~[}
[
a
,
b
[
{\displaystyle [a,b[}
[
)
{\displaystyle [~~)}
[
a
,
b
)
{\displaystyle [a,b)}
]
]
{\displaystyle ]~~]}
]
a
,
b
]
{\displaystyle ]a,b]}
(
]
{\displaystyle (~~]}
(
a
,
b
]
{\displaystyle (a,b]}
Mathematical constants
Complex numbers
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
ℑ
{\displaystyle \Im }
ℑ
ℑ
(
2
+
i
)
=
1
{\displaystyle \Im (2+i)=1}
Complex number
\Im
ℑ
U+2111
Im
{\displaystyle \operatorname {Im} }
Im
Im
(
2
+
i
)
=
1
{\displaystyle \operatorname {Im} (2+i)=1}
\operatorname{Im}
Im
ℜ
{\displaystyle \Re }
ℜ
ℜ
(
2
+
i
)
=
2
{\displaystyle \Re (2+i)=2}
\Re
ℜ
U+211C
Re
{\displaystyle \operatorname {Re} }
Re
Re
(
2
+
i
)
=
2
{\displaystyle \operatorname {Re} (2+i)=2}
\operatorname{Re}
Re
¯
{\displaystyle {\bar {~}}}
◌̄
z
¯
{\displaystyle {\bar {z}}}
Complex conjugate
\bar
̄
U+0304
¯
¯
{\displaystyle {\bar {\bar {~}}}}
◌̄̄
z
¯
¯
{\displaystyle {\bar {\bar {z}}}}
\bar{\bar{}}
̄̄
¯
{\displaystyle {\overline {~~}}}
◌̅
z
¯
{\displaystyle {\overline {z}}}
\overline
̅
U+0305
¯
¯
{\displaystyle {\overline {\overline {~~}}}}
◌̅̅
z
¯
¯
{\displaystyle {\overline {\overline {z}}}}
\overline{\overline{}}
̅̅
∗
{\displaystyle {}^{\ast }}
*
z
∗
{\displaystyle z^{\ast }}
{}^\ast
*
U+002A
|
|
{\displaystyle |~~|}
|
|
z
|
{\displaystyle |z|}
Absolute value
\vert
|
U+007C
arg
{\displaystyle \arg {}}
arg
(
z
)
{\displaystyle \arg(z)}
Polar coordinate system
\arg
Remark: real and imaginary parts of a complex number are often also denoted by
Re
{\displaystyle \operatorname {Re} }
and
Im
{\displaystyle \operatorname {Im} }
.
Elementary arithmetic operations
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
Notes
+
{\displaystyle +}
+
a
+
b
{\displaystyle a+b}
Addition
+
+
U+002B
−
{\displaystyle -}
−
a
−
b
{\displaystyle a-b}
Subtraction
-
−
U+2212
⋅
{\displaystyle \cdot }
⋅
a
⋅
b
{\displaystyle a\cdot b}
Multiplication
\cdot
⋅
U+22C5
×
{\displaystyle \times }
⨯
a
×
b
{\displaystyle a\times b}
\times
×
U+2A2F
:
{\displaystyle :}
∶ or :
a
:
b
{\displaystyle a:b}
Division (mathematics)
:
, \colon
∶
or :
U+003A
or U+2236
In LaTeX, :
added space around the colon
a
:
b
{\displaystyle a:b}
that \colon
does not
a
:
b
{\displaystyle a\colon b}
.
/
{\displaystyle /}
∕
a
/
b
{\displaystyle a/b}
/
∕
U+2215
÷
{\displaystyle \div }
÷
a
÷
b
{\displaystyle a\div b}
\div
÷
U+00F7
{\displaystyle {\frac {~~}{~~}}}
⁄
a
b
{\displaystyle {\frac {a}{b}}}
\frac{a}{b}
\tfrac{a}{b}
(inline)\dfrac{a}{b}
(display)\cfrac{a}{b}
(continued fraction )
⁄
U+2044
<sup>a</sup>⁄<sub>b</sub>
renders as: a ⁄b
−
1
{\displaystyle {}^{-1}}
⁻
a
−
1
{\displaystyle a^{-1}}
Multiplicative inverse
^{-1}
U+207B
−
{\displaystyle -}
−
−
a
{\displaystyle -a}
Additive inverse
-
−
U+2212
±
{\displaystyle \pm }
±
±
a
{\displaystyle \pm a}
Plus or minus sign
\pm
±
U+00B1
∓
{\displaystyle \mp }
∓
∓
a
{\displaystyle \mp a}
\mp
∓
U+2213
Elementary functions
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
{\displaystyle {\sqrt {\,}}}
√
x
{\displaystyle {\sqrt {x}}}
Square root
\sqrt{}
√
U+221A
3
{\displaystyle {\sqrt[{3}]{\,}}}
∛
x
3
{\displaystyle {\sqrt[{3}]{x}}}
Cube root
\sqrt[3]{x}
&x221B;
U+221B
4
{\displaystyle {\sqrt[{4}]{\,}}}
∜
x
4
{\displaystyle {\sqrt[{4}]{x}}}
Fourth root
\sqrt[4]{x}
&x221C;
U+221C
n
{\displaystyle {\sqrt[{n}]{\,}}}
x
n
{\displaystyle {\sqrt[{n}]{x}}}
n th root
\sqrt[n]{}
%
{\displaystyle \%}
%
x
%
{\displaystyle x\,\%}
Percentage
\%
%
U+0025
(
)
{\displaystyle (~~)}
( )
(
x
)
{\displaystyle (x)}
Order of operations
(
)
(
)
U+0028/9
(
1
2
)
{\displaystyle \left({\frac {1}{2}}\right)}
\left( \right)
[
]
{\displaystyle [~~]}
[ ]
[
x
]
{\displaystyle [x]}
Bracket
[
]
[
]
U+005B/D
|
|
{\displaystyle |~~|}
| |
|
x
|
{\displaystyle |x|}
Absolute value
|
, \vert
|
U+007C
{
}
{\displaystyle \left\{~~\right\}}
{ }
{
x
}
{\displaystyle \left\{x\right\}}
Fractional part
\{
\}
\lbrace
\rbrace
{
}
U+007B/D
⌈
⌉
{\displaystyle \lceil ~~\rceil }
⌈ ⌉
⌈
x
⌉
{\displaystyle \lceil x\rceil }
Floor and ceiling functions
\lceil
\rceil
⌈
⌉
U+2308/9
⌊
⌋
{\displaystyle \lfloor ~~\rfloor }
⌊ ⌋
⌊
x
⌋
{\displaystyle \lfloor x\rfloor }
\lfloor
\rfloor
⌊
⌋
U+230A/B
⌜
⌝
{\displaystyle \ulcorner ~~\urcorner }
⌜ ⌝
⌜
x
⌝
{\displaystyle \ulcorner x\urcorner }
\ulcorner
\urcorner
⌜
⌝
U+231C/D
⌞
⌟
{\displaystyle \llcorner ~~\lrcorner }
⌞ ⌟
⌞
x
⌟
{\displaystyle \llcorner x\lrcorner }
\llcorner
\lrcorner
⌞
⌟
U+231E/F
⌢
{\displaystyle \frown }
⌢
x
⌢
{\displaystyle {\stackrel {\frown }{x}}}
Cap product
\frown
⌢
U+2322
⌣
{\displaystyle \smile }
⌣
x
⌣
{\displaystyle {\stackrel {\smile }{x}}}
Cup product
\smile
⌣
U+2323
exp
{\displaystyle \exp }
exp
exp
x
{\displaystyle \exp x}
Exponential function
\exp
exp
log
{\displaystyle \log }
log
log
b
x
{\displaystyle \log _{b}x}
Logarithm
\log
or \log_{}
log
or log<sub></sub>
ln
{\displaystyle \ln }
ln
ln
x
{\displaystyle \ln x}
Natural logarithm
\ln
ln
lg
{\displaystyle \lg }
lg
lg
x
{\displaystyle \lg x}
Binary logarithm
\lg
lg
min
{\displaystyle \min }
min
min
{
1
,
2
}
{\displaystyle \min\{1,2\}}
Maxima and minima
\min
min
max
{\displaystyle \max }
max
max
{
1
,
2
}
{\displaystyle \max\{1,2\}}
\max
max
inf
{\displaystyle \inf }
inf
inf
{
1
,
2
}
{\displaystyle \inf\{1,2\}}
Infimum and supremum
\inf
inf
sup
{\displaystyle \sup }
sup
sup
{
1
,
2
}
{\displaystyle \sup\{1,2\}}
\sup
sup
lim inf
{\displaystyle \liminf }
liminf
lim inf
n
→
∞
x
n
{\displaystyle \liminf _{n\to \infty }x_{n}}
Limit inferior and limit superior
\liminf
liminf
lim
_
{\displaystyle \varliminf }
lim
lim
_
x
n
{\displaystyle \varliminf x_{n}}
\varliminf
<u>lim</u>
lim sup
{\displaystyle \limsup }
limsup
lim sup
n
→
∞
x
n
{\displaystyle \limsup _{n\to \infty }x_{n}}
\limsup
limsup
lim
¯
{\displaystyle \varlimsup }
lim
lim
¯
x
n
{\displaystyle \varlimsup x_{n}}
\varlimsup
<span style="text-decoration:overline;">lim</span>
gcd
{\displaystyle \gcd }
gcd
gcd
(
1
,
2
)
{\displaystyle \gcd(1,2)}
Greatest common divisor
\gcd
gcd
Note: the power function is not represented by its own icon, but by the positioning of the exponent as a superscript .
Trigonometric functions
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
sin
{\displaystyle \sin }
sin
sin
x
{\displaystyle \sin x}
Sine and cosine
\sin
sin
cos
{\displaystyle \cos }
cos
cos
x
{\displaystyle \cos x}
\cos
cos
tan
{\displaystyle \tan }
tan
tan
x
{\displaystyle \tan x}
Tangent
\tan
tan
sec
{\displaystyle \sec }
sec
sec
x
{\displaystyle \sec x}
Trigonometric functions
\sec
sec
csc
{\displaystyle \csc }
csc
csc
x
{\displaystyle \csc x}
\csc
csc
cot
{\displaystyle \cot }
cot
cot
x
{\displaystyle \cot x}
\cot
cot
arcsin
{\displaystyle \arcsin }
sin
arcsin
x
{\displaystyle \arcsin x}
Inverse trigonometric functions
\arcsin
arcsin
arccos
{\displaystyle \arccos }
arccos
arccos
x
{\displaystyle \arccos x}
\arccos
arccos
arctan
{\displaystyle \arctan }
arctan
arctan
x
{\displaystyle \arctan x}
\arctan
arctan
arcsec
{\displaystyle \operatorname {arcsec} }
arcsec
arcsec
x
{\displaystyle \operatorname {arcsec} x}
\arcsec
arcsec
arccsc
{\displaystyle \operatorname {arccsc} }
arccsc
arccsc
x
{\displaystyle \operatorname {arccsc} x}
\arccsc
arccsc
arccot
{\displaystyle \operatorname {arccot} }
arccot
arccot
x
{\displaystyle \operatorname {arccot} x}
\arccot
arccot
sinh
{\displaystyle \sinh }
sinh
sinh
x
{\displaystyle \sinh x}
Hyperbolic functions
\sinh
sinh
cosh
{\displaystyle \cosh }
cosh
cosh
x
{\displaystyle \cosh x}
\cosh
cosh
tanh
{\displaystyle \tanh }
tanh
tanh
x
{\displaystyle \tanh x}
\tanh
tanh
coth
{\displaystyle \coth }
coth
coth
x
{\displaystyle \coth x}
\coth
coth
Arithmetic comparison
See also : Order relations , Set relations
Symbol
Unicode character
Usage
LaTeX
HTML
Unicode Hex
<
{\displaystyle <}
<
a
<
b
{\displaystyle a<b}
<
<
U+003C
>
{\displaystyle >}
>
a
>
b
{\displaystyle a>b}
>
>
U+003E
≤
{\displaystyle \leq }
≤
a
≤
b
{\displaystyle a\leq b}
\le
, \leq
≤
U+2264
≥
{\displaystyle \geq }
≥
a
≥
b
{\displaystyle a\geq b}
\ge
, \geq
≥
U+2265
≦
{\displaystyle \leqq }
≦
a
≦
b
{\displaystyle a\leqq b}
\leqq
≦
U+2266
≧
{\displaystyle \geqq }
≧
a
≧
b
{\displaystyle a\geqq b}
\geqq
≧
U+2267
⩽
{\displaystyle \leqslant }
⩽
a
⩽
b
{\displaystyle a\leqslant b}
\leqslant
&LessSlantEqual
U+2A7D
⩾
{\displaystyle \geqslant }
⩾
a
⩾
b
{\displaystyle a\geqslant b}
\geqslant
&GreaterSlantEqual
U+2A7E
≪
{\displaystyle \ll }
≪
a
≪
b
{\displaystyle a\ll b}
\ll
≪
U+226A
≫
{\displaystyle \gg }
≫
a
≫
b
{\displaystyle a\gg b}
\gg
≫
U+226B
≲
{\displaystyle \lesssim }
≲
a
≲
b
{\displaystyle a\lesssim b}
\lesssim
≲
U+2272
≳
{\displaystyle \gtrsim }
≳
a
≳
b
{\displaystyle a\gtrsim b}
\gtrsim
≳
U+2273
⪅
{\displaystyle \lessapprox }
⪅
a
⪅
b
{\displaystyle a\lessapprox b}
\lessapprox
⪅
U+2A85
⪆
{\displaystyle \gtrapprox }
⪆
a
⪆
b
{\displaystyle a\gtrapprox b}
\gtrapprox
⪆
U+2A86
Symbol
Unicode character
Usage
LaTeX
HTML
Unicode Hex
≶
{\displaystyle \lessgtr }
≶
a
≶
b
{\displaystyle a\lessgtr b}
\lessgtr
&LessGreater
U+2276
≷
{\displaystyle \gtrless }
≷
a
≷
b
{\displaystyle a\gtrless b}
\gtrless
≷
U+2277
⋚
{\displaystyle \lesseqgtr }
⋚
a
⋚
b
{\displaystyle a\lesseqgtr b}
\lesseqgtr
⋚
U+22DA
⋛
{\displaystyle \gtreqless }
⋛
a
⋛
b
{\displaystyle a\gtreqless b}
\gtreqless
⋛
U+22DB
⪋
{\displaystyle \lesseqqgtr }
⪋
a
⪋
b
{\displaystyle a\lesseqqgtr b}
\lesseqqgtr
⪋
U+2A8B
⪌
{\displaystyle \gtreqqless }
⪌
a
⪌
b
{\displaystyle a\gtreqqless b}
\gtreqqless
⪌
U+2A8C
Number theory
Divisibility and modulo
Symbol
Unicode character
Usage
LaTeX
HTML
Unicode Hex
∣
{\displaystyle \mid }
∣
a
∣
b
{\displaystyle a\mid b}
\mid
∣
U+2223
∤
{\displaystyle \nmid }
∤
a
∤
b
{\displaystyle a\nmid b}
\nmid
∤
U+2224
⊥
{\displaystyle \perp }
⊥
a
⊥
b
{\displaystyle a\perp b}
\perp
⊥
U+22A5
⊓
{\displaystyle \sqcap }
⊓
a
⊓
b
{\displaystyle a\sqcap b}
\sqcap
⊓
U+2293
∧
{\displaystyle \wedge }
∧
a
∧
b
{\displaystyle a\wedge b}
\wedge
∧
U+2227
⊔
{\displaystyle \sqcup }
⊔
a
⊔
b
{\displaystyle a\sqcup b}
\sqcup
⊔
U+2294
∨
{\displaystyle \vee }
∨
a
∨
b
{\displaystyle a\vee b}
\vee
∨
U+2228
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
Other information
≡
{\displaystyle \equiv }
≡
a
≡
b
{\displaystyle a\equiv b}
Modulo operation
\equiv
≡
U+2261
mod
m
{\displaystyle \mod m}
mod
a
mod
m
{\displaystyle a\mod m}
\mod m
mod
<math>\mod</math>
without a trailing symbol (e.g.
m
{\displaystyle m}
) will produce an error.
(
mod
m
)
{\displaystyle {\pmod {m}}}
(mod)
a
(
mod
m
)
{\displaystyle a{\pmod {m}}}
\pmod m
(mod)
<math>\pmod</math>
without a trailing symbol (e.g.
m
{\displaystyle m}
) will produce an error.
gcd
{\displaystyle \gcd }
gcd
gcd
(
1
,
2
)
{\displaystyle \gcd(1,2)}
Greatest common divisor
\gcd
gcd
Combinatorics
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
!
{\displaystyle !}
!
n
!
{\displaystyle n!}
Factorial
!
!
U+0021
!
n
{\displaystyle !n}
Derangement
n
!
!
{\displaystyle n!!}
Double factorial
(
)
{\displaystyle {\tbinom {~}{~}}}
( )
(
n
k
)
{\displaystyle {\tbinom {n}{k}}}
Combination
\binom
(
)
U+0028/9
(
n
k
1
,
…
,
k
r
)
{\displaystyle {\tbinom {n}{k_{1},\ldots ,k_{r}}}}
Multinomial coefficient
(
(
)
)
{\displaystyle \left(\!{\tbinom {~}{~}}\!\right)}
(( ))
(
(
n
k
)
)
{\displaystyle \left(\!{\tbinom {n}{k}}\!\right)}
Multiset
(( ))
(
)
U+0028/9
¯
{\displaystyle {\overline {~}}}
◌̄
n
m
¯
{\displaystyle n^{\bar {m}}}
Pochhammer symbol
\bar
̄
U+0304
◌̅
n
m
¯
{\displaystyle n^{\overline {m}}}
\overline
̅
U+0305
◌̲
n
m
_
{\displaystyle n^{\underline {m}}}
\underline
̲
U+0332
#
{\displaystyle \#}
#
n
#
{\displaystyle n\#}
Primorial
\#
#
U+0023
Stochastics
Probability theory
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
P
{\displaystyle P}
P
(
A
)
{\displaystyle P(A)}
Probability measure
P
U+2119
∣
{\displaystyle \mid }
P
(
A
∣
B
)
{\displaystyle P(A\mid B)}
Conditional probability
\mid
|
U+007C
/
{\displaystyle /}
P
(
A
/
B
)
{\displaystyle P(A/B)}
/
U+2215
E
{\displaystyle E}
𝔼
E
(
X
)
{\displaystyle E(X)}
Expected value
E
𝔼
U+1D53C
V
{\displaystyle V}
𝕍
V
(
X
)
{\displaystyle V(X)}
Variance
V
𝕍
U+1D54D
σ
{\displaystyle \sigma }
σ
σ
(
X
)
{\displaystyle \sigma (X)}
Standard deviation
\sigma
σ
U+03C3
σ
(
X
,
Y
)
{\displaystyle \sigma (X,Y)}
Covariance
ρ
{\displaystyle \rho }
ρ
ρ
(
X
,
Y
)
{\displaystyle \rho (X,Y)}
Correlation
\rho
ρ
U+03C1
∼
{\displaystyle \sim }
∼
X
∼
F
{\displaystyle X\sim F}
Probability distribution
\sim
∼
U+223C
≈
{\displaystyle \approx }
≈
X
≈
F
{\displaystyle X\approx F}
\approx
≈
U+2248
⊥
{\displaystyle {\displaystyle \perp }}
⊥
A
⊥
B
{\displaystyle A\perp B}
Independence (probability theory)
\perp
⊥
U+22A5
Remark: for operators there are several notational variants; instead of round brackets also square brackets are used
Statistics
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
¯
{\displaystyle {\bar {~}}}
◌̅
x
¯
{\displaystyle {\bar {x}}}
Average
\bar
̄
U+0304
¯
{\displaystyle {\overline {~~}}}
◌̅
m
¯
{\displaystyle {\overline {m}}}
\overline
̅
U+0305
⟨
⟩
{\displaystyle \langle ~~\rangle }
⟨ ⟩
⟨
X
⟩
{\displaystyle \langle X\rangle }
\langle \rangle
⟨
⟩
U+27E8/9
^
{\displaystyle {\hat {~}}}
◌̂
p
^
{\displaystyle {\hat {p}}}
Estimator
\hat
̂
U+0302
Calculus
Sequences and series
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
∑
{\displaystyle \sum }
∑
∑
i
=
1
n
,
∑
i
∈
I
{\displaystyle \sum _{i=1}^{n},\sum _{i\in I}}
Summation
\sum
∑
U+2211
∏
{\displaystyle \prod }
∏
∏
i
=
1
n
,
∏
i
∈
I
{\displaystyle \prod _{i=1}^{n},\prod _{i\in I}}
Multiplication
\prod
∏
U+220F
∐
{\displaystyle \coprod }
∐
∐
i
=
1
n
,
∐
i
∈
I
{\displaystyle \coprod _{i=1}^{n},\coprod _{i\in I}}
Coproduct
\coprod
∐
U+2210
(
)
{\displaystyle (~~)}
( )
(
a
n
)
{\displaystyle (a_{n})}
Sequence
( )
(
)
U+0028/9
→
{\displaystyle \to }
→
a
n
→
a
{\displaystyle a_{n}\to a}
Limit of a sequence
\to
\rarr
→
U+2192
∞
{\displaystyle \infty }
∞
n
→
∞
{\displaystyle n\to \infty }
Infinity
\infty
∞
U+221E
Limits
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
→
{\displaystyle \to }
→
lim
x
→
a
f
(
x
)
{\displaystyle \lim _{x\to a}f(x)}
Limit of a function
\to
\rightarrow
→
→
U+2192
⟶
{\displaystyle \longrightarrow }
⟶
x
⟶
a
{\displaystyle x\longrightarrow a}
\longrightarrow
⟶
U+27F6
↑
{\displaystyle \uparrow }
↑
lim
x
↑
a
f
(
x
)
{\displaystyle \lim _{x\uparrow a}f(x)}
\uparrow
↑
↑
U+2191
↗
{\displaystyle \nearrow }
↗
lim
x
↗
a
f
(
x
)
{\displaystyle \lim _{x\nearrow a}f(x)}
\nearrow
↗
U+2197
↘
{\displaystyle \searrow }
↘
lim
x
↘
a
f
(
x
)
{\displaystyle \lim _{x\searrow a}f(x)}
\searrow
↘
U+2198
↓
{\displaystyle \downarrow }
↓
lim
x
↓
a
f
(
x
)
{\displaystyle \lim _{x\downarrow a}f(x)}
\downarrow
↓
↓
U+2193
↙
{\displaystyle \swarrow }
↙
a
↙
x
{\displaystyle a\swarrow x}
\swarrow
↙
U+2199
←
{\displaystyle \leftarrow }
←
a
←
x
{\displaystyle a\leftarrow x}
\leftarrow
←
←
U+2190
⟵
{\displaystyle \longleftarrow }
⟵
a
⟵
x
{\displaystyle a\longleftarrow x}
\longleftarrow
⟵
U+27F5
↖
{\displaystyle \nwarrow }
↖
a
↖
x
{\displaystyle a\nwarrow x}
\nwarrow
↖
U+2196
+
{\displaystyle ^{+}}
⁺
lim
x
→
a
+
f
(
x
)
{\displaystyle \lim _{x\to a^{+}}f(x)}
^+
⁺
U+207A
−
{\displaystyle ^{-}}
⁻
lim
x
→
a
−
f
(
x
)
{\displaystyle \lim _{x\to a^{-}}f(x)}
^-
⁻
U+207B
lim
{\displaystyle \lim }
lim
n
→
∞
x
n
{\displaystyle \lim _{n\to \infty }x_{n}}
\lim
lim inf
{\displaystyle \liminf }
lim inf
n
→
∞
x
n
{\displaystyle \liminf _{n\to \infty }x_{n}}
Limit inferior and limit superior
\liminf
lim sup
{\displaystyle \limsup }
lim sup
n
→
∞
x
n
{\displaystyle \limsup _{n\to \infty }x_{n}}
\limsup
Differential calculus
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
′
{\displaystyle {}'}
′
{\displaystyle {}^{\prime }}
′
f
′
{\displaystyle f'}
f
′
{\displaystyle f^{\prime }}
Lagrange's notation Prime (symbol)
'
^\prime
′
U+2032
″
{\displaystyle {}''}
′
′
{\displaystyle {}^{\prime \prime }}
″
f
″
{\displaystyle f''}
f
′
′
{\displaystyle f^{\prime \prime }}
''
^{\prime\prime}
″
U+2033
‴
{\displaystyle {}'''}
′
′
′
{\displaystyle {}^{\prime \prime \prime }}
‴
f
‴
{\displaystyle f'''}
f
′
′
′
{\displaystyle f^{\prime \prime \prime }}
'''
^{\prime\prime\prime}
‴
U+2034
⁗
{\displaystyle {}''''}
′
′
′
′
{\displaystyle {}^{\prime \prime \prime \prime }}
⁗
f
⁗
{\displaystyle f''''}
f
′
′
′
′
{\displaystyle f^{\prime \prime \prime \prime }}
''''
^{\prime\prime\prime\prime}
⁗
U+2057
I
V
V
V
I
{\displaystyle ^{IV}\;{}^{V}\;{}^{VI}}
f
I
V
,
f
V
,
f
V
I
{\displaystyle f^{IV},f^{V},f^{VI}}
^{IV}
^V
^{VI}
<sup>IV</sup>
i
v
v
v
i
{\displaystyle ^{iv}\;{}^{v}\;{}^{vi}}
f
i
v
,
f
v
,
f
v
i
{\displaystyle f^{iv},f^{v},f^{vi}}
^{iv}
^v
^{vi}
<sup>iv</sup>
(
)
{\displaystyle {}^{(~)}}
⁽ ⁾
f
(
4
)
,
f
(
5
)
,
f
(
n
)
{\displaystyle f^{(4)},f^{(5)},f^{(n)}}
^{( )}
<sup>( )</sup>
U+207D/E
˙
{\displaystyle {\dot {~~}}}
◌̇
f
˙
{\displaystyle {\dot {f}}}
Newton's notation
\dot
̇
U+0307
¨
{\displaystyle {\ddot {~~}}}
◌̈
f
¨
{\displaystyle {\ddot {f}}}
\ddot
̈
U+0308
d
{\displaystyle d}
d
d
x
{\displaystyle dx}
Leibniz's notation
d
d
U+0064
d
f
{\displaystyle df}
d
f
d
x
{\displaystyle {\frac {df}{dx}}}
d
d
x
f
{\displaystyle {\frac {d}{dx}}f}
d
2
d
x
2
f
{\displaystyle {\frac {d^{2}}{dx^{2}}}f}
∂
{\displaystyle \partial }
∂
∂
x
f
{\displaystyle \partial _{x}f}
Partial derivative
\partial
∂
U+2202
∂
∂
x
|
x
{\displaystyle \left.{\frac {\partial }{\partial x}}\right\vert _{x}}
∂ and |
∂
f
∂
x
|
x
=
x
0
{\displaystyle \left.{\frac {\partial f}{\partial x}}\right\vert _{x=x_{0}}}
\left. \frac{\partial }{\partial x} \right\vert_x
∂
and|
U+2202
andU+007C
Integral calculus
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
∫
{\displaystyle \int }
∫
∫
a
b
{\displaystyle \int _{a}^{b}}
,
∫
G
{\displaystyle \int _{G}}
Integral
\int
∫
U+222B
∬
{\displaystyle \iint }
∬
∬
F
{\displaystyle \iint _{\mathcal {F}}}
Surface integral
\iint
∬
U+222C
∭
{\displaystyle \iiint }
∭
∭
V
{\displaystyle \iiint _{V}}
Volume integral
\iiint
∭
U+222D
∮
{\displaystyle \oint }
∮
∮
γ
{\displaystyle \oint _{\gamma }}
Curve integral
\oint
∮
U+222E
∯
γ
{\displaystyle \gamma }
Surface integral
\oiint
∯
U+222F
∰
γ
{\displaystyle \gamma }
Volume integral
\oiiint
∰
U+2230
Vector calculus
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
∇
{\displaystyle \nabla }
∇
∇
f
{\displaystyle \nabla f}
Gradient
\nabla
∇
U+2207
∇
⋅
F
{\displaystyle \nabla \cdot F}
Divergence
∇
×
F
{\displaystyle \nabla \times F}
Curl (mathematics)
Δ
{\displaystyle \Delta }
∆
Δ
f
{\displaystyle \Delta f}
Laplace operator
\Delta
Δ
U+2206
◻
{\displaystyle \square }
□
◻
f
{\displaystyle \square f}
D'Alembert operator
\square
□
U+25A1
Asymptotic behaviour
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
∼
{\displaystyle \sim }
∼
f
∼
{\displaystyle f\sim }
Asymptotic analysis
\sim
∼
U+223C
o
{\displaystyle o}
o
f
∈
o
(
g
)
{\displaystyle f\in o(g)}
Big O notation
o
U+006F
O
{\displaystyle {\mathcal {O}}}
𝒪
f
∈
O
(
g
)
{\displaystyle f\in {\mathcal {O}}(g)}
\mathcal{O}
𝒪
U+1D4AA
Θ
{\displaystyle \Theta }
Θ
f
∈
Θ
(
g
)
{\displaystyle f\in \Theta (g)}
\Theta
Θ
U+0398
Ω
{\displaystyle \Omega }
Ω
f
∈
Ω
(
g
)
{\displaystyle f\in \Omega (g)}
\Omega
Ω
U+03A9
ω
{\displaystyle \omega }
ω
f
∈
ω
(
g
)
{\displaystyle f\in \omega (g)}
\omega
ω
U+03C9
Linear algebra
Vectors and matrices
Symbol
Articles with usage
LaTeX
(
v
1
,
…
,
v
n
)
{\displaystyle {\begin{pmatrix}v_{1},\ldots ,v_{n}\end{pmatrix}}}
Vector (mathematics and physics)
\begin{pmatrix}
...
\end{pmatrix}
or\left(
\begin{array}{...}
...
\end{array}
\right)
(
v
1
⋮
v
m
)
{\displaystyle {\begin{pmatrix}v_{1}\\\vdots \\v_{m}\end{pmatrix}}}
(
a
11
…
a
1
n
⋮
⋱
⋮
a
m
1
…
a
m
n
)
{\displaystyle {\begin{pmatrix}a_{11}&\!\ldots \!&a_{1n}\\\vdots &\!\ddots \!&\vdots \\a_{m1}&\!\ldots \!&a_{mn}\end{pmatrix}}}
Matrix (mathematics)
Vector operations
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
⋅
{\displaystyle \cdot }
⋅
v
⋅
w
{\displaystyle v\cdot w}
Dot product
Inner product space
\cdot
⋅
U+22C5
(
)
{\displaystyle (~~)}
( )
(
v
,
w
)
{\displaystyle (v,w)}
( )
(
)
U+0028/9
⟨
⟩
{\displaystyle \langle ~~\rangle }
⟨ ⟩
⟨
v
,
w
⟩
{\displaystyle \langle v,w\rangle }
⟨
v
|
w
⟩
{\displaystyle \langle v\,|\,w\rangle }
\langle \rangle
⟨
⟩
U+27E8/9
×
{\displaystyle \times }
⨯
v
×
w
{\displaystyle v\times w}
Cross product
\times
×
U+2A2F
[
]
{\displaystyle [~~]}
[ ]
[
v
,
w
]
{\displaystyle [v,w]}
[ ]
[
]
U+005B/D
(
)
{\displaystyle (~~)}
( )
(
u
,
v
,
w
)
{\displaystyle (u,v,w)}
Triple product
( )
(
)
U+0028/9
⊗
{\displaystyle \otimes }
⊗
v
⊗
w
{\displaystyle v\otimes w}
Dyadic product
\otimes
⊗
U+2297
∧
{\displaystyle \wedge }
∧
v
∧
w
{\displaystyle v\wedge w}
Exterior algebra
\wedge
∧
U+2227
|
|
{\displaystyle |~~|}
| |
|
v
|
{\displaystyle |v|}
Euclidean norm
\vert
|
U+007C
‖
‖
{\displaystyle \|~~\|}
‖
‖
v
‖
{\displaystyle \|v\|}
‖
v
‖
{\displaystyle \lVert v\rVert }
Norm (mathematics)
\Vert
, \|
\lVert
\rVert
‖
U+2016
^
{\displaystyle {\hat {~}}}
̂
v
^
{\displaystyle {\hat {v}}}
Unit vector
\hat{}
̂
U+0302
Matrix operations
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
⋅
{\displaystyle \cdot }
⋅
A
⋅
B
{\displaystyle A\cdot B}
Matrix multiplication
\cdot
⋅
U+22C5
∘
{\displaystyle \circ }
∘
A
∘
B
{\displaystyle A\circ B}
Hadamard product
\circ
∘
U+2218
⊘
{\displaystyle \oslash }
⊘
A
⊘
B
{\displaystyle A\oslash B}
Hadamard division
\oslash
⊘
U+2298
∗
{\displaystyle *}
*
A
∗
B
{\displaystyle A*B}
Khatri-Rao product
*
*
U+002A
⊗
{\displaystyle \otimes }
⊗
A
⊗
B
{\displaystyle A\otimes B}
Kronecker product
\otimes
⊗
U+2297
⊺
{\displaystyle {}^{\intercal }}
⊺
A
⊺
{\displaystyle A^{\intercal }}
Transposed matrix
^\intercal
⊺
U+22BA
⊤
{\displaystyle {}^{\top }}
⊤
A
⊤
{\displaystyle A^{\top }}
^\top
⊤
U+22A4
T
{\displaystyle {}^{\mathrm {T} }}
T
A
T
{\displaystyle A^{\mathrm {T} }}
^{\mathrm T}
U+0054
∗
{\displaystyle {}^{\ast }}
*
A
∗
{\displaystyle A^{\ast }}
Conjugate transpose
^\ast
*
U+002A
†
{\displaystyle {}^{\dagger }}
†
A
†
{\displaystyle A^{\dagger }}
^\dagger
†
U+2020
H
{\displaystyle {}^{\mathrm {H} }}
H
A
H
{\displaystyle A^{\mathrm {H} }}
^H
U+0048
−
1
{\displaystyle {}^{-1}}
⁻
A
−
1
{\displaystyle A^{-1}}
Inverse matrix
^{-1}
U+207B
+
{\displaystyle {}^{+}}
+
A
+
{\displaystyle A^{+}}
Moore–Penrose pseudoinverse
^+
+
U+002B
|
|
{\displaystyle |~~|}
| A |
|
A
|
{\displaystyle |A|}
Determinant
|
, \vert
|
U+007C
det
{\displaystyle \det }
det
det
A
{\displaystyle \det A}
\det
det
‖
‖
{\displaystyle \|~~\|}
‖
‖
A
‖
{\displaystyle \|A\|}
Matrix norm
\|
, \Vert
‖
U+2016
Vector spaces
Functional analysis
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
′
{\displaystyle {}'}
′
V
′
{\displaystyle V'}
Dual space
^\prime
′
U+2032/3
″
{\displaystyle {}''}
″
V
″
{\displaystyle V''}
^
{\displaystyle {\hat {~}}}
◌̂
X
^
{\displaystyle {\hat {X}}}
Complete metric space
\hat{}
U+0302
↪
{\displaystyle \hookrightarrow }
↪
X
↪
Y
{\displaystyle X\hookrightarrow Y}
Embedding
\hookrightarrow
U+21AA
Logic
The current Wikipedia guidelines advise against unnecessary use of ∀, ∃, and ⇔ and instead recommend writing out "for all", "there exists", and "if and only if." The same is true of abbreviations such as "iff ", "s.t.", and "WLOG ".
Equality signs
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
=
{\displaystyle =}
=
a
=
b
{\displaystyle a=b}
Equality
=
=
U+003D
#
{\displaystyle \#}
#
a
#
b
{\displaystyle a\,\#\,b}
Apartness relation
\#
#
U+0023
≠
{\displaystyle \neq }
≠
a
≠
b
{\displaystyle a\neq b}
Inequality
\neq
\ne
\not=
≠
U+2260
≡
{\displaystyle \equiv }
≡
a
≡
b
{\displaystyle a\equiv b}
Identity
\equiv
≡
U+2261
≈
{\displaystyle \approx }
≈
a
≈
b
{\displaystyle a\approx b}
Approximation
\approx
≈
U+2248
∼
{\displaystyle \sim }
∼
a
∼
b
{\displaystyle a\sim b}
Equivalence class
\sim
∼
U+223C
∝
{\displaystyle \propto }
∝
a
∝
b
{\displaystyle a\propto b}
Proportionality
\propto
∝
U+221D
=
^
{\displaystyle {\widehat {=}}}
≙
a
=
^
b
{\displaystyle a\,{\widehat {=}}\,b}
Bijection
\widehat{=}
≙
U+2259
=
?
{\displaystyle {\overset {?}{=}}}
≟
a
=
?
b
{\displaystyle a\,{\overset {?}{=}}\,b}
Asks "is it equal to"
\overset{?}{=}
≟
U+225F
=
def
{\displaystyle {\overset {\operatorname {def} }{=}}}
≝
a
=
def
b
{\displaystyle a\,{\overset {\operatorname {def} }{=}}\,b}
Equal to by definition
\overset{\operatorname{def}}{=}
≝
U+225D
≜
{\displaystyle \triangleq }
≜
a
≜
b
{\displaystyle a\,\triangleq \,b}
\triangleq
≜
U+225C
:=
{\displaystyle :=}
≔
a
:=
b
{\displaystyle a\,:=\,b}
Assignment
:=
≔
U+2254
=:
{\displaystyle =:}
≕
a
=:
b
{\displaystyle a\,=:\,b}
=:
≕
U+2255
≐
{\displaystyle \doteq }
≐
x
n
≐
b
{\displaystyle x_{n}\doteq \,b}
Approaches the limit
\doteq
≐
U+2250
==
{\displaystyle ==}
⩵
x
==
y
{\displaystyle x\,==\,y}
Relational operator
==
⩵
U+2A75
Logical operators
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
∧
{\displaystyle \land }
∧
A
∧
B
{\displaystyle A\land B}
Logical conjunction
\land
∧
U+2227
∨
{\displaystyle \lor }
∨
A
∨
B
{\displaystyle A\lor B}
Logical disjunction
\lor
∨
U+2228
⇔
{\displaystyle \Leftrightarrow }
⇔
A
⇔
B
{\displaystyle A\Leftrightarrow B}
Logical equivalence
\Leftrightarrow
⇔
U+21D4
↔
{\displaystyle \leftrightarrow }
↔
A
↔
B
{\displaystyle A\leftrightarrow B}
\leftrightarrow
↔
U+2194
⟺
{\displaystyle \iff }
⟺
A
⟺
B
{\displaystyle A\iff B}
\iff
⟺
U+27FA
⇒
{\displaystyle \Rightarrow }
⇒
A
⇒
B
{\displaystyle A\Rightarrow B}
Logical consequence
\Rightarrow
⇒
U+21D2
→
{\displaystyle \rightarrow }
→
A
→
B
{\displaystyle A\rightarrow B}
\rightarrow
→
U+2192
⟹
{\displaystyle \implies }
⟹
A
⟹
B
{\displaystyle A\implies B}
\implies
⟹
U+27F9
⟹
{\displaystyle \Longrightarrow }
A
⟹
B
{\displaystyle A\Longrightarrow B}
\Longrightarrow
⊕
{\displaystyle \oplus }
⊕
A
⊕
B
{\displaystyle A\oplus B}
Exclusive or
\oplus
⊕
U+2295
⊻
{\displaystyle \veebar }
⊻
A
⊻
B
{\displaystyle A\,\veebar \,B}
\veebar
⊻
U+22BB
∨
˙
{\displaystyle {\dot {\lor }}}
⩒
A
∨
˙
B
{\displaystyle A\,{\dot {\lor }}\,B}
\dot\lor
U+2A52
¬
{\displaystyle \lnot }
¬
¬
A
{\displaystyle \lnot A}
Logical negation
\lnot
¬
U+00AC
¯
{\displaystyle {\bar {~}}}
◌̄
A
¯
{\displaystyle {\bar {A}}}
\bar
̄
U+0304
¯
{\displaystyle {\overline {~~}}}
̅
A
¯
{\displaystyle {\overline {A}}}
\overline
̅
U+0305
⧸
{\displaystyle \not }
◌̸
≠
{\displaystyle \not =}
∉
{\displaystyle \not \in }
\not
(ex: \not=
\not\in
)
̸
(ex: ≠
∉
)
U+0338
←
{\displaystyle \leftarrow }
←
A
←
B
{\displaystyle A\leftarrow B}
Converse implication
\leftarrow
←
U+2190
⊸
{\displaystyle \multimap }
⊸
A
⊸
B
{\displaystyle A\multimap B}
Linear logic
\multimap
⊸
U+22B8
⅋
⅋
A ⅋ B
Linear logic
\upand
(No Wikipedia support)
&x214B;
U+214B
Quantifiers
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
∀
{\displaystyle \forall }
∀
∀
x
{\displaystyle \forall \,x}
Universal quantification
\forall
∀
U+2200
⋀
{\displaystyle \bigwedge }
⋀
⋀
x
{\displaystyle \bigwedge _{x}}
\bigwedge
⋀
U+22C0
∃
{\displaystyle \exists }
∃
∃
x
{\displaystyle \exists \,x}
Existential quantification
\exists
∃
U+2203
⋁
{\displaystyle \bigvee }
⋁
⋁
x
{\displaystyle \bigvee _{x}}
\bigvee
⋁
U+22C1
∃
!
{\displaystyle \exists !}
∃!
∃
!
x
{\displaystyle \exists !\,x}
Uniqueness quantification
\exists!
∃!
U+2203
!
⋁
⋅
{\displaystyle \bigvee ^{\centerdot }}
⩒
⋁
x
⋅
{\displaystyle \bigvee _{x}^{\centerdot }}
\dot\bigvee
U+2A52
∄
{\displaystyle \nexists }
∄
∄
x
{\displaystyle \nexists \,x}
Existential quantification
\nexists
∄
U+2204
Deduction symbols
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
⊢
{\displaystyle \vdash }
⊢
A
⊢
B
{\displaystyle A\vdash B}
Logical consequence , Propositional calculus
\vdash
⊢
U+22A2
⊨
{\displaystyle \models }
⊨
A
⊨
B
{\displaystyle A\models B}
Logical consequence , Inference
\models
⊨
U+22A8
⊨
A
{\displaystyle \models A}
Tautology (logic)
⊤
{\displaystyle \top }
⊤
A
⊤
{\displaystyle A\top }
\top
⊤
U+22A4
⊥
{\displaystyle \bot }
⊥
A
⊥
{\displaystyle A\bot }
Contradiction
\bot
⊥
U+22A5
∴
{\displaystyle \therefore }
∴
A
∴
B
{\displaystyle A\therefore B}
Deductive reasoning
\therefore
∴
U+2234
∵
{\displaystyle \because }
∵
A
∵
B
{\displaystyle A\because B}
\because
∵
U+2235
End of proof symbols
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
◼
{\displaystyle \blacksquare }
■
...as desired.
◼
{\displaystyle \blacksquare }
Q.E.D.
\blacksquare
■
U+25A0
◻
{\displaystyle \Box }
□
\Box
□
U+25A1
{\displaystyle }
∎
Tombstone
∎
U+220E
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
ε
{\displaystyle \varepsilon }
ε
ε
s
=
s
{\displaystyle \varepsilon s=s}
Empty string
\varepsilon
ε
U+03B5
|
|
{\displaystyle |~~|}
| |
|
s
|
{\displaystyle |s|}
String length
\vert
|
U+007C
+
{\displaystyle +}
+
s
+
t
{\displaystyle s+t}
Concatenation
+
+
U+002B
⋅
{\displaystyle \cdot }
⋅
s
⋅
t
{\displaystyle s\cdot t}
\cdot
⋅
U+22C5
¬
{\displaystyle \lnot }
¬
¬
L
{\displaystyle \lnot L}
Formal language
\lnot
¬
U+00AC
∗
{\displaystyle {}^{\ast }}
*
V
∗
{\displaystyle V^{\ast }}
Kleene star
^\ast
∗
U+002A
+
{\displaystyle {}^{+}}
+
V
+
{\displaystyle V^{+}}
Free monoid
^+
+
U+002B
∼
{\displaystyle \sim }
∼
a
∼
b
{\displaystyle a\sim b}
Squiggle operator
\sim
∼
U+223C
[
[
]
]
{\displaystyle [\![~~]\!]}
⟦⟧
[
[
s
]
]
{\displaystyle [\![s]\!]}
Squiggle operator
[\![
]\!]
⟦
⟧
U+27E6/7
Functions and category theory
Functions
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
→
{\displaystyle \to }
→
f
:
A
→
B
{\displaystyle f\colon A\to B}
Function (mathematics)
\to
→
U+2192
A
→
f
B
{\displaystyle A\,{\stackrel {f}{\to }}\,B}
↦
{\displaystyle \mapsto }
↦
f
:
x
↦
y
{\displaystyle f\colon x\mapsto y}
\mapsto
&mapstoright;
U+21A6
x
↦
f
y
{\displaystyle x\,{\stackrel {f}{\mapsto }}\,y}
(
)
{\displaystyle (~~)}
( )
f
(
x
)
{\displaystyle f(x)}
Image (mathematics)
( )
(
)
U+0028/9
f
(
X
)
{\displaystyle f(X)}
[
]
{\displaystyle [~~]}
[ ]
f
[
X
]
{\displaystyle f[X]}
[ ]
[
or ]
U+005B/D
|
{\displaystyle \vert }
|
f
|
X
{\displaystyle f\vert _{X}}
Restriction (mathematics)
\vert
|
U+007C
⋅
{\displaystyle \cdot }
⋅
f
(
⋅
)
{\displaystyle f(\cdot )}
Free variable
\cdot
⋅
U+22C5
−
1
{\displaystyle {}^{-1}}
⁻
f
−
1
{\displaystyle f^{-1}}
Inverse function
-1
U+207B
∘
{\displaystyle \circ }
∘
f
∘
g
{\displaystyle f\circ g}
Function composition
\circ
∘
U+2218
∗
{\displaystyle \ast }
∗
f
∗
g
{\displaystyle f\ast g}
Convolution
\ast
∗
U+2217
^
{\displaystyle {\hat {~}}}
◌̂
f
^
{\displaystyle {\hat {f}}}
Fourier transform
\hat
U+0302
⊸
{\displaystyle \multimap }
⊸
f
:
X
⊸
Y
{\displaystyle f:X\multimap Y}
Multimap
\multimap
⊸
U+22B8
Morphisms
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
→
{\displaystyle \to }
→
f
:
X
→
Y
{\displaystyle f\colon X\to Y}
Morphism
\to
→
U+2192
X
→
f
Y
{\displaystyle X\,{\stackrel {f}{\to }}\,Y}
↦
{\displaystyle \mapsto }
↦
f
:
x
↦
y
{\displaystyle f\colon x\mapsto y}
\mapsto
&mapstoright;
U+21A6
x
↦
f
y
{\displaystyle x\,{\stackrel {f}{\mapsto }}\,y}
→
∼
{\displaystyle {\overset {\sim }{\rightarrow }}}
⥲
f
:
X
→
∼
Y
{\displaystyle f\colon X{\overset {\sim }{\rightarrow }}Y}
Isomorphism
\tilde{\rightarrow}
U+2972
↪
{\displaystyle \hookrightarrow }
↪
f
:
X
↪
Y
{\displaystyle f\colon X\hookrightarrow Y}
Monomorphism
\hookrightarrow
↪
U+21AA
X
↪
f
Y
{\displaystyle X\,{\stackrel {f}{\hookrightarrow }}\,Y}
↠
{\displaystyle \twoheadrightarrow }
↠
f
:
X
↠
Y
{\displaystyle f\colon X\twoheadrightarrow Y}
Epimorphism
\twoheadrightarrow
↠
U+21A0
X
↠
f
Y
{\displaystyle X\,{\stackrel {f}{\twoheadrightarrow }}\ Y}
hom
{\displaystyle \hom }
hom
hom
C
(
X
,
Y
)
{\displaystyle \hom _{C}(X,Y)}
Morphism
\hom
hom
Constructions
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
∏
{\displaystyle \prod }
∏
∏
X
i
{\displaystyle \prod X_{i}}
Product (category theory)
\prod
∏
U+220F
∐
{\displaystyle \coprod }
∐
∐
X
i
{\displaystyle \coprod X_{i}}
Coproduct
\coprod
∐
U+2210
⊕
{\displaystyle \oplus }
⊕
⊕
X
i
{\displaystyle \oplus X_{i}}
Biproduct
\oplus
⊕
U+2295
×
{\displaystyle \times }
×
A
×
C
B
{\displaystyle A\times _{C}B}
Pullback (category theory)
\times
×
U+00D7
lim
{\displaystyle \lim }
lim
lim
F
{\displaystyle \lim F}
Limit (category theory)
\lim
lim
proj lim
{\displaystyle \projlim }
projlim
proj lim
F
{\displaystyle \projlim F}
Inverse limit
\projlim
projlim
lim
←
{\displaystyle \varprojlim }
lim
←
F
{\displaystyle \varprojlim F}
\varprojlim
inj lim
{\displaystyle \injlim }
injlim
inj lim
F
{\displaystyle \injlim F}
Direct limit
\injlim
injlim
lim
→
{\displaystyle \varinjlim }
lim
→
F
{\displaystyle \varinjlim F}
\varinjlim
Set theory
Definition symbols
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
:
{\displaystyle \colon }
:
A
:
B
{\displaystyle A\colon B}
Definition
\colon
:
U+003A
A
:
=
B
{\displaystyle A\colon =B}
A
:
⇔
B
{\displaystyle A\colon \Leftrightarrow B}
Set construction
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
∅
{\displaystyle \varnothing }
∅
∅
=
{
}
{\displaystyle \varnothing =\{\;\}}
Empty set
\varnothing
∅
∅
U+2205
∅
{\displaystyle \emptyset }
\emptyset
{
}
{\displaystyle \{~\}}
{ }
{
a
,
b
,
…
}
{\displaystyle \{a,b,\ldots \}}
Set (mathematics)
\{
\}
\lbrace
\rbrace
{
}
U+007B/D
∣
{\displaystyle \mid }
|
{
a
∣
T
(
a
)
}
{\displaystyle \{a\mid T(a)\}}
\mid
|
U+007C
:
{\displaystyle \colon }
:
{
a
:
T
(
a
)
}
{\displaystyle \{a\colon T(a)\}}
\colon
:
U+003A
:
{\displaystyle :}
{
a
:
T
(
a
)
}
{\displaystyle \{a:T(a)\}}
:
Comparison of separators (the symbol between the variable and predicate)
Rendered result
Latex code
Notes on separator
{
x
∈
X
:
P
(
x
)
}
{\displaystyle \{x\in X:P(x)\}}
\{x\in X : P(x)\}
:
inserts whitespace that \colon
does not.
{
x
∈
X
:
P
(
x
)
}
{\displaystyle \{x\in X\colon P(x)\}}
\{x\in X \colon P(x)\}
{
x
∈
X
∣
P
(
x
)
}
{\displaystyle \{x\in X\mid P(x)\}}
\{x\in X \mid P(x)\}
\mid
inserts whitespace that \vert
does not.
{
x
∈
X
|
P
(
x
)
}
{\displaystyle \{x\in X\vert P(x)\}}
\{x\in X \vert P(x)\}
\vert
and |
are synonyms in LaTeX.
{
x
∈
X
|
P
(
x
)
}
{\displaystyle \{x\in X\vline P(x)\}}
\{x\in X \vline P(x)\}
\mid
inserts whitespace that \vline
does not.
{
∑
n
=
1
∞
x
n
:
|
x
|
<
1
}
{\displaystyle \left\{\sum _{n=1}^{\infty }x^{n}:|x|<1\right\}}
\left\{\sum_{n=1}^{\infty} x^n : |x|<1\right\}
{
∑
n
=
1
∞
x
n
∣
|
x
|
<
1
}
{\displaystyle \left\{\sum _{n=1}^{\infty }x^{n}\mid |x|<1\right\}}
\left\{\sum_{n=1}^\infty x^n \mid |x|<1\right\}
{
∑
n
=
1
∞
x
n
|
|
x
|
<
1
}
{\displaystyle \left\{\sum _{n=1}^{\infty }x^{n}\;{\Bigg |}\;|x|<1\right\}}
\left\{\sum_{n=1}^\infty x^n \;\Bigg|\; |x|<1\right\}
\;\Bigg|\;
is used since neither \middle\mid
, \Bigg\mid
, nor \Bigg\vline
render in Wikipedia.
{
∑
n
=
1
∞
x
n
|
|
x
|
<
1
}
{\displaystyle \left\{\left.\sum _{n=1}^{\infty }x^{n}\;\right|\;|x|<1\right\}}
\left\{\left.\sum_{n=1}^\infty x^n \;\right|\; |x|<1\right\}
Using \left. \right|
or \left| \right.
is potentially an alternative to manual scaling.
Set operations
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
∩
{\displaystyle \cap }
∩
A
∩
B
{\displaystyle A\cap B}
Intersection (set theory)
\cap
∩
U+2229
⋂
{\displaystyle \bigcap }
⋂
⋂
S
∈
P
S
{\displaystyle \bigcap _{S\in P}S}
\bigcap
⋂
⋂
U+22C2
∪
{\displaystyle \cup }
∪
A
∪
B
{\displaystyle A\cup B}
Union (set theory)
\cup
∪
U+222A
⋃
{\displaystyle \bigcup }
⋃
⋃
S
∈
P
S
{\displaystyle \bigcup _{S\in P}S}
\bigcup
⋃
⋃
U+22C3
∖
{\displaystyle \setminus }
∖
A
∖
B
{\displaystyle A\setminus B}
Difference (set theory)
\setminus
∖
∖
U+2216
∖
{\displaystyle \smallsetminus }
A
∖
B
{\displaystyle A\smallsetminus B}
\smallsetminus
△
{\displaystyle \triangle }
∆
A
△
B
{\displaystyle A\,\triangle \,B}
Symmetric difference
\triangle
Δ
U+2206
⊖
{\displaystyle \ominus }
⊖
A
⊖
B
{\displaystyle A\ominus B}
\ominus
⊖
U+2296
×
{\displaystyle \times }
⨯
A
×
B
{\displaystyle A\times B}
Cartesian product
\times
×
U+2A2F
∩
˙
{\displaystyle {\dot {\cap }}}
⩀
A
∩
˙
B
{\displaystyle A\,{\dot {\cap }}\,B}
Intersection (set theory)
\dot\cap
⩀
U+2A40
⊓
{\displaystyle \sqcap }
⊓
A
⊓
B
{\displaystyle A\sqcap B}
\sqcap
⊓
U+2293
{\displaystyle }
⩄
{\displaystyle }
\capwedge
⩄
U+2A44
∪
˙
{\displaystyle {\dot {\cup }}}
⊍
A
∪
˙
B
{\displaystyle A\,{\dot {\cup }}\,B}
Disjoint union
\dot\cup
⊍
U+228D
⊎
{\displaystyle \uplus }
⊎
A
⊎
B
{\displaystyle A\uplus B}
\uplus
⊎
U+228E
⊔
{\displaystyle \sqcup }
⊔
A
⊔
B
{\displaystyle A\sqcup B}
\sqcup
⊔
U+2294
{\displaystyle }
⫛
{\displaystyle }
Transversal intersection
\mlcp
⫛
U+2ADB
∁
{\displaystyle {}^{\complement }}
∁
A
∁
{\displaystyle A^{\complement }}
Complement (set theory)
^\complement
∁
U+2201
C
{\displaystyle {}^{\mathrm {C} }}
C
A
C
{\displaystyle A^{\mathrm {C} }}
^{\mathrm C}
∁
U+2201
¯
{\displaystyle {\bar {~}}}
◌̄
z
¯
{\displaystyle {\bar {z}}}
\bar{}
̄
U+0304
¯
{\displaystyle {\overline {~~}}}
◌̅
A
¯
{\displaystyle {\overline {A}}}
\overline{}
U+0305
℘
{\displaystyle \wp }
℘
℘
(
A
)
{\displaystyle \wp (A)}
Power set
\wp
℘
U+2118
P
{\displaystyle {\mathcal {P}}}
𝒫
P
(
A
)
{\displaystyle {\mathcal {P}}(A)}
\mathcal{P}
𝒫
U+1D4AB
P
{\displaystyle {\mathfrak {P}}}
𝔓
P
(
A
)
{\displaystyle {\mathfrak {P}}(A)}
\mathfrak{P}
𝔓
U+1D513
⋀
{\displaystyle \bigwedge }
⋀
⋀
x
∈
A
{\displaystyle \bigwedge \limits _{x\in A}}
Infimum and supremum
\bigwedge
\bigwedge\limits_{}
⋀
U+22C0
⋁
{\displaystyle \bigvee }
⋁
⋁
x
∈
A
{\displaystyle \bigvee \limits _{x\in A}}
\bigvee
\bigvee\limits_{}
⋁
U+22C1
Set relations
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
⊂
{\displaystyle \subset }
⊂
A
⊂
B
{\displaystyle A\subset B}
Subset
\subset
⊂
U+2282
⊊
{\displaystyle \subsetneq }
⊊
A
⊊
B
{\displaystyle A\subsetneq B}
\subsetneq
⊊
U+228A
⊆
{\displaystyle \subseteq }
⊆
A
⊆
B
{\displaystyle A\subseteq B}
\subseteq
⊆
U+2286
{\displaystyle }
⟃
A ⟃ B
\subsetcirc
⟃
U+27C3
⊃
{\displaystyle \supset }
⊃
A
⊃
B
{\displaystyle A\supset B}
Superset
\supset
⊃
U+2283
⊋
{\displaystyle \supsetneq }
⊋
A
⊋
B
{\displaystyle A\supsetneq B}
\supsetneq
⊋
U+228B
⊇
{\displaystyle \supseteq }
⊇
A
⊇
B
{\displaystyle A\supseteq B}
\supseteq
⊇
U+2287
{\displaystyle }
⟄
A ⟄ B
\supsetcirc
⟄
U+27C4
⊄
{\displaystyle \not \subset }
⊄
A
⊄
B
{\displaystyle A\not \subset B}
\not\subset
⊄
U+2284
⊅
{\displaystyle \not \supset }
⊅
A
⊅
B
{\displaystyle A\not \supset B}
Superset
\not\supset
⊅
U+2285
⊈
{\displaystyle \not \subseteq }
⊈
A
⊈
B
{\displaystyle A\not \subseteq B}
\not\subseteq
⊈
U+2288
⊉
{\displaystyle \not \supseteq }
⊉
A
⊉
B
{\displaystyle A\not \supseteq B}
Superset
\not\supseteq
⊉
U+2289
∈
{\displaystyle \in }
∈
a
∈
A
{\displaystyle a\in A}
Element (mathematics)
\in
∈
U+2208
∋
{\displaystyle \ni }
∋
A
∋
a
{\displaystyle A\ni a}
\ni
, \owns
∋
U+220B
∉
{\displaystyle \notin }
∉
a
∉
A
{\displaystyle a\notin A}
\notin
, \not\in
∉
U+2209
∌
{\displaystyle \not \ni }
∌
A
∌
a
{\displaystyle A\not \ni a}
\not\ni
∌
U+220C
⊏
{\displaystyle \sqsubset }
⊏
A
⊏
B
{\displaystyle A\sqsubset B}
Substring
\sqsubset
⊏
U+228F
⊐
{\displaystyle \sqsupset }
⊐
A
⊐
B
{\displaystyle A\sqsupset B}
\sqsupset
⊐
U+2290
⊑
{\displaystyle \sqsubseteq }
⊑
A
⊑
B
{\displaystyle A\sqsubseteq B}
\sqsubseteq
⊑
U+2291
⊒
{\displaystyle \sqsupseteq }
⊒
A
⊒
B
{\displaystyle A\sqsupseteq B}
\sqsupseteq
⊒
U+2292
Note: The symbols
⊂
{\displaystyle \subset }
and
⊃
{\displaystyle \supset }
are used inconsistently and often do not exclude the equality of the two quantities.
Cardinality
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
|
|
{\displaystyle |~~|}
| |
|
A
|
{\displaystyle |A|}
Cardinality
\vert
|
U+007C
#
{\displaystyle \#}
#
#
A
{\displaystyle \#A}
\#
#
U+0023
c
{\displaystyle {\mathfrak {c}}}
𝔠
Cardinality of the continuum
\mathfrak{c}
𝔠
U+1D520
ℵ
{\displaystyle \aleph }
ℵ
ℵ
0
{\displaystyle \aleph _{0}}
,
ℵ
1
{\displaystyle \aleph _{1}}
, ...
Aleph number
\aleph
ℵ
U+2135
ℶ
{\displaystyle \beth }
ℶ
ℶ
0
{\displaystyle \beth _{0}}
,
ℶ
1
{\displaystyle \beth _{1}}
, ...
Beth number
\beth
ℶ
U+2136
Equivalence classes/relations
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
[
]
{\displaystyle [~~]}
[ ]
[
a
]
{\displaystyle [a]}
Equivalence class
[ ]
[
]
U+005B/D
/
{\displaystyle /}
/
M
/
∼
{\displaystyle M/\!\sim }
Quotient set
/
/
U+002F
∼
{\displaystyle \sim }
∼
a
∼
b
{\displaystyle a\sim b}
Equivalence relation
\sim
∼
, ∼
U+223C
∽
{\displaystyle \backsim }
∽
a
∽
b
{\displaystyle a\backsim b}
\backsim
∽
U+223D
≁
{\displaystyle \nsim }
≁
a
≁
b
{\displaystyle a\nsim b}
\not\sim
, \nsim
≁
U+2241
≂
{\displaystyle \eqsim }
≂
a
≂
b
{\displaystyle a\eqsim b}
\eqsim
≂
U+2242
≃
{\displaystyle \simeq }
≃
a
≃
b
{\displaystyle a\simeq b}
\simeq
≃
U+2243
≅
{\displaystyle \cong }
≅
a
≅
b
{\displaystyle a\cong b}
\cong
≅
U+2245
≆
{\displaystyle \ncong }
≇
a
≆
b
{\displaystyle a\ncong b}
\not\cong
, \ncong
≇
U+2247
Order theory
Comparisons
See also : Arithmetic comparison , Set relations
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
≤
{\displaystyle \leq }
≤
a
≤
b
{\displaystyle a\leq b}
Order relation
\leq
, \le
≤
, ≤
U+2264
≥
{\displaystyle \geq }
≥
a
≥
b
{\displaystyle a\geq b}
\geq
, \ge
≥
, ≥
U+2265
≮
{\displaystyle \nless }
≮
a
≮
b
{\displaystyle a\nless b}
\nless
≮
, ≮
U+226E
≯
{\displaystyle \ngtr }
≯
a
≯
b
{\displaystyle a\ngtr b}
\ngtr
≯
, ≯
U+226F
≰
{\displaystyle \nleq }
≰
a
≰
b
{\displaystyle a\nleq b}
\not\leq
, \nleq
≰
, ≰
U+2270
≱
{\displaystyle \ngeq }
≱
a
≱
b
{\displaystyle a\ngeq b}
\not\geq
, \ngeq
≱
, ≱
U+2271
≲
{\displaystyle \lesssim }
≲
a
≲
b
{\displaystyle a\lesssim b}
Inequality (mathematics)
\lesssim
≲
, ≲
U+2272
≳
{\displaystyle \gtrsim }
≳
a
≳
b
{\displaystyle a\gtrsim b}
\gtrsim
≳
, ≳
U+2273
≴
{\displaystyle \not \lesssim }
≴
a
≴
b
{\displaystyle a\not \lesssim b}
\not\lesssim
≴
U+2274
≵
{\displaystyle \not \gtrsim }
≵
a
≵
b
{\displaystyle a\not \gtrsim b}
\not\gtrsim
≵
U+2275
≺
{\displaystyle \prec }
≺
a
≺
b
{\displaystyle a\prec b}
Successor ordinal
\prec
≺
U+227A
≻
{\displaystyle \succ }
≻
a
≻
b
{\displaystyle a\succ b}
\succ
≻
U+227B
≼
{\displaystyle \preccurlyeq }
≼
a
≼
b
{\displaystyle a\preccurlyeq b}
\preccurlyeq
≼
U+227C
≽
{\displaystyle \succcurlyeq }
≽
a
≽
b
{\displaystyle a\succcurlyeq b}
\succcurlyeq
≽
U+227D
≾
{\displaystyle \precsim }
≾
a
≾
b
{\displaystyle a\precsim b}
\precsim
≾
U+227E
≿
{\displaystyle \succsim }
≿
a
≿
b
{\displaystyle a\succsim b}
\succsim
≿
U+227F
⪯
{\displaystyle \preceq }
⪯
a
⪯
b
{\displaystyle a\preceq b}
\preceq
⪯
U+2AAF
⪰
{\displaystyle \succeq }
⪰
a
⪰
b
{\displaystyle a\succeq b}
\succeq
⪰
U+2AB0
⋞
{\displaystyle \curlyeqprec }
⋞
a
⋞
b
{\displaystyle a\curlyeqprec b}
\curlyeqprec
⋞
U+22DE
⋟
{\displaystyle \curlyeqsucc }
⋟
a
⋟
b
{\displaystyle a\curlyeqsucc b}
\curlyeqsucc
⋟
U+22DF
⊏
{\displaystyle \sqsubset }
⊏
a
⊏
b
{\displaystyle a\sqsubset b}
Partially ordered set
\sqsubset
⊏
⊏
U+228F
⊐
{\displaystyle \sqsupset }
⊐
a
⊐
b
{\displaystyle a\sqsupset b}
\sqsupset
⊐
⊐
U+2290
⊑
{\displaystyle \sqsubseteq }
⊑
a
⊑
b
{\displaystyle a\sqsubseteq b}
\sqsubseteq
⊑
⊑
U+2291
⊒
{\displaystyle \sqsupseteq }
⊒
a
⊒
b
{\displaystyle a\sqsupseteq b}
\sqsupseteq
⊒
⊒
U+2292
⋢
{\displaystyle \not \sqsubseteq }
⋢
a
⋢
b
{\displaystyle a\not \sqsubseteq b}
\not\sqsubseteq
⋢
U+22E2
⋣
{\displaystyle \not \sqsupseteq }
⋣
a
⋣
b
{\displaystyle a\not \sqsupseteq b}
\not\sqsupseteq
⋣
U+22E3
Binary relations
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
;
;
R
;
S
{\displaystyle R;S}
Composition of relations
;
;
U+003B
∙
{\displaystyle \bullet }
•
a
∙
b
{\displaystyle a\bullet b}
Operation (mathematics)
\bullet
•
U+2219
∗
{\displaystyle \ast }
∗
a
∗
b
{\displaystyle a\ast b}
\ast
∗
U+2217
T
{\displaystyle {}^{T}}
⁻
R
T
{\displaystyle R^{T}}
Converse relation
T
¯
{\displaystyle {\bar {}}}
⁻
R
¯
{\displaystyle {\bar {R}}}
Complementary relation
\bar{R}
+
{\displaystyle {}^{+}}
+
R
+
{\displaystyle R^{+}}
Transitive closure
+
U+002B
∗
{\displaystyle {}^{\ast }}
*
R
∗
{\displaystyle R^{\ast }}
Reflexive closure
\ast
∗
U+002A
Algebra
Group theory
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
≃
{\displaystyle \simeq }
≃
G
≃
H
{\displaystyle G\simeq H}
Group isomorphism
\simeq
U+2243
≅
{\displaystyle \cong }
≅
G
≅
H
{\displaystyle G\cong H}
\cong
≅
U+2245
×
{\displaystyle \times }
⨯
G
×
H
{\displaystyle G\times H}
Direct product
\times
×
U+2A2F
⋊
{\displaystyle \rtimes }
⋊
G
⋊
H
{\displaystyle G\rtimes H}
Semidirect product
\rtimes
⋊
U+22CA
≀
{\displaystyle \wr }
≀
G
≀
H
{\displaystyle G\,\wr \,H}
Wreath product
\wr
≀
U+2240
≤
{\displaystyle \leq }
≤
U
≤
G
{\displaystyle U\leq G}
Subgroup
\leq
≤
U+2264
<
{\displaystyle <}
<
U
<
G
{\displaystyle U<G}
\lt
<
U+003C
⊲
{\displaystyle \vartriangleleft }
⊲
N
⊲
G
{\displaystyle N\vartriangleleft G}
Normal subgroup
\vartriangleleft
⊳
U+22B3
⊴
{\displaystyle \trianglelefteq }
⊴
N
⊴
G
{\displaystyle N\trianglelefteq G}
\trianglelefteq
⊴
U+22B4
⋪
{\displaystyle \not \vartriangleleft }
⋪
N
⋪
G
{\displaystyle N\not \vartriangleleft G}
\not\vartriangleleft
⋪
U+22EA
⋬
{\displaystyle \not \trianglelefteq }
⋬
N
⋬
G
{\displaystyle N\not \trianglelefteq G}
\not\trianglelefteq
⋬
U+22EC
⊳
{\displaystyle \vartriangleright }
⊳
G
⊳
N
{\displaystyle G\vartriangleright N}
\vartriangleright
⊳
U+22B3
⊵
{\displaystyle \trianglerighteq }
⊵
G
⊵
N
{\displaystyle G\trianglerighteq N}
\trianglerighteq
⊵
U+22B5
⋫
{\displaystyle \not \vartriangleright }
⋫
G
⋫
N
{\displaystyle G\not \vartriangleright N}
\not\vartriangleright
⋫
U+22EB
⋭
{\displaystyle \not \trianglerighteq }
⋭
G
⋭
N
{\displaystyle G\not \trianglerighteq N}
\not\trianglerighteq
⋭
U+22ED
/
{\displaystyle /}
/
G
/
N
{\displaystyle G/N}
Quotient group
/
⁄
U+002F
:
{\displaystyle \colon }
:
(
G
:
U
)
{\displaystyle (G\colon U)}
Index of a subgroup
\colon
:
U+003A
⟨
⟩
{\displaystyle \langle ~~\rangle }
⟨ ⟩
⟨
E
⟩
{\displaystyle \langle E\rangle }
Generating set of a group
\langle \rangle
⟨
⟩
U+27E8/9
[
]
{\displaystyle [~~]}
[ ]
[
g
,
h
]
{\displaystyle [g,h]}
Commutator
[ ]
[
]
U+005B/D
Field theory
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
/
{\displaystyle /}
/
L
/
K
{\displaystyle L/K}
Field extension
/
⁄
U+002F
∣
{\displaystyle \mid }
|
L
∣
K
{\displaystyle L\mid K}
\mid
|
U+007C
:
{\displaystyle \colon }
:
L
:
K
{\displaystyle L\colon K}
\colon
:
U+003A
[
L
:
K
]
{\displaystyle [L\colon K]}
Degree of a field extension
¯
{\displaystyle {\bar {~}}}
◌̄
K
¯
{\displaystyle {\bar {K}}}
Algebraic closure
\bar
̄
U+0304
¯
{\displaystyle {\overline {~~}}}
◌̅
K
¯
{\displaystyle {\overline {K}}}
\overline
̅
U+0305
(
)
{\displaystyle ()}
( )
K
(
α
)
{\displaystyle K(\alpha )}
Field extension , Algebraic number field
( )
(
)
U+0028/9
F
{\displaystyle \mathbb {F} }
𝔽
Finite field
\mathbb{F}
𝔽
U+1D53D
K
{\displaystyle \mathbb {K} }
𝕂
Field (mathematics)
\mathbb{K}
𝕂
U+1D542
Ring theory
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
∗
{\displaystyle {}^{\ast }}
∗
R
∗
{\displaystyle R^{\ast }}
Group of units
\ast
∗
U+2217
×
{\displaystyle {}^{\times }}
⨯
R
×
{\displaystyle R^{\times }}
\times
×
U+2A2F
⊲
{\displaystyle \vartriangleleft }
⊲
I
⊲
R
{\displaystyle I\vartriangleleft R}
Ideal (ring theory)
\vartriangleleft
⊲
U+22B2
/
{\displaystyle /}
/
R
/
I
{\displaystyle R/I}
Quotient ring
/
⁄
U+002F
[
]
{\displaystyle [~~]}
[ ]
R
[
X
]
{\displaystyle R[X]}
Polynomial ring
[ ]
[
]
U+005B/D
[
[
]
]
{\displaystyle [[~~]]}
[ ]
R
[
[
X
]
]
,
R
(
(
X
)
)
{\displaystyle R[[X]],R((X))}
Formal power series
[[ ]]
[
]
U+005B/D
deg
{\displaystyle \deg }
deg
deg
p
(
x
)
{\displaystyle \deg p(x)}
Degree of a polynomial
\deg
deg;
Geometry
Euclidean geometry
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
[
]
{\displaystyle [~~]}
[ ]
[
A
B
]
{\displaystyle [AB]}
Line segment
[ ]
\left[ \right]
[
]
U+005B/D
|
|
{\displaystyle |~~|}
| |
|
A
B
|
{\displaystyle |AB|}
\vert
|
U+007C
¯
{\displaystyle {\overline {~~}}}
̅
A
B
¯
{\displaystyle {\overline {AB}}}
\overline
̅
U+0305
_
{\displaystyle {\underline {~~}}}
̲
A
B
_
{\displaystyle {\underline {AB}}}
\underline
̲
U+0332
→
{\displaystyle {\overrightarrow {~~}}}
⃗
A
B
→
{\displaystyle {\overrightarrow {AB}}}
Euclidean vector and Affine space
\vec
⃗
U+20D7
∠
{\displaystyle \angle }
∠
∠
A
B
C
{\displaystyle \angle ABC}
Angle
\angle
∠
U+2220
{\displaystyle }
∡
∡ABC
Angle measure
∡
U+2221
{\displaystyle }
∟
∟ABC
Right angle
∟
U+221F
{\displaystyle }
⦜
⦜ABC
Right angle
⦜
U+299C
{\displaystyle }
⦟
⦟ABC
Acute angle
⦟
U+299F
{\displaystyle }
⦦
⦦ABC
Obtuse angle , Oblique angle
⦦
U+29A6
{\displaystyle }
⦞
⦞ABC
Angles
⦞
U+299E
∥
{\displaystyle \parallel }
∥
g
∥
h
{\displaystyle g\parallel h}
Parallel (geometry)
\parallel
∥
U+2225
∦
{\displaystyle \nparallel }
∦
g
∦
h
{\displaystyle g\nparallel h}
\nparallel
∦
U+2226
⊥
{\displaystyle \perp }
⟂
g
⊥
h
{\displaystyle g\perp h}
Orthogonality
\perp
⊥
U+27C2
△
{\displaystyle \triangle }
△
△
A
B
C
{\displaystyle \triangle ABC}
Triangle
\triangle
△
U+25B3
{\displaystyle }
⊿
⊿ABC
Right triangle
⊿
U+22BF
◻
{\displaystyle \square }
□
◻
A
B
C
D
{\displaystyle \square {\mathit {ABCD}}}
Quadrilateral
\square
□
U+25A1
{\displaystyle }
▭
▭ABCD
Rectangle
▭
U+25AD
{\displaystyle }
⏢
⏢ABCD
Trapezium/Trapezoid
⏢
U+23E2
{\displaystyle }
▱
▱ABCD
Parallelogram
▱
U+25B1
{\displaystyle }
◊
◊ABCD
Rhombus , Lozenge
◊
U+25CA
{\displaystyle }
⬠
⬠ABCDE
Pentagon
⬠
U+2B20
{\displaystyle }
⬡
⬡ABCDEF
Hexagon
⬡
U+2B21
{\displaystyle }
⬢
⬢ABCDEF
Hexagon
⬢
U+2B22
{\displaystyle }
○
○S
Circle
○
U+25CB
{\displaystyle }
●
●S
Disc
●
U+25CF
Differential geometry
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
L
{\displaystyle {\mathcal {L}}}
ℒ
L
X
ω
{\displaystyle {\mathcal {L}}_{X}\omega }
Lie derivative
\mathcal{L}
ℒ
U+2112
⌟
{\displaystyle \mathbin {\lrcorner } }
⌟
X
⌟
ω
{\displaystyle X\mathbin {\lrcorner } \omega }
Interior product
\mathbin{\lrcorner}
⌟
U+231F
ι
{\displaystyle \iota }
𝜄
ι
X
ω
{\displaystyle \iota _{X}\omega }
\iota
𝜄
U+1D704
∧
{\displaystyle \wedge }
∧
ω
∧
η
{\displaystyle \omega \wedge \eta }
Wedge product
\wedge
∧
U+2227
⋀
{\displaystyle \bigwedge }
⋀
⋀
k
A
{\displaystyle {\textstyle \bigwedge ^{k}}A}
\bigwedge
⋀
U+22C0
Topology
Symbol
Unicode character
Usage
Articles with usage
LaTeX
HTML
Unicode Hex
∂
{\displaystyle \partial }
∂
∂
U
{\displaystyle \partial U}
Boundary (topology)
\partial
∂
U+2202
∘
{\displaystyle {}^{\circ }}
˚
U
∘
{\displaystyle U^{\circ }}
Interior (topology)
\circ
°
U+02DA
¯
{\displaystyle {\bar {~}}}
◌̄
z
¯
{\displaystyle {\bar {z}}}
Closure (topology)
\bar
̄
U+0304
¯
{\displaystyle {\overline {~~}}}
◌̅
z
¯
{\displaystyle {\overline {z}}}
\overline
̅
U+0305
˙
{\displaystyle {\dot {~}}}
◌̇
U
˙
(
x
)
{\displaystyle {\dot {U}}(x)}
Punctured neighbourhood
\dot
U+0307
See also
By type of symbol
By topic area
General
Unicode
Bibliography
Tilo Arens; Frank Hettlich; Christian Karpfinger; Ulrich Kockelkorn; Klaus Lichtenegger; Hellmuth Stachel (2011), Mathematik (in German) (2. ed.), Spektrum Akademischer Verlag, pp. 1483ff, ISBN 978-3-827-42347-4
Wolfgang Hackbusch (2010), Taschenbuch der Mathematik, Band 1 (in German) (3. ed.), Springer, pp. 1275ff, ISBN 978-3-835-10123-4
Deutsches Institut für Normung : DIN 1302: Allgemeine mathematische Zeichen und Begriffe , Beuth-Verlag, 1999.
Deutsches Institut für Normung : DIN 1303: Vektoren, Matrizen, Tensoren; Zeichen und Begriffe , Beuth-Verlag, 1987.
International Standards Organisation : DIN EN ISO 80000-2: Größen und Einheiten – Teil 2: Mathematische Zeichen für Naturwissenschaft und Technik , 2013.
External links
LaTeX and Unicode
LaTeX
Unicode
Typographical conventions and notations