What is the Typst symbol for infinity?

infinity, written bare inside math mode ($infinity$), renders as ∞. No import needed — it's part of Typst's built-in sym module.

How do I type Greek letters in Typst?

Spell the name inside math mode: $alpha$ renders α. Capitalize the name for the uppercase form where it differs from a Latin letter, $Gamma$ → Γ.

What is the Typst symbol for less than or equal to?

Typst accepts the plain ASCII form <= directly inside math mode and renders it as ≤ — there's no separate named symbol to remember.

What is the Typst name for the empty set symbol?

emptyset, which renders as ∅ — the standard way to write the empty set in a definition or proof, with no import required.

Where is the full list of Typst math symbols?

In Typst's own symbols reference, which documents every name in the sym module along with its variants (e.g. arrow.r.double, tilde.equiv).

Typst math and science symbols

Q: What is the Typst name for the empty set symbol?

emptyset, which renders as ∅ — the standard way to write the empty set in a definition or proof, with no import required.

Q: Where is the full list of Typst math symbols?

In Typst's own symbols reference, which documents every name in the sym module along with its variants (e.g. arrow.r.double, tilde.equiv).

Every symbol below is a bare name written inside Typst math mode — e.g. $alpha <= beta$ renders α ≤ β. Unlike LaTeX, no import or package is needed: they're all part of Typst's built-in sym module.

Greek letters

Typst lowercase Greek letters
Symbol	Code	Name
α	alpha	alpha
β	beta	beta
γ	gamma	gamma
δ	delta	delta
ε	epsilon	epsilon
ϵ	epsilon.alt	epsilon (variant)
ζ	zeta	zeta
η	eta	eta
θ	theta	theta
ϑ	theta.alt	theta (variant)
ι	iota	iota
κ	kappa	kappa
ϰ	kappa.alt	kappa (variant)
λ	lambda	lambda
μ	mu	mu
ν	nu	nu
ξ	xi	xi
π	pi	pi
ϖ	pi.alt	pi (variant)
ρ	rho	rho
ϱ	rho.alt	rho (variant)
σ	sigma	sigma
ς	sigma.alt	sigma (variant)
τ	tau	tau
υ	upsilon	upsilon
φ	phi	phi
ϕ	phi.alt	phi (variant)
χ	chi	chi
ψ	psi	psi
ω	omega	omega

Typst uppercase Greek letters
Symbol	Code	Name
Γ	Gamma	Gamma
Δ	Delta	Delta
Θ	Theta	Theta
Λ	Lambda	Lambda
Ξ	Xi	Xi
Π	Pi	Pi
Σ	Sigma	Sigma
Υ	Upsilon	Upsilon
Φ	Phi	Phi
Ψ	Psi	Psi
Ω	Omega	Omega

Operators

Typst operator symbols
Symbol	Code	Name
±	plus.minus	plus-minus
∓	minus.plus	minus-plus
×	times	times
÷	div	divide
·	dot	dot product
∗	ast	asterisk operator
⊕	plus.circle	circled plus
⊗	times.circle	circled times
∘	compose	composition
√	sqrt(x)	square root

Relations

Typst relation symbols
Symbol	Code	Name
≤	<=	less than or equal
≥	>=	greater than or equal
≠	!=	not equal
≈	approx	approximately equal
≡	equiv	equivalent / congruent
∼	tilde	similar to
≅	tilde.equiv	congruent
≃	tilde.eq	asymptotically equal
∝	prop	proportional to
≪	lt.double	much less than
≫	gt.double	much greater than
≺	prec	precedes
≻	succ	succeeds

Arrows, logic & sets

Typst arrow, logic and set symbols
Symbol	Code	Name
→	arrow.r	right arrow
←	arrow.l	left arrow
⇒	arrow.r.double	implies
⇐	arrow.l.double	implied by
∈	in	element of
∉	in.not	not an element of
⊂	subset	proper subset
⊆	subset.eq	subset or equal
⊃	supset	proper superset
⊇	supset.eq	superset or equal
∪	union	union
∩	sect	intersection
∅	emptyset	empty set
∀	forall	for all
∃	exists	there exists
¬	not	negation
∧	and	logical and
∨	or	logical or
⊨	tack.r.double	models / satisfies
⇔	arrow.l.r.double	biconditional (iff)
⊢	tack.r	proves / derives
⊣	tack.l	reverse turnstile
∴	therefore	therefore
∵	because	because
⊤	top	top / true
⊥	bot	bottom / false

Calculus & big operators

Typst calculus and big-operator symbols
Symbol	Code	Name
∑	sum	summation
∏	product	product
∫	integral	integral
∬	integral.double	double integral
∭	integral.triple	triple integral
∮	integral.cont	contour integral
∇	nabla	gradient / del
∂	partial	partial derivative
∞	infinity	infinity
⋃	union.big	big union
⋂	sect.big	big intersection
⋁	or.big	big logical or
⋀	and.big	big logical and

Derivatives

Typst derivative notation
Symbol	Code	Name
f′	f'	first derivative (prime)
f″	prime.double	second derivative (double prime)
ẋ	dot(x)	time derivative (Newton's notation)
ẍ	dot.double(x)	second time derivative
x̂	hat(x)	hat accent (unit vector / estimator)
dy/dx	(dif y) / (dif x)	derivative (Leibniz notation)
∂f/∂x	(partial f) / (partial x)	partial derivative (Leibniz notation)

Big O notation

Typst big-O (asymptotic) notation
Symbol	Code	Name
𝒪(n)	cal(O)(n)	big-O (upper bound)
Θ(n)	Theta(n)	big-Theta (tight bound)
Ω(n)	Omega(n)	big-Omega (lower bound)
o(n)	o(n)	little-o (strict upper bound)
ω(n)	omega(n)	little-omega (strict lower bound)

Miscellaneous

Typst miscellaneous symbols
Symbol	Code	Name
ℏ	planck.reduce	reduced Planck constant
ℵ	aleph	aleph
…	dots.h	ellipsis (horizontal)
⋯	dots.h.c	ellipsis (centred)
°	degree	degree
†	dagger	dagger

The full symbol list, including every variant, is in the Typst math documentation.

Writing in LaTeX instead? See LaTeX math and science symbols, or go back to equations and math in Typst.

In KL studioa syntax slip in a math block surfaces in the diagnostics panel as you type, tied to the line it is on — so a mistyped name is caught right there instead of in a wall of compiler output.

Common questions

What is the Typst symbol for infinity?: infinity, written bare inside math mode ($infinity$), renders as ∞. No import needed — it's part of Typst's built-in sym module.
How do I type Greek letters in Typst?: Spell the name inside math mode: $alpha$ renders α. Capitalize the name for the uppercase form where it differs from a Latin letter, $Gamma$ → Γ.
What is the Typst symbol for less than or equal to?: Typst accepts the plain ASCII form <= directly inside math mode and renders it as ≤ — there's no separate named symbol to remember.
What is the Typst name for the empty set symbol?: emptyset, which renders as ∅ — the standard way to write the empty set in a definition or proof, with no import required.
Where is the full list of Typst math symbols?: In Typst's own symbols reference, which documents every name in the sym module along with its variants (e.g. arrow.r.double, tilde.equiv).