9.2.900

5 Text block: Unicode symbols🔗ℹ

 (require text-block/symbols) package: text-block
 (require (submod text-block/symbols unprefixed))
 (require (submod text-block/symbols codes))

The text-block/symbols module and its submodules provide bindings and a dictionary to many unicode symbols:
> (require text-block/symbols)
> @zeta

"ζ"

The default prefix is @. To change it, use the unprefixed submodule:
> (require (prefix-in  (submod text-block/symbols unprefixed)))
> ¶zeta

"ζ"

To access the underlying hash table, use the codes submodule:
> (require (submod text-block/symbols codes))
> (hash-ref codes "zeta")

"ζ"

By default, symbols have a different prefix than functions exported by text-block/math to avoid name collisions.

The full list of symbols:

@1/2

  

½

  

@1/3

  

⅓

  

@1/4

  

¼

  

@1/5

  

⅕

  

@1/6

  

⅙

  

@1/8

  

⅛

  

@2/3

  

⅔

  

@2/5

  

⅖

  

@3/4

  

¾

  

@3/5

  

⅗

  

@3/8

  

⅜

  

@4/5

  

⅘

  

@5/6

  

⅚

  

@5/8

  

⅝

  

@7/8

  

⅞

  

@Alpha

  

Α

  

@And

  

⋀

  

@Beta

  

Β

  

@Chi

  

Χ

  

@Contains

  

∋

  

@Delta

  

Δ

  

@Diff

  

∆

  

@Downarrow

  

⇓

  

@Epsilon

  

Ε

  

@Eta

  

Η

  

@Gamma

  

Γ

  

@In

  

∈

  

@Inter

  

⋂

  

@Iota

  

Ι

  

@Kappa

  

Κ

  

@Lambda

  

Λ

  

@Leftarrow

  

⇐

  

@Leftrightarrow

  

⇔

  

@Mu

  

Μ

  

@Nu

  

Ν

  

@Omega

  

Ω

  

@Omicron

  

Ο

  

@Or

  

⋁

  

@Phi

  

Φ

  

@Pi

  

Π

  

@Prime

  

″

  

@Psi

  

Ψ

  

@Rho

  

Ρ

  

@Rightarrow

  

⇒

  

@S

  

§

  

@Sigma

  

Σ

  

@Tau

  

Τ

  

@Theta

  

Θ

  

@Union

  

⋃

  

@Uparrow

  

⇑

  

@Updownarrow

  

⇕

  

@Upsilon

  

Υ

  

@Xi

  

Ξ

  

@Zeta

  

Ζ

  

|@^(|

  

⁽

  

|@^)|

  

⁾

  

@^+

  

⁺

  

@^-

  

⁻

  

@^/

  

𝄍

  

@^0

  

⁰

  

@^1

  

¹

  

@^2

  

²

  

@^3

  

³

  

@^4

  

⁴

  

@^5

  

⁵

  

@^6

  

⁶

  

@^7

  

⁷

  

@^8

  

⁸

  

@^9

  

⁹

  

@^=

  

⁼

  

|@_(|

  

₍

  

|@_)|

  

₎

  

@_+

  

₊

  

@_-

  

₋

  

@_/

  

⸝

  

@_0

  

₀

  

@_1

  

₁

  

@_2

  

₂

  

@_3

  

₃

  

@_4

  

₄

  

@_5

  

₅

  

@_6

  

₆

  

@_7

  

₇

  

@_8

  

₈

  

@_9

  

₉

  

@_=

  

₌

  

@alefsym

  

ℵ

  

@aleph

  

ℵ

  

@all

  

∀

  

@allequalto

  

≌

  

@almosteq

  

≈

  

@alpha

  

α

  

@amalg

  

⨿

  

@amp

  

&

  

@and

  

∧

  

@ang

  

∠

  

@approx

  

≈

  

@approxeq

  

≊

  

@ast

  

∗

  

@asymp

  

≍

  

@beta

  

β

  

@bigcap

  

⋂

  

@bigcup

  

⋃

  

@bigtriangledown

  

▽

  

@bigtriangleup

  

△

  

@bigvee

  

⋁

  

@bigwedge

  

⋀

  

@blacksmiley

  

☻

  

@bot

  

⊥

  

@bowtie

  

⋈

  

@bull

  

•

  

@bullet

  

•

  

@cap

  

∩

  

@cdot

  

·

  

@cdots

  

⋯

  

@chi

  

χ

  

@circ

  

∘

  

