SETS & RELATIONS
LaTeX set and relation symbols: membership, subsets and arrows
Examples checked with MathTexLab’s base and AMS math renderer · Display style
Choose a relation for what it says, not just for its shape. Membership connects an element to a set; inclusion connects two sets. A renderer can display either expression without knowing whether your mathematical statement is true.
Separate membership and inclusion
Use \in for membership and \notin for
non-membership. Use \subseteq to permit equality between sets.
The meaning of \subset varies by author, so define your
convention rather than assuming every reader interprets it as a strict
subset.
Combine sets with the correct operation
\cup denotes union and \cap intersection.
Black-board bold number-set notation such as \mathbb{R} uses
the bundled AMS mathematical support. Visible set braces need escaped
commands; grouping braces alone do not print.
x\in A\cap B\quad\Rightarrow\quad x\in A\cup BDistinguish arrows from equals signs
\to commonly marks a mapping or a limiting direction, while
\Rightarrow denotes implication.
\Leftrightarrow expresses equivalence under the stated
assumptions. Do not use an equals sign merely to indicate the next step of
an argument.
Check the statement, then the image
The Symbols Library provides commands and examples, not a proof checker. Define the universe and the variables around a displayed formula in your own document. Open the source in the editor to verify grouping, then inspect the rendered relation at the size your readers will see.
Syntax reference
MathJax supported-command reference. The examples above are limited to the features described here; additional packages are not implied.
Continue with LaTeX Symbols Library.