LaTeX Math Symbols - Complete Mathematical Operators Guide
Master mathematical symbols in LaTeX including operators (+, −, ×, ÷), relations (=, <, >, ≤, ≥), arrows (→, ⇒), logic symbols (∀, ∃, ∧, ∨), set theory (∈, ⊂, ∪, ∩), and calculus notation (∫, ∑, ∏, ∂).
Introduction to Math Symbols in LaTeX
LaTeX provides hundreds of mathematical symbols for typesetting equations, formulas, and mathematical expressions. All math symbols must be used in math mode (inline with $ ... $ or display with \[ ... \]).
- Inline math:
$E = mc^2$produces: E = mc² - Display math:
\[ E = mc^2 \]produces centered equation - Numbered equation:
\begin{equation} ... \end{equation}
Basic Arithmetic Operators
Standard arithmetic operations in LaTeX:
| Symbol | LaTeX Command | Name | Example |
|---|---|---|---|
| + | + |
Plus | $a + b$ |
| − | - |
Minus | $a - b$ |
| ± | \pm |
Plus-minus | $x = \pm 5$ |
| ∓ | \mp |
Minus-plus | $a \mp b$ |
| × | \times |
Times (multiplication) | $3 \times 4$ |
| ÷ | \div |
Division | $10 \div 2$ |
| · | \cdot |
Center dot | $a \cdot b$ |
| ∗ | \ast |
Asterisk | $a \ast b$ |
| ⋆ | \star |
Star | $a \star b$ |
| / | / |
Slash (division) | $a/b$ |
Example: Arithmetic Operations
\documentclass{article}
\begin{document}
Addition and subtraction: $a + b - c$
Multiplication: $3 \times 4 = 12$ or $3 \cdot 4 = 12$
Division: $\frac{a}{b}$ or $a \div b$
Plus-minus: $x = 5 \pm 2$ gives $x = 7$ or $x = 3$
\end{document}Relations and Comparisons
Relational operators for equations and inequalities:
| Symbol | LaTeX Command | Name | Example |
|---|---|---|---|
| = | = |
Equals | $a = b$ |
| ≠ | \neq or \ne |
Not equal | $a \neq b$ |
| < | < |
Less than | $a < b$ |
| > | > |
Greater than | $a > b$ |
| ≤ | \leq or \le |
Less than or equal | $a \leq b$ |
| ≥ | \geq or \ge |
Greater than or equal | $a \geq b$ |
| ≡ | \equiv |
Equivalent | $a \equiv b \pmod{n}$ |
| ≈ | \approx |
Approximately equal | $\pi \approx 3.14$ |
| ≅ | \cong |
Congruent | $\triangle ABC \cong \triangle DEF$ |
| ∼ | \sim |
Similar to | $a \sim b$ |
| ∝ | \propto |
Proportional to | $F \propto ma$ |
| ≪ | \ll |
Much less than | $\epsilon \ll 1$ |
| ≫ | \gg |
Much greater than | $n \gg 1$ |
Example: Relations
Equation: $E = mc^2$
Inequality: $0 \leq x \leq 1$
Approximation: $e \approx 2.718$
Proportionality: $F \propto \frac{1}{r^2}$Logic Symbols
Symbols for mathematical logic and proofs:
| Symbol | LaTeX Command | Name | Example |
|---|---|---|---|
| ∀ | \forall |
For all | $\forall x \in \mathbb{R}$ |
| ∃ | \exists |
There exists | $\exists x : P(x)$ |
| ∄ | \nexists |
There does not exist | $\nexists x : P(x)$ |
| ∧ | \land or \wedge |
Logical AND | $P \land Q$ |
| ∨ | \lor or \vee |
Logical OR | $P \lor Q$ |
| ¬ | \neg or \lnot |
Logical NOT | $\neg P$ |
| ⇒ | \Rightarrow or \implies |
Implies | $P \Rightarrow Q$ |
| ⇐ | \Leftarrow |
Is implied by | $P \Leftarrow Q$ |
| ⇔ | \Leftrightarrow or \iff |
If and only if | $P \iff Q$ |
| ⊤ | \top |
True | $P \lor \neg P = \top$ |
| ⊥ | \bot |
False / contradiction | $P \land \neg P = \bot$ |
Example: Logic Expressions
Universal quantifier: $\forall x \in \mathbb{R}, x^2 \geq 0$
Existential quantifier: $\exists n \in \mathbb{N} : n > 100$
Logical operators: $(P \land Q) \lor (\neg P \land R)$
Implication: $x = 0 \Rightarrow x^2 = 0$
Biconditional: $x = y \iff x - y = 0$Set Theory Symbols
Symbols for sets, subsets, and set operations:
| Symbol | LaTeX Command | Name | Example |
|---|---|---|---|
| ∈ | \in |
Element of | $x \in A$ |
| ∉ | \notin |
Not element of | $x \notin A$ |
| ⊂ | \subset |
Subset | $A \subset B$ |
| ⊆ | \subseteq |
Subset or equal | $A \subseteq B$ |
| ⊃ | \supset |
Superset | $B \supset A$ |
| ⊇ | \supseteq |
Superset or equal | $B \supseteq A$ |
| ∪ | \cup |
Union | $A \cup B$ |
| ∩ | \cap |
Intersection | $A \cap B$ |
| ∖ | \setminus |
Set difference | $A \setminus B$ |
| ∅ | \emptyset or \varnothing |
Empty set | $A \cap B = \emptyset$ |
| ℘ | \wp |
Power set | $\wp(A)$ |
| ℕ | \mathbb{N} |
Natural numbers | $n \in \mathbb{N}$ |
| ℤ | \mathbb{Z} |
Integers | $z \in \mathbb{Z}$ |
| ℚ | \mathbb{Q} |
Rational numbers | $q \in \mathbb{Q}$ |
| ℝ | \mathbb{R} |
Real numbers | $x \in \mathbb{R}$ |
| ℂ | \mathbb{C} |
Complex numbers | $z \in \mathbb{C}$ |
Example: Set Theory
Element notation: $x \in \mathbb{R}$ means $x$ is a real number
Set operations: $(A \cup B) \cap C$
Subset relation: $\mathbb{N} \subset \mathbb{Z} \subset \mathbb{Q} \subset \mathbb{R} \subset \mathbb{C}$
Empty set: $A \cap \emptyset = \emptyset$Calculus and Analysis Symbols
Symbols for derivatives, integrals, and limits:
| Symbol | LaTeX Command | Name | Example |
|---|---|---|---|
| ∫ | \int |
Integral | $\int f(x)\,dx$ |
| ∬ | \iint |
Double integral | $\iint f(x,y)\,dx\,dy$ |
| ∭ | \iiint |
Triple integral | $\iiint f(x,y,z)\,dx\,dy\,dz$ |
| ∮ | \oint |
Contour integral | $\oint_C \mathbf{F} \cdot d\mathbf{r}$ |
| ∂ | \partial |
Partial derivative | $\frac{\partial f}{\partial x}$ |
| ∇ | \nabla |
Nabla/gradient | $\nabla f$ |
| ∞ | \infty |
Infinity | $\lim_{x \to \infty}$ |
| lim | \lim |
Limit | $\lim_{x \to 0} f(x)$ |
| sup | \sup |
Supremum | $\sup_{x \in A} f(x)$ |
| inf | \inf |
Infimum | $\inf_{x \in A} f(x)$ |
Example: Calculus Notation
Derivative: $\frac{dy}{dx} = f'(x)$
Partial derivative: $\frac{\partial^2 u}{\partial x^2} + \frac{\partial^2 u}{\partial y^2} = 0$
Definite integral: $\int_0^1 x^2\,dx = \frac{1}{3}$
Limit: $\lim_{n \to \infty} \left(1 + \frac{1}{n}\right)^n = e$
Gradient: $\nabla f = \left(\frac{\partial f}{\partial x}, \frac{\partial f}{\partial y}, \frac{\partial f}{\partial z}\right)$Arrows and Implications
Various arrow symbols for mappings, implications, and transformations:
| Symbol | LaTeX Command | Name | Common Use |
|---|---|---|---|
| → | \to or \rightarrow |
Right arrow | Function mapping, limit |
| ← | \leftarrow |
Left arrow | Reverse mapping |
| ↔ | \leftrightarrow |
Left-right arrow | Bijection |
| ⇒ | \Rightarrow |
Double right arrow | Implies |
| ⇐ | \Leftarrow |
Double left arrow | Is implied by |
| ⇔ | \Leftrightarrow |
Double left-right arrow | If and only if |
| ↦ | \mapsto |
Maps to | Element mapping |
| ↑ | \uparrow |
Up arrow | Increase |
| ↓ | \downarrow |
Down arrow | Decrease |
| ⇑ | \Uparrow |
Double up arrow | Strong increase |
| ⇓ | \Downarrow |
Double down arrow | Strong decrease |
| ↗ | \nearrow |
Northeast arrow | Increasing function |
| ↘ | \searrow |
Southeast arrow | Decreasing function |
Example: Arrows
Function: $f: \mathbb{R} \to \mathbb{R}$, $x \mapsto x^2$
Limit: $x \to 0$ or $n \to \infty$
Implication: $P \Rightarrow Q$
Biconditional: $P \Leftrightarrow Q$Large Operators
Operators that resize based on context (inline vs display mode):
| Symbol | LaTeX Command | Name | Example |
|---|---|---|---|
| ∑ | \sum |
Summation | $\sum_{i=1}^{n} i$ |
| ∏ | \prod |
Product | $\prod_{i=1}^{n} i = n!$ |
| ∐ | \coprod |
Coproduct | $\coprod_{i=1}^{n} A_i$ |
| ⋃ | \bigcup |
Big union | $\bigcup_{i=1}^{n} A_i$ |
| ⋂ | \bigcap |
Big intersection | $\bigcap_{i=1}^{n} A_i$ |
| ⋁ | \bigvee |
Big logical OR | $\bigvee_{i=1}^{n} P_i$ |
| ⋀ | \bigwedge |
Big logical AND | $\bigwedge_{i=1}^{n} P_i$ |
| ⨁ | \bigoplus |
Big direct sum | $\bigoplus_{i=1}^{n} V_i$ |
| ⨂ | \bigotimes |
Big tensor product | $\bigotimes_{i=1}^{n} V_i$ |
Example: Large Operators
% Inline: $\sum_{i=1}^{n} i = \frac{n(n+1)}{2}$
% Display:
\[
\sum_{i=1}^{n} i = \frac{n(n+1)}{2}
\]
Product: $\prod_{k=1}^{n} k = n!$
Union: $\bigcup_{i \in I} A_i$Advanced Mathematical Symbols
Miscellaneous Symbols
| Symbol | LaTeX Command | Name |
|---|---|---|
| ∞ | \infty | Infinity |
| ℵ | \aleph | Aleph (cardinality) |
| ℏ | \hbar | Reduced Planck constant |
| ℓ | \ell | Script small L |
| ℘ | \wp | Weierstrass p |
| ℜ | \Re | Real part |
| ℑ | \Im | Imaginary part |
| ∠ | \angle | Angle |
| ° | ^\circ | Degree |
| ‖ | \| | Norm/parallel |
| ⊥ | \perp | Perpendicular |
| △ | \triangle | Triangle |
| □ | \square | Square/end of proof |
| ◊ | \diamond | Diamond |
| … | \ldots | Low dots |
| ⋯ | \cdots | Center dots |
| ⋮ | \vdots | Vertical dots |
| ⋱ | \ddots | Diagonal dots |
Binary Operations
| Symbol | LaTeX Command | Name |
|---|---|---|
| ⊕ | \oplus | Circle plus/direct sum |
| ⊗ | \otimes | Circle times/tensor product |
| ⊙ | \odot | Circle dot |
| ⊖ | \ominus | Circle minus |
| ⊘ | \oslash | Circle slash |
| ⊎ | \uplus | Multiset union |
| ⊓ | \sqcap | Square cap |
| ⊔ | \sqcup | Square cup |
| ◃ | \triangleleft | Triangle left |
| ▹ | \triangleright | Triangle right |
Frequently Asked Questions
How do I use math symbols in LaTeX?
All math symbols must be used in math mode. Use $...$ for inline math (e.g., $x + y = z$) or \[...\] for display math (centered, larger). Never use math symbols outside math mode.
What's the difference between \sum and \Sigma?
\sum is a large operator that resizes automatically and is used for summation notation with subscripts/superscripts. \Sigma is the uppercase Greek letter Sigma, which is a fixed-size symbol. Use \sum_{i=1}^{n} for summations.
How do I make the infinity symbol in LaTeX?
Use \infty in math mode: $\lim_{x \to \infty} f(x)$. This is commonly used in limits, integrals with infinite bounds, and set theory.
What's the difference between \leq and \le?
They're identical - both produce the ≤ symbol. \leq and \geq are standard LaTeX, while \le and \ge are shorter alternatives from amsmath. Use whichever you prefer consistently.
How do I type "does not equal" in LaTeX?
Use \neq or \ne for the ≠ symbol: $a \neq b$. Both commands are equivalent; \neq is more descriptive.
How do I make bold math symbols?
Use the bm package: \usepackage{bm} in the preamble, then $\bm{x}$ for bold vectors or matrices. For bold text in math mode, use \mathbf{text} for upright bold or \boldsymbol{symbol} for bold symbols.
What's the difference between inline and display math?
Inline math ($...$) stays within the text line with smaller symbols. Display math (\[...\] or equation environment) is centered on its own line with larger symbols. Large operators like \sum and \int appear bigger in display mode.
How do I add spacing around math symbols?
Use spacing commands: \, (thin space), \: (medium space), \; (thick space), \quad (1em space), \qquad (2em space). Example: $\int x\,dx$ adds thin space before dx.
Where can I find more math symbols?
The Comprehensive LaTeX Symbol List (texdoc symbols-a4) contains over 14,000 symbols. For specific symbols, try Detexify (detexify.kirelabs.org) where you draw the symbol and it suggests the LaTeX command.
How do I use limits with summation and integrals?
Use subscript and superscript: $\sum_{i=1}^{n}$ for summation from i=1 to n, $\int_0^\infty$ for integral from 0 to infinity. In display mode, limits appear above/below the operator; in inline mode, they appear as subscripts/superscripts.