Use of standard OCaml syntax

[helm.git] / matita / components / syntax_extensions / utf8MacroTable.ml.txt

(* GENERATED by make_table: DO NOT EDIT! *)
\varsupsetneq ⊋︀
\frac56 ⅚
\emsp14  
\bsim ∽
\quest ?
\xrarr 
\nabla ∇
\tscr 𝓉
\nesear ⤨
\kappa κ
\HilbertSpace ℋ
\notinva ∉̸
\sqsube ⊑
\NotLessSlantEqual ≰
\hercon ⊹
\npreceq ⪯̸
\upsilon υ
\rmoust ⎱
\ggg ⋙
\cwint ∱
\copf 𝕔
\nvdash ⊬
\Lcaron Ľ
\Vdashl ⫦
\ofr 𝔬
\oint ∮
\NestedLessLess ≪
\ffilig ffi
\rightthreetimes ⋌
\gtrsim ≳
\angmsdad ⦫
\LeftUpVector ↿
\apacir ⩯
\urcrop ⌎
\LessTilde ≲
\dashv ⊣
\uarr ↑
\imath ı
\DoubleDot ¨
\nRightarrow ⇏
\colone ≔
\ngeqq ≱
\Jopf 𝕁
\sqcaps ⊓︀
\ldrushar ⥋
\nvge ≱
\qprime ⁗
\arccos arccos
\Bcy Б
\prec ≺
\UpArrow ↑
\ohbar ⦵
\capdot ⩀
\UpArrowBar ⤒
\Rsh ↱
\zfr 𝔷
\ufisht ⥾
\gtcir ⩺
\succnapprox ⋩
\nsubset ⊄
\bot ⊥
\tcedil ţ
\uopf 𝕦
\LeftTriangleBar ⧏
\downarrow ↓
\Ascr 𝒜
\Qfr 𝔔
\wr ≀
\varrho ϱ
\NoBreak 
\otimesas ⨶
\TildeTilde ≈
\nang ∠̸
\ForAll ∀
\numero №
\CircleDot ⊙
\rpar )
\eDot ≑
\Lt ≪
\lsh ↰
\sscr 𝓈
\hybull ⁃
\odiv ⨸
\varsigma ς
\olcir ⦾
\wopf 𝕨
\amacr ā
\rfisht ⥽
\Jscr 𝒥
\NegativeMediumSpace  ︀
\Zdot Ż
\Proportion ∷
\gesdot ⪀
\kcedil ķ
\cir ○
\bigcup ⋃
\Esim ⩳
\CenterDot ·
\nsqsube ⋢
\NotTildeFullEqual ≇
\Oslash Ø
\frac45 ⅘
\gtdot ⋗
\NotSuperset ⊅
\loarr ⇽
\filig fi
\cscr 𝒸
\hookleftarrow ↩
\rangle 〉
\bsol \
\LeftDownVectorBar ⥙
\eta η
\gE ≧
\cudarrr ⤵
\ShortDownArrow ⌄︀
\nwnear ⤧
\supsup ⫖
\lnap ⪉
\homtht ∻
\boxDr ╓
\lvertneqq ≨︀
\subnE ⊊
\iota ι
\horbar ―
\psi ψ
\swarhk ⤦
\rharu ⇀
\equest ≟
\boxv │
\RightTee ⊢
\boxVH ╬
\Sopf 𝕊
\ni ∋
\doublebarwedge ⌆
\lsime ⪍
\nleqslant ≰
\roang 
\scnE ⪶
\| |
\DoubleLongLeftRightArrow 
\LeftVector ↼
\trianglelefteq ⊴
\succapprox ≿
\macr ¯
\lharul ⥪
\ApplyFunction ⁡
\Map ⤅
\nscr 𝓃
\Dcaron Ď
\vzigzag ⦚
\naturals ℕ
\pluse ⩲
\nparsl ∥︀⃥
\cosh cosh
\vnsub ⊄
\Oacute Ó
\LeftTeeVector ⥚
\ncap ⩃
\lneqq ≨
\csub ⫏
\bopf 𝕓
\ovbar ⌽
\triangleright ▹
\shortparallel ∥︀
\timesb ⊠
\nwarrow ↖
\harr ↔
\backprime ‵
\rceil ⌉
\softcy ь
\Lang 《
\mopf 𝕞
\HumpEqual ≏
\esdot ≐
\CloseCurlyQuote ’
\Popf ℙ
\Pi Π
\els ⋜
\DifferentialD ⅆ
\SquareIntersection ⊓
\rfr 𝔯
\propto ∝
\angzarr ⍼
\succneqq ⪶
\there4 ∴
\sect §
\tilde ˜
\boxV ║
\scap ≿
\ldca ⤶
\rho ρ
\auml ä
\vsubne ⊊︀
\larrpl ⤹
\aleph ℵ
\Wopf 𝕎
\lsim ≲
\yacute ý
\Rscr ℛ
\succsim ≿
\Acirc Â
\dots …
\napos ʼn
\igrave ì
\curlywedge ⋏
\to →
\NotLess ≮
\Vopf 𝕍
\subsup ⫓
\npolint ⨔
\Gcy Г
\FilledSmallSquare ◾
\raemptyv ⦳
\lates ⪭︀
\Ccaron Č
\SquareSuperset ⊐
\demptyv ⦱
\Backslash ∖
\nvsim ≁̸
\ltcc ⪦
\Scy С
\bnequiv ≡⃥
\not ¬
\lozenge ◊
\Lfr 𝔏
\oscr ℴ
\ReverseEquilibrium ⇋
\Afr 𝔄
\topcir ⫱
\planckh ℎ
\abreve ă
\rBarr ⤏
\nacute ń
\DownTeeArrow ↧
\CupCap ≍
\Cacute Ć
\rpargt ⦔
\parsim ⫳
\Leftarrow ⇐
\angmsdaf ⦭
\Yfr 𝔜
\emsp  
\backsimeq ⋍
\lbrkslu ⦍
\NotHumpEqual ≏̸
\larrfs ⤝
\hyphen ‐
\pscr 𝓅
\NotReverseElement ∌
\vartriangleright ⊳
\Zacute Ź
\LowerRightArrow ↘
\ape ≊
\ll ≪
\ldquo “
\angmsdab ⦩
\ZHcy Ж
\ntrianglerighteq ⋭
\frac25 ⅖
\nrtrie ⋭
\barwedge ⊼
\rarrpl ⥅
\Nfr 𝔑
\xcirc ◯
\dscr 𝒹
\gjcy ѓ
\VerticalLine |
\Vbar ⫫
\dfisht ⥿
\Egrave È
\orslope ⩗
\nle ≰⃥
\TSHcy Ћ
\angle ∠
\szlig ß
\rtri ▹
\ljcy љ
\puncsp  
\lobrk 〚
\lAtail ⤛
\Pcy П
\copysr ℗
\Aopf 𝔸
\nvle ≰
\NotPrecedesEqual ⪯̸
\dd ⅆ
\LeftVectorBar ⥒
\agrave à
\ker ker
\Scedil Ş
\DoubleUpDownArrow ⇕
\ocirc ô
\slarr ←︀
\urcorn ⌝
\elsdot ⪗
\tridot ◬
\vopf 𝕧
\NotLeftTriangleEqual ⋬
\bigwedge ⋀
\Uogon Ų
\NotRightTriangleEqual ⋭
\gcirc ĝ
\srarr →︀
\SquareSubset ⊏
\Euml Ë
\dsol ⧶
\lmoust ⎰
\lagran ℒ
\ssetmn ∖︀
\Theta Θ
\mscr 𝓂
\ntlg ≸
\Hfr ℌ
\edot ė
\Iukcy І
\arg arg
\CHcy Ч
\multimap ⊸
\NotElement ∉
\imped 𝕃
\sube ⊆
\NotRightTriangleBar ⧐̸
\wp ℘
\Sacute Ś
\rbrkslu ⦐
\larrbfs ⤟
\ycy ы
\Xscr 𝒳
\RightVectorBar ⥓
\PrecedesEqual ⪯
\succeq ≽
\rationals ℚ
\oacute ó
\boxtimes ⊠
\plusmn ±
\bumpE ⪮
\xlarr 
\nLl ⋘̸
\dlcrop ⌍
\blacktriangleright ▸
\Phi Φ
\zdot ż
\lmoustache ⎰
\DownRightVector ⇁
\xsqcup ⊔
\frac12 ½
\nVdash ⊮
\ee ⅇ
\OverBar ¯
\lbrksld ⦏
\flat ♭
\xrArr 
\Vvdash ⊪
\upuparrows ⇈
\dlcorn ⌞
\vert |
\eg ⪚
\VerticalTilde ≀
\Subset ⋐
\nvrArr ⇏
\cirfnint ⨐
\iexcl ¡
\hslash ℏ
\duhar ⥯
\Sqrt √
\NotTildeTilde ≉
\sum ∑
\ntilde ñ
\DotEqual ≐
\scpolint ⨓
\mid ∣
\lceil ⌈
\quaternions ℍ
\Fopf 𝔽
\Wscr 𝒲
\Lmidot Ŀ
\HARDcy Ъ
\forall ∀
\el ⪙
\diams ♦
\oror ⩖
\ratio ∶
\rbbrk 〕
\nleq ≰
\dagger †
\perp ⊥
\zscr 𝓏
\NotSucceedsTilde ≿̸
\bmod mod
\quot "
\nsubseteq ⊈
\Iuml Ï
\spades ♠
\osol ⊘
\EmptySmallSquare ◽
\sqsup ⊐
\cularrp ⤽
\times ×
\wfr 𝔴
\LongLeftRightArrow 
\RightAngleBracket 〉
\lhblk ▄
\lHar ⥢
\ngt ≯
\Vee ⋁
\sqsupseteq ⊒
\dotplus ∔
\bigcirc ◯
\phiv ϕ
\otimes ⊗
\nsqsupe ⋣
\sstarf ⋆
\qfr 𝔮
\Bopf 𝔹
\harrw ↭
\leqq ≦
\backsim ∽
\leftharpoondown ↽
\geqslant ⩾
\blk14 ░
\beta β
\ac ⤏
\vellip ⋮
\bigodot ⊙
\olcross ⦻
\CapitalDifferentialD ⅅ
\uparrow ↑
\dwangle ⦦
\larr ←
\lowbar _
\Ffr 𝔉
\rbrksld ⦎
\squ □
\hkswarow ⤦
\lopf 𝕝
\Colon ∷
\nge ≱⃥
\int ∫
\ffllig ffl
\npar ∦
\af ⁡
\Kopf 𝕂
\Ouml Ö
\LessLess ⪡
\euml ë
\nsubseteqq ⊈
\SHCHcy Щ
\plus +
\acirc â
\RightFloor ⌋
\lhard ↽
\zeetrf ℨ
\para ¶
\asymp ≍
\aacute á
\NotTilde ≁
\egsdot ⪘
\CircleMinus ⊖
\DownRightTeeVector ⥟
\Del ∇
\blk34 ▓
\ltrif ◂
\csube ⫑
\Ograve Ò
\ntriangleleft ⋪
\vBar ⫨
\nmid ∤
\DoubleRightTee ⊨
\ccaps ⩍
\lesdoto ⪁
\kfr 𝔨
\gesl ⋛︀
\boxDL ╗
\hscr 𝒽
\yuml ÿ
\Scaron Š
\ImaginaryI ⅈ
\eDDot ⩷
\rdca ⤷
\OverBracket ⎴
\arcsin arcsin
\vBarv ⫩
\Mellintrf ℳ
\Edot Ė
\Gt ≫
\boxUR ╚
\RightTriangleBar ⧐
\ropf 𝕣
\it ⁢
\lim lim
\Yscr 𝒴
\yen ¥
\rang 〉
\ufr 𝔲
\ograve ò
\DoubleLongLeftArrow 
\Kcedil Ķ
\iecy е
\lne ≨
\epsilon ϵ
\cuvee ⋎
\alpha α
\circ ∘
\ncaron ň
\risingdotseq ≓
\ctdot ⋯
\lor ∨
\minusb ⊟
\Succeeds ≻
\plusdu ⨥
\preccurlyeq ≼
\rightleftarrows ⇄
\Superset ⊃
\DD ⅅ
\det det
\telrec ⌕
\suphsol ⊃/
\cemptyv ⦲
\les ⩽
\ngeqslant ≱
\eqcolon ≕
\boxDR ╔
\veebar ⊻
\npr ⊀
\profalar ⌮
\Cfr ℭ
\upharpoonleft ↿
\theta θ
\Diamond ⋄
\LeftAngleBracket 〈
\swArr ⇙
\VDash ⊫
\vangrt ⊾
\NegativeThickSpace  ︀
\Ufr 𝔘
\Gfr 𝔊
\pertenk ‱
\phone ☎
\Rfr ℜ
\Otimes ⨷
\conint ∮
\ges ⩾
\Cdot Ċ
\Lopf 𝕃
\DownLeftRightVector ⥐
\boxVr ╟
\TripleDot ⃛
\ltquest ⩻
\longleftarrow ????;
\ccups ⩌
\Star ⋆
\ange ⦤
\zeta ζ
\SuchThat ∋
\RoundImplies ⥰
\ltimes ⋉
\sdotb ⊡
\OverBrace ︷
\Escr ℰ
\UpTee ⊥
\deg deg
\ddots ⋱
\bsolb ⧅
\lrhar ⇋
\nltri ⋪
\LeftDownVector ⇃
\measuredangle ∡
\boxVl ╢
\NotPrecedes ⊀
\NotGreaterTilde ≵
\Omacr Ō
\because ∵
\ubrcy ў
\mdash —
\Delta Δ
\lambda λ
\gla ⪥
\tstrok ŧ
\ratail ↣
\luruhar ⥦
\Uring Ů
\angmsdaa ⦨
\smile ⌣
\prop ∝
\circlearrowright ↻
\ngeq ≱
\dbkarow ⤏
\updownarrow ↕
\rAarr ⇛
\mcy м
\cupor ⩅
\supsim ⫈
\gl ≷
\order ℴ
\rAtail ⤜
\racute ŕ
\gtreqqless ⋛
\icirc î
\bcy б
\sqsubset ⊏
\cupdot ⊍
\leftrightarrows ⇆
\intlarhk ⨗
\nprcue ⋠
\Vfr 𝔙
\dtdot ⋱
\Cscr 𝒞
\equiv ≡
\SucceedsSlantEqual ≽
\nsupE ⊉
\reals ℝ
\NotCongruent ≢
\drbkarow ⤐
\varpropto ∝
\rlarr ⇄
\hcirc ĥ
\gtcc ⪧
\npre ⪯̸
\eplus ⩱
\ncup ⩂
\eqsim ≂
\lcedil ļ
\orv ⩛
\andand ⩕
\DoubleLeftRightArrow ⇔
\infty ∞
\nesim ≂̸
\Itilde Ĩ
\Hscr ℋ
\OpenCurlyDoubleQuote “
\neArr ⇗
\acy а
\ThinSpace  
\precneqq ⪵
\yicy ї
\notnivc ⋽
\lcaron ľ
\cups ∪︀
\ContourIntegral ∮
\xharr 
\rcedil ŗ
\notinvb ⋷
\nldr ‥
\check ✓
\lharu ↼
\glj ⪤
\lesg ⋚︀
\subsub ⫕
\DiacriticalDot ˙
\bemptyv ⦰
\nearhk ⤤
\curren ¤
\subset ⊂
\LeftTriangle ⊲
\quatint ⨖
\robrk 〛
\iiiint ⨌
\boxvL ╡
\max max
\Ofr 𝔒
\timesbar ⨱
\rmoustache ⎱
\VeryThinSpace  
\hamilt ℋ
\thickapprox ≈︀
\iocy ё
\jcirc ĵ
\Congruent ≡
\subne ⊊
\notniva ∌
\Element ∈
\barwed ⊼
\utdot ⋰
\Ucirc Û
\rarrtl ↣
\boxHd ╤
\nsubE ⊈
\smashp ⨳
\NotGreaterLess ≹
\SucceedsEqual ≽
\ii ⅈ
\YUcy Ю
\NotTildeEqual ≄
\gnE ≩
\frac38 ⅜
\emacr ē
\trianglerighteq ⊵
\lsqb [
\supnE ⊋
\squf ▪
\PrecedesTilde ≾
\RightUpVectorBar ⥔
\mumap ⊸
\DoubleVerticalBar ∥
\NotSucceeds ⊁
\Rightarrow ⇒
\real ℜ
\lbrack [
\ugrave ù
\notni ∌
\equals =
\xfr 𝔵
\dharr ⇂
\Agrave À
\dot ˙
\supseteqq ⊇
\napid ≋̸
\esim ≂
\triminus ⨺
\UpTeeArrow ↥
\Leftrightarrow ⇔
\submult ⫁
\lat ⪫
\delta δ
\Proportional ∝
\LeftArrowBar ⇤
\eth ð
\UnderBrace ︸
\sacute ś
\ntriangleright ⋫
\bigvee ⋁
\sec sec
\Ncedil Ņ
\rightleftharpoons ⇌
\vsubnE ⊊︀
\wscr 𝓌
\triangledown ▿
\Lacute Ĺ
\DownLeftTeeVector ⥞
\VerticalBar ∣
\gtreqless ⋛
\kappav ϰ
\thicksim ∼︀
\bnot ⌐
\yacy я
\searr ↘
\Utilde Ũ
\nwarhk ⤣
\Bernoullis ℬ
\subedot ⫃
\setmn ∖
\rdquo ”
\models ⊧
\nwArr ⇖
\gscr ℊ
\eqvparsl ⧥
\Psi Ψ
\nexists ∄
\boxvH ╪
\lt <
\dfr 𝔡
\wedge ∧
\Rarr ↠
\Gscr 𝒢
\boxhD ╥
\supdsub ⫘
\copy ©
\Breve ˘
\integers ℤ
\comp ∁
\frac58 ⅝
\CircleTimes ⊗
\imof ⊷
\xvee ⋁
\subsim ⫇
\lang 〈
\prap ≾
\notindot ⋶︀
\operp ⦹
\nsimeq ≄
\rtimes ⋊
\mldr …
\lcy л
\bsime ⋍
\trade ™
\Yuml Ÿ
\ohm Ω
\NotNestedGreaterGreater ⒢̸
\Im ℑ
\sqsubseteq ⊑
\Gbreve Ğ
\plusacir ⨣
\cire ≗
\loz ◊
\leftharpoonup ↼
\circleddash ⊝
\rarrbfs ⤠
\boxdr ┌
\shortmid ∣︀
\xhArr 
\xuplus ⊎
\circledR ®
\eqcirc ≖
\prnap ⋨
\NotSubsetEqual ⊈
\DownBreve ̑
\uwangle ⦧
\nges ≱
\oS Ⓢ
\nsupset ⊅
\fcy ф
\gcd gcd
\umacr ū
\prime ′
\nLeftrightarrow ⇎
\supdot ⪾
\{ {
\triangleq ≜
\UpArrowDownArrow ⇅
\nvap ≉̸
\cdot ċ
\boxbox ⧉
\ascr 𝒶
\cirE ⧃
\rtrif ▸
\ofcir ⦿
\sup3 ³
\ap ≈
\NotSquareSupersetEqual ⋣
\iukcy і
\iiint ∭
\Ycirc Ŷ
\triangleleft ◃
\Darr ↡
\prnE ⪵
\notnivb ⋾
\ldrdhar ⥧
\OpenCurlyQuote ‘
\triangle ▵
\profline ⌒
\gtrarr ⥸
\ultri ◸
\zcy з
\Vcy В
\UnionPlus ⊎
\ucirc û
\Lsh ↰
\Gdot Ġ
\parallet ????
\Rang 》
\gel ⋛
\origof ⊶
\RightDownVectorBar ⥕
\bottom ⊥
\angst Å
\nvrtrie ⋭̸
\ddotseq ⩷
\lesges ⪓
\HumpDownHump ≎
\THORN Þ
\fopf 𝕗
\bNot ⫭
\Tscr 𝒯
\rightsquigarrow ↝
\uogon ų
\sigmav ς
\prurel ⊰
\NotLessEqual ≰⃥
\lbarr ⤌
\easter ≛
\boxur └
\RBarr ⤐
\inodot ı
\mho ℧
\geq ≥
\intprod ⨼
\gacute ǵ
\prcue ≼
\GreaterGreater ⪢
\NotExists ∄
\starf ★
\Lcy Л
\uacute ú
\nrarrw ↝̸
\ffr 𝔣
\sigma σ
\olarr ↺
\TildeEqual ≃
\nsime ≄
\nGg ⋙̸
\sc ≻
\oslash ø
\gammad Ϝ
\circledS Ⓢ
\iuml ï
\gamma γ
\iogon į
\commat @
\Tfr 𝔗
\Pr Pr
\nLt ≪̸
\Gcedil Ģ
\boxhu ┴
\Precedes ≺
\andd ⩜
\nless ≮
\aogon ą
\cuepr ⋞
\bowtie ⋈
\vArr ⇕
\SHcy Ш
\nsccue ⋡
\maltese ✠
\verbar |
\vDash ⊨
\nsupe ⊉
\rightharpoondown ⇁
\xopf 𝕩
\OverParenthesis ︵
\raquo »
\ltri ◃
\Icirc Î
\frac35 ⅗
\diam ⋄
\blacklozenge ⧫
\rscr 𝓇
\lfr 𝔩
\tbrk ⎴
\nbumpe ≏̸
\curlyeqsucc ⋟
\NotDoubleVerticalBar ∦
\map ↦
\nleqq ≰
\rdldhar ⥩
\IOcy Ё
\ecy э
\Oopf 𝕆
\hksearow ⤥
\hardcy ъ
\cuesc ⋟
\nsce ⪰̸
\coth coth
\LessSlantEqual ⩽
\LessFullEqual ≦
\LeftArrowRightArrow ⇆
\ReverseElement ∋
\boxdl ┐
\capcup ⩇
\ccedil ç
\varsubsetneq ⊊︀
\lsquo ‘
\LeftCeiling ⌈
\subseteq ⊆
\profsurf ⌓
\nharr ↮
\ldsh ↲
\apos '
\precapprox ≾
\nis ⋼
\lessdot ⋖
\longleftrightarrow ????
\min max
\DoubleLeftArrow ⇐
\nvlArr ⇍
\smeparsl ⧤
\lnsim ⋦
\uharr ↾
\dotsquare ⊡
\oopf 𝕠
\Zopf ℤ
\Zcy З
\vartriangleleft ⊲
\rarrlp ↬
\Mopf 𝕄
\ecirc ê
\Ubreve Ŭ
\UpDownArrow ↕
\sce ≽
\NotLessGreater ≸
\Fscr ℱ
\caret ⁁
\andslope ⩘
\ordf ª
\fnof ƒ
\ocy о
\leftrightsquigarrow ↭
\larrhk ↩
\ubreve ŭ
\epsiv ɛ
\leftrightharpoons ⇋
\veeeq ≚
\nap ≉
\Therefore ∴
\RuleDelayed ⧴
\PlusMinus ±
\lowast ∗
\lesssim ≲
\precnsim ⋨
\gEl ⋛
\odblac ő
\dtri ▿
\nsupseteq ⊉
\lbrke ⦋
\divides ∣
\rtrie ⊵
\orarr ↻
\equivDD ⩸
\ddagger ‡
\Intersection ⋂
\gbreve ğ
\cupbrcap ⩈
\tprime ‴
\sccue ≽
\Uuml Ü
\sim ∼
\lsquor ‚
\Laplacetrf ℒ
\frown ⌢
\andv ⩚
\nbsp  
\dscy ѕ
\odot ⊙
\LessEqualGreater ⋚
\ltrie ⊴
\curarr ↷
\LeftFloor ⌊
\nearrow ↗
\xdtri ▽
\nbump ≎̸
\cross ✗
\boxplus ⊞
\amalg ⨿
\spadesuit ♠
\congdot ⩭
\angrtvb ⦝︀
\nrtri ⋫
\leftleftarrows ⇇
\cirmid ⫯
\curarrm ⤼
\upharpoonright ↾
\NotSucceedsEqual ⪰̸
\uplus ⊎
\scaron š
\HorizontalLine ─
\ulcrop ⌏
\permil ‰
\fallingdotseq ≒
\num #
\nlt ≮
\triplus ⨹
\natur ♮
\latail ⤙
\Conint ∯
\orderof ℴ
\Poincareplane ℌ
\planck ℏ︀
\lopar 〘
\olt ⧀
\ClockwiseContourIntegral ∲
\imagline ℐ
\YIcy Ї
\leftrightarrow ↔
\xcup ⋃
\atilde ã
\simg ⪞
\Kscr 𝒦
\emptyset ∅︀
\ncy н
\cudarrl ⤸
\yucy ю
\urtri ◹
\female ♀
\nlarr ↚
\Re ℜ
\gfr 𝔤
\Sub ⋐
\twixt ≬
\ic ​
\mapstoup ↥
\Bfr 𝔅
\twoheadleftarrow ↞
\preceq ⪯
\plusdo ∔
\DoubleUpArrow ⇑
\nrArr ⇏
\xutri △
\DJcy Ђ
\frac34 ¾
\curvearrowleft ↶
\RightDownVector ⇂
\Longleftarrow ????
\UpperRightArrow ↗
\nsub ⊄
\lurdshar ⥊
\Umacr Ū
\range ⦥
\subseteqq ⊆
\rightharpoonup ⇀
\rarrfs ⤞
\Jfr 𝔍
\fork ⋔
\MinusPlus ∓
\RightUpTeeVector ⥜
\rsh ↱
\nwarr ↖
\NonBreakingSpace  
\zcaron ž
\Vert ‖
\nprec ⊀
\GreaterFullEqual ≧
\precnapprox ⋨
\gneq ≩
\bernou ℬ
\lsimg ⪏
\leq ≤
\vltri ⊲
\NotVerticalBar ∤
\NestedGreaterGreater ≫
\marker ▮
\kscr 𝓀
\DoubleDownArrow ⇓
\LeftTriangleEqual ⊴
\isinsv ⋳
\nrarrc ⤳̸
\lessgtr ≶
\kopf 𝕜
\in ∈
\rArr ⇒
\gnapprox ⪊
\die ¨
\cedil ¸
\block █
\Verbar ‖
\Tstrok Ŧ
\half ½
\smtes ⪬︀
\NotLessTilde ≴
\wedgeq ≙
\sqsupe ⊒
\suplarr ⥻
\parallel ∥
\nsucc ⊁
\DiacriticalTilde ˜
\Zcaron Ž
\prnsim ⋨
\phmmat ℳ
\Gammad Ϝ
\cularr ↶
\uArr ⇑
\gneqq ≩
\xwedge ⋀
\Sscr 𝒮
\llcorner ⌞
\searrow ↘
\smte ⪬
\Jukcy Є
\ouml ö
\Jcirc Ĵ
\Emacr Ē
\blacksquare ▪
\UpEquilibrium ⥮
\limsup limsup
\GJcy Ѓ
\thksim ∼︀
\seswar ⤩
\fllig fl
\eqslantless ⋜
\amp &
\gescc ⪩
\ge ≥
\angmsdac ⦪
\backslash \
\radic √
\Hopf ℍ
\ast *
\AElig Æ
\ShortRightArrow →︀
\jcy й
\barvee ⊽
\supE ⊇
\Racute Ŕ
\boxuR ╘
\ExponentialE ⅇ
\zopf 𝕫
\acE ⧛
\topfork ⫚
\part ∂
\scnsim ⋩
\micro µ
\IEcy Е
\target ⌖
\digamma Ϝ
\Upsilon ϒ
\period .
\Auml Ä
\nvinfin ⧞
\ETH Ð
\circledcirc ⊚
\uring ů
\bumpe ≏
\varsupsetneqq ⊋︀
\neg ¬
\bigsqcup ⊔
\vdots ⋮
\RightDownTeeVector ⥝
\bigcap ⋂
\varepsilon ε
\nequiv ≢
\lfloor ⌊
\Dfr 𝔇
\supplus ⫀
\bigtriangleup △
\emptyv ∅
\biguplus ⊎
\Copf ℂ
\circledast ⊛
\boxvR ╞
\brvbar ¦
\sqsub ⊏
\rcub }
\DownLeftVector ↽
\gtquest ⩼
\nLtv ≪̸︀
\Kcy К
\ring ˚
\pound £
\lesseqgtr ⋚
\LeftUpVectorBar ⥘
\scy с
\NotSupersetEqual ⊉
\pcy п
\land ∧
\iscr 𝒾
\supedot ⫄
\InvisibleComma ​
\boxVR ╠
\minusd ∸
\gsim ≳
\cuwed ⋏
\iprod ⨼
\GreaterTilde ≳
\Longleftrightarrow ????
\lessapprox ≲
\surd ????
\SucceedsTilde ≿
\empty ∅︀
\vartheta ϑ
\SupersetEqual ⊇
\ord ⩝
\Because ∵
\nvlt ≮
\hoarr ⇿
\tdot ⃛
\Longrightarrow ⇒
\lnE ≨
\llhard ⥫
\vsupne ⊋︀
\Uacute Ú
\minusdu ⨪
\lbrace {
\partial ∂
\udhar ⥮
\nleftrightarrow ↮
\topbot ⌶
\odsold ⦼
\nGtv ≫̸︀
\primes ℙ
\khcy х
\Igrave Ì
\forkv ⫙
\sqcup ⊔
\ulcorn ⌜
\dHar ⥥
\late ⪭
\efr 𝔢
\nsupseteqq ⊉
\blacktriangleleft ◂
\npart ∂̸
\vscr 𝓋
\straightepsilon ε
\DoubleLeftTee ⫤
\supsetneqq ⊋
\mfr 𝔪
\Iopf 𝕀
\Aogon Ą
\harrcir ⥈
\boxvl ┤
\nisd ⋺
\LeftTeeArrow ↤
\Xfr 𝔛
\Uparrow ⇑
\popf 𝕡
\Dagger ‡
\realine ℛ
\supne ⊋
\doteq ≐
\dharl ⇃
\boxUl ╜
\Jsercy Ј
\nexist ∄
\IJlig IJ
\expectation ℰ
\loang 
\Atilde Ã
\lmidot ŀ
\DDotrahd ⤑
\Ugrave Ù
\oplus ⊕
\Ncy Н
\tritime ⨻
\Uarrocir ⥉
\NegativeThinSpace  ︀
\rrarr ⇉
\NotGreater ≯
\VerticalSeparator ❘
\subsetneqq ⊊
\NotGreaterFullEqual ≰
\LongLeftArrow 
\DownArrow ↓
\dash ‐
\bigoplus ⊕
\rightarrowtail ↣
\itilde ĩ
\lg lg
\smid ∣︀
\GreaterSlantEqual ⩾
\dtrif ▾
\Wcirc Ŵ
\napprox ≉
\NotLeftTriangleBar ⧏̸
\njcy њ
\rsquo ’
\lpar (
\colon :
\Colone ⩴
\Downarrow ⇓
\Ecirc Ê
\eparsl ⧣
\SOFTcy Ь
\NewLine 

\plustwo ⨧
\epsi ε
\ycirc ŷ
\qscr 𝓆
\UnderBracket ⎵
\boxHD ╦
\def ≝
\Rcy Р
\Fcy Ф
\tcy т
\uscr 𝓊
\realpart ℜ
\gt >
\imagpart ℑ
\leftarrowtail ↢
\ell ℓ
\DoubleRightArrow ⇒
\boxdL ╕
\NotGreaterSlantEqual ≱
\jukcy є
\Aacute Á
\mu μ
\xmap 
\Tcy Т
\liminf liminf
\isins ⋴
\eogon ę
\boxhd ┬
\bigotimes ⊗
\top ⊤
\Tcaron Ť
\smallsetminus ∖︀
\oelig œ
\ldquor „
\compfn ∘
\lAarr ⇚
\frac16 ⅙
\Bumpeq ≎
\erarr ⥱
\xscr 𝓍
\DoubleLongRightArrow 
\boxvr ├
\thinsp  
\ZeroWidthSpace ​
\nvHarr ⇎
\lparlt ⦓
\hfr 𝔥
\nsube ⊈
\Mfr 𝔐
\ENG Ŋ
\boxVh ╫
\comma ,
\angmsdag ⦮
\succcurlyeq ≽
\sup2 ²
\RightDoubleBracket 〛
\reg ®
\Rarrtl ⤖
\nGt ≫̸
\DScy Ѕ
\NotCupCap ≭
\NotPrecedesSlantEqual ⋠
\Sc ⪼
\isin ∈
\GreaterEqualLess ⋛
\subsetneq ⊊
\LeftUpDownVector ⥑
\dotminus ∸
\efDot ≒
\scE ≾
\Not ⫬
\TScy Ц
\ne ≠
\DZcy Џ
\boxul ┘
\coprod ∐
\} }
\SubsetEqual ⊆
\SquareUnion ⊔
\Larr ↞
\lArr ⇐
\larrtl ↢
\drcorn ⌟
\tau τ
\seArr ⇘
\mapstodown ↧
\escr ℯ
\uHar ⥣
\Efr 𝔈
\llarr ⇇
\lap ≲
\lacute ĺ
\gnsim ⋧
\shy ­
\oast ⊛
\nsim ≁
\bbrk ⎵
\sfr 𝔰
\RightArrowBar ⇥
\gap ≳
\lozf ⧫
\NotLeftTriangle ⋪
\sin sin
\omid ⦶
\lE ≦
\Barwed ⌆
\hstrok ħ
\DiacriticalGrave `
\sqsupset ⊐
\boxHU ╩
\nhArr ⇎
\semi ;
\Rrightarrow ⇛
\DownTee ⊤
\swarrow ↙
\rHar ⥤
\tint ∭
\vnsup ⊅
\mstpos ∾
\lrcorner ⌟
\tshcy ћ
\rcy р
\lthree ⋋
\rlhar ⇌
\midast *
\ang ∠
\lnot ¬
\uuml ü
\gtrless ≷
\fflig ff
\Cap ⋒
\Product ∏
\sopf 𝕤
\rnmid ⫮
\nsucceq ⪰̸
\bull •
\bscr 𝒷
\bepsi ϶
\Int ∬
\succ ≻
\SquareSupersetEqual ⊒
\LongRightArrow 
\aopf 𝕒
\Lscr ℒ
\erDot ≓
\longrightarrow ????
\yopf 𝕪
\Upsi ϒ
\ijlig ij
\frac78 ⅞
\duarr ⇵
\curvearrowright ↷
\sup1 ¹
\eqslantgtr ⋝
\tfr 𝔱
\rotimes ⨵
\roarr ⇾
\rarrhk ↪
\doteqdot ≑
\pr ≺
\ccirc ĉ
\aring å
\Pfr 𝔓
\geqq ≧
\parsl ∥︀
\vee ∨
\aelig æ
\dim dim
\SquareSubsetEqual ⊑
\Oscr 𝒪
\DotDot ⃜
\Rcedil Ŗ
\Gopf 𝔾
\subplus ⪿
\DoubleContourIntegral ∯
\ocir ⊚
\EmptyVerySmallSquare 
\percnt %
\hellip …
\uml ¨
\male ♂
\zacute ź
\DownArrowUpArrow ⇵
\complexes ℂ
\Rcaron Ř
\ncong ≇
\grave `
\rarrsim ⥴
\jscr 𝒿
\leg ⋚
\bfr 𝔟
\exp exp
\NotHumpDownHump ≎̸
\niv ∋
\ShortUpArrow ⌃︀
\ntgl ≹
\ngE ≱
\KJcy Ќ
\divonx ⋇
\disin ⋲
\wcirc ŵ
\Prime ″
\varphi φ
\subE ⊆
\NotSubset ⊄
\Hstrok Ħ
\Ocy О
\awint ⨑
\Updownarrow ⇕
\simlE ⪟
\hopf 𝕙
\uhblk ▀
\blacktriangle ▴
\plusb ⊞
\Equilibrium ⇌
\blk12 ▒
\blacktriangledown ▾
\larrb ⇤
\Aring Å
\hookrightarrow ↪
\twoheadrightarrow ↠
\subrarr ⥹
\rhov ϱ
\rangd ⦒
\lscr ℓ
\downdownarrows ⇊
\mapstoleft ↤
\heartsuit ♡
\egrave è
\cdots ⋯
\afr 𝔞
\rppolint ⨒
\Dcy Д
\owns ∋
\scsim ≿
\Nscr 𝒩
\supsetneq ⊋
\boxdR ╒
\LeftRightArrow ↔
\vfr 𝔳
\ltlarr ⥶
\sharp ♯
\iinfin ⧜
\udarr ⇅
\dblac ˝
\boxuL ╛
\prE ⪯
\Ccirc Ĉ
\scirc ŝ
\LessGreater ≶
\gne ≩
\ecaron ě
\nltrie ⋬
\inf inf
\rsqb ]
\nparallel ∦
\rarrb ⇥
\plankv ℏ
\Fouriertrf ℱ
\urcorner ⌝
\Yacute Ý
\Iacute Í
\curlyeqprec ⋞
\Supset ⋑
\gcy г
\bsolhsub \⊂
\supsub ⫔
\rarrap ⥵
\NotRightTriangle ⋫
\LJcy Љ
\iff ⇔
\becaus ∵
\Lcedil Ļ
\gets ←
\ntrianglelefteq ⋬
\MediumSpace  
\nlArr ⇍
\Cup ⋓
\complement ∁
\angmsdah ⦯
\vcy в
\swnwar ⤪
\prod ∏
\neq ≠
\RightTeeArrow ↦
\simeq ≃
\LeftArrow ←
\roplus ⨮
\glE ⪒
\ln ln
\Icy И
\Yopf 𝕐
\thetav ϑ
\KHcy Х
\lrtri ⊿
\CloseCurlyDoubleQuote ”
\circeq ≗
\dcaron ď
\circlearrowleft ↺
\NotEqual ≠
\bigstar ★
\hbar ℏ︀
\And ⩓
\lEg ⋚
\EqualTilde ≂
\darr ↓
\succnsim ⋩
\NotGreaterGreater ≫̸︀
\frac14 ¼
\ecir ≖
\vdash ⊢
\minus −
\Bscr ℬ
\coloneq ≔
\ensp  
\nlsim ≴
\lesdotor ⪃
\Gamma Γ
\capand ⩄
\boxDl ╖
\spar ∥︀
\Ubrcy Ў
\Tilde ∼
\solbar ⌿
\mapsto ↦
\djcy ђ
\sdot ⋅
\par ∥
\chcy ч
\Ncaron Ň
\and ∧
\cot cot
\Ropf ℝ
\pointint ⨕
\jmath j︀
\leftthreetimes ⋋
\mnplus ∓
\nsup ⊅
\nLeftarrow ⇍
\pm ±
\diamondsuit ♢
\backcong ≌
\gnap ⪊
\DiacriticalAcute ´
\Ll ⋘
\cupcap ⩆
\square □
\RightTriangleEqual ⊵
\RightTeeVector ⥛
\lltri ◺
\TildeFullEqual ≅
\RightUpVector ↾
\between ≬
\supe ⊇
\kjcy ќ
\dzcy џ
\uharl ↿
\trisb ⧍
\lesdot ⩿
\intcal ⊺
\div ÷
\xnis ⋻
\sqcap ⊓
\mcomma ⨩
\Zscr 𝒵
\apid ≋
\rtriltri ⧎
\nvDash ⊭
\vrtri ⊳
\xlArr 
\Eopf 𝔼
\tosa ⤩
\ngtr ≯
\diamond ⋄
\shcy ш
\cos cos
\Cross ⨯
\Wedge ⋀
\infin ∞
\divide ÷
\gesles ⪔
\pre ⪯
\bump ≎
\Xopf 𝕏
\hairsp  
\qopf 𝕢
\frac13 ⅓
\Omega Ω
\rect ▭
\Lleftarrow ⇚
\caron ˇ
\bcong ≌
\Qscr 𝒬
\Lambda Λ
\leqslant ⩽
\Iscr ℐ
\varsubsetneqq ⊊︀
\lvnE ≨︀
\bkarow ⤍
\iquest ¿
\frac23 ⅔
\natural ♮
\middot ·
\Pscr 𝒫
\Implies ⇒
\DownRightVectorBar ⥗
\RightVector ⇀
\rightarrow →
\cirscir ⧂
\supmult ⫂
\simgE ⪠
\pitchfork ⋔
\lescc ⪨
\Kfr 𝔎
\bigtriangledown ▽
\beth ℶ
\frac18 ⅛
\precsim ≾
\ordm º
\rbarr ⤍
\boxHu ╧
\boxhU ╨
\lotimes ⨴
\gvnE ≩︀
\daleth ℸ
\FilledVerySmallSquare 
\straightphi φ
\PrecedesSlantEqual ≼
\notinvc ⋶
\Hacek ˇ
\phi ϕ
\ncongdot ⩭̸
\drcrop ⌌
\plussim ⨦
\angmsdae ⦬
\zhcy ж
\Nacute Ń
\lcub {
\nrightarrow ↛
\ltdot ⋖
\arctan arctan
\NotSucceedsSlantEqual ⋡
\UnderParenthesis ︶
\rarrw ↝
\nvltrie ⋬̸
\awconint ∳
\tscy ц
\gdot ġ
\simplus ⨤
\opar ⦷
\ThickSpace    
\mDDot ∺
\pluscir ⨢
\angrt ∟
\gesdotol ⪄
\Tcedil Ţ
\egs ⋝
\setminus ∖
\bullet •
\approx ≈
\NotSquareSubsetEqual ⋢
\ReverseUpEquilibrium ⥯
\langd ⦑
\siml ⪝
\nshortmid ∤︀
\simne ≆
\simrarr ⥲
\tan tan
\hom hom
\Ycy Ы
\rfloor ⌋
\rarr →
\leftarrow ←
\Dashv ⫤
\midcir ⫰
\intercal ⊺
\Amacr Ā
\nshortparallel ∦︀
\larrsim ⥳
\DiacriticalDoubleAcute ˝
\lesseqqgtr ⋚
\gtlPar ⦕
\Ecaron Ě
\boxvh ┼
\ifr 𝔦
\subdot ⪽
\acute ´
\UnderBar ̲
\supset ⊃
\ltrPar ⦖
\Uopf 𝕌
\Dopf 𝔻
\rcaron ř
\trie ≜
\varkappa ϰ
\sext ✶
\lgE ⪑
\NotGreaterEqual ≱⃥
\csup ⫐
\RightCeiling ⌉
\kcy к
\exist ∃
\nu ν
\nleftarrow ↚
\ropar 〙
\lnapprox ⪉
\Ccedil Ç
\Barv ⫧
\rthree ⋌
\kgreen ĸ
\dollar $
\Cconint ∰
\DownLeftVectorBar ⥖
\GreaterEqual ≥
\cfr 𝔠
\gsiml ⪐
\lfisht ⥼
\lBarr ⤎
\chi χ
\rx ℞
\Ntilde Ñ
\SmallCircle ∘
\YAcy Я
\Sum ∑
\Eogon Ę
\boxUr ╙
\bprime ‵
\blank ␣
\ShortLeftArrow ←︀
\divideontimes ⋇
\bumpeq ≏
\wreath ≀
\le ≤
\DownArrowBar ⤓
\Iogon Į
\Mcy М
\OElig Œ
\utilde ũ
\notin ∉
\sinh sinh
\rbrack ]
\Hcirc Ĥ
\apE ≊
\nspar ∦︀
\NotSquareSuperset ⊐̸
\xi ξ
\boxUL ╝
\nrarr ↛
\clubs ♣
\Equal ⩵
\imacr ī
\gtrapprox ≳
\angmsd ∡
\ecolon ≕
\ccupssm ⩐
\lbbrk 〔
\breve ˘
\Wfr 𝔚
\fpartint ⨍
\Odblac Ő
\boxVL ╣
\epar ⋕
\cup ∪
\piv ϖ
\mp ∓
\xodot ⊙
\rhard ⇁
\incare ℅
\NotNestedLessLess ⒡̸
\solb ⧄
\ncedil ņ
\Uarr ↟
\Sigma Σ
\ominus ⊖
\nhpar ⫲
\yfr 𝔶
\utrif ▴
\NotLessLess ≪̸︀
\ogon ˛
\qint ⨌
\Coproduct ∐
\bne =⃥
\ldots …
\squarf ▪
\scedil ş
\ndash –
\dzigrarr 
\ogt ⧁
\sdote ⩦
\LeftDownTeeVector ⥡
\downharpoonleft ⇃
\questeq ≟
\looparrowright ↬
\boxminus ⊟
\iopf 𝕚
\Idot İ
\thkap ≈︀
\NotEqualTilde ≂̸
\LeftDoubleBracket 〚
\gsime ⪎
\angsph ∢
\centerdot ·
\xotime ⊗
\timesd ⨰
\xoplus ⊕
\looparrowleft ↫
\Integral ∫
\varnothing ∅
\excl !
\rarrc ⤳
\RightArrowLeftArrow ⇄
\jfr 𝔧
\sime ≃
\RightUpDownVector ⥏
\hArr ⇔
\Gcirc Ĝ
\Abreve Ă
\RightArrow →
\numsp  
\nedot ≠︀
\cent ¢
\nsc ⊁
\Dot ¨
\Tab    
\LowerLeftArrow ↙
\gtrdot ⋗
\approxeq ≊
\pi π
\ngsim ≵
\downharpoonright ⇂
\supseteq ⊇
\lstrok ł
\Vdash ⊩
\iiota ℩
\gimel ℷ
\zigrarr ⇝
\nlE ≰
\upsi υ
\capbrcup ⩉
\backepsilon ϶
\napE ⩰̸
\Lstrok Ł
\Cedilla ¸
\nvgt ≯
\bsemi ⁏
\star ⋆
\InvisibleTimes ⁢
\uuarr ⇈
\rharul ⥬
\rbrace }
\Imacr Ī
\dArr ⇓
\Xi Ξ
\o ο
\Udblac Ű
\dopf 𝕕
\ulcorner ⌜
\emsp13  
\ccaron č
\tcaron ť
\Scirc Ŝ
\eopf 𝕖
\angrtvbd ⦝
\smt ⪪
\PartialD ∂
\jopf 𝕛
\Jcy Й
\tanh tanh
\nVDash ⊯
\longmapsto ????
\eng ŋ
\weierp ℘
\log log
\swarr ↙
\xcap ⋂
\langle 〈
\ddarr ⇊
\image ℑ
\Eacute É
\curlyvee ⋎
\clubsuit ♣
\caps ∩︀
\topf 𝕥
\Hat ̂
\Gg ⋙
\prsim ≾
\checkmark ✓
\rightrightarrows ⇉
\omacr ō
\isindot ⋵
\gopf 𝕘
\Union ⋃
\cupcup ⩊
\vsupnE ⊋︀
\Ocirc Ô
\Nopf ℕ
\Square □
\iacute í
\fscr 𝒻
\boxH ═
\or ∨
\gvertneqq ≩︀
\yscr 𝓎
\sung ♪
\CounterClockwiseContourIntegral ∳
\boxh ─
\icy и
\GreaterLess ≷
\shchcy щ
\Qopf ℚ
\ndivides ∤
\thorn þ
\searhk ⤥
\rbrke ⦌
\Dstrok Đ
\acd ∿
\Vscr 𝒱
\csupe ⫒
\ruluhar ⥨
\dstrok đ
\cacute ć
\Mscr ℳ
\odash ⊝
\frac15 ⅕
\cwconint ∲
\Acy А
\jsercy ј
\cylcty ⌭
\mlcp ⫛
\rdsh ↳
\simdot ⩪
\LeftTee ⊣
\laquo «
\Ecy Э
\Dscr 𝒟
\UpperLeftArrow ↖
\scnap ⋩
\nearr ↗
\varpi ϖ
\Cayleys ℭ
\Zfr ℨ
\larrlp ↫
\udblac ű
\Ucy У
\nopf 𝕟
\wedbar ⩟
\csc csc
\Uscr 𝒰
\sol /
\nfr 𝔫
\lrarr ⇆
\race ⧚
\gg ≫
\rsquor ’
\Ifr ℑ
\NJcy Њ
\lneq ≨
\exponentiale ⅇ
\toea ⤨
\laemptyv ⦴
\capcap ⩋
\isinv ∈
\varr ↕
\Otilde Õ
\ltcir ⩹
\cap ∩
\therefore ∴
\malt ✠
\ucy у
\LeftUpTeeVector ⥠
\omega ω
\Assign ≔
\LeftRightVector ⥎
\cong ≅
\pfr 𝔭
\Exists ∃
\loplus ⨭
\Or ⩔
\dcy д
\Topf 𝕋
\rdquor ”
\CirclePlus ⊕
\lrhard ⥭
\Sup ⋑
\nsmid ∤︀
\RightTriangle ⊳
\gesdoto ⪂
\NotSquareSubset ⊏̸
\suphsub ⫗
\sqcups ⊔︀
\eacute é
\exists ∃
\utri ▵
\Sfr 𝔖
\nles ≰
\vprop ∝
\NegativeVeryThinSpace  ︀
\isinE ⋹
\otilde õ