Maths symbols

A collection of maths symbols for quick access:

• LaTeX
• Typst

LaTeX

These symbols can be used as is.

\mathbb{Q}

\varnothing

Tip

LaTeX symbols are supported by a number of math engines, such as MathJax.

Typst

These symbols can be used in text mode with #sym. prefix, or in math mode as follows:

#sym.QQ

$ forall k in ZZ $

Algebraic logic

Meaning/Description	LaTeX	Typst	Preview
Quantifier of generality (for all)	\forall	forall	$\forall$
Quantifier of existance (there exists)	\exists	exists	$\exists$
Negation (NOT)	\neg	not	$\neg$
Conjunction (AND)	\wedge	and	$\wedge$
Disjunction (OR)	\vee	or	$\vee$
Implication (IF ..., THEN ...)	\Rightarrow	=>	$\Rightarrow$
Equivalence (IF AND ONLY IF)	\Leftrightarrow	<=>	$\Leftrightarrow$
Exclusive or (XOR)	\bigoplus	xor.big	$\bigoplus$

Sets, set operations and relations

Meaning/Description	LaTeX	Typst	Preview
Natural numbers	\mathbb{N}	NN	$\mathbb{N}$
Integers	\mathbb{Z}	ZZ	$\mathbb{Z}$
Rational numbers	\mathbb{Q}	QQ	$\mathbb{Q}$
Real numbers	\mathbb{R}	RR	$\mathbb{R}$
Complex numbers	\mathbb{C}	CC	$\mathbb{C}$
Empty set (nothing)	\varnothing	nothing	$\varnothing$
Union	\cup	union	$\cup$
Intersection	\cap	sect	$\cap$
Set difference	\setminus	without	$\setminus$
Symmetric difference	\vartriangle	triangle.stroked.small.t	$\vartriangle$
Membership (in)	\in	in	$\in$
Membership (not in)	\notin	in.not	$\notin$
Subset	\subset	subset	$\subset$
Subset (strict)	\subsetneq	subset.neq	$\subsetneq$