16.2 Math symbols

LaTeX provides almost any mathematical or technical symbol that anyone uses. For example, if you include $\pi$ in your source, you will get the pi symbol π. See the “Comprehensive LaTeX Symbol List” package at https://ctan.org/pkg/comprehensive.

Here is a list of commonly-used symbols. It is by no means exhaustive. Each symbol is described with a short phrase, and its symbol class, which determines the spacing around it, is given in parenthesis. Unless said otherwise, the commands for these symbols can be used only in math mode. To redefine a command so that it can be used whatever the current mode, see \ensuremath.

\|

∥ Parallel (relation). Synonym: \parallel.

\aleph

ℵ Aleph, transfinite cardinal (ordinary).

\alpha

α Lowercase Greek letter alpha (ordinary).

\amalg

⨿ Disjoint union (binary)

\angle

∠ Geometric angle (ordinary). Similar: less-than sign < and angle bracket \langle.

\approx

≈ Almost equal to (relation).

\ast

∗ Asterisk operator, convolution, six-pointed (binary). Synonym: *, which is often a superscript or subscript, as in the Kleene star. Similar: \star, which is five-pointed, and is sometimes used as a general binary operation, and sometimes reserved for cross-correlation.

\asymp

≍ Asymptotically equivalent (relation).

\backslash

\ Backslash (ordinary). Similar: set minus \setminus, and \textbackslash for backslash outside of math mode.

\beta

β Lowercase Greek letter beta (ordinary).

\bigcap

⋂ Variable-sized, or n-ary, intersection (operator). Similar: binary intersection \cap.

\bigcirc

⚪ Circle, larger (binary). Similar: function composition \circ.

\bigcup

⋃ Variable-sized, or n-ary, union (operator). Similar: binary union \cup.

\bigodot

⨀ Variable-sized, or n-ary, circled dot operator (operator).

\bigoplus

⨁ Variable-sized, or n-ary, circled plus operator (operator).

\bigotimes

⨂ Variable-sized, or n-ary, circled times operator (operator).

\bigtriangledown

▽ Variable-sized, or n-ary, open triangle pointing down (binary). Synonym: \varbigtriangledown.

\bigtriangleup

△ Variable-sized, or n-ary, open triangle pointing up (binary). Synonym: \varbigtriangleup.

\bigsqcup

⨆ Variable-sized, or n-ary, square union (operator).

\biguplus

⨄ Variable-sized, or n-ary, union operator with a plus (operator). (Note that the name has only one p.)

\bigvee

⋁ Variable-sized, or n-ary, logical-or (operator).

\bigwedge

⋀ Variable-sized, or n-ary, logical-and (operator).

\bot

⊥, Up tack, bottom, least element of a partially ordered set, or a contradiction (ordinary). See also \top.

\bowtie

⋈ Natural join of two relations (relation).

\Box

□ Modal operator for necessity; square open box (ordinary). Not available in plain TeX. In LaTeX you need to load the amssymb package.

\bullet

• Bullet (binary). Similar: multiplication dot \cdot.

\cap

∩ Intersection of two sets (binary). Similar: variable-sized operator \bigcap.

\cdot

⋅ Multiplication (binary). Similar: Bullet dot \bullet.

\chi

χ Lowercase Greek chi (ordinary).

\circ

∘ Function composition, ring operator (binary). Similar: variable-sized operator \bigcirc.

\clubsuit

♣ Club card suit (ordinary).

\complement

∁, Set complement, used as a superscript as in $S^\complement$ (ordinary). Not available in plain TeX. In LaTeX you need to load the amssymb package. Also used: $S^{\mathsf{c}}$ or $\bar{S}$.

\cong

≅ Congruent (relation).

\coprod

∐ Coproduct (operator).

\cup

∪ Union of two sets (binary). Similar: variable-sized operator \bigcup.

\dagger

† Dagger relation (binary).

\dashv

⊣ Dash with vertical, reversed turnstile (relation). Similar: turnstile \vdash.

\ddagger

‡ Double dagger relation (binary).

\Delta

Δ Greek uppercase delta, used for increment (ordinary).

\delta

δ Greek lowercase delta (ordinary).

\Diamond

◇ Large diamond operator (ordinary). Not available in plain TeX. In LaTeX you need to load the amssymb package.

\diamond

⋄ Diamond operator (binary). Similar: large diamond \Diamond, circle bullet \bullet.

\diamondsuit

