Normal texts

Numbers and identifiers

• 1
• A
• ab
• 3xy

Operators

• X+4
• P−q
• f∗g

Prime symbols

• x󰎘

Alternative lettershapes

Basic

• 󱀑󱀏
• 󱀒󱀞󱀭
• ℱ
• ℋℴ𝓂
• 󰒯
• 󰒭ℯ𝒸𝓉
• 󱁐
• 󱁞󱁣

Variants

• ℝℙ
• 𝕊𝕖𝕥
• 𝔖
• 𝔤𝔩

Operator names

Basic

• gradF
• arctan(x+1)

Identifiers and functions

Identifiers

• ϖ
• ϐ
• ϝ
• ϡ
• Ϙ
• Ͳ

Functions

• sina
• expx
• det(M+N)

Operators

Binary operators

• x±7
• U⊗V⊕W
• A⊔B⩎C
• ∓5

Binary relators

• s≈2
• z≰Z⋙0
• H↝K↷G

Binary operators with wide margins

• X⋊YANDZ

Binary relators with wide margins

• a⨳b≠0⟹P

Subscripts and superscripts

Basic

• 34A12
• xAB
• ai
• V2
• abcabcdeℵabcab
• abcdeabcdℶaabc

Nested

• ABC
• 123456

Positioning

• Ee1− 1 4Xa2a1
• XEe1− 1 4
• X 1 A 1 B+1

Complex