@clubs

  

♣

  

@clubsuit

  

♣

  

@complex

  

ℂ

  

@cong

  

≅

  

@contains

  

∍

  

@coprod

  

∐

  

@crarr

  

↵

  

@cry

  

😢

  

@cuberoot

  

∛

  

@cup

  

∪

  

@curlyand

  

⋏

  

@curlyor

  

⋎

  

@curlyvee

  

⋏

  

@curlywedge

  

⋎

  

@dArr

  

⇓

  

@dagger

  

†

  

@darr

  

↓

  

@dashv

  

⊣

  

@ddagger

  

‡

  

@ddots

  

⋱

  

@delta

  

δ

  

@diamond

  

◇

  

@diamondop

  

⋄

  

@diamondsuit

  

♦

  

@diams

  

♦

  

@div

  

∕

  

@divide

  

÷

  

@doteq

  

≐

  

@downarrow

  

↓

  

@empty

  

∅

  

@emptyset

  

∅

  

@epsilon

  

ϵ

  

@equiv

  

≡

  

@eta

  

η

  

@exist

  

∃

  

@exists

  

∃

  

@flat

  

♭

  

@fnof

  

ƒ

  

@forall

  

∀

  

@fourthroot

  

∜

  

@frasl

  

⁄

  

@frown

  

⌢

  

@frownie

  

☹

  

@gamma

  

γ

  

@ge

  

≥

  

@geq

  

≥

  

@gg

  

≫

  

@grin

  

😁

  

@gt

  

>

  

@hArr

  

⇔

  

@harr

  

↔

  

@hdots

  

⋯

  

@heart

  

♥

  

@hearts

  

♥

  

@heartsuit

  

♥

  

@hellip

  

…

  

@iiiint

  

⨌

  

@iiint

  

∭

  

@iint

  

∬

  

@image

  

ℑ

  

@in

  

∈

  

@infin

  

∞

  

@infty

  

∞

  

@int

  

∫

  

@integers

  

ℤ

  

@integral

  

∫

  

@inter

  

∩

  

@invamp

  

⅋

  

@iota

  

ι

  

@isin

  

∈

  

@isni

  

∋

  

@joy

  

😂

  

@kappa

  

κ

  

@l

  

ł

  

@lArr

  

⇐

  

@lambda

  

λ

  

@land

  

∧

  

@lang

  

〈

  

@langle

  

⟨

  

@larr

  

←

  

@lceil

  

⌈

  

@ldots

  

…

  

@le

  

≤

  

@leadsto

  

↝

  

@leftarrow

  

←

  

@leftharpoondown

  

↽

  

@leftharpoonup

  

↼

  

@leftlollipop

  

⟜

  

@leftmultimap

  

⟜

  

@leftrightarrow

  

↔

  

@leq

  

≤

  

@lfloor

  

⌊

  

@ll

  

≪

  

@lnot

  

¬

  

@longrightarrow

  

⟶

  

@lor

  

∨

  

@lowast

  

∗

  

@loz

  

◊

  

@lozenge

  

◊

  

@lt

  

<

  

@mapsto

  

↦

  

@minus

  

−

  

@minusplus

  

∓

  

@models

  

⊨

  

@mp

  

∓

  

@mu

  

μ

  

@multimap

  

⊸

  

@multimapinv

  

⟜

  

@nabla

  

∇

  

@nand

  

⊼

  

@natural

  

♮

  

@naturals

  

ℕ

  

@ncong

  

≆

  

@ne

  

≠

  

@nearrow

  

↗

  

@neg

  

¬

  

@neq

  

≠

  

@newpage

  

  

@nexists

  

∄

  

@ni

  

∋

  

@nor

  

⊽

  

@northeastarrow

  

↗

  

@northwestarrow

  

↖

  

@not

  

¬

  

@notalmosteq

  

≉

  

@notapprox

  

≉

  

@notapproxeq

  

≇

  

@notcontains

  

∌

  

@notexist

  

∄

  

@notexists

  

∄

  

@notin

  

∉

  

@notsubset

  

⊄

  

@notsuperset

  

⊅

  

@nsub

  

⊄

  

@nu

  

ν

  

@nwarrow

  

↖

  

@odot

  

⊙

  

@oiiint

  

∰

  

@oiint

  

∯

  

@oint

  

∮

  

@oline

  

‾

  

@omega

  

ω

  

@omicron

  

ο

  

@ominus

  

⊖

  

@oplus

  

⊕

  