♢ Diamond card suit (ordinary).

\div

÷ Division sign (binary).

\doteq

≐ Approaches the limit (relation). Similar: geometrically equal to \Doteq.

\downarrow

↓ Down arrow, converges (relation). Similar: \Downarrow double line down arrow.

\Downarrow

⇓ Double line down arrow (relation). Similar: \downarrow single line down arrow.

\ell

ℓ Lowercase cursive letter l (ordinary).

\emptyset

∅ Empty set symbol (ordinary). The variant form is \varnothing.

\epsilon

ϵ Lowercase lunate epsilon (ordinary). Similar to Greek text letter. More widely used in mathematics is the script small letter epsilon \varepsilon ε. Related: the set membership relation \in ∈.

\equiv

≡ Equivalence (relation).

\eta

η Lowercase Greek letter (ordinary).

\exists

∃ Existential quantifier (ordinary).

\flat

♭ Musical flat (ordinary).

\forall

∀ Universal quantifier (ordinary).

\frown

⌢ Downward curving arc (ordinary).

\Gamma

Γ uppercase Greek letter (ordinary).

\gamma

γ Lowercase Greek letter (ordinary).

\ge

≥ Greater than or equal to (relation). This is a synonym for \geq.

\geq

≥ Greater than or equal to (relation). This is a synonym for \ge.

\gets

← Is assigned the value (relation). Synonym: \leftarrow.

\gg

≫ Much greater than (relation). Similar: much less than \ll.

\hbar

ℏ Planck constant over two pi (ordinary).

\heartsuit

♡ Heart card suit (ordinary).

\hookleftarrow

↩ Hooked left arrow (relation).

\hookrightarrow

↪ Hooked right arrow (relation).

\iff

⟷ If and only if (relation). It is \Longleftrightarrow with a \thickmuskip on either side.

\Im

ℑ Imaginary part (ordinary). See: real part \Re.

\imath

Dotless i; used when you are putting an accent on an i (see Math accents).

\in

∈ Set element (relation). See also: lowercase lunate epsilon \epsilonϵ and small letter script epsilon \varepsilon.

\infty

∞ Infinity (ordinary).

\int

∫ Integral (operator).

\iota

ι Lowercase Greek letter (ordinary).

\Join

⨝ Condensed bowtie symbol (relation). Not available in Plain TeX.

\jmath

Dotless j; used when you are putting an accent on a j (see Math accents).

\kappa

κ Lowercase Greek letter (ordinary).

\Lambda

Λ uppercase Greek letter (ordinary).

\lambda

λ Lowercase Greek letter (ordinary).

\land

∧ Logical and (binary). Synonym: \wedge. See also logical or \lor.

\langle

⟨ Left angle, or sequence, bracket (opening). Similar: less-than <. Matches \rangle.

\lbrace