• (1+ 1 1+ ξ 2(1+ 1 ξ2∗(1+ 1+ η 2 2(η+ 1 2

Underscripts and overscripts

Basic

• bXa
• Xt
• yX

Positioning

• n2−2nXn2+2n+1
• s+ 1 2Yℵ0

Fractions

Basic

• A B
• c e− p k− d q

Complicated

• 4⋔ φ⋈ K 2 3− 1 xy⊗z⨳ m 7Ψ Δ

Radicals

Basic

• √ A
• √ c
• √ q
• √ 1 i+j

With index

• B√ A
• 3√ S T+ U V

Stretch

• √
• √
• √
• √
• √
• √
• √
• √
• √
• √
• √
• √
• √
• √
• √

Very large

Not yet implemented

Integrals

Display style

• 󰈽ABf
• 󰄵ABf
• 󰅄Xg

Inline style

• ⨑ABf
• ∫ABf
• ∮Xg

Complex

• 󰈩a3+3a+1a4− 1 2g(x)dx

Sums and products

Display style

• B󰈚AP
• B󰄚AP
• 󰈔AP

Inline style

• ⨆ABP
• ∑ABP
• ⨀AP

Complex

• ϕ(x)=∞󰄚n=0 ϕ(n)(0) n!xn

Fences

General

• ( 1 3(
• {A+ B C+ D E[
• [− 1 2,∞(

By shorthands

• ( 1 12(
• |x− a b|

Complicated

• 4⋔ φ⋈ K 2 3− 1 xy⊗z⨳ m 7Ψ Δ

Stretch

• ((
• ((
• ((
• ((
• ((
• ((
• ((
• ((
• ((
• ((
• ((
• ((
• ((
• ((
• ((
• ((

Very large

• ( 1+ 1+ 1 2 2+ 1 2 2+ 1+ 1 1 2 2(
• ❲ 1+ 3 2+ 1 2 2+ 1+ 1 1+ 1 2 2+ 1 2❲AB
• { 1+ 1+ 1+ 1 2 2 2 2+ 1+ 1 2 2{AB

Set-like fences

General

• {x∈X|x> 1 3{
• ⟪ a b‖ c d⌊

Complicated

• { n m k l∈B| l+ k m n≫0{

Accents

Basic

• 󰔇A
• 󰔂B
• 󰔃c
• 󰔊d
• 󰕷e
• E󰔱
• F󰔰
• g󰔰

To symbols

• 󰔊0
• 󰔃K
• 2󰔇−3
• A󰔂⊕B
• α:D󰔈→E

Position (above)

• 󰔃a
• 󰔃b
• 󰔃c
• 󰔃d
• 󰔃e
• 󰔃f
• 󰔃g
• 󰔃h
• 󰔃i
• 󰔃j
• 󰔃k
• 󰔃l
• 󰔃m
• 󰔃n
• 󰔃o
• 󰔃p
• 󰔃q
• 󰔃r
• 󰔃s
• 󰔃t
• 󰔃u
• 󰔃v
• 󰔃w
• 󰔃x
• 󰔃y
• 󰔃z
• 󰔃α
• 󰔃β
• 󰔃γ
• 󰔃δ
• 󰔃ε
• 󰔃ζ
• 󰔃η
• 󰔃θ
• 󰔃ι
• 󰔃κ
• 󰔃λ
• 󰔃μ
• 󰔃ν
• 󰔃ξ
• 󰔃ο
• 󰔃π
• 󰔃ρ
• 󰔃σ
• 󰔃τ
• 󰔃υ
• 󰔃φ
• 󰔃χ
• 󰔃ψ
• 󰔃ω

Position (below)

• a󰔰
• b󰔰
• c󰔰
• d󰔰
• e󰔰
• f󰔰
• g󰔰
• h󰔰
• i󰔰
• j󰔰
• k󰔰
• l󰔰
• m󰔰
• n󰔰
• o󰔰
• p󰔰
• q󰔰
• r󰔰
• s󰔰
• t󰔰
• u󰔰
• v󰔰
• w󰔰
• x󰔰
• y󰔰
• z󰔰
• α󰔰
• β󰔰
• γ󰔰
• δ󰔰
• ε󰔰
• ζ󰔰
• η󰔰
• θ󰔰
• ι󰔰
• κ󰔰
• λ󰔰
• μ󰔰
• ν󰔰
• ξ󰔰
• ο󰔰
• π󰔰
• ρ󰔰
• σ󰔰
• τ󰔰
• υ󰔰
• φ󰔰
• χ󰔰
• ψ󰔰
• ω󰔰

Wide accents

Basic

• 󰂡ABap
• 󰂡ap
• 󰂗ABap
• 󰂗ap
• 󰂜ABap
• ABap󰂦
• Ee󰂦
• Pp󰂦
• z+p−a
• G−g

With underscripts and overscripts

• k times⏞A×A×⋯×A
• B×B×⋯×B⏟n+2 times

Stretch (widetilde)

• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡
• 󰂡

Stretch (overbrace)

• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞
• ⏞

Tables

Arrays

• Φ: V⊗W ⟶ 󱀊 v⊗w ⟼ f(v)g(w)
• ∇·B = 0 ∇×E+ ∂B ∂t = 0 ∇·D = ρ ∇×H− ∂D ∂t = j

Matrices

• ( 1 2 3 4(

Cases

• { x (x≥0) −x (x<0)

Stacks

• 󰄖1≤i≤n1≤j≤ni<j

Diagrams

Basic

• 1234X⊕YX⊗Y⊗Zfgha+b+cωρ1ρ2

Bent arrows

• Xf∗MMSTfmf∗mpq!
• SetShJ(Set󰒚∘)Set󰒚∘ShJ(Set󰒚∘)ShJ(Set󰒚∘)ΔΓai

Shifted arrows

• Eq(A,B)ABKekfg

Label positions

• 1234ABCDE

Arrow tips

• 1234↺

Double and triple arrows

• 24567YZMRSE

Cell gaps

• VTSRxyψVverylong+Wlonglong
• 123456789101112131415thnmedthk36

Specifying nodes by their names

• acbFabFacFcb
• 󰒚󰒛FGαβΞ

Alignments

• P=❲El(P)󰒪Set󰒪∘y❲
• Hom(MX,A) R∘L Hom(RLMX,RLA) -∘RφX Hom(RKMX,RLA) -∘ηMX Hom(MX,RLA)

Proof trees

Basic

• A B A∧B∧I Φ C→E

Complicated

• Oooo [Aaa] [Bbb] [Cc] [W] [Ddddd]Mmmm [Ppp] [Qqq] [R] [Ee]Uuu [Fffff] [X] [Gg] [Yyy] [Hhhh] [Ii]Nn [J]

Phantoms

Basic

• Aa+Bb+Cc+Dd Aa+Bb+Cc+Dd

Vertical only

• (a+1 1 2((a+ 1 2(

More complicated examples

#1

• π 2=∞󰄚k=0 (2k)! 22k(k!)2 1 2k+1=∞󰄖k=1 4k2 4k2−1=(󰄵0∞ sinx √ xdx(2

#2

• Ψ: {( a −b b a(∈GL2(󱀑)|a2+b2=1{ ⟶ 󱀒1 ( a −b b a( ⟼ a+b√ −1

#3

• P⊗R[P,󰈕i∈I[P,Yi]T[T󰈕i∈I[P,Yi]TP⊗R[P,[P,󰈕i∈IYi[T[T[P,󰈕i∈IYi[Tid⊗[id,λ]λ

#4

• D0D1D2⋯DnDn+1⋯D∞Φ10Φ01Φ21Φ12Φn+1nΦnn+1Φ∞0Φ∞1Φ∞2Φ∞nΦ∞n+1Φ0∞Φ1∞Φ2∞Φn∞Φn+1∞

#5

• →I¬¬¬I¬E→E→I¬¬¬I¬E [p]2 [¬p]3 ⊥ [¬q]1 ¬¬q1 q p→q2 [(p→q)→p]4 p [¬p]3 ⊥ ¬¬p3 p ((p→q)→p)→p4