From: Enrico Tassi <enrico.tassi@inria.fr>
Date: Fri, 30 Nov 2007 09:07:40 +0000 (+0000)
Subject: added a way to generate all the utf8 symbols
X-Git-Tag: make_still_working~5750
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=5de5d5d0d43dac0af692d84b004c03bcbe914457;p=helm.git

added a way to generate all the utf8 symbols
---

diff --git a/helm/software/components/syntax_extensions/Makefile b/helm/software/components/syntax_extensions/Makefile
index f274c6a8e..5f0065d2f 100644
--- a/helm/software/components/syntax_extensions/Makefile
+++ b/helm/software/components/syntax_extensions/Makefile
@@ -12,17 +12,17 @@ all: utf8_macros.cma pa_unicode_macro.cma profiling_macros.cma
 
 make_table: make_table.ml
 	@echo "  OCAMLC $<"
-	$(H)$(OCAMLFIND) ocamlc -package $(MAKE_TABLE_PACKAGES) -linkpkg -o $@ $^
+	$(H)$(OCAMLFIND) ocamlc -rectypes -package $(MAKE_TABLE_PACKAGES) -linkpkg -o $@ $^
 
 utf8MacroTable.ml:
-	./make_table $@
+	./make_table $@ $@.txt
 utf8MacroTable.cmo: utf8MacroTable.ml
 	@echo "  OCAMLC $<"
-	$(H)@$(OCAMLFIND) ocamlc -c -rectypes $<
+	$(H)@$(OCAMLFIND) ocamlc -c $<
 
 pa_unicode_macro.cmo: pa_unicode_macro.ml utf8Macro.cmo
 	@echo "  OCAMLC $<"
-	$(H)@$(OCAMLFIND) ocamlc -package camlp5 -rectypes -pp "camlp5o q_MLast.cmo pa_extend.cmo -loc loc" -c $<
+	$(H)@$(OCAMLFIND) ocamlc -rectypes -package camlp5 -pp "camlp5o q_MLast.cmo pa_extend.cmo -loc loc" -c $<
 pa_unicode_macro.cma: utf8MacroTable.cmo utf8Macro.cmo pa_unicode_macro.cmo
 	@echo "  OCAMLC -a $@"
 	$(H)@$(OCAMLFIND) ocamlc -a -o $@ $^
diff --git a/helm/software/components/syntax_extensions/make_table.ml b/helm/software/components/syntax_extensions/make_table.ml
index e8e453df4..59204c6e4 100644
--- a/helm/software/components/syntax_extensions/make_table.ml
+++ b/helm/software/components/syntax_extensions/make_table.ml
@@ -81,14 +81,17 @@ let parse_from_xml () =
 
 let main () =
   let oc = open_out Sys.argv.(1) in
+  let oc_doc = open_out Sys.argv.(2) in
   output_string oc "(* GENERATED by make_table: DO NOT EDIT! *)\n";
+  output_string oc_doc "(* GENERATED by make_table: DO NOT EDIT! *)\n";
   output_string oc "let macro2utf8 = Hashtbl.create 2000\n";
   output_string oc "let utf82macro = Hashtbl.create 2000\n";
   output_string oc "let data = [\n";
   let macro2utf8 = parse_from_xml () in
   Hashtbl.iter
     (fun macro utf8 ->
-      fprintf oc "  \"%s\", \"%s\";\n" macro (String.escaped utf8))
+            fprintf oc "  \"%s\", \"%s\";\n" macro (String.escaped utf8);
+            fprintf oc_doc "\\%s %s\n" macro utf8)
     macro2utf8;
   output_string oc "  ];;\n";
   output_string oc "let _ =\n";
@@ -97,7 +100,8 @@ let main () =
   output_string oc "      Hashtbl.replace macro2utf8 macro utf8;\n";
   output_string oc "      Hashtbl.replace utf82macro utf8 macro)\n";
   output_string oc "    data;;\n";
-  close_out oc
+  close_out oc;
+  close_out oc_doc
 
 let _ = main ()
 