{ Left curly brace (opening). Synonym: \{. Matches \rbrace.

\lbrack

[ Left square bracket (opening). Synonym: [. Matches \rbrack.

\lceil

⌈ Left ceiling bracket, like a square bracket but with the bottom shaved off (opening). Matches \rceil.

\le

≤ Less than or equal to (relation). This is a synonym for \leq.

\leadsto

⇝ Squiggly right arrow (relation). To get this symbol outside of math mode you can put \newcommand*{\Leadsto}{\ensuremath{\leadsto}} in the preamble and then use \Leadsto instead.

\Leftarrow

⇐ Is implied by, double-line left arrow (relation). Similar: single-line left arrow \leftarrow.

\leftarrow

← Single-line left arrow (relation). Synonym: \gets. Similar: double-line left arrow \Leftarrow.

\leftharpoondown

↽ Single-line left harpoon, barb under bar (relation).

\leftharpoonup

↼ Single-line left harpoon, barb over bar (relation).

\Leftrightarrow

⇔ Bi-implication; double-line double-headed arrow (relation). Similar: single-line double headed arrow \leftrightarrow.

\leftrightarrow

↔ Single-line double-headed arrow (relation). Similar: double-line double headed arrow \Leftrightarrow.

\leq

≤ Less than or equal to (relation). This is a synonym for \le.

\lfloor

⌊ Left floor bracket (opening). Matches: \floor.

\lhd

◁ Arrowhead, that is, triangle, pointing left (binary). For the normal subgroup symbol you should load amssymb and use \vartriangleleft (which is a relation and so gives better spacing).

\ll

≪ Much less than (relation). Similar: much greater than \gg.

\lnot

¬ Logical negation (ordinary). Synonym: \neg.

\longleftarrow

⟵ Long single-line left arrow (relation). Similar: long double-line left arrow \Longleftarrow.

\longleftrightarrow

⟷ Long single-line double-headed arrow (relation). Similar: long double-line double-headed arrow \Longleftrightarrow.

\longmapsto

⟼ Long single-line left arrow starting with vertical bar (relation). Similar: shorter version \mapsto.

\longrightarrow

⟶ Long single-line right arrow (relation). Similar: long double-line right arrow \Longrightarrow.

\lor

∨ Logical or (binary). Synonym: \vee. See also logical and \land.

\mapsto

↦ Single-line left arrow starting with vertical bar (relation). Similar: longer version \longmapsto.

\mho

℧ Conductance, half-circle rotated capital omega (ordinary).

\mid

∣ Single-line vertical bar (relation). A typical use of \mid is for a set \{\, x \mid x\geq 5 \,\}.

Similar: \vert and | produce the same single-line vertical bar symbol but without any spacing (they fall in class ordinary) and you should not use them as relations but instead only as ordinals, i.e., footnote symbols. For absolute value, see the entry for \vert and for norm see the entry for \Vert.

\models

⊨ Entails, or satisfies; double turnstile, short double dash (relation). Similar: long double dash \vDash.

\mp

∓ Minus or plus (relation).

\mu

μ Lowercase Greek letter (ordinary).

\nabla

∇ Hamilton’s del, or differential, operator (ordinary).

\natural

♮ Musical natural notation (ordinary).

\ne

≠ Not equal (relation). Synonym: \neq.

\nearrow

↗ North-east arrow (relation).

\neg

¬ Logical negation (ordinary). Synonym: \lnot. Sometimes instead used for negation: \sim.

\neq

≠ Not equal (relation). Synonym: \ne.

\ni

∋ Reflected membership epsilon; has the member (relation). Synonym: \owns. Similar: is a member of \in.

\not

    Long solidus, or slash, used to overstrike a following operator (relation).

Many negated operators are available that don’t require \not, particularly with the amssymb package. For example, \notin is typographically preferable to \not\in.

\notin

∉ Not an element of (relation). Similar: not subset of \nsubseteq.

\nu

ν Lowercase Greek letter (ordinary).

\nwarrow

↖ North-west arrow (relation).

\odot

⊙ Dot inside a circle (binary). Similar: variable-sized operator \bigodot.

\oint

∮ Contour integral, integral with circle in the middle (operator).

\Omega

Ω uppercase Greek letter (ordinary).

\omega

ω Lowercase Greek letter (ordinary).

\ominus

⊖ Minus sign, or dash, inside a circle (binary).

\oplus

⊕ Plus sign inside a circle (binary). Similar: variable-sized operator \bigoplus.

\oslash

⊘ Solidus, or slash, inside a circle (binary).

\otimes

⊗ Times sign, or cross, inside a circle (binary). Similar: variable-sized operator \bigotimes.

\owns

∋ Reflected membership epsilon; has the member (relation). Synonym: \ni. Similar: is a member of \in.

\parallel

∥ Parallel (relation). Synonym: \|.

\partial

∂ Partial differential (ordinary).

\perp

⟂ Perpendicular (relation). Similar: \bot uses the same glyph but the spacing is different because it is in the class ordinary.

\Phi

Φ Uppercase Greek letter (ordinary).

\phi

ϕ Lowercase Greek letter (ordinary). The variant form is \varphi φ.

\Pi

Π uppercase Greek letter (ordinary).

\pi

π Lowercase Greek letter (ordinary). The variant form is \varpi ϖ.

\pm

± Plus or minus (binary).

\prec

≺ Precedes (relation). Similar: less than <.

\preceq

⪯ Precedes or equals (relation). Similar: less than or equals \leq.

\prime

′ Prime, or minute in a time expression (ordinary). Typically used as a superscript: $f^\prime$; $f^\prime$ and $f'$ produce the same result. An advantage of the second is that $f'''$ produces the desired symbol, that is, the same result as $f^{\prime\prime\prime}$, but uses rather less typing. You can only use \prime in math mode. Using the right single quote ' in text mode produces a different character (apostrophe).

\prod

∏ Product (operator).

\propto

∝ Is proportional to (relation)

\Psi

Ψ uppercase Greek letter (ordinary).

\psi

ψ Lowercase Greek letter (ordinary).

\rangle

⟩ Right angle, or sequence, bracket (closing). Similar: greater than >. Matches:\langle.

\rbrace

} Right curly brace (closing). Synonym: \}. Matches \lbrace.

\rbrack

] Right square bracket (closing). Synonym: ]. Matches \lbrack.

