quartztz::lean-symb

Lean 4 symbol reference

Statically (for now) generated from lean4-vscode's abbreviations.jsonfile. Please let me know if anything changes!
The generation script is available at the website's source. Check out the categorizer at /cats!
Click on a symbol to see more details.
The symbol ☐ represents where the cursor will be placed for bracket-like abbreviations.
≛\*=
⊹\+
─\---
╌\--.
∹\-:
∸\.-
∺\::-
≔\:=
⋒\Cap
∁\Complement
⋓\Cup
⋂₀\I0
⨅\Inf
⍟\O*
⨀\O.
⋁\Or
Π₀\P0
⨄\U+
⨃\U.
⨯\X
ℤ√\Zsqrt
\\\
∀\all
∀ᵐ\allm
∧\and
⨍\average
⊞\b+
⋃\bUnion
⊼\barwedge
⋂\bigcap
⧸\bigsolidus
★\bigstar
⋀\bigwedge
⊥\bot
⋈\bowtie
◫\boxmid
⊟\boxminus
◦\buw
⊠\bx
∩\cap
·\centerdot
◎\ci.
◯\ciO
⊛\circledast
⊝\circleddash
∘\comp
⨿\coprod
⋎\curlyvee
⋏\curlywedge
≙\defs
⨁\directsum
÷\div
⋇\divideontimes
∔\dotplus
⊡\dotsquare
∣\dvd
ℕ∞\enat
ℝ≥0∞\ennreal
≕\eqcolon
∃\ex
∃ᶠ\exf
∏ᶠ\finprod
∑ᶠ\finsum
⅟\frac1
½\frac12
⅓\frac13
¼\frac14
⅕\frac15
⅙\frac16
⅛\frac18
⅔\frac23
⅖\frac25
¾\frac34
⅗\frac35
⅜\frac38
⅘\frac45
⅚\frac56
⅝\frac58
⅞\frac78
￢\hnot
⊓\inf
∫\integral
⋋\leftthreetimes
⋉\ltimes
⊔\lub
≞\m=
∈\mem
−\minus
⧿\miny
∓\mp
⊯\nVDash
∄\nexists
∋\ni
∉\nin
∌\nni
ℝ≥0\nnreal
∘*\o*
ᵒᵈ\od
⊙\odot
∯\oiint
∮\oint
⊖\ominus
⊚\oo
⊕\oplus
∨\or
∂\pd
⨂\pitensorproduct
±\pm
∏\prod
∝\propto
⋌\rightthreetimes
⋊\rtimes
⋃₀\sUnion
∐\smallamalg
∖\smallsetminus
⋆\st
∑\sum
⨆\supr
√\surd
∛\surd3
∜\surd4
∆\symmdiff
⊗\tensorproduct
⁄\textfractionsolidus
⁀\tie
×\times
⧾\tiny
⊤\top
⊎\u+
⊍\u.
∪\un
⊻\veebar
×ᶠ\xf
×ˢ\xs
∤\|n
⅋\&
⁻²\-2
⁻³\-3
₀\0
₁\1
₂\2
₃\3
₄\4
₅\5
₆\6
₇\7
₈\8
₉\9
⁺\^+
⁻\^-
⁰\^0
¹\^1
²\^2
³\^3
⁴\^4
⁵\^5
⁶\^6
⁷\^7
⁸\^8
⁹\^9
⁼\^=
ᴬ\^A
ᴮ\^B
ᴯ\^Bbarred
ᴰ\^D
ᴱ\^E
ᴲ\^Ereversed
ᴳ\^G
ᴴ\^H
ꟸ\^Hstroke
ᴵ\^I
ᶦ\^Ismall
ᶧ\^Istroke
ᴶ\^J
ᴷ\^K
ᴸ\^L
ᶫ\^Lsmall
ᴹ\^M
ᴺ\^N
ᴻ\^Nreversed
ᶰ\^Nsmall
ᴼ\^O
ᴾ\^P
ᴿ\^R
ʶ\^Rinverted
ᵀ\^T
℡\^TEL
ᵁ\^U
ᶸ\^Usmall
ⱽ\^V
ᵂ\^W
ᵃ\^a
ª\^a_
ᵅ\^alpha
ᵇ\^b
ᵝ\^beta
ᶜ\^c
ᶝ\^ccurl
ᵡ\^chi
ᵈ\^d
ᵉ\^e
ᵑ\^eng
ᵋ\^eopen
ᶟ\^ereversedopen
ᶴ\^esh
ᶞ\^eth
ᶾ\^ezh
ᶠ\^f
ᵍ\^g
ˠ\^gamma
ᶢ\^gscript
ʰ\^h
ꭜ\^heng
ʱ\^hwithhook
ⁱ\^i
ᶥ\^iota
ʲ\^j
ᵏ\^k
ˡ\^l
ᶩ\^lretroflexhook
ꭝ\^ls
ꭞ\^ltilde
ᵐ\^m
ⁿ\^n
ᶮ\^nlefthook
ᶯ\^nretroflexhook
ᵒ\^o
ꟹ\^oe
ᵓ\^oopen
ᵖ\^p
ᗮ\^perp
ᶲ\^phi
ʳ\^r
ˢ\^s
ᵊ\^schwa
ᶳ\^shook
ˤ\^stop
ᵗ\^t
ᶿ\^theta
ᵄ\^turneda
ᵆ\^turnedae
ᶛ\^turnedalpha
ᵌ\^turnede
ᶣ\^turnedh
ᵎ\^turnedi
ᵚ\^turnedm
ᶭ\^turnedmleg
ʴ\^turnedr
ʵ\^turnedrwithhook
ᶺ\^turnedv
ᵘ\^u
ᶶ\^ubar
ꭟ\^uhook
ᶷ\^upsilon
ᵙ\^usideways
ᵛ\^v
ᵞ\^vargamma
ᶹ\^vhook
ʷ\^w
ˣ\^x
ʸ\^y
ᶻ\^z
ᶼ\^zretroflexhook
₊\_+
₋\_-
₌\_=
ₐ\_a
ₑ\_e
ₕ\_h
ᵢ\_i
ⱼ\_j
ₖ\_k
ₗ\_l
ₘ\_m
ₙ\_n
ₒ\_o
ₚ\_p
ᵣ\_r
ₛ\_s
ₜ\_t
ᵤ\_u
ᵥ\_v
ₓ\_x
∀ᶠ\all^f
⁻¹\inv
º\ordmasculine
→\->
⊸\-o
←\<-
⇒\=>
⇓\Downarrow
⇔\Leftrightarrow
⇚\Lleftarrow
↰\Lsh
↱\Rsh
⇑\Uparrow
⇕\Updownarrow
→ₐ\alghom
↺\circlearrowleft
↻\circlearrowright
↶\curvearrowleft
↷\curvearrowright
⇊\d-2
⇵\d-u-
↧\d-|
⟱\d==
↡\dd-
↙\dl-
⇙\dl=
↓\downarrow
⇃\downleftharpoon
⇂\downrightharpoon
⇘\dr=
→₀\finsupp
⥤\functor
⇨\himp
↩\hookleftarrow
↪\hookrightarrow
⇇\l-2
↤\l-|
→₁\l1
⇐\l=
↝\leadsto
↢\leftarrowtail
↽\leftharpoondown
↼\leftharpoonup
↔\leftrightarrow
⇆\leftrightarrows
⇋\leftrightharpoons
↭\leftrightsquigarrow
↞\ll-
⟵\longleftarrow
↫\looparrowleft
↬\looparrowright
⟷\lr--
↮\lr-n
⇎\lr=n
↜\l~
⇍\nLeftarrow
⟹\nattrans
↚\nleftarrow
↛\nrightarrow
↣\pr
⟶\r--
⇉\r-2
⇶\r-3
↦\r-|
⇛\r==
⇏\r=n
→ₘ\r_m
→ₚ\r_p
→ᵇ\rb
⇁\rightharpoondown
⇀\rightharpoonup
⇄\rightleftarrows
⇌\rightleftharpoons
→ₛ\rs
↘\searrow
⇝\squigarrowright
→₁ₛ\to_1s
→ₗ\tol
→ₛₗ\tosl
↠\twoheadrightarrow
↑\u
⇅\u-d-
↥\u-|
⟰\u==
↨\ud-|
↖\ul
⇖\ul=
↕\updownarrow
↿\upleftharpoon
↾\uprightharpoon
⇈\upuparrows
↗\ur-
⇗\ur=
↟\uu-
⇰\|=>
⤳\~>
⸨\((
⸨☐⸩\(())
(☐)\()
(☐)_\()_
⟮\([
⟮☐⟯\([])'
⟅\(b
⸩\))
⁆\-]
⟪\<<
⟨☐⟩\<>
⟫\>>
⁅☐⁆\[--]
⟦\[[
⟦☐⟧\[[]]
[☐]\[]
[☐]_\[]_
⟯\])
⟧\]]
⁽\^(
⁽☐⁾\^()
⁾\^)
₍\_(
₍☐₎\_()
₎\_)
≬\between
⁅\bracketl
⌈☐⌉\ceil
⌊\clL
⌞\cll
⌟\clr
⌜\cu
⌉\cuR
⌝\cur
‹\f<
«☐»\f<<>>
‹☐›\f<>
»\f>>
⌊☐⌋\floor
«\flqq
‚\glq
❰\h<
❰☐❱\h<>
❱\h>
⟨\langle
⌈\lceil
《\ldata
“\ldq
〚\llbracket
‘\lq
⦋\lsimplex
⌈☐⌉₊\nceil
⌊☐⌋₊\nfloor
‖☐‖₊\nnnorm
⟩\rangle
⟆\rbag
》\rdata
”\rdq
⌋\rfloor
〛\rrbracket
⦌\rsimplex
⦋☐⦌\s[]
⦃\{{
⦃☐⦄\{{}}
{☐}\{}
{☐}_\{}_
‖\||
‖☐‖\||||
⦄\}}
≘\(=
═\--=
≂\-~
⋗\:>
∻\:~
≤\<=
≲\<~
≴\<~nn
≡\==
≣\===
≠\=n
≗\=o
≯\>n
≳\>~
≵\>~nn
≟\?=
≎\Bumpeq
⋘\Ll
⋐\Subset
⋑\Supset
≊\approxeq
≌\backcong
∽\backsim
⋍\backsimeq
≏\bumpeq
⋞\curlyeqprec
⋟\curlyeqsucc
≝\def=
≐\doteq
≑\doteqdot
≖\eqcirc
⋝\eqslantgtr
⋜\eqslantless
≃\equiv
≒\fallingdotseq
≱\gen
≥\geq
≧\geqq
≫\gg
⋙\ggg
⋧\gnapprox
≩\gneqq
⋛\gtreqless
≷\gtrless
≍\heq
≅\iso
≦\leqq
⋖\lessdot
⋚\lesseqgtr
≶\lessgtr
≪\ll
≨\lneqq
⋦\lnsim
≉\napprox
≢\nequiv
≰\nleqslant
≮\nless
∦\nparallel
⊀\nprec
⋠\npreceq
≄\nsimeq
⊄\nsubset
⊁\nsucc
⋡\nsucceq
⊅\nsupset
⊉\nsupseteqq
⊜\o=
≚\or=
∥\parallel
≺\prec
≾\precapprox
≼\preceq
⋨\precnapprox
≓\risingdotseq
∼\sim
⊏\sqsubset
⊑\sqsubseteq
⊒\sqsupseteq
⋢\squbn
⋣\squpn
⊆\ss
⊐\ssqup
⊂\ssub
⊃\ssupset
⊈\subn
⊊\subsetneq
≻\succ
≽\succeq
⋩\succnapprox
≿\succsim
⊇\supseteq
⊋\supsetneq
⊴\trianglelefteq
≜\triangleq
⩿\wcovby
≀\wr
≇\~=n
≁\~n
≈\~~
≋\~~~
₳\austral
₵\cedi
¢\cent
₢\cruzeiro
¤\currency
₫\dong
₯\drachma
€\euro
₲\guarani
₴\hryvnia
₾\lari
₥\mill
𐆎\nomisma
₧\peseta
£\pound
₽\ruble
₨\rupee
₷\spesmilo
฿\textbaht
₡\textcolonmonetary
₤\textlira
₦\textnaira
₱\textpeso
₩\textwon
₮\tugrik
¥\yen
ℂ\Com
𝔽\F
ℍ\H
𝓐\MCA
𝓑\MCB
𝓒\MCC
𝓓\MCD
𝓔\MCE
𝓕\MCF
𝓖\MCG
𝓗\MCH
𝓘\MCI
𝓙\MCJ
𝓚\MCK
𝓛\MCL
𝓜\MCM
𝓝\MCN
𝓞\MCO
𝓟\MCP
𝓠\MCQ
𝓡\MCR
𝓢\MCS
𝓣\MCT
𝓤\MCU
𝓥\MCV
𝓦\MCW
𝓧\MCX
𝓨\MCY
𝓩\MCZ
𝓪\MCa
𝓫\MCb
𝓬\MCc
𝓭\MCd
𝓮\MCe
𝓯\MCf
𝓰\MCg
𝓱\MCh
𝓲\MCi
𝓳\MCj
𝓴\MCk
𝓵\MCl
𝓶\MCm
𝓷\MCn
𝓸\MCo
𝓹\MCp
𝓺\MCq
𝓻\MCr
𝓼\MCs
𝓽\MCt
𝓾\MCu
𝓿\MCv
𝔀\MCw
𝔁\MCx
𝔂\MCy
𝔃\MCz
𝑨\MIA
𝑩\MIB
𝑪\MIC
𝑫\MID
𝑬\MIE
𝑭\MIF
𝑮\MIG
𝑯\MIH
𝑰\MII
𝑱\MIJ
𝑲\MIK
𝑳\MIL
𝑴\MIM
𝑵\MIN
𝑶\MIO
𝑷\MIP
𝑸\MIQ
𝑹\MIR
𝑺\MIS
𝑻\MIT
𝑼\MIU
𝑽\MIV
𝑾\MIW
𝑿\MIX
𝒀\MIY
𝒁\MIZ
𝒂\MIa
𝒃\MIb
𝒄\MIc
𝒅\MId
𝒆\MIe
𝒇\MIf
𝒈\MIg
𝒉\MIh
𝒊\MIi
𝒋\MIj
𝒌\MIk
𝒍\MIl
𝒎\MIm
𝒏\MIn
𝒐\MIo
𝒑\MIp
𝒒\MIq
𝒓\MIr
𝒔\MIs
𝒕\MIt
𝒖\MIu
𝒗\MIv
𝒘\MIw
𝒙\MIx
𝒚\MIy
𝒛\MIz
𝒜\McA
ℬ\McB
𝒞\McC
𝒟\McD
ℰ\McE
ℱ\McF
𝒢\McG
ℋ\McH
ℐ\McI
𝒥\McJ
𝒦\McK
ℒ\McL
ℳ\McM
𝒩\McN
𝒪\McO
𝒬\McQ
ℛ\McR
𝒮\McS
𝒯\McT
𝒰\McU
𝒱\McV
𝒲\McW
𝒳\McX
𝒴\McY
𝒵\McZ
𝒶\Mca
𝒷\Mcb
𝒸\Mcc
𝒹\Mcd
ℯ\Mce
𝒻\Mcf
ℊ\Mcg
𝒽\Mch
𝒾\Mci
𝒿\Mcj
𝓀\Mck
𝓁\Mcl
𝓂\Mcm
𝓃\Mcn
ℴ\Mco
𝓅\Mcp
𝓆\Mcq
𝓇\Mcr
𝓈\Mcs
𝓉\Mct
𝓊\Mcu
𝓋\Mcv
𝓌\Mcw
𝓍\Mcx
𝓎\Mcy
𝓏\Mcz
𝔄\MfA
𝔅\MfB
ℭ\MfC
𝔇\MfD
𝔈\MfE
𝔉\MfF
𝔊\MfG
ℌ\MfH
ℑ\MfI
𝔍\MfJ
𝔎\MfK
𝔏\MfL
𝔐\MfM
𝔑\MfN
𝔒\MfO
𝔓\MfP
𝔔\MfQ
𝔖\MfS
𝔗\MfT
𝔘\MfU
𝔙\MfV
𝔚\MfW
𝔛\MfX
𝔜\MfY
ℨ\MfZ
𝔞\Mfa
𝔟\Mfb
𝔠\Mfc
𝔡\Mfd
𝔢\Mfe
𝔣\Mff
𝔤\Mfg
𝔥\Mfh
𝔦\Mfi
𝔧\Mfj
𝔨\Mfk
𝔩\Mfl
𝔪\Mfm
𝔫\Mfn
𝔬\Mfo
𝔭\Mfp
𝔮\Mfq
𝔯\Mfr
𝔰\Mfs
𝔱\Mft
𝔲\Mfu
𝔳\Mfv
𝔴\Mfw
𝔵\Mfx
𝔶\Mfy
𝔷\Mfz
𝐴\MiA
𝐵\MiB
𝐶\MiC
𝐷\MiD
𝐸\MiE
𝐹\MiF
𝐺\MiG
𝐻\MiH
𝐼\MiI
𝐽\MiJ
𝐾\MiK
??\MiL
𝑀\MiM
𝑁\MiN
𝑂\MiO
𝑃\MiP
𝑄\MiQ
𝑅\MiR
𝑆\MiS
𝑇\MiT
𝑈\MiU
𝑉\MiV
𝑊\MiW
𝑋\MiX
𝑌\MiY
𝑍\MiZ
𝑎\Mia
𝑏\Mib
𝑐\Mic
𝑑\Mid
𝑒\Mie
𝑓\Mif
𝑔\Mig
𝑖\Mii
𝑗\Mij
𝑘\Mik
𝑙\Mil
𝑚\Mim
𝑛\Min
𝑜\Mio
𝑝\Mip
𝑞\Miq
𝑟\Mir
𝑠\Mis
𝑡\Mit
𝑢\Miu
𝑣\Miv
𝑤\Miw
𝑥\Mix
𝑦\Miy
𝑧\Miz
ℕ\Nat
ℜ\Re
𝟘\b0
𝟙\b1
𝟚\b2
𝟛\b3
𝟜\b4
𝟝\b5
𝟞\b6
𝟟\b7
𝟠\b8
𝟡\b9
𝔹\bb
𝔸\bbA
𝔻\bbD
𝔼\bbE
𝔾\bbG
𝕀\bbI
𝕁\bbJ
𝕂\bbK
𝕃\bbL
𝕄\bbM
𝕆\bbO
ℙ\bbP
ℚ\bbQ
𝕊\bbS
𝕋\bbT
𝕌\bbU
𝕍\bbV
𝕎\bbW
𝕏\bbX
𝕐\bbY
𝕒\bba
𝕓\bbb
𝕔\bbc
𝕕\bbd
𝕖\bbe
𝕗\bbf
𝕘\bbg
𝕙\bbh
𝕚\bbi
𝕛\bbj
𝕜\bbk
𝕝\bbl
𝕞\bbm
𝕟\bbn
𝕠\bbo
𝕡\bbp
𝕢\bbq
𝕣\bbr
𝕤\bbs
𝕥\bbt
𝕦\bbu
𝕧\bbv
𝕨\bbw
𝕩\bbx
𝕪\bby
𝕫\bbz
𝐀\bfA
𝐁\bfB
𝐂\bfC
𝐃\bfD
𝐄\bfE
𝐅\bfF
𝐆\bfG
𝐇\bfH
𝐈\bfI
𝐉\bfJ
𝐊\bfK
𝐋\bfL
𝐌\bfM
𝐍\bfN
𝐎\bfO
𝐏\bfP
𝐐\bfQ
𝐑\bfR
𝐒\bfS
𝐓\bfT
𝐔\bfU
𝐕\bfV
𝐖\bfW
𝐗\bfX
𝐘\bfY
𝐙\bfZ
𝐚\bfa
𝐛\bfb
𝐜\bfc
𝐝\bfd
𝐞\bfe
𝐟\bff
𝐠\bfg
𝐡\bfh
𝐢\bfi
𝐣\bfj
𝐤\bfk
𝐥\bfl
𝐦\bfm
𝐧\bfn
𝐨\bfo
𝐩\bfp
𝐪\bfq
𝐫\bfr
𝐬\bfs
𝐭\bft
𝐮\bfu
𝐯\bfv
𝐰\bfw
𝐱\bfx
𝐲\bfy
𝐳\bfz
ℝ\br
⅀\bsum
ℤ\bz
ℓ\ell
ε\epsilon
℻\facsimile
⅌\per
𝒫\powerset
𝟬\sb0
𝟭\sb1
𝟮\sb2
𝟯\sb3
𝟰\sb4
𝟱\sb5
𝟲\sb6
𝟳\sb7
𝟴\sb8
𝟵\sb9
℮\textestimated
℘\wp
Α\Alpha
Χ\Chi
Δ\D
Ϯ\Dei
Ϝ\Digamma
Ε\Epsilon
Η\Eta
Ϥ\Fei
Β\GB
Γ\GG
Κ\GK
Λ\GL
Μ\GM
Ν\GN
Ω\GO
Θ\GTH
Ξ\GX
Ϫ\Gangia
γ\Gg
ι\Gi
κ\Gk
ƛ\Gl-
μ\Gm
ν\Gn
ω\Go
ξ\Gx
Ͱ\Heta
Ϩ\Hori
Ι\Iota
Ϧ\Khei
Ϟ\Koppa
Ο\Omicron
Π\P
Φ\Phi
Ψ\Psi
Ρ\Rho
Σ\S
Ϡ\Sampi
Ϻ\San
Ϣ\Shei
Ϭ\Shima
Ϸ\Sho
Ϛ\Stigma
Þ\TH
Τ\Tau
Υ\Upsilon
Ϳ\Yot
Ζ\Zeta
ᵠ\^varphi
α\a
ℵ\aleph
β\b
∍\backepsilon
ℶ\beth
χ\c
ℸ\daleth
δ\de
ϯ\dei
ð\dh
ϝ\digamma
η\eta
ϥ\fei
ϫ\gangia
ℷ\gimel
ͱ\heta
ϩ\hori
ϧ\khei
ϟ\koppa
₼\manat
℧\mho
∇\nabla
ο\omicron
φ\phi
π\pi
ψ\ps
ρ\rh
ϡ\sampi
ϻ\san
ϣ\shei
ϭ\shima
ϸ\sho
σ\sigma
ϛ\stigma
τ\tau
θ\th
υ\upsilon
ϐ\varbeta
ϗ\varkai
ϰ\varkappa
ϕ\varphi
ϖ\varpi
ϱ\varrho
ς\varsigma
ϑ\vartheta
ζ\zeta
Ä\"A
Ë\"E
Ï\"I
Ö\"O
Ü\"U
ä\"a
ë\"e
ï\"i
ö\"o
ü\"u
ÿ\"y
Á\'A
É\'E
Í\'I
Ó\'O
Ú\'U
Ý\'Y
á\'a
é\'e
í\'i
ó\'o
ú\'u
ý\'y
Ā\-{A}
Ē\-{E}
Ī\-{I}
Ō\-{O}
Ū\-{U}
ā\-{a}
ē\-{e}
ī\-{i}
ō\-{o}
ū\-{u}
Ł\/L
Ø\/O
ø\/o
Å\AA
Æ\AE
Ð\DH
Œ\OE
ᴭ\^Ae
ᴽ\^Ou
ᶤ\^istroke
ᶨ\^jtail
ᶪ\^lhook
ᶬ\^mhook
ᶱ\^obarred
ᵕ\^obottom
ᵔ\^otop
ᶵ\^twithpalatalhook
ᶽ\^zcurl
Â\^{A}
Ê\^{E}
Î\^{I}
Ô\^{O}
Û\^{U}
â\^{a}
ê\^{e}
î\^{i}
ô\^{o}
û\^{u}
À\`A
È\`E
Ì\`I
Ò\`O
Ù\`U
à\`a
è\`e
ì\`i
ò\`o
ù\`u
å\aa
æ\ae
Å\angstrom
Ç\cC
ç\cc
ȩ\ce
ℏ\hbar
ı\imath
Į\kI
į\ki
⊘\o/
œ\oe
Č\vC
Ď\vD
Ě\vE
č\vc
ď\vd
ě\ve
Ã\~A
Ñ\~N
Õ\~O
ã\~a
õ\~o
ñ\~{n}
¬\!
‼\!!
⁉\!?
♯\#
━\--_
⋯\...
∶\:
∷\::
⧏\<|
¿\?
⁇\??
☹\Frowny
✉\Letter
☺\Smiley
◀\Tb
◁\Tw
⊩\Vdash
℠\^SM
™\^TM
ᵜ\^ain
ℵ₀\aleph0
∠\angle
ᵃᵒᵖ\aop
⌶\apl
∗\ast
⁎\asterisk
‵\backprime
∵\because
▽\bigtriangledown
△\bigtriangleup
☣\biohazard
☻\blacksmiley
▪\blacksquare
▴\blacktriangle
▾\blacktriangledown
◂\blacktriangleleft
¦\brokenbar
•\bu
‣\but
☡\caution
℃\celsius
✓\checkmark
●\ci
◌\ci..
Ⓢ\circledS
○\ciw
♣\clubsuit
⬝\con
🚧\construction
©\copyright
†\dagger
⊣\dashv
‡\ddagger
⋱\ddots
°\degree
◆\di
◈\di.
⌀\diameter
⋄\diamond
♢\diamondsuit
⚀\die
◇\diw
↯\dz
—\em
∅\emptyset
–\en
⊢\entails
♀\female
♭\flat
⌢\frown
›\frq
„\glqq
♥\heartsuit
∞\infty
⊺\intercal
K\kelvin
₭\kip
λ\lambda
…\ldots
✧\lozenge
♂\male
✠\maltese
∡\measuredangle
µ\micro
⊧\models
ᵐᵒᵖ\mulopposite
\n\n
⊮\nVdash
♮\natural
♩\note
⋪\ntriangleleft
⋬\ntrianglelefteq
⋫\ntriangleright
⋭\ntrianglerighteq
№\numero
⊬\nvdash
🛑\octagonal
Ω\ohm
ᵒᵖ\op
℥\ounce
▰\pab
\paragraph
㉐\partnership
▱\paw
‰\permil
⟂\perp
⋔\pitchfork
⁻¹'\preimage
′\prime
🛇\prohibited
∎\qed
¡\r!
☢\radioactive
▬\re
®\registered
▭\rew
▷\rhd
∟\rightangle
’\rq
﹨\sbs
✂\scissor
§\section
⌣\smallsmile
♠\spadesuit
∙\span
∢\sphericalangle
◾\sq
▣\sq.
■\sqb
▢\sqo
□\square
✹\st12
✦\st4
✶\st6
✴\st8
▸\t
₸\tenge
℗\textcircledP
✝\textdied
⁒\textdiscount
‽\textinterrobang
♪\textmusicalnote
‱\textpertenthousand
℞\textrecipe
※\textreferencemark
∴\therefore
▵\triangle
▿\triangledown
▹\triangleright
⊵\trianglerighteq
◃\tw
⯑\uncertainty
‿\undertie
⊲\vartriangleleft
⊳\vartriangleright
⋮\vdots
⚠\warning
⊨\|=
⊭\|=n
⊫\||=
⊪\|||-
made with love by quartztz.com