diff --git a/helm/software/components/syntax_extensions/utf8MacroTable.ml.txt b/helm/software/components/syntax_extensions/utf8MacroTable.ml.txt
new file mode 100644
index 000000000..50f62cba9
--- /dev/null
+++ b/helm/software/components/syntax_extensions/utf8MacroTable.ml.txt
@@ -0,0 +1,2131 @@
+(* GENERATED by make_table: DO NOT EDIT! *)
+\nscr 𝓃
+\LJcy Љ
+\dd ⅆ
+\Omacr Ō
+\npreceq ⪯̸
+\Gcirc Ĝ
+\utilde Å©
+\rdca ⤷
+\racute ŕ
+\mstpos ∾
+\supnE ⊋
+\NotLessLess ≪̸︀
+\iiint ∭
+\uscr 𝓊
+\Sfr 𝔖
+\nsupseteqq ⊉
+\nwarrow ↖
+\twoheadrightarrow ↠
+\sccue ≽
+\NotSquareSuperset ⊐̸
+\ee ⅇ
+\boxbox ⧉
+\andand ⩕
+\LeftVectorBar ⥒
+\eg ⪚
+\csc csc
+\NotRightTriangleEqual ⋭
+\filig fi
+\atilde ã
+\ring ˚
+\congdot â©­
+\gE ≧
+\rcedil ŗ
+\el ⪙
+\HorizontalLine ─
+\incare ℅
+\hoarr ⇿
+\SOFTcy Ь
+\conint ∮
+\OverParenthesis ︵
+\Uogon Ų
+\supne ⊋
+\num #
+\zcy з
+\Hfr ℌ
+\dtri ▿
+\FilledSmallSquare ◾
+\SucceedsEqual ≽
+\leftthreetimes ⋋
+\ycirc Å·
+\sqcup ⊔
+\DoubleLeftArrow ⇐
+\gtrless ≷
+\ge ≥
+\Product ∏
+\NotExists ∄
+\gg ≫
+\curlyvee ⋎
+\ntrianglerighteq ⋭
+\Colon ∷
+\rbrke ⦌
+\LeftDownVector ⇃
+\gl ≷
+\lrcorner ⌟
+\mapstodown ↧
+\excl !
+\cdots ⋯
+\larr ←
+\dtdot ⋱
+\kgreen ĸ
+\rtri ▹
+\rbarr ⤍
+\ocy о
+\gt >
+\DownLeftRightVector ⥐
+\cup ∪
+\updownarrow ↕
+\Imacr Ī
+\cross ✗
+\Acirc Â
+\lvertneqq ≨︀
+\ccaps ⩍
+\NotLeftTriangleEqual ⋬
+\IJlig IJ
+\boxplus ⊞
+\epsilon ϵ
+\zfr 𝔷
+\late ⪭
+\ic ​
+\lrhar ⇋
+\gsim ≳
+\inf inf
+\top ⊤
+\odsold ⦼
+\circlearrowright ↻
+\rtimes ⋊
+\ii ⅈ
+\DoubleRightTee ⊨
+\dcy д
+\boxdL ╕
+\duhar ⥯
+\vert |
+\sacute ś
+\in ∈
+\Assign ≔
+\nsim ≁
+\boxdR ╒
+\o ο
+\radic √
+\it ⁢
+\int ∫
+\cwint ∱
+\ForAll ∀
+\simplus ⨤
+\isindot ⋵
+\rightthreetimes ⋌
+\supseteqq ⊇
+\bnot ⌐
+\rppolint ⨒
+\def ≝
+\TScy Ц
+\lE ≦
+\ffilig ffi
+\deg deg
+\{ {
+\RightVector ⇀
+\ofr 𝔬
+\| |
+\liminf liminf
+\} }
+\LeftUpTeeVector ⥠
+\scirc ŝ
+\scedil ş
+\ufisht ⥾
+\LeftUpDownVector ⥑
+\questeq ≟
+\leftarrow ←
+\Ycy Ы
+\Coproduct ∐
+\det det
+\boxdl ┐
+\Aopf 𝔸
+\srarr →︀
+\lbrke ⦋
+\boxdr ┌
+\Ntilde Ñ
+\gnap ⪊
+\Cap ⋒
+\swarhk ⤦
+\ogt ⧁
+\emptyset ∅︀
+\harrw ↭
+\lbarr ⤌
+\Tilde ∼
+\delta δ
+\Hopf ℍ
+\dfr 𝔡
+\le ≤
+\lg lg
+\ohm Ω
+\Jsercy Ј
+\quaternions ℍ
+\DoubleLongLeftArrow 
+\Ncy Н
+\nabla ∇
+\ltcir ⩹
+\ll ≪
+\ln ln
+\rmoust ⎱
+\Oopf 𝕆
+\nbsp  
+\Kcedil Ķ
+\vdots ⋮
+\NotLessTilde ≴
+\lt <
+\djcy ђ
+\DownRightTeeVector ⥟
+\Ograve Ò
+\boxhD ╥
+\nsime ≄
+\egsdot ⪘
+\mDDot ∺
+\bigodot ⊙
+\Vopf 𝕍
+\looparrowright ↬
+\yucy ю
+\trade ™
+\Yfr 𝔜
+\kjcy ќ
+\mp ∓
+\leftrightarrows ⇆
+\uharl ↿
+\ncap ⩃
+\Iogon Ä®
+\NotSubset ⊄
+\Bumpeq ≎
+\mu μ
+\FilledVerySmallSquare 
+\breve ˘
+\boxhU ╨
+\Sigma Σ
+\uharr ↾
+\xrArr 
+\ne ≠
+\oS Ⓢ
+\xodot ⊙
+\ni ∋
+\mdash —
+\Verbar ‖
+\die ¨
+\veebar ⊻
+\UpArrowBar ⤒
+\Ncaron Ň
+\RightArrowBar ⇥
+\LongLeftArrow 
+\rceil ⌉
+\LeftDownVectorBar ⥙
+\umacr Å«
+\Hacek ˇ
+\odblac ő
+\lmidot ŀ
+\dopf 𝕕
+\boxhd ┬
+\dim dim
+\vnsub ⊄
+\Bscr ℬ
+\plussim ⨦
+\doublebarwedge ⌆
+\nu ν
+\eqcolon ≕
+\luruhar ⥦
+\Nfr 𝔑
+\preceq ⪯
+\LeftTee ⊣
+\div ÷
+\nVDash ⊯
+\kopf 𝕜
+\Iscr ℐ
+\vnsup ⊅
+\gneq ≩
+\backepsilon ϶
+\boxhu ┴
+\ominus ⊖
+\or ∨
+\lesdot â©¿
+\RightVectorBar ⥓
+\tcedil ţ
+\hstrok ħ
+\nrarrc ⤳̸
+\ropf 𝕣
+\diamond ⋄
+\smid ∣︀
+\nltri ⋪
+\Pscr 𝒫
+\vartheta ϑ
+\therefore ∴
+\pi π
+\ntrianglelefteq ⋬
+\nearrow ↗
+\pm ±
+\natural ♮
+\ucy у
+\olt ⧀
+\Cfr ℭ
+\yopf 𝕪
+\Otilde Õ
+\ntriangleleft ⋪
+\pr ≺
+\Wscr 𝒲
+\midcir â«°
+\Lacute Ĺ
+\DoubleDot ¨
+\Tstrok Ŧ
+\nrarrw ↝̸
+\uArr ⇑
+\nLtv ≪̸︀
+\rangle 〉
+\olcir ⦾
+\Auml Ä
+\Succeeds ≻
+\DoubleLongLeftRightArrow 
+\TSHcy Ћ
+\gammad Ϝ
+\epsiv ɛ
+\notinva ∉̸
+\notinvb ⋷
+\eqvparsl ⧥
+\notinvc ⋶
+\nsubE ⊈
+\supplus ⫀
+\RightUpDownVector ⥏
+\Tab 	
+\Lcedil Ä»
+\backslash \
+\pointint ⨕
+\jcy й
+\iocy ё
+\escr ℯ
+\submult ⫁
+\iiota ℩
+\lceil ⌈
+\omacr ō
+\gneqq ≩
+\gcirc ĝ
+\dotsquare ⊡
+\ccaron č
+\Square □
+\RightDownTeeVector ⥝
+\Ouml Ö
+\lurdshar ⥊
+\SuchThat ∋
+\setminus ∖
+\lscr ℓ
+\LessLess ⪡
+\Sub ⋐
+\sc ≻
+\rx ℞
+\RightFloor ⌋
+\blacksquare ▪
+\ufr 𝔲
+\block █
+\dots …
+\nvsim ≁̸
+\caret ⁁
+\demptyv ⦱
+\Sum ∑
+\sscr 𝓈
+\nsube ⊈
+\Sup ⋑
+\ccupssm ⩐
+\Because ∵
+\harrcir ⥈
+\capbrcup ⩉
+\RightUpVectorBar ⥔
+\caps ∩︀
+\ohbar ⦵
+\laemptyv ⦴
+\uacute ú
+\straightphi φ
+\RightDoubleBracket 〛
+\zscr 𝓏
+\uogon ų
+\Uarr ↟
+\nsucc ⊁
+\RBarr ⤐
+\NotRightTriangleBar ⧐̸
+\to →
+\rpar )
+\rdsh ↳
+\jfr 𝔧
+\ldquor „
+\bsime ⋍
+\lAtail ⤛
+\Hcirc Ĥ
+\aacute á
+\dot ˙
+\Tcy Т
+\nsub ⊄
+\kappa κ
+\ovbar ⌽
+\shcy ш
+\kappav Ï°
+\ropar 〙
+\gtcc ⪧
+\ecolon ≕
+\circledast ⊛
+\colon :
+\timesbar ⨱
+\precnsim ⋨
+\ord ⩝
+\real ℜ
+\nexists ∄
+\nsup ⊅
+\zhcy ж
+\imacr Ä«
+\egrave è
+\acirc â
+\grave `
+\biguplus ⊎
+\HumpEqual ≏
+\GreaterSlantEqual ⩾
+\capand ⩄
+\yuml ÿ
+\orv ⩛
+\Icy И
+\rightharpoondown ⇁
+\upsilon υ
+\preccurlyeq ≼
+\ShortUpArrow ⌃︀
+\searhk ⤥
+\commat @
+\Sqrt √
+\wp ℘
+\succnapprox ⋩
+\wr ≀
+\NotTildeTilde ≉
+\dcaron ď
+\Tfr 𝔗
+\bigwedge ⋀
+\DScy Ѕ
+\nrtrie ⋭
+\esim ≂
+\Not ⫬
+\xmap 
+\rect ▭
+\Fouriertrf ℱ
+\xi ξ
+\NotTilde ≁
+\gbreve ğ
+\par ∥
+\ddots ⋱
+\nhArr ⇎
+\lsim ≲
+\RightCeiling ⌉
+\nedot ≠︀
+\thksim ∼︀
+\lEg ⋚
+\Ifr ℑ
+\emsp  
+\lopar 〘
+\iiiint ⨌
+\straightepsilon ε
+\intlarhk ⨗
+\image ℑ
+\sqsubseteq ⊑
+\lnapprox ⪉
+\Leftrightarrow ⇔
+\cemptyv ⦲
+\alpha α
+\uml ¨
+\barwedge ⊼
+\KHcy Х
+\tilde ˜
+\Superset ⊃
+\gesles ⪔
+\bigoplus ⊕
+\boxuL ╛
+\rbbrk 〕
+\nrightarrow ↛
+\hkswarow ⤦
+\DiacriticalDoubleAcute ˝
+\nbumpe ≏̸
+\uhblk ▀
+\NotSupersetEqual ⊉
+\ntgl ≹
+\Fopf 𝔽
+\boxuR ╘
+\swarr ↙
+\nsqsube ⋢
+\pluscir ⨢
+\pcy п
+\leqslant ⩽
+\lnap ⪉
+\lthree ⋋
+\smte ⪬
+\olcross ⦻
+\nvrArr ⇏
+\andslope ⩘
+\MediumSpace  
+\boxvH ╪
+\Nacute Ń
+\nGtv ≫̸︀
+\Mopf 𝕄
+\dfisht ⥿
+\boxvL ╡
+\pertenk ‱
+\NotPrecedes ⊀
+\profalar ⌮
+\roplus ⨮
+\boxvR ╞
+\utrif ▴
+\uHar ⥣
+\nltrie ⋬
+\NotNestedGreaterGreater ⒢̸
+\smtes ⪬︀
+\LeftAngleBracket 〈
+\iogon į
+\ExponentialE ⅇ
+\Topf 𝕋
+\GreaterEqual ≥
+\DownTee ⊤
+\boxul ┘
+\wreath ≀
+\sigma σ
+\ENG Ŋ
+\Ncedil Ņ
+\ecy э
+\nsubset ⊄
+\LessFullEqual ≦
+\bsolb ⧅
+\boxur └
+\ThinSpace  
+\supdsub ⫘
+\colone ≔
+\curren ¤
+\boxvh ┼
+\ecaron ě
+\UnderBrace ︸
+\caron ˇ
+\ultri ◸
+\boxvl ┤
+\scap ≿
+\boxvr ├
+\bopf 𝕓
+\pfr 𝔭
+\nspar ∦︀
+\NegativeMediumSpace  ︀
+\simgE ⪠
+\nvDash ⊭
+\NotGreaterFullEqual ≰
+\uparrow ↑
+\nsupset ⊅
+\simeq ≃
+\Zcy З
+\RightTriangle ⊳
+\Lang 《
+\Ucirc Û
+\iopf 𝕚
+\leftrightsquigarrow ↭
+\Gscr 𝒢
+\lfloor ⌊
+\lbbrk 〔
+\bigvee ⋁
+\ordf ª
+\rsquo ’
+\parallel ∥
+\half ½
+\supseteq ⊇
+\ngeqq ≱
+\popf 𝕡
+\NonBreakingSpace  
+\softcy ь
+\ordm º
+\Nscr 𝒩
+\owns ∋
+\phi ϕ
+\efr 𝔢
+\nesear ⤨
+\marker ▮
+\lneq ≨
+\parallet ????
+\ndash –
+\DoubleLeftTee ⫤
+\lArr ⇐
+\becaus ∵
+\RightTee ⊢
+\Ocy О
+\ntlg ≸
+\cacute ć
+\wopf 𝕨
+\Cup ⋓
+\Uscr 𝒰
+\NotHumpEqual ≏̸
+\rnmid â«®
+\nsupE ⊉
+\bemptyv ⦰
+\lsqb [
+\nrarr ↛
+\egs ⋝
+\reals ℝ
+\CupCap ≍
+\Oacute Ó
+\Zfr ℨ
+\ReverseEquilibrium ⇋
+\ccedil ç
+\bigtriangleup △
+\piv ϖ
+\cirscir ⧂
+\exists ∃
+\Uarrocir ⥉
+\Dcy Д
+\cscr 𝒸
+\zcaron ž
+\isinE ⋹
+\gtcir ⩺
+\hookrightarrow ↪
+\Int ∬
+\nsupe ⊉
+\dotplus ∔
+\ncup ⩂
+\jscr 𝒿
+\angmsdaa ⦨
+\Iukcy І
+\flat ♭
+\bNot â«­
+\angmsdab ⦩
+\angmsdac ⦪
+\xdtri ▽
+\iota ι
+\angmsdad ⦫
+\angmsdae ⦬
+\rightarrowtail ↣
+\angmsdaf ⦭
+\Ocirc Ô
+\angmsdag ⦮
+\Ofr 𝔒
+\maltese ✠
+\angmsdah ⦯
+\Del ∇
+\Barwed ⌆
+\drbkarow ⤐
+\qscr 𝓆
+\ETH Ð
+\operp ⦹
+\daleth ℸ
+\bull •
+\simlE ⪟
+\lsquo ‘
+\Larr ↞
+\curarr ↷
+\blacktriangleleft ◂
+\hellip …
+\DoubleVerticalBar ∥
+\rBarr ⤏
+\chcy ч
+\varpi ϖ
+\Cconint ∰
+\xlarr 
+\xscr 𝓍
+\DoubleLongRightArrow 
+\CounterClockwiseContourIntegral ∳
+\urcrop ⌎
+\RightAngleBracket 〉
+\Rcaron Ř
+\latail ⤙
+\pitchfork ⋔
+\nvinfin ⧞
+\hcirc ĥ
+\nexist ∄
+\checkmark ✓
+\tridot ◬
+\vcy в
+\isins ⋴
+\fllig fl
+\Dfr 𝔇
+\hercon ⊹
+\gEl ⋛
+\bump ≎
+\aleph ℵ
+\Ubreve Ŭ
+\isinv ∈
+\smile ⌣
+\llcorner ⌞
+\boxH ═
+\ecir ≖
+\varnothing ∅
+\iuml ï
+\mlcp ⫛
+\leftrightharpoons ⇋
+\ncong ≇
+\Vert ‖
+\vee ∨
+\star ⋆
+\boxV ║
+\LeftRightArrow ↔
+\leftrightarrow ↔
+\lstrok ł
+\ell ℓ
+\VerticalSeparator ❘
+\Ubrcy Ў
+\NotGreater ≯
+\Abreve Ă
+\TildeTilde ≈
+\CircleTimes ⊗
+\subsetneq ⊊
+\ltcc ⪦
+\els ⋜
+\succneqq ⪶
+\kcy к
+\nshortmid ∤︀
+\mldr …
+\harr ↔
+\gimel ℷ
+\Otimes ⨷
+\vsubnE ⊊︀
+\ltdot ⋖
+\boxh ─
+\notin ∉
+\RuleDelayed ⧴
+\sqsube ⊑
+\macr ¯
+\Icirc Î
+\comma ,
+\Cayleys ℭ
+\rightleftharpoons ⇌
+\Rarrtl ⤖
+\SquareSubsetEqual ⊑
+\NotGreaterEqual ≱⃥
+\vfr 𝔳
+\utri ▵
+\simne ≆
+\LeftUpVectorBar ⥘
+\hksearow ⤥
+\boxv │
+\curvearrowleft ↶
+\eng ŋ
+\gtrarr ⥸
+\iecy е
+\varr ↕
+\lBarr ⤎
+\ker ker
+\imath ı
+\Dstrok Đ
+\rlarr ⇄
+\leftleftarrows ⇇
+\DifferentialD ⅆ
+\because ∵
+\ulcrop ⌏
+\prE ⪯
+\oast ⊛
+\DotEqual ≐
+\vsubne ⊊︀
+\hbar ℏ︀
+\subset ⊂
+\UpTeeArrow ↥
+\LeftFloor ⌊
+\kfr 𝔨
+\nisd ⋺
+\scnE ⪶
+\Ucy У
+\nprec ⊀
+\ltrPar ⦖
+\Scaron Å 
+\InvisibleComma ​
+\SquareUnion ⊔
+\ffllig ffl
+\approxeq ≊
+\yacute ý
+\pre ⪯
+\nsqsupe ⋣
+\supset ⊃
+\bsolhsub \⊂
+\nshortparallel ∦︀
+\lozenge ◊
+\lnot ¬
+\Dopf 𝔻
+\leftharpoonup ↼
+\Jcy Й
+\rightarrow →
+\ntriangleright ⋫
+\Ccirc Ĉ
+\eacute é
+\acute ´
+\Precedes ≺
+\middot ·
+\lHar ⥢
+\eparsl ⧣
+\psi ψ
+\parsl ∥︀
+\UpperLeftArrow ↖
+\oror ⩖
+\Kopf 𝕂
+\apacir ⩯
+\dharl ⇃
+\nequiv ≢
+\rightleftarrows ⇄
+\UnderParenthesis ︶
+\notni ∌
+\dagger †
+\dharr ⇂
+\twoheadleftarrow ↞
+\frac12 ½
+\varsubsetneqq ⊊︀
+\frac13 ⅓
+\Ufr 𝔘
+\NestedLessLess ≪
+\llarr ⇇
+\frac14 ¼
+\frac15 ⅕
+\Ropf ℝ
+\frac16 ⅙
+\lrtri ⊿
+\frac18 ⅛
+\cedil ¸
+\subsim ⫇
+\PrecedesTilde ≾
+\igrave ì
+\gjcy ѓ
+\LeftVector ↼
+\notniva ∌
+\notnivb ⋾
+\ogon ˛
+\notnivc ⋽
+\Yopf 𝕐
+\there4 ∴
+\udarr ⇅
+\bkarow ⤍
+\frac23 ⅔
+\frac25 ⅖
+\njcy њ
+\Dashv ⫤
+\eta η
+\bcong ≌
+\Ugrave Ù
+\csube ⫑
+\clubs ♣
+\supmult ⫂
+\MinusPlus ∓
+\Jfr 𝔍
+\ensp  
+\ucirc û
+\supsim ⫈
+\eth ð
+\OverBrace ︷
+\Dot ¨
+\xcap ⋂
+\vangrt ⊾
+\NotSubsetEqual ⊈
+\frac34 ¾
+\frac35 ⅗
+\planck ℏ︀
+\lnsim ⋦
+\gopf 𝕘
+\frac38 ⅜
+\DotDot ⃜
+\mapstoup ↥
+\Escr ℰ
+\Integral ∫
+\Agrave À
+\longleftarrow ????;
+\Tcaron Ť
+\nopf 𝕟
+\LongLeftRightArrow 
+\Emacr Ē
+\omid ⦶
+\spades ♠
+\naturals ℕ
+\Lscr ℒ
+\udblac ű
+\SucceedsTilde ≿
+\frac45 ⅘
+\clubsuit ♣
+\mumap ⊸
+\vltri ⊲
+\LeftArrowBar ⇤
+\zacute ź
+\szlig ß
+\suplarr ⥻
+\RightDownVector ⇂
+\male ♂
+\RightDownVectorBar ⥕
+\gdot Ä¡
+\nleqq ≰
+\uopf 𝕦
+\YIcy Ї
+\Sscr 𝒮
+\empty ∅︀
+\Vdash ⊩
+\sqsubset ⊏
+\efDot ≒
+\times ×
+\Oslash Ø
+\itilde Ä©
+\frac56 ⅚
+\numero №
+\malt ✠
+\npart ∂̸
+\frac58 ⅝
+\Zscr 𝒵
+\integers ℤ
+\CloseCurlyQuote ’
+\NewLine 
+
+\fcy ф
+\nwarr ↖
+\thicksim ∼︀
+\nprcue ⋠
+\lcub {
+\forall ∀
+\plusacir ⨣
+\ascr 𝒶
+\plustwo ⨧
+\Utilde Ũ
+\lambda λ
+\odash ⊝
+\iukcy і
+\sqsupset ⊐
+\Racute Ŕ
+\Longleftarrow ????
+\capcap ⩋
+\ocirc ô
+\nless ≮
+\Wedge ⋀
+\qfr 𝔮
+\natur ♮
+\hscr 𝒽
+\ldca ⤶
+\ClockwiseContourIntegral ∲
+\exp exp
+\RightTeeArrow ↦
+\orarr ↻
+\tanh tanh
+\frac78 ⅞
+\Atilde Ã
+\arcsin arcsin
+\Rcedil Ŗ
+\oscr ℴ
+\InvisibleTimes ⁢
+\sime ≃
+\simg ⪞
+\Conint ∯
+\Yuml Ÿ
+\rlhar ⇌
+\rarrbfs ⤠
+\siml ⪝
+\DownRightVectorBar ⥗
+\vscr 𝓋
+\divide ÷
+\PlusMinus ±
+\ffr 𝔣
+\DownLeftTeeVector ⥞
+\EmptySmallSquare ◽
+\SHCHcy Щ
+\cirmid ⫯
+\sigmav ς
+\csub ⫏
+\npar ∦
+\bsemi ⁏
+\swArr ⇙
+\Pcy П
+\sinh sinh
+\lharul ⥪
+\Jukcy Є
+\permil ‰
+\ndivides ∤
+\Aring Å
+\longmapsto ????
+\Esim ⩳
+\csup ⫐
+\trie ≜
+\ubrcy ў
+\NotEqualTilde ≂̸
+\dotminus ∸
+\diamondsuit ♢
+\xnis ⋻
+\Eogon Ę
+\cuvee ⋎
+\DZcy Џ
+\nRightarrow ⇏
+\sqsupe ⊒
+\nsccue ⋡
+\drcrop ⌌
+\DownBreve ̑
+\Ecy Э
+\rdquor ”
+\rAtail ⤜
+\icirc î
+\gacute ǵ
+\hyphen ‐
+\uuml ü
+\thorn þ
+\ltri ◃
+\eqslantgtr ⋝
+\DoubleContourIntegral ∯
+\lescc ⪨
+\DiacriticalGrave `
+\NotPrecedesEqual ⪯̸
+\RightArrow →
+\race ⧚
+\topbot ⌶
+\Pfr 𝔓
+\napprox ≉
+\Sacute Ś
+\cupor ⩅
+\OverBar ¯
+\bepsi ϶
+\plankv ℏ
+\lap ≲
+\orslope ⩗
+\beta β
+\ShortDownArrow ⌄︀
+\perp ⊥
+\lat ⪫
+\CenterDot ·
+\urcorner ⌝
+\models ⊧
+\beth ℶ
+\subE ⊆
+\subnE ⊊
+\ldots …
+\yacy я
+\udhar ⥮
+\Scedil Ş
+\subsub ⫕
+\nvrtrie ⋭̸
+\Phi Φ
+\Efr 𝔈
+\larrfs ⤝
+\angle ∠
+\TildeFullEqual ≅
+\Jcirc Ä´
+\THORN Þ
+\acE ⧛
+\Longleftrightarrow ????
+\xuplus ⊎
+\searr ↘
+\gvertneqq ≩︀
+\subsup ⫓
+\NotSucceedsEqual ⪰̸
+\gtrsim ≳
+\nrArr ⇏
+\NotSquareSupersetEqual ⋣
+\notindot ⋶︀
+\HARDcy Ъ
+\jmath j︀
+\aelig æ
+\slarr ←︀
+\dlcrop ⌍
+\sube ⊆
+\cuepr ⋞
+\supsub ⫔
+\trianglelefteq ⊴
+\subne ⊊
+\between ≬
+\measuredangle ∡
+\swnwar ⤪
+\lcy л
+\ccirc ĉ
+\larrhk ↩
+\DiacriticalTilde ˜
+\brvbar ¦
+\triangledown ▿
+\dtrif ▾
+\Bopf 𝔹
+\xwedge ⋀
+\rightsquigarrow ↝
+\acd ∿
+\supsup ⫖
+\UpEquilibrium ⥮
+\succ ≻
+\eqslantless ⋜
+\coprod ∐
+\OpenCurlyDoubleQuote “
+\NotGreaterSlantEqual ≱
+\solb ⧄
+\HumpDownHump ≎
+\gtrapprox ≳
+\Iopf 𝕀
+\leg ⋚
+\wfr 𝔴
+\mapstoleft ↤
+\gnapprox ⪊
+\lgE ⪑
+\CloseCurlyDoubleQuote ”
+\NotNestedLessLess ⒡̸
+\acy а
+\leq ≤
+\Popf ℙ
+\les ⩽
+\succcurlyeq ≽
+\heartsuit ♡
+\angmsd ∡
+\cuesc ⋟
+\lesseqgtr ⋚
+\vartriangleright ⊳
+\csupe ⫒
+\rthree ⋌
+\Idot Ä°
+\gtdot ⋗
+\dashv ⊣
+\Odblac Ő
+\Lmidot Ä¿
+\andd ⩜
+\Wopf 𝕎
+\nvltrie ⋬̸
+\nhpar ⫲
+\geqslant ⩾
+\xlArr 
+\SquareSubset ⊏
+\intcal ⊺
+\ljcy љ
+\lfr 𝔩
+\gtlPar ⦕
+\zigrarr ⇝
+\nvap ≉̸
+\boxtimes ⊠
+\raquo »
+\CircleMinus ⊖
+\centerdot ·
+\xoplus ⊕
+\simdot ⩪
+\Vcy В
+\profline ⌒
+\ltquest â©»
+\andv ⩚
+\lessgtr ≶
+\lesdoto ⪁
+\NotSquareSubset ⊏̸
+\bullet •
+\rarrsim ⥴
+\Tcedil Ţ
+\Hstrok Ħ
+\eopf 𝕖
+\Theta Θ
+\Cscr 𝒞
+\emacr ē
+\UnionPlus ⊎
+\Vee ⋁
+\arctan arctan
+\afr 𝔞
+\thinsp  
+\bottom ⊥
+\lopf 𝕝
+\larrlp ↫
+\lbrace {
+\Jscr 𝒥
+\Kcy К
+\shortparallel ∥︀
+\hairsp  
+\osol ⊘
+\lbrack [
+\hArr ⇔
+\vdash ⊢
+\UpDownArrow ↕
+\edot ė
+\vzigzag ⦚
+\sopf 𝕤
+\NotLessGreater ≸
+\Qscr 𝒬
+\Gammad Ϝ
+\SubsetEqual ⊆
+\uplus ⊎
+\LeftTriangle ⊲
+\ange ⦤
+\lim lim
+\triangleright ▹
+\angrt ∟
+\rfloor ⌋
+\bigtriangledown ▽
+\ofcir ⦿
+\Vfr 𝔙
+\zopf 𝕫
+\UpArrowDownArrow ⇅
+\Xscr 𝒳
+\digamma Ϝ
+\SmallCircle ∘
+\vArr ⇕
+\eqsim ≂
+\downharpoonright ⇂
+\Ccaron Č
+\sdot ⋅
+\frown ⌢
+\angst Å
+\lesges ⪓
+\iacute í
+\wedge ∧
+\ssetmn ∖︀
+\rotimes ⨵
+\laquo «
+\bigstar ★
+\Rrightarrow ⇛
+\erDot ≓
+\subseteq ⊆
+\leftharpoondown ↽
+\infin ∞
+\zdot ż
+\solbar ⌿
+\Iuml Ï
+\Kfr 𝔎
+\fscr 𝒻
+\DJcy Ђ
+\veeeq ≚
+\Star ⋆
+\lsquor ‚
+\Uacute Ú
+\weierp ℘
+\rang 〉
+\hamilt ℋ
+\angsph ∢
+\YUcy Ю
+\Wcirc Å´
+\supsetneq ⊋
+\gap ≳
+\mscr 𝓂
+\KJcy Ќ
+\qprime ⁗
+\EqualTilde ≂
+\vBar ⫨
+\larrpl ⤹
+\nvge ≱
+\approx ≈
+\lnE ≨
+\NotGreaterLess ≹
+\epar ⋕
+\bigotimes ⊗
+\xharr 
+\roang 
+\xcup ⋃
+\tscr 𝓉
+\thkap ≈︀
+\Aacute Á
+\rcy р
+\jukcy є
+\hookleftarrow ↩
+\napid ≋̸
+\tscy ц
+\nvgt ≯
+\lpar (
+\ldsh ↲
+\aring å
+\nGg ⋙̸
+\LessEqualGreater ⋚
+\gcd gcd
+\oplus ⊕
+\lcaron ľ
+\DownArrow ↓
+\xutri △
+\Psi Ψ
+\lesssim ≲
+\topcir ⫱
+\puncsp  
+\origof ⊶
+\gnsim ⋧
+\eogon ę
+\spar ∥︀
+\LowerRightArrow ↘
+\Lleftarrow ⇚
+\nGt ≫̸
+\euml ë
+\reg ®
+\exponentiale ⅇ
+\qint ⨌
+\sqcups ⊔︀
+\lne ≨
+\LessSlantEqual ⩽
+\Egrave È
+\orderof ℴ
+\cirE ⧃
+\nleqslant ≰
+\gcy г
+\curvearrowright ↷
+\ratail ↣
+\emsp13  
+\sdotb ⊡
+\horbar ―
+\emsp14  
+\npre ⪯̸
+\rbrksld ⦎
+\sdote ⩦
+\varsupsetneqq ⊋︀
+\VeryThinSpace  
+\DownArrowBar ⤓
+\Rightarrow ⇒
+\ocir ⊚
+\NotHumpDownHump ≎̸
+\darr ↓
+\geqq ≧
+\sup1 ¹
+\log log
+\sup2 ²
+\micro µ
+\amp &
+\arccos arccos
+\sup3 ³
+\GreaterTilde ≳
+\circeq ≗
+\rfr 𝔯
+\dash ‐
+\rbrkslu ⦐
+\Dcaron Ď
+\and ∧
+\Vbar â««
+\angzarr ⍼
+\gel ⋛
+\ang ∠
+\lor ∨
+\circ ∘
+\upharpoonright ↾
+\dblac ˝
+\subsetneqq ⊊
+\rhard ⇁
+\Intersection ⋂
+\cire ≗
+\apE ≊
+\sung ♪
+\geq ≥
+\succsim ≿
+\ges ⩾
+\Gbreve Ğ
+\intercal ⊺
+\supE ⊇
+\NotCupCap ≭
+\loz ◊
+\capcup ⩇
+\larrtl ↢
+\AElig Æ
+\rarr →
+\varkappa Ï°
+\upsi υ
+\loang 
+\looparrowleft ↫
+\IOcy Ё
+\backprime ‵
+\sstarf ⋆
+\rharu ⇀
+\gesl ⋛︀
+\xotime ⊗
+\minus −
+\gvnE ≩︀
+\gfr 𝔤
+\lfisht ⥼
+\jcirc ĵ
+\roarr ⇾
+\rho ρ
+\nvle ≰
+\sect §
+\ggg ⋙
+\plusb ⊞
+\NotTildeFullEqual ≇
+\NegativeVeryThinSpace  ︀
+\ape ≊
+\pluse ⩲
+\dollar $
+\divonx ⋇
+\partial ∂
+\DoubleLeftRightArrow ⇔
+\varepsilon ε
+\supe ⊇
+\nvlt ≮
+\angrtvb ⦝︀
+\gets ←
+\nparallel ∦
+\varphi φ
+\nsupseteq ⊉
+\circledR ®
+\circledS Ⓢ
+\primes ℙ
+\cuwed ⋏
+\cupcap ⩆
+\nLl ⋘̸
+\lozf ⧫
+\ShortLeftArrow ←︀
+\nLt ≪̸
+\lesdotor ⪃
+\Fcy Ф
+\scnsim ⋩
+\VerticalLine |
+\nwArr ⇖
+\LeftTeeArrow ↤
+\iprod ⨼
+\lsh ↰
+\Congruent ≡
+\NotLeftTriangle ⋪
+\rdldhar ⥩
+\varpropto ∝
+\nvlArr ⇍
+\arg arg
+\lhard ↽
+\surd ????
+\napos ʼn
+\lparlt ⦓
+\hslash ℏ
+\Gopf 𝔾
+\SHcy Ш
+\triangle ▵
+\Qfr 𝔔
+\DiacriticalAcute ´
+\tbrk ⎴
+\Implies ⇒
+\comp ∁
+\ddarr ⇊
+\Colone â©´
+\smashp ⨳
+\ccups ⩌
+\triangleq ≜
+\NotSquareSubsetEqual ⋢
+\Nopf ℕ
+\ZHcy Ж
+\map ↦
+\lharu ↼
+\glE ⪒
+\cong ≅
+\Ecaron Ě
+\Uring Å®
+\blacktriangleright ▸
+\ntilde ñ
+\max max
+\loarr ⇽
+\LeftArrow ←
+\Gdot Ä 
+\Uopf 𝕌
+\bigsqcup ⊔
+\wedgeq ≙
+\RoundImplies ⥰
+\prap ≾
+\gescc ⪩
+\realine ℛ
+\ast *
+\subedot ⫃
+\LeftTeeVector ⥚
+\female ♀
+\circlearrowleft ↺
+\Ffr 𝔉
+\VDash ⊫
+\jsercy ј
+\Proportional ∝
+\OverBracket ⎴
+\gla ⪥
+\NotElement ∉
+\theta θ
+\kcedil Ä·
+\smeparsl ⧤
+\rarrb ⇥
+\rarrc ⤳
+\ograve ò
+\glj ⪤
+\infty ∞
+\gnE ≩
+\copf 𝕔
+\LeftArrowRightArrow ⇆
+\cwconint ∲
+\Ascr 𝒜
+\NegativeThinSpace  ︀
+\varsubsetneq ⊊︀
+\trisb ⧍
+\rightharpoonup ⇀
+\imagline ℐ
+\mcy м
+\Cacute Ć
+\bumpeq ≏
+\jopf 𝕛
+\shchcy щ
+\rarrw ↝
+\uuarr ⇈
+\doteq ≐
+\cudarrl ⤸
+\varsigma ς
+\Hscr ℋ
+\DownArrowUpArrow ⇵
+\Ecirc Ê
+\DD ⅅ
+\copy ©
+\SquareIntersection ⊓
+\RightUpVector ↾
+\NotSucceedsSlantEqual ⋡
+\cudarrr ⤵
+\verbar |
+\ncaron ň
+\prurel ⊰
+\nearr ↗
+\cdot ċ
+\qopf 𝕢
+\SucceedsSlantEqual ≽
+\Oscr 𝒪
+\xfr 𝔵
+\gne ≩
+\Ccedil Ç
+\nlarr ↚
+\inodot ı
+\prec ≺
+\percnt %
+\Exists ∃
+\bcy б
+\xopf 𝕩
+\nsimeq ≄
+\nrtri ⋫
+\barvee ⊽
+\Vscr 𝒱
+\Zcaron Ž
+\ReverseElement ∋
+\npolint ⨔
+\NotGreaterTilde ≵
+\lmoustache ⎰
+\forkv ⫙
+\rmoustache ⎱
+\DownLeftVectorBar ⥖
+\cosh cosh
+\mfr 𝔪
+\LessGreater ≶
+\zeetrf ℨ
+\DiacriticalDot ˙
+\Poincareplane ℌ
+\curlyeqsucc ⋟
+\Equal ⩵
+\divides ∣
+\scpolint ⨓
+\ngsim ≵
+\larrbfs ⤟
+\HilbertSpace ℋ
+\otilde õ
+\larrb ⇤
+\wcirc ŵ
+\dscr 𝒹
+\phmmat ℳ
+\lacute ĺ
+\tstrok ŧ
+\NotDoubleVerticalBar ∦
+\lagran ℒ
+\NotRightTriangle ⋫
+\dscy ѕ
+\rightrightarrows ⇉
+\seArr ⇘
+\RightTriangleBar ⧐
+\coth coth
+\swarrow ↙
+\semi ;
+\kscr 𝓀
+\NotLessEqual ≰⃥
+\cularr ↶
+\blacklozenge ⧫
+\realpart ℜ
+\LeftTriangleEqual ⊴
+\bfr 𝔟
+\Uuml Ü
+\longleftrightarrow ????
+\lcedil ļ
+\complement ∁
+\rscr 𝓇
+\mho ℧
+\mcomma ⨩
+\wedbar ⩟
+\NotVerticalBar ∤
+\Lcy Л
+\tprime ‴
+\precneqq ⪵
+\Downarrow ⇓
+\rsh ↱
+\mid ∣
+\blank ␣
+\square □
+\squarf ▪
+\fflig ff
+\downdownarrows ⇊
+\yscr 𝓎
+\subdot ⪽
+\ShortRightArrow →︀
+\NotCongruent ≢
+\Gg ⋙
+\Lstrok Ł
+\min max
+\Laplacetrf ℒ
+\rarrap ⥵
+\NotLessSlantEqual ≰
+\DoubleRightArrow ⇒
+\Wfr 𝔚
+\subrarr ⥹
+\numsp  
+\khcy х
+\oint ∮
+\vprop ∝
+\hardcy ъ
+\boxminus ⊟
+\GreaterLess ≷
+\thetav ϑ
+\scE ≾
+\Gt ≫
+\Acy А
+\backcong ≌
+\gtquest ⩼
+\awint ⨑
+\profsurf ⌓
+\capdot ⩀
+\supdot ⪾
+\oelig œ
+\doteqdot ≑
+\rharul ⥬
+\cylcty ⌭
+\epsi ε
+\eqcirc ≖
+\nLeftarrow ⇍
+\rtrie ⊵
+\para ¶
+\Lfr 𝔏
+\rtrif ▸
+\NotReverseElement ∌
+\emptyv ∅
+\nldr ‥
+\leqq ≦
+\CapitalDifferentialD ⅅ
+\supsetneqq ⊋
+\boxDL ╗
+\Im ℑ
+\sce ≽
+\prsim ≾
+\diams ♦
+\gtreqqless ⋛
+\boxDR ╔
+\vartriangleleft ⊲
+\SupersetEqual ⊇
+\Omega Ω
+\nsubseteqq ⊈
+\Subset ⋐
+\ncongdot ⩭̸
+\minusb ⊟
+\ltimes ⋉
+\seswar ⤩
+\part ∂
+\bumpE ⪮
+\minusd ∸
+\Amacr Ā
+\nleq ≰
+\nles ≰
+\NotLess ≮
+\scy с
+\iinfin ⧜
+\Afr 𝔄
+\isinsv ⋳
+\prnE ⪵
+\lesg ⋚︀
+\cups ∪︀
+\thickapprox ≈︀
+\RightTeeVector ⥛
+\LowerLeftArrow ↙
+\utdot ⋰
+\homtht ∻
+\ddotseq â©·
+\bowtie ⋈
+\succnsim ⋩
+\boxDl ╖
+\quot "
+\lvnE ≨︀
+\CircleDot ⊙
+\lsime ⪍
+\Yacute Ý
+\esdot ≐
+\Supset ⋑
+\lsimg ⪏
+\eDot ≑
+\sec sec
+\boxDr ╓
+\plus +
+\ddagger ‡
+\Vdashl ⫦
+\equest ≟
+\quest ?
+\divideontimes ⋇
+\nsmid ∤︀
+\fnof ƒ
+\bumpe ≏
+\lhblk ▄
+\prnap ⋨
+\compfn ∘
+\nsucceq ⪰̸
+\RightArrowLeftArrow ⇄
+\sharp ♯
+\CHcy Ч
+\dwangle ⦦
+\angrtvbd ⦝
+\period .
+\phone ☎
+\Eacute É
+\dzigrarr 
+\Ll ⋘
+\succapprox ≿
+\rarrfs ⤞
+\dbkarow ⤏
+\zeta ζ
+\Lt ≪
+\triminus ⨺
+\odiv ⨸
+\ltrie ⊴
+\Dagger ‡
+\ltrif ◂
+\boxHD ╦
+\timesb ⊠
+\check ✓
+\urcorn ⌝
+\timesd ⨰
+\tshcy ћ
+\sfr 𝔰
+\lmoust ⎰
+\ruluhar ⥨
+\bne =⃥
+\prod ∏
+\Eopf 𝔼
+\scsim ≿
+\GreaterEqualLess ⋛
+\Igrave Ì
+\Longrightarrow ⇒
+\bigcap ⋂
+\boxHU ╩
+\uring ů
+\equivDD ⩸
+\prop ∝
+\Lopf 𝕃
+\ldrushar ⥋
+\rarrhk ↪
+\Leftarrow ⇐
+\lltri ◺
+\NestedGreaterGreater ≫
+\GreaterFullEqual ≧
+\robrk 〛
+\larrsim ⥳
+\boxHd ╤
+\vDash ⊨
+\hfr 𝔥
+\Edot Ė
+\Vvdash ⊪
+\Sopf 𝕊
+\upuparrows ⇈
+\RightUpTeeVector ⥜
+\DownLeftVector ↽
+\xhArr 
+\triplus ⨹
+\bot ⊥
+\Rcy Р
+\eDDot â©·
+\subseteqq ⊆
+\cirfnint ⨐
+\spadesuit ♠
+\nacute ń
+\Zopf ℤ
+\upharpoonleft ↿
+\shy ­
+\nparsl ∥︀⃥
+\boxHu ╧
+\ThickSpace    
+\Or ⩔
+\raemptyv ⦳
+\Aogon Ą
+\IEcy Е
+\sim ∼
+\sin sin
+\copysr ℗
+\scnap ⋩
+\rdquo ”
+\aopf 𝕒
+\Pi Π
+\Udblac Å°
+\expectation ℰ
+\Zacute Ź
+\urtri ◹
+\NotTildeEqual ≄
+\ncedil ņ
+\Gamma Γ
+\ecirc ê
+\dsol ⧶
+\Gcy Г
+\Pr Pr
+\Zdot Å»
+\mnplus ∓
+\hopf 𝕙
+\blacktriangledown ▾
+\LeftCeiling ⌈
+\ulcorn ⌜
+\searrow ↘
+\GreaterGreater ⪢
+\Fscr ℱ
+\cupcup ⩊
+\NotEqual ≠
+\sext ✶
+\CirclePlus ⊕
+\erarr ⥱
+\dArr ⇓
+\PrecedesSlantEqual ≼
+\Itilde Ĩ
+\gesdoto ⪂
+\Rang 》
+\nwarhk ⤣
+\minusdu ⨪
+\oopf 𝕠
+\Mscr ℳ
+\Rfr ℜ
+\langle 〈
+\And ⩓
+\bprime ‵
+\nLeftrightarrow ⇎
+\Re ℜ
+\OpenCurlyQuote ‘
+\vopf 𝕧
+\ulcorner ⌜
+\nap ≉
+\Tscr 𝒯
+\gtreqless ⋛
+\rarrlp ↬
+\Lambda Λ
+\lobrk 〚
+\rbrace }
+\rArr ⇒
+\coloneq ≔
+\UpArrow ↑
+\odot ⊙
+\LeftDownTeeVector ⥡
+\complexes ℂ
+\rbrack ]
+\DownTeeArrow ↧
+\sqcap ⊓
+\Sc ⪼
+\ycy ы
+\Prime ″
+\Gfr 𝔊
+\trianglerighteq ⊵
+\rangd ⦒
+\gtrdot ⋗
+\range ⦥
+\rsqb ]
+\Euml Ë
+\Therefore ∴
+\nesim ≂̸
+\order ℴ
+\vsupnE ⊋︀
+\awconint ∳
+\bscr 𝒷
+\lesseqqgtr ⋚
+\cap ∩
+\ldquo “
+\nsubseteq ⊈
+\rhov ϱ
+\xvee ⋁
+\olarr ↺
+\nang ∠̸
+\uwangle ⦧
+\nlsim ≴
+\smt ⪪
+\nVdash ⊮
+\napE ⩰̸
+\ngeq ≱
+\iscr 𝒾
+\GJcy Ѓ
+\nges ≱
+\exist ∃
+\cent ¢
+\oacute ó
+\Darr ↡
+\yen ¥
+\bigcirc ◯
+\ncy н
+\midast *
+\UpperRightArrow ↗
+\precnapprox ⋨
+\OElig Œ
+\hybull ⁃
+\cupbrcap ⩈
+\rationals ℚ
+\VerticalTilde ≀
+\pscr 𝓅
+\NJcy Њ
+\NotSucceedsTilde ≿̸
+\vsupne ⊋︀
+\Updownarrow ⇕
+\Lsh ↰
+\rAarr ⇛
+\precapprox ≾
+\rsquor ’
+\pound £
+\lbrksld ⦏
+\gesdot ⪀
+\Element ∈
+\xcirc ◯
+\wscr 𝓌
+\toea ⤨
+\setmn ∖
+\neg ¬
+\sol /
+\yfr 𝔶
+\DoubleDownArrow ⇓
+\Rarr ↠
+\ngE ≱
+\Upsi ϒ
+\opar ⦷
+\rarrpl ⥅
+\auml ä
+\bmod mod
+\SquareSuperset ⊐
+\neq ≠
+\circleddash ⊝
+\xrarr 
+\barwed ⊼
+\lbrkslu ⦍
+\planckh ℎ
+\ldrdhar ⥧
+\circledcirc ⊚
+\ctdot ⋯
+\fallingdotseq ≒
+\Map ⤅
+\VerticalBar ∣
+\succeq ≽
+\tint ∭
+\imof ⊷
+\diam ⋄
+\twixt ≬
+\NoBreak 
+\langd ⦑
+\Bernoullis ℬ
+\rcaron ř
+\hom hom
+\nfr 𝔫
+\backsimeq ⋍
+\target ⌖
+\ouml ö
+\nge ≱⃥
+\LeftTriangleBar ⧏
+\subplus ⪿
+\parsim ⫳
+\Gcedil Ģ
+\bnequiv ≡⃥
+\ubreve Å­
+\iexcl ¡
+\Xi Ξ
+\omega ω
+\elsdot ⪗
+\propto ∝
+\squ □
+\Ycirc Ŷ
+\amacr ā
+\curlyeqprec ⋞
+\ngt ≯
+\plusdo ∔
+\ngeqslant ≱
+\LongRightArrow 
+\LeftUpVector ↿
+\asymp ≍
+\imped 𝕃
+\tritime ⨻
+\rpargt ⦔
+\DDotrahd ⤑
+\prnsim ⋨
+\plusdu ⨥
+\cfr 𝔠
+\abreve ă
+\suphsol ⊃/
+\NegativeThickSpace  ︀
+\Mcy М
+\uarr ↑
+\LeftRightVector ⥎
+\lAarr ⇚
+\bsim ∽
+\simrarr ⥲
+\otimes ⊗
+\NotSucceeds ⊁
+\Cross ⨯
+\downarrow ↓
+\blacktriangle ▴
+\TripleDot ⃛
+\smallsetminus ∖︀
+\supedot ⫄
+\NotPrecedesSlantEqual ⋠
+\neArr ⇗
+\rarrtl ↣
+\isin ∈
+\rrarr ⇉
+\Upsilon ϒ
+\sqsub ⊏
+\boxUL ╝
+\LessTilde ≲
+\Xfr 𝔛
+\nis ⋼
+\chi χ
+\DownRightVector ⇁
+\niv ∋
+\boxUR ╚
+\nlArr ⇍
+\Bcy Б
+\tan tan
+\EmptyVerySmallSquare 
+\dstrok đ
+\rfisht ⥽
+\easter ≛
+\nlE ≰
+\Mellintrf ℳ
+\lotimes ⨴
+\sqsup ⊐
+\boxVH ╬
+\bbrk ⎵
+\tau τ
+\UpTee ⊥
+\NotLeftTriangleBar ⧏̸
+\boxVL ╣
+\Proportion ∷
+\equiv ≡
+\blk12 ▒
+\blk14 ░
+\fpartint ⨍
+\boxVR ╠
+\starf ★
+\risingdotseq ≓
+\Equilibrium ⇌
+\ijlig ij
+\yicy ї
+\sum ∑
+\cir ○
+\telrec ⌕
+\Mfr 𝔐
+\dHar ⥥
+\boxUl ╜
+\apid ≋
+\nleftarrow ↚
+\curarrm ⤼
+\Scirc Ŝ
+\Copf ℂ
+\RightTriangleEqual ⊵
+\boxUr ╙
+\loplus ⨭
+\varsupsetneq ⊋︀
+\scaron Å¡
+\Diamond ⋄
+\lowast ∗
+\nle ≰⃥
+\phiv ϕ
+\gesdotol ⪄
+\boxVh ╫
+\nleftrightarrow ↮
+\Jopf 𝕁
+\boxVl ╢
+\nearhk ⤤
+\vBarv â«©
+\rHar ⥤
+\boxVr ╟
+\lessdot ⋖
+\LeftDoubleBracket 〚
+\Delta Δ
+\limsup limsup
+\tcy т
+\nlt ≮
+\Cdot Ċ
+\blk34 ▓
+\Bfr 𝔅
+\lowbar _
+\lneqq ≨
+\TildeEqual ≃
+\shortmid ∣︀
+\Qopf ℚ
+\drcorn ⌟
+\ZeroWidthSpace ​
+\aogon ą
+\Rsh ↱
+\lrarr ⇆
+\cupdot ⊍
+\Xopf 𝕏
+\Backslash ∖
+\Union ⋃
+\ratio ∶
+\duarr ⇵
+\lates ⪭︀
+\suphsub ⫗
+\squf ▪
+\gamma γ
+\lrhard ⥭
+\intprod ⨼
+\ReverseUpEquilibrium ⥯
+\icy и
+\quatint ⨖
+\nbump ≎̸
+\downharpoonleft ⇃
+\otimesas ⨶
+\nvHarr ⇎
+\ContourIntegral ∮
+\bsol \
+\DoubleUpDownArrow ⇕
+\disin ⋲
+\Breve ˘
+\YAcy Я
+\precsim ≾
+\NotGreaterGreater ≫̸︀
+\fopf 𝕗
+\SquareSupersetEqual ⊒
+\Dscr 𝒟
+\gsime ⪎
+\PartialD ∂
+\Umacr Ū
+\tfr 𝔱
+\cularrp ⤽
+\UnderBracket ⎵
+\ugrave ù
+\mopf 𝕞
+\gsiml ⪐
+\iquest ¿
+\nmid ∤
+\leftarrowtail ↢
+\not ¬
+\Kscr 𝒦
+\xsqcup ⊔
+\triangleleft ◃
+\amalg ⨿
+\prcue ≼
+\ac ⤏
+\nharr ↮
+\dzcy џ
+\topf 𝕥
+\iff ⇔
+\af ⁡
+\Uparrow ⇑
+\Iacute Í
+\Rscr ℛ
+\vrtri ⊳
+\multimap ⊸
+\Hat ̂
+\rtriltri ⧎
+\npr ⊀
+\agrave à
+\UnderBar ̲
+\prime ′
+\plusmn ±
+\eplus ⩱
+\ap ≈
+\dlcorn ⌞
+\backsim ∽
+\ifr 𝔦
+\bigcup ⋃
+\tcaron ť
+\sqcaps ⊓︀
+\equals =
+\curlywedge ⋏
+\Yscr 𝒴
+\longrightarrow ????
+\fork ⋔
+\cos cos
+\cot cot
+\ImaginaryI ⅈ
+\Scy С
+\mapsto ↦
+\tdot ⃛
+\vellip ⋮
+\sqsupseteq ⊒
+\nvdash ⊬
+\NotSuperset ⊅
+\DoubleUpArrow ⇑
+\land ∧
+\topfork ⫚
+\llhard ⥫
+\apos '
+\oslash ø
+\lang 〈
+\bernou ℬ
+\varrho ϱ
+\rcub }
+\Cedilla ¸
+\ApplyFunction ⁡
+\nsce ⪰̸
+\gscr ℊ
+\imagpart ℑ
+\ngtr ≯
+\nsc ⊁
+\Barv ⫧
+\tosa ⤩
+\nwnear ⤧
+\ltlarr ⥶
+\PrecedesEqual ⪯
+\lessapprox ≲
+\Lcaron Ľ