\rceil

⌉ Right ceiling bracket (closing). Matches \lceil.

\Re

ℜ Real part, real numbers, cursive capital R (ordinary). Related: double-line, or blackboard bold, R \mathbb{R}; to access this, load the amsfonts package.

\restriction

↾, Restriction of a function (relation). Synonym: \upharpoonright. Not available in plain TeX. In LaTeX you need to load the amssymb package.

\revemptyset

⦰, Reversed empty set symbol (ordinary). Related: \varnothing. Not available in plain TeX. In LaTeX you need to load the stix package.

\rfloor

⌋ Right floor bracket, a right square bracket with the top cut off (closing). Matches \lfloor.

\rhd

◁ Arrowhead, that is, triangle, pointing right (binary). For the normal subgroup symbol you should instead load amssymb and use \vartriangleright (which is a relation and so gives better spacing).

\rho

ρ Lowercase Greek letter (ordinary). The variant form is \varrho ϱ.

\Rightarrow

⇒ Implies, right-pointing double line arrow (relation). Similar: right single-line arrow \rightarrow.

\rightarrow

→ Right-pointing single line arrow (relation). Synonym: \to. Similar: right double line arrow \Rightarrow.

\rightharpoondown

⇁ Right-pointing harpoon with barb below the line (relation).

\rightharpoonup

⇀ Right-pointing harpoon with barb above the line (relation).

\rightleftharpoons

⇌ Right harpoon up above left harpoon down (relation).

\searrow

↘ Arrow pointing southeast (relation).

\setminus

⧵ Set difference, reverse solidus or reverse slash, like \ (binary). Similar: backslash \backslash and also \textbackslash outside of math mode.

\sharp

♯ Musical sharp (ordinary).

\Sigma

Σ uppercase Greek letter (ordinary).

\sigma

σ Lowercase Greek letter (ordinary). The variant form is \varsigma ς.

\sim

∼ Similar, in a relation (relation).

\simeq

≃ Similar or equal to, in a relation (relation).

\smallint

∫ Integral sign that does not change to a larger size in a display (operator).

\smile

⌣ Upward curving arc, smile (ordinary).

\spadesuit

♠ Spade card suit (ordinary).

\sqcap

⊓ Square intersection symbol (binary). Similar: intersection cap.

\sqcup

⊔ Square union symbol (binary). Similar: union cup. Related: variable-sized operator \bigsqcup.

\sqsubset

⊏, Square subset symbol (relation). Similar: subset \subset. Not available in plain TeX. In LaTeX you need to load the amssymb package.

\sqsubseteq

⊑ Square subset or equal symbol (binary). Similar: subset or equal to \subseteq.

\sqsupset

⊐, Square superset symbol (relation). Similar: superset \supset. Not available in plain TeX. In LaTeX you need to load the amssymb package.

\sqsupseteq

⊒ Square superset or equal symbol (binary). Similar: superset or equal \supseteq.

\star

⋆ Five-pointed star, sometimes used as a general binary operation but sometimes reserved for cross-correlation (binary). Similar: the synonyms asterisk * and \ast, which are six-pointed, and more often appear as a superscript or subscript, as with the Kleene star.

\subset

⊂ Subset (occasionally, is implied by) (relation).

\subseteq

⊆ Subset or equal to (relation).

\succ

≻ Comes after, succeeds (relation). Similar: is less than >.

\succeq

⪰ Succeeds or is equal to (relation). Similar: less than or equal to \leq.

\sum

∑ Summation (operator). Similar: Greek capital sigma \Sigma.

\supset

⊃ Superset (relation).

\supseteq

⊇ Superset or equal to (relation).

\surd

√ Radical symbol (ordinary). The LaTeX command \sqrt{...} typesets the square root of the argument, with a bar that extends to cover the argument.

\swarrow

↙ Southwest-pointing arrow (relation).

\tau

τ Lowercase Greek letter (ordinary).

\theta

θ Lowercase Greek letter (ordinary). The variant form is \vartheta ϑ.

\times