@or

  

∨

  

@oslash

  

⊘

  

@otimes

  

⊗

  

@parallel

  

∥

  

@part

  

∂

  

@partial

  

∂

  

@perp

  

⊥

  

@phi

  

ϕ

  

@pi

  

π

  

@piv

  

ϖ

  

@plusminus

  

±

  

@pm

  

±

  

@prec

  

≺

  

@precdot

  

⋖

  

@preceq

  

≼

  

@prime

  

′

  

@primes

  

ℙ

  

@prod

  

∏

  

@product

  

∏

  

@prop

  

∝

  

@propto

  

∝

  

@psi

  

ψ

  

@rArr

  

⇒

  

@radic

  

√

  

@rang

  

〉

  

@rangle

  

⟩

  

@rarr

  

→

  

@rationals

  

ℚ

  

@rceil

  

⌉

  

@real

  

ℜ

  

@reals

  

ℝ

  

@relief

  

😌

  

@rfloor

  

⌋

  

@rho

  

ρ

  

@rightarrow

  

→

  

@rightharpoondown

  

⇁

  

@rightharpoonup

  

⇀

  

@rightleftharpoons

  

⇌

  

@rightlollipop

  

⊸

  

@root

  

√

  

@scream

  

😱

  

@sdot

  

⋅

  

@searrow

  

↘

  

@setminus

  

∖

  

@sharp

  

♯

  

@sigma

  

σ

  

@sigmaf

  

ς

  

@sim

  

∼

  

@simeq

  

≃

  

@simneq

  

≄

  

@skull

  

☠

  

@smallin

  

∊

  

@smile

  

⌣

  

@smiley

  

☺

  

@sob

  

😭

  

@southeastarrow

  

↘

  

@southwestarrow

  

↙

  

@spades

  

♠

  

@spadesuit

  

♠

  

@sqcap

  

⊓

  

@sqcup

  

⊔

  

@sqrt

  

√

  

@sqsubsetb

  

⊏

  

@sqsubseteq

  

⊑

  

@sqsupsetb

  

⊐

  

@sqsupseteq

  

⊒

  

@square

  

□

  

@squareroot

  

√

  

@star

  

★

  

@sub

  

⊂

  

@sub0

  

₀

  

@sub1

  

₁

  

@sub2

  

₂

  

@sub3

  

₃

  

@sub4

  

₄

  

@sub5

  

₅

  

@sub6

  

₆

  

@sub7

  

₇

  

@sub8

  

₈

  

@sub9

  

₉

  

@sube

  

⊆

  

@subset

  

⊂

  

@subseteq

  

⊆

  

@succ

  

≻

  

@succdot

  

⋗

  

@succeq

  

≽

  

@sum

  

∑

  

@sup

  

⊃

  

@sup0

  

⁰

  

@sup1

  

¹

  

@sup2

  

²

  

@sup3

  

³

  

@sup4

  

⁴

  

@sup5

  

⁵

  

@sup6

  

⁶

  

@sup7

  

⁷

  

@sup8

  

⁸

  

@sup9

  

⁹

  

@supe

  

⊇

  

@superset

  

⊃

  

@superseteq

  

⊇

  

@supset

  

⊃

  

@supseteq

  

⊇

  

@surd

  

√

  

@swarrow

  

↙

  

@sweat_smile

  

😅

  

@tau

  

τ

  

@there4

  

∴

  

@theta

  

θ

  

@thetasym

  

ϑ

  

@times

  

×

  

@to

  

→

  

@top

  

⊤

  

@trade

  

™

  

@triangle

  

△

  

@triangleleft

  

◃

  

@triangleright

  

▹

  

@tripleprime

  

‴

  

@uArr

  

⇑

  

@uarr

  

↑

  

@union

  

∪

  

@uparrow

  

↑

  

@updownarrow

  

↕

  

@uplus

  

⊎

  

@upsih

  

ϒ

  

@upsilon

  

υ

  

@varepsilon

  

ε

  

@varphi

  

φ

  

@varpi

  

ϖ

  

@varrho

  

ϱ

  

@varsigma

  

ς

  

@vartheta

  

ϑ

  

@vdash

  

⊢

  

@vdots

  

⋮

  

@vee

  

∨

  

@wedge

  

∧

  

@weierp

  

℘

  

@wink

  

😉

  

@wr

  

≀

  

@xi

  

ξ

  

@xor

  

⊻

  

@yinyang

  

☯

  

@zeta

  

ζ