LaTeX Math Symbols & Operators
Directory of arithmetic operators, comparisons, set theory (\in, \subset), and logic quantifiers (\forall, \exists). 1-click macro copy and package requirements.
Operators, Relations, and Sets: A Field Guide
Mathematical writing rests on three families of symbols. Operators combine values — arithmetic (\pm, \times), products (\cdot, \otimes), and composition (\circ). Relations compare them — order (\leq, \geq), equivalence (\equiv, \cong), and approximation (\approx, \sim). Knowing which family a symbol belongs to helps you find it and use correct spacing, since LaTeX spaces relations wider than operators.
Set theory has its own vocabulary:\in for membership, \subset and\subseteq for inclusion, \cup and\cap for union and intersection, and the quantifiers\forall and \exists. Number sets use blackboard bold from amssymb:\mathbb{R} for the reals,\mathbb{N} for the naturals,\mathbb{Z} for the integers, and\mathbb{C} for the complex numbers.
A common mistake is reaching for the wrong similarity symbol.\sim (~) means "distributed as" or "similar to,"\approx (≈) means "approximately equal to," and\cong (≅) means "congruent" in geometry or "isomorphic" in algebra. For definitions, the standard is \coloneqq (:=) fromamsmath — never a plain equals sign, which asserts equality rather than defining it.
Math Symbols FAQ
How do I type set theory symbols in LaTeX?▼
Use \in for element-of (∈), \notin for not-in (∉), \subset for subset (⊂), \subseteq for subset-or-equal (⊆), \cup for union (∪), and \cap for intersection (∩).
How do I write number sets like Real Numbers or Integers?▼
Use blackboard bold with the amssymb package: \mathbb{R} for Real numbers (ℝ), \mathbb{N} for Natural numbers (ℕ), \mathbb{Z} for Integers (ℤ), and \mathbb{C} for Complex numbers (ℂ).
What is the difference between \sim, \approx, and \cong?▼
\sim produces ~ (similar to or distributed as), \approx produces ≈ (approximately equal), and \cong produces ≅ (congruent to in geometry or isomorphic in abstract algebra).
How do I define a function or notation with coloneqq?▼
In the amsmath package, use \coloneqq to produce := which is the standard mathematical definition operator.