× Primary school multiplication sign (binary). See also \cdot.

\to

→ Right-pointing single line arrow (relation). Synonym: \rightarrow.

\top

⊤ Top, greatest element of a partially ordered set (ordinary). See also \bot.

\triangle

△ Triangle (ordinary).

\triangleleft

◁ Not-filled triangle pointing left (binary). Similar: \lhd. For the normal subgroup symbol you should load amssymb and use \vartriangleleft (which is a relation and so gives better spacing).

\triangleright

▷ Not-filled triangle pointing right (binary). For the normal subgroup symbol you should instead load amssymb and use \vartriangleright (which is a relation and so gives better spacing).

\unlhd

⊴ Left-pointing not-filled underlined arrowhead, that is, triangle, with a line under (binary). For the normal subgroup symbol load amssymb and use \vartrianglelefteq (which is a relation and so gives better spacing).

\unrhd

⊵ Right-pointing not-filled underlined arrowhead, that is, triangle, with a line under (binary). For the normal subgroup symbol load amssymb and use \vartrianglerighteq (which is a relation and so gives better spacing).

\Uparrow

⇑ Double-line upward-pointing arrow (relation). Similar: single-line up-pointing arrow \uparrow.

\uparrow

↑ Single-line upward-pointing arrow, diverges (relation). Similar: double-line up-pointing arrow \Uparrow.

\Updownarrow

⇕ Double-line upward-and-downward-pointing arrow (relation). Similar: single-line upward-and-downward-pointing arrow \updownarrow.

\updownarrow

↕ Single-line upward-and-downward-pointing arrow (relation). Similar: double-line upward-and-downward-pointing arrow \Updownarrow.

\upharpoonright

↾, Up harpoon, with barb on right side (relation). Synonym: \restriction. Not available in plain TeX. In LaTeX you need to load the amssymb package.

\uplus

⊎ Multiset union, a union symbol with a plus symbol in the middle (binary). Similar: union \cup. Related: variable-sized operator \biguplus.

\Upsilon

Υ uppercase Greek letter (ordinary).

\upsilon

υ Lowercase Greek letter (ordinary).

\varepsilon

ε Small letter script epsilon (ordinary). This is more widely used in mathematics than the non-variant lunate epsilon form \epsilon ϵ. Related: set membership \in.

\vanothing

∅, Empty set symbol. Similar: \emptyset. Related: \revemptyset. Not available in plain TeX. In LaTeX you need to load the amssymb package.

\varphi

φ Variant on the lowercase Greek letter (ordinary). The non-variant form is \phi ϕ.

\varpi

ϖ Variant on the lowercase Greek letter (ordinary). The non-variant form is \pi π.

\varrho

ϱ Variant on the lowercase Greek letter (ordinary). The non-variant form is \rho ρ.

\varsigma

ς Variant on the lowercase Greek letter (ordinary). The non-variant form is \sigma σ.

\vartheta

ϑ Variant on the lowercase Greek letter (ordinary). The non-variant form is \theta θ.

\vdash

⊢ Provable; turnstile, vertical and a dash (relation). Similar: turnstile rotated a half-circle \dashv.

\vee

∨ Logical or; a downwards v shape (binary). Related: logical and \wedge. Similar: variable-sized operator \bigvee.

\Vert

‖ Vertical double bar (ordinary). See Delimiters, for how to use the mathtools package to create flexibly-sized norm symbols.

\vert

| Single line vertical bar (ordinary). For “such that”, as in the definition of a set, use \mid because it is a relation. See Delimiters, for how to use the mathtools package to create flexibly-sized absolute-value symbols.

\wedge

∧ Logical and (binary). Synonym: \land. See also logical or \vee. Similar: variable-sized operator \bigwedge.

\wp

℘ Weierstrass p (ordinary).

\wr

≀ Wreath product (binary).

\Xi

Ξ uppercase Greek letter (ordinary).

\xi

ξ Lowercase Greek letter (ordinary).

\zeta

ζ Lowercase Greek letter (ordinary).

The following symbols are most often used in plain text but LaTeX provides versions to use in mathematical text.

\mathdollar

Dollar sign in math mode: $.

\mathparagraph

Paragraph sign (pilcrow) in math mode, ¶.

\mathsection

Section sign in math mode: §.

\mathsterling

Sterling sign in math mode: £.

\mathunderscore

Underscore in math mode: _.


Unofficial LaTeX2e reference manual