5 Text block: Unicode symbols

8.16

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		ζ

1	Text block datatype
2	Text block combiners and basic operations
3	Text block: text and string utilities
4	Text block: maths and formulas
5	Text block: Unicode symbols