diff --git a/tesi/Makefile b/tesi/Makefile index 02c15b9..ed6602b 100644 --- a/tesi/Makefile +++ b/tesi/Makefile @@ -1,9 +1,9 @@ -SRC = prova.tex -AUX = prova.aux -DEL = prova.aux prova.bbl prova.blg prova.log prova.out -NAME = prova +SRC = tesi.tex +AUX = tesi.aux +DEL = tesi.aux tesi.bbl tesi.blg tesi.log tesi.out +NAME = tesi -prova: +tesi: @echo @echo "=== Removing temporary files ===" rm -f $(DEL) diff --git a/tesi/conv.py b/tesi/conv.py new file mode 100644 index 0000000..0fcc022 --- /dev/null +++ b/tesi/conv.py @@ -0,0 +1,21 @@ +import json +from sys import argv + +allsymbols = json.load(open('./unicode-latex.json')) +symbols = ['≼', '→', '⊀', '⋠', '≺', '∀', '∈', '₂', '₁', 'ₐ', 'ₘ', 'ₙ', 'ᵢ' ] +symbols = {s: allsymbols[s] for s in symbols} +print(symbols) + + +def read_by_char(fname): + with open(fname, 'r') as fp: + for line in fp.readlines(): + for ch in line: + yield ch + +def convert(ch): + return symbols[ch] if ch in symbols else ch + +newfile = [convert(ch) for ch in read_by_char(argv[1])] +with open(argv[2], 'w') as f: + f.writelines(newfile) diff --git a/tesi/prova.aux b/tesi/prova.aux deleted file mode 100644 index 652b85a..0000000 --- a/tesi/prova.aux +++ /dev/null @@ -1,28 +0,0 @@ -\relax -\providecommand\hyper@newdestlabel[2]{} -\providecommand\HyperFirstAtBeginDocument{\AtBeginDocument} -\HyperFirstAtBeginDocument{\ifx\hyper@anchor\@undefined -\global\let\oldcontentsline\contentsline -\gdef\contentsline#1#2#3#4{\oldcontentsline{#1}{#2}{#3}} -\global\let\oldnewlabel\newlabel -\gdef\newlabel#1#2{\newlabelxx{#1}#2} -\gdef\newlabelxx#1#2#3#4#5#6{\oldnewlabel{#1}{{#2}{#3}}} -\AtEndDocument{\ifx\hyper@anchor\@undefined -\let\contentsline\oldcontentsline -\let\newlabel\oldnewlabel -\fi} -\fi} -\global\let\hyper@last\relax -\gdef\HyperFirstAtBeginDocument#1{#1} -\providecommand*\HyPL@Entry[1]{} -\HyPL@Entry{0<>} -\@writefile{toc}{\contentsline {section}{\numberline {1}{\bfseries \sffamily TODO} Scaletta [1/2]}{1}{section.1}\protected@file@percent } -\newlabel{sec:org6c3943f}{{1}{1}{{\bfseries \sffamily TODO} Scaletta [1/2]}{section.1}{}} -\@writefile{toc}{\contentsline {section}{\numberline {2}1. Background}{2}{section.2}\protected@file@percent } -\newlabel{sec:orgad08c62}{{2}{2}{1. Background}{section.2}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.1}1.1 OCaml}{2}{subsection.2.1}\protected@file@percent } -\newlabel{sec:orgca8d200}{{2.1}{2}{1.1 OCaml}{subsection.2.1}{}} -\newlabel{sec:org83a2e95}{{1}{3}{1.1 OCaml}{Item.1}{}} -\newlabel{sec:org2127ffb}{{2}{5}{1.1 OCaml}{Item.2}{}} -\@writefile{toc}{\contentsline {subsection}{\numberline {2.2}1.2.1.1 Initial state of the compilation}{6}{subsection.2.2}\protected@file@percent } -\newlabel{sec:org0b0c254}{{2.2}{6}{1.2.1.1 Initial state of the compilation}{subsection.2.2}{}} diff --git a/tesi/prova.log b/tesi/prova.log deleted file mode 100644 index 255966f..0000000 --- a/tesi/prova.log +++ /dev/null @@ -1,771 +0,0 @@ -This is XeTeX, Version 3.14159265-2.6-0.999991 (TeX Live 2019 Gentoo Linux) (preloaded format=xelatex 2020.2.19) 19 FEB 2020 16:42 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**prova.tex -(./prova.tex -LaTeX2e <2018-12-01> -(/usr/share/texmf-dist/tex/latex/base/article.cls -Document Class: article 2018/09/03 v1.4i Standard LaTeX document class -(/usr/share/texmf-dist/tex/latex/base/size11.clo -File: size11.clo 2018/09/03 v1.4i Standard LaTeX file (size option) -) -\c@part=\count80 -\c@section=\count81 -\c@subsection=\count82 -\c@subsubsection=\count83 -\c@paragraph=\count84 -\c@subparagraph=\count85 -\c@figure=\count86 -\c@table=\count87 -\abovecaptionskip=\skip41 -\belowcaptionskip=\skip42 -\bibindent=\dimen102 -) -(/usr/share/texmf-dist/tex/latex/base/inputenc.sty -Package: inputenc 2018/08/11 v1.3c Input encoding file -\inpenc@prehook=\toks14 -\inpenc@posthook=\toks15 - - -Package inputenc Warning: inputenc package ignored with utf8 based engines. - -) (/usr/share/texmf-dist/tex/latex/base/fontenc.sty -Package: fontenc 2018/08/11 v2.0j Standard LaTeX package - -(/usr/share/texmf-dist/tex/latex/base/t1enc.def -File: t1enc.def 2018/08/11 v2.0j Standard LaTeX file -LaTeX Font Info: Redeclaring font encoding T1 on input line 48. -) -LaTeX Font Info: Try loading font information for T1+lmr on input line 105. - -(/usr/share/texmf-dist/tex/latex/lm/t1lmr.fd -File: t1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern -)) -(/usr/share/texmf-dist/tex/latex/graphics/graphicx.sty -Package: graphicx 2017/06/01 v1.1a Enhanced LaTeX Graphics (DPC,SPQR) - -(/usr/share/texmf-dist/tex/latex/graphics/keyval.sty -Package: keyval 2014/10/28 v1.15 key=value parser (DPC) -\KV@toks@=\toks16 -) -(/usr/share/texmf-dist/tex/latex/graphics/graphics.sty -Package: graphics 2017/06/25 v1.2c Standard LaTeX Graphics (DPC,SPQR) - -(/usr/share/texmf-dist/tex/latex/graphics/trig.sty -Package: trig 2016/01/03 v1.10 sin cos tan (DPC) -) -(/usr/share/texmf-dist/tex/latex/graphics-cfg/graphics.cfg -File: graphics.cfg 2016/06/04 v1.11 sample graphics configuration -) -Package graphics Info: Driver file: xetex.def on input line 99. - -(/usr/share/texmf-dist/tex/latex/graphics-def/xetex.def -File: xetex.def 2017/06/24 v5.0h Graphics/color driver for xetex -)) -\Gin@req@height=\dimen103 -\Gin@req@width=\dimen104 -) -(/usr/share/texmf-dist/tex/latex/oberdiek/grffile.sty -Package: grffile 2017/06/30 v1.18 Extended file name support for graphics (HO) - -(/usr/share/texmf-dist/tex/generic/oberdiek/ifpdf.sty -Package: ifpdf 2018/09/07 v3.3 Provides the ifpdf switch -) -(/usr/share/texmf-dist/tex/generic/ifxetex/ifxetex.sty -Package: ifxetex 2010/09/12 v0.6 Provides ifxetex conditional -) -(/usr/share/texmf-dist/tex/latex/oberdiek/kvoptions.sty -Package: kvoptions 2016/05/16 v3.12 Key value format for package options (HO) - -(/usr/share/texmf-dist/tex/generic/oberdiek/ltxcmds.sty -Package: ltxcmds 2016/05/16 v1.23 LaTeX kernel commands for general use (HO) -) -(/usr/share/texmf-dist/tex/generic/oberdiek/kvsetkeys.sty -Package: kvsetkeys 2016/05/16 v1.17 Key value parser (HO) - -(/usr/share/texmf-dist/tex/generic/oberdiek/infwarerr.sty -Package: infwarerr 2016/05/16 v1.4 Providing info/warning/error messages (HO) -) -(/usr/share/texmf-dist/tex/generic/oberdiek/etexcmds.sty -Package: etexcmds 2016/05/16 v1.6 Avoid name clashes with e-TeX commands (HO) - -(/usr/share/texmf-dist/tex/generic/oberdiek/ifluatex.sty -Package: ifluatex 2016/05/16 v1.4 Provides the ifluatex switch (HO) -Package ifluatex Info: LuaTeX not detected. -)))) -(/usr/share/texmf-dist/tex/generic/oberdiek/pdftexcmds.sty -Package: pdftexcmds 2018/09/10 v0.29 Utility functions of pdfTeX for LuaTeX (HO -) -Package pdftexcmds Info: LuaTeX not detected. -Package pdftexcmds Info: pdfTeX >= 1.30 not detected. -Package pdftexcmds Info: \pdf@primitive is available. -Package pdftexcmds Info: \pdf@ifprimitive is available. -Package pdftexcmds Info: \pdfdraftmode not found. -) -Package grffile Info: Option `multidot' is set to `true'. -Package grffile Info: Option `extendedchars' is set to `false'. -Package grffile Info: Option `space' is set to `true'. -Package grffile Info: \Gin@ii of package `graphicx' fixed on input line 494. -) -(/usr/share/texmf-dist/tex/latex/tools/longtable.sty -Package: longtable 2014/10/28 v4.11 Multi-page Table package (DPC)+ FMi change -\LTleft=\skip43 -\LTright=\skip44 -\LTpre=\skip45 -\LTpost=\skip46 -\LTchunksize=\count88 -\LTcapwidth=\dimen105 -\LT@head=\box27 -\LT@firsthead=\box28 -\LT@foot=\box29 -\LT@lastfoot=\box30 -\LT@cols=\count89 -\LT@rows=\count90 -\c@LT@tables=\count91 -\c@LT@chunks=\count92 -\LT@p@ftn=\toks17 -) -(/usr/share/texmf-dist/tex/latex/wrapfig/wrapfig.sty -\wrapoverhang=\dimen106 -\WF@size=\dimen107 -\c@WF@wrappedlines=\count93 -\WF@box=\box31 -\WF@everypar=\toks18 -Package: wrapfig 2003/01/31 v 3.6 -) -(/usr/share/texmf-dist/tex/latex/graphics/rotating.sty -Package: rotating 2016/08/11 v2.16d rotated objects in LaTeX - -(/usr/share/texmf-dist/tex/latex/base/ifthen.sty -Package: ifthen 2014/09/29 v1.1c Standard LaTeX ifthen package (DPC) -) -\c@r@tfl@t=\count94 -\rotFPtop=\skip47 -\rotFPbot=\skip48 -\rot@float@box=\box32 -\rot@mess@toks=\toks19 -) -(/usr/share/texmf-dist/tex/generic/ulem/ulem.sty -\UL@box=\box33 -\UL@hyphenbox=\box34 -\UL@skip=\skip49 -\UL@hook=\toks20 -\UL@height=\dimen108 -\UL@pe=\count95 -\UL@pixel=\dimen109 -\ULC@box=\box35 -Package: ulem 2012/05/18 -\ULdepth=\dimen110 -) -(/usr/share/texmf-dist/tex/latex/amsmath/amsmath.sty -Package: amsmath 2018/12/01 v2.17b AMS math features -\@mathmargin=\skip50 - -For additional information on amsmath, use the `?' option. -(/usr/share/texmf-dist/tex/latex/amsmath/amstext.sty -Package: amstext 2000/06/29 v2.01 AMS text - -(/usr/share/texmf-dist/tex/latex/amsmath/amsgen.sty -File: amsgen.sty 1999/11/30 v2.0 generic functions -\@emptytoks=\toks21 -\ex@=\dimen111 -)) -(/usr/share/texmf-dist/tex/latex/amsmath/amsbsy.sty -Package: amsbsy 1999/11/29 v1.2d Bold Symbols -\pmbraise@=\dimen112 -) -(/usr/share/texmf-dist/tex/latex/amsmath/amsopn.sty -Package: amsopn 2016/03/08 v2.02 operator names -) -\inf@bad=\count96 -LaTeX Info: Redefining \frac on input line 223. -\uproot@=\count97 -\leftroot@=\count98 -LaTeX Info: Redefining \overline on input line 385. -\classnum@=\count99 -\DOTSCASE@=\count100 -LaTeX Info: Redefining \ldots on input line 482. -LaTeX Info: Redefining \dots on input line 485. -LaTeX Info: Redefining \cdots on input line 606. -\Mathstrutbox@=\box36 -\strutbox@=\box37 -\big@size=\dimen113 -LaTeX Font Info: Redeclaring font encoding OML on input line 729. -LaTeX Font Info: Redeclaring font encoding OMS on input line 730. -\macc@depth=\count101 -\c@MaxMatrixCols=\count102 -\dotsspace@=\muskip10 -\c@parentequation=\count103 -\dspbrk@lvl=\count104 -\tag@help=\toks22 -\row@=\count105 -\column@=\count106 -\maxfields@=\count107 -\andhelp@=\toks23 -\eqnshift@=\dimen114 -\alignsep@=\dimen115 -\tagshift@=\dimen116 -\tagwidth@=\dimen117 -\totwidth@=\dimen118 -\lineht@=\dimen119 -\@envbody=\toks24 -\multlinegap=\skip51 -\multlinetaggap=\skip52 -\mathdisplay@stack=\toks25 -LaTeX Info: Redefining \[ on input line 2844. -LaTeX Info: Redefining \] on input line 2845. -) -(/usr/share/texmf-dist/tex/latex/base/textcomp.sty -Package: textcomp 2018/08/11 v2.0j Standard LaTeX package -Package textcomp Info: Sub-encoding information: -(textcomp) 5 = only ISO-Adobe without \textcurrency -(textcomp) 4 = 5 + \texteuro -(textcomp) 3 = 4 + \textohm -(textcomp) 2 = 3 + \textestimated + \textcurrency -(textcomp) 1 = TS1 - \textcircled - \t -(textcomp) 0 = TS1 (full) -(textcomp) Font families with sub-encoding setting implement -(textcomp) only a restricted character set as indicated. -(textcomp) Family '?' is the default used for unknown fonts. -(textcomp) See the documentation for details. -Package textcomp Info: Setting ? sub-encoding to TS1/1 on input line 79. - -(/usr/share/texmf-dist/tex/latex/base/ts1enc.def -File: ts1enc.def 2001/06/05 v3.0e (jk/car/fm) Standard LaTeX file -) -LaTeX Info: Redefining \oldstylenums on input line 334. -Package textcomp Info: Setting cmr sub-encoding to TS1/0 on input line 349. -Package textcomp Info: Setting cmss sub-encoding to TS1/0 on input line 350. -Package textcomp Info: Setting cmtt sub-encoding to TS1/0 on input line 351. -Package textcomp Info: Setting cmvtt sub-encoding to TS1/0 on input line 352. -Package textcomp Info: Setting cmbr sub-encoding to TS1/0 on input line 353. -Package textcomp Info: Setting cmtl sub-encoding to TS1/0 on input line 354. -Package textcomp Info: Setting ccr sub-encoding to TS1/0 on input line 355. -Package textcomp Info: Setting ptm sub-encoding to TS1/4 on input line 356. -Package textcomp Info: Setting pcr sub-encoding to TS1/4 on input line 357. -Package textcomp Info: Setting phv sub-encoding to TS1/4 on input line 358. -Package textcomp Info: Setting ppl sub-encoding to TS1/3 on input line 359. -Package textcomp Info: Setting pag sub-encoding to TS1/4 on input line 360. -Package textcomp Info: Setting pbk sub-encoding to TS1/4 on input line 361. -Package textcomp Info: Setting pnc sub-encoding to TS1/4 on input line 362. -Package textcomp Info: Setting pzc sub-encoding to TS1/4 on input line 363. -Package textcomp Info: Setting bch sub-encoding to TS1/4 on input line 364. -Package textcomp Info: Setting put sub-encoding to TS1/5 on input line 365. -Package textcomp Info: Setting uag sub-encoding to TS1/5 on input line 366. -Package textcomp Info: Setting ugq sub-encoding to TS1/5 on input line 367. -Package textcomp Info: Setting ul8 sub-encoding to TS1/4 on input line 368. -Package textcomp Info: Setting ul9 sub-encoding to TS1/4 on input line 369. -Package textcomp Info: Setting augie sub-encoding to TS1/5 on input line 370. -Package textcomp Info: Setting dayrom sub-encoding to TS1/3 on input line 371. -Package textcomp Info: Setting dayroms sub-encoding to TS1/3 on input line 372. - -Package textcomp Info: Setting pxr sub-encoding to TS1/0 on input line 373. -Package textcomp Info: Setting pxss sub-encoding to TS1/0 on input line 374. -Package textcomp Info: Setting pxtt sub-encoding to TS1/0 on input line 375. -Package textcomp Info: Setting txr sub-encoding to TS1/0 on input line 376. -Package textcomp Info: Setting txss sub-encoding to TS1/0 on input line 377. -Package textcomp Info: Setting txtt sub-encoding to TS1/0 on input line 378. -Package textcomp Info: Setting lmr sub-encoding to TS1/0 on input line 379. -Package textcomp Info: Setting lmdh sub-encoding to TS1/0 on input line 380. -Package textcomp Info: Setting lmss sub-encoding to TS1/0 on input line 381. -Package textcomp Info: Setting lmssq sub-encoding to TS1/0 on input line 382. -Package textcomp Info: Setting lmvtt sub-encoding to TS1/0 on input line 383. -Package textcomp Info: Setting lmtt sub-encoding to TS1/0 on input line 384. -Package textcomp Info: Setting qhv sub-encoding to TS1/0 on input line 385. -Package textcomp Info: Setting qag sub-encoding to TS1/0 on input line 386. -Package textcomp Info: Setting qbk sub-encoding to TS1/0 on input line 387. -Package textcomp Info: Setting qcr sub-encoding to TS1/0 on input line 388. -Package textcomp Info: Setting qcs sub-encoding to TS1/0 on input line 389. -Package textcomp Info: Setting qpl sub-encoding to TS1/0 on input line 390. -Package textcomp Info: Setting qtm sub-encoding to TS1/0 on input line 391. -Package textcomp Info: Setting qzc sub-encoding to TS1/0 on input line 392. -Package textcomp Info: Setting qhvc sub-encoding to TS1/0 on input line 393. -Package textcomp Info: Setting futs sub-encoding to TS1/4 on input line 394. -Package textcomp Info: Setting futx sub-encoding to TS1/4 on input line 395. -Package textcomp Info: Setting futj sub-encoding to TS1/4 on input line 396. -Package textcomp Info: Setting hlh sub-encoding to TS1/3 on input line 397. -Package textcomp Info: Setting hls sub-encoding to TS1/3 on input line 398. -Package textcomp Info: Setting hlst sub-encoding to TS1/3 on input line 399. -Package textcomp Info: Setting hlct sub-encoding to TS1/5 on input line 400. -Package textcomp Info: Setting hlx sub-encoding to TS1/5 on input line 401. -Package textcomp Info: Setting hlce sub-encoding to TS1/5 on input line 402. -Package textcomp Info: Setting hlcn sub-encoding to TS1/5 on input line 403. -Package textcomp Info: Setting hlcw sub-encoding to TS1/5 on input line 404. -Package textcomp Info: Setting hlcf sub-encoding to TS1/5 on input line 405. -Package textcomp Info: Setting pplx sub-encoding to TS1/3 on input line 406. -Package textcomp Info: Setting pplj sub-encoding to TS1/3 on input line 407. -Package textcomp Info: Setting ptmx sub-encoding to TS1/4 on input line 408. -Package textcomp Info: Setting ptmj sub-encoding to TS1/4 on input line 409. -) -(/usr/share/texmf-dist/tex/latex/amsfonts/amssymb.sty -Package: amssymb 2013/01/14 v3.01 AMS font symbols - -(/usr/share/texmf-dist/tex/latex/amsfonts/amsfonts.sty -Package: amsfonts 2013/01/14 v3.01 Basic AMSFonts support -\symAMSa=\mathgroup4 -\symAMSb=\mathgroup5 -LaTeX Font Info: Overwriting math alphabet `\mathfrak' in version `bold' -(Font) U/euf/m/n --> U/euf/b/n on input line 106. -)) -(/usr/share/texmf-dist/tex/latex/capt-of/capt-of.sty -Package: capt-of 2009/12/29 v0.2 standard captions outside of floats -) -(/usr/share/texmf-dist/tex/latex/hyperref/hyperref.sty -Package: hyperref 2018/11/30 v6.88e Hypertext links for LaTeX - -(/usr/share/texmf-dist/tex/generic/oberdiek/hobsub-hyperref.sty -Package: hobsub-hyperref 2016/05/16 v1.14 Bundle oberdiek, subset hyperref (HO) - - -(/usr/share/texmf-dist/tex/generic/oberdiek/hobsub-generic.sty -Package: hobsub-generic 2016/05/16 v1.14 Bundle oberdiek, subset generic (HO) -Package: hobsub 2016/05/16 v1.14 Construct package bundles (HO) -Package hobsub Info: Skipping package `infwarerr' (already loaded). -Package hobsub Info: Skipping package `ltxcmds' (already loaded). -Package hobsub Info: Skipping package `ifluatex' (already loaded). -Package: ifvtex 2016/05/16 v1.6 Detect VTeX and its facilities (HO) -Package ifvtex Info: VTeX not detected. -Package: intcalc 2016/05/16 v1.2 Expandable calculations with integers (HO) -Package hobsub Info: Skipping package `ifpdf' (already loaded). -Package hobsub Info: Skipping package `etexcmds' (already loaded). -Package hobsub Info: Skipping package `kvsetkeys' (already loaded). -Package: kvdefinekeys 2016/05/16 v1.4 Define keys (HO) -Package hobsub Info: Skipping package `pdftexcmds' (already loaded). -Package: pdfescape 2016/05/16 v1.14 Implements pdfTeX's escape features (HO) -Package: bigintcalc 2016/05/16 v1.4 Expandable calculations on big integers (HO -) -Package: bitset 2016/05/16 v1.2 Handle bit-vector datatype (HO) -Package: uniquecounter 2016/05/16 v1.3 Provide unlimited unique counter (HO) -) -Package hobsub Info: Skipping package `hobsub' (already loaded). -Package: letltxmacro 2016/05/16 v1.5 Let assignment for LaTeX macros (HO) -Package: hopatch 2016/05/16 v1.3 Wrapper for package hooks (HO) -Package: xcolor-patch 2016/05/16 xcolor patch -Package: atveryend 2016/05/16 v1.9 Hooks at the very end of document (HO) -Package atveryend Info: \enddocument detected (standard20110627). -Package: atbegshi 2016/06/09 v1.18 At begin shipout hook (HO) -Package: refcount 2016/05/16 v3.5 Data extraction from label references (HO) -Package: hycolor 2016/05/16 v1.8 Color options for hyperref/bookmark (HO) -) -(/usr/share/texmf-dist/tex/latex/oberdiek/auxhook.sty -Package: auxhook 2016/05/16 v1.4 Hooks for auxiliary files (HO) -) -\@linkdim=\dimen120 -\Hy@linkcounter=\count108 -\Hy@pagecounter=\count109 - -(/usr/share/texmf-dist/tex/latex/hyperref/pd1enc.def -File: pd1enc.def 2018/11/30 v6.88e Hyperref: PDFDocEncoding definition (HO) -) -\Hy@SavedSpaceFactor=\count110 - -(/usr/share/texmf-dist/tex/latex/latexconfig/hyperref.cfg -File: hyperref.cfg 2002/06/06 v1.2 hyperref configuration of TeXLive -) -Package hyperref Info: Hyper figures OFF on input line 4519. -Package hyperref Info: Link nesting OFF on input line 4524. -Package hyperref Info: Hyper index ON on input line 4527. -Package hyperref Info: Plain pages OFF on input line 4534. -Package hyperref Info: Backreferencing OFF on input line 4539. -Package hyperref Info: Implicit mode ON; LaTeX internals redefined. -Package hyperref Info: Bookmarks ON on input line 4772. -\c@Hy@tempcnt=\count111 - -(/usr/share/texmf-dist/tex/latex/url/url.sty -\Urlmuskip=\muskip11 -Package: url 2013/09/16 ver 3.4 Verb mode for urls, etc. -) -LaTeX Info: Redefining \url on input line 5125. -\XeTeXLinkMargin=\dimen121 -\Fld@menulength=\count112 -\Field@Width=\dimen122 -\Fld@charsize=\dimen123 -Package hyperref Info: Hyper figures OFF on input line 6380. -Package hyperref Info: Link nesting OFF on input line 6385. -Package hyperref Info: Hyper index ON on input line 6388. -Package hyperref Info: backreferencing OFF on input line 6395. -Package hyperref Info: Link coloring OFF on input line 6400. -Package hyperref Info: Link coloring with OCG OFF on input line 6405. -Package hyperref Info: PDF/A mode OFF on input line 6410. -LaTeX Info: Redefining \ref on input line 6450. -LaTeX Info: Redefining \pageref on input line 6454. -\Hy@abspage=\count113 -\c@Item=\count114 -\c@Hfootnote=\count115 -) -Package hyperref Info: Driver (autodetected): hxetex. - -(/usr/share/texmf-dist/tex/latex/hyperref/hxetex.def -File: hxetex.def 2018/11/30 v6.88e Hyperref driver for XeTeX - -(/usr/share/texmf-dist/tex/latex/hyperref/puenc.def -File: puenc.def 2018/11/30 v6.88e Hyperref: PDF Unicode definition (HO) -) -(/usr/share/texmf-dist/tex/generic/oberdiek/stringenc.sty -Package: stringenc 2016/05/16 v1.11 Convert strings between diff. encodings (HO -) -) -\pdfm@box=\box38 -\c@Hy@AnnotLevel=\count116 -\HyField@AnnotCount=\count117 -\Fld@listcount=\count118 -\c@bookmark@seq@number=\count119 - -(/usr/share/texmf-dist/tex/latex/oberdiek/rerunfilecheck.sty -Package: rerunfilecheck 2016/05/16 v1.8 Rerun checks for auxiliary files (HO) -Package uniquecounter Info: New unique counter `rerunfilecheck' on input line 2 -82. -) -\Hy@SectionHShift=\skip53 -) -(/usr/share/texmf-dist/tex/latex/algorithms/algorithm.sty -Invalid UTF-8 byte or sequence at line 11 replaced by U+FFFD. -Package: algorithm 2009/08/24 v0.1 Document Style `algorithm' - floating enviro -nment - -(/usr/share/texmf-dist/tex/latex/float/float.sty -Package: float 2001/11/08 v1.3d Float enhancements (AL) -\c@float@type=\count120 -\float@exts=\toks26 -\float@box=\box39 -\@float@everytoks=\toks27 -\@floatcapt=\box40 -) -\@float@every@algorithm=\toks28 -\c@algorithm=\count121 -) -(/usr/share/texmf-dist/tex/latex/algorithmicx/algpseudocode.sty -Package: algpseudocode - -(/usr/share/texmf-dist/tex/latex/algorithmicx/algorithmicx.sty -Package: algorithmicx 2005/04/27 v1.2 Algorithmicx - -Document Style algorithmicx 1.2 - a greatly improved `algorithmic' style -\c@ALG@line=\count122 -\c@ALG@rem=\count123 -\c@ALG@nested=\count124 -\ALG@tlm=\skip54 -\ALG@thistlm=\skip55 -\c@ALG@Lnr=\count125 -\c@ALG@blocknr=\count126 -\c@ALG@storecount=\count127 -\c@ALG@tmpcounter=\count128 -\ALG@tmplength=\skip56 -) -Document Style - pseudocode environments for use with the `algorithmicx' style -) (/usr/share/texmf-dist/tex/latex/amscls/amsthm.sty -Package: amsthm 2017/10/31 v2.20.4 -\thm@style=\toks29 -\thm@bodyfont=\toks30 -\thm@headfont=\toks31 -\thm@notefont=\toks32 -\thm@headpunct=\toks33 -\thm@preskip=\skip57 -\thm@postskip=\skip58 -\thm@headsep=\skip59 -\dth@everypar=\toks34 -) -(/usr/share/texmf-dist/tex/latex/base/fontenc.sty -Package: fontenc 2018/08/11 v2.0j Standard LaTeX package - -(/usr/share/texmf-dist/tex/latex/base/t1enc.def -File: t1enc.def 2018/08/11 v2.0j Standard LaTeX file -LaTeX Font Info: Redeclaring font encoding T1 on input line 48. -)) -\c@definition=\count129 - -(/usr/share/texmf-dist/tex/latex/listings/listings.sty -\lst@mode=\count130 -\lst@gtempboxa=\box41 -\lst@token=\toks35 -\lst@length=\count131 -\lst@currlwidth=\dimen124 -\lst@column=\count132 -\lst@pos=\count133 -\lst@lostspace=\dimen125 -\lst@width=\dimen126 -\lst@newlines=\count134 -\lst@lineno=\count135 -\lst@maxwidth=\dimen127 - -(/usr/share/texmf-dist/tex/latex/listings/lstmisc.sty -File: lstmisc.sty 2019/02/27 1.8b (Carsten Heinz) -\c@lstnumber=\count136 -\lst@skipnumbers=\count137 -\lst@framebox=\box42 -) -(/usr/share/texmf-dist/tex/latex/listings/listings.cfg -File: listings.cfg 2019/02/27 1.8b listings configuration -)) -Package: listings 2019/02/27 1.8b (Carsten Heinz) - -(/usr/share/texmf-dist/tex/latex/graphics/color.sty -Package: color 2016/07/10 v1.1e Standard LaTeX Color (DPC) - -(/usr/share/texmf-dist/tex/latex/graphics-cfg/color.cfg -File: color.cfg 2016/01/02 v1.6 sample color configuration -) -Package color Info: Driver file: xetex.def on input line 147. -) -(/usr/share/texmf-dist/tex/generic/oberdiek/se-ascii-print.def -File: se-ascii-print.def 2016/05/16 v1.11 stringenc: Printable ASCII characters - -) (./prova.aux) -\openout1 = `prova.aux'. - -LaTeX Font Info: Checking defaults for OML/cmm/m/it on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for T1/cmr/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for OT1/cmr/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for OMS/cmsy/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for TU/lmr/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for OMX/cmex/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for U/cmr/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for TS1/cmr/m/n on input line 37. -LaTeX Font Info: Try loading font information for TS1+cmr on input line 37. - -(/usr/share/texmf-dist/tex/latex/base/ts1cmr.fd -File: ts1cmr.fd 2014/09/29 v2.5h Standard LaTeX font definitions -) -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for PD1/pdf/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -LaTeX Font Info: Checking defaults for PU/pdf/m/n on input line 37. -LaTeX Font Info: ... okay on input line 37. -\AtBeginShipoutBox=\box43 -Package hyperref Info: Link coloring OFF on input line 37. - -(/usr/share/texmf-dist/tex/latex/hyperref/nameref.sty -Package: nameref 2016/05/21 v2.44 Cross-referencing by name of section - -(/usr/share/texmf-dist/tex/generic/oberdiek/gettitlestring.sty -Package: gettitlestring 2016/05/16 v1.5 Cleanup title references (HO) -) -\c@section@level=\count138 -) -LaTeX Info: Redefining \ref on input line 37. -LaTeX Info: Redefining \pageref on input line 37. -LaTeX Info: Redefining \nameref on input line 37. - (./prova.out) -(./prova.out) -\@outlinefile=\write3 -\openout3 = `prova.out'. - -\c@lstlisting=\count139 -LaTeX Font Info: Try loading font information for U+msa on input line 40. - (/usr/share/texmf-dist/tex/latex/amsfonts/umsa.fd -File: umsa.fd 2013/01/14 v3.01 AMS symbols A -) -LaTeX Font Info: Try loading font information for U+msb on input line 40. - -(/usr/share/texmf-dist/tex/latex/amsfonts/umsb.fd -File: umsb.fd 2013/01/14 v3.01 AMS symbols B -) -LaTeX Font Info: Try loading font information for T1+lmss on input line 40. - -(/usr/share/texmf-dist/tex/latex/lm/t1lmss.fd -File: t1lmss.fd 2009/10/30 v1.6 Font defs for Latin Modern -) [1 - -] -LaTeX Font Info: Try loading font information for TS1+lmr on input line 82. - -(/usr/share/texmf-dist/tex/latex/lm/ts1lmr.fd -File: ts1lmr.fd 2009/10/30 v1.6 Font defs for Latin Modern -) [2] -LaTeX Font Info: Try loading font information for T1+lmtt on input line 145. - - -(/usr/share/texmf-dist/tex/latex/lm/t1lmtt.fd -File: t1lmtt.fd 2009/10/30 v1.6 Font defs for Latin Modern -) [3] -Overfull \hbox (18.04773pt too wide) in paragraph at lines 180--180 - []\T1/lmtt/m/n/10.95 | (Some _, None) -> print "Pair of optional types, last n -ull"[] - [] - - -Overfull \hbox (23.79646pt too wide) in paragraph at lines 180--180 - []\T1/lmtt/m/n/10.95 | (None, Some _) -> print "Pair of optional types, first -null"[] - [] - - -Overfull \hbox (6.55026pt too wide) in paragraph at lines 180--180 - []\T1/lmtt/m/n/10.95 | (None, None) -> print "Pair of optional types, both nul -l"[] - [] - -[4] -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₙ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₙ in font ec-lmr10! -Missing character: There is no ⁱ in font ec-lmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₁ in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₂ in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₘ in font cmmi10! -Missing character: There is no → in font cmr10! - -Overfull \hbox (2.96298pt too wide) in paragraph at lines 259--261 -[]\T1/lmr/m/n/10.95 Most na-tive data types in OCaml, such as in-te-gers, tu-pl -es, lists, records, - [] - -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₐ in font ec-lmr10! -Missing character: There is no ᵢ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ᵢ in font ec-lmr10! -Missing character: There is no ∀ in font ec-lmr10! -Missing character: There is no ∈ in font ec-lmr10! -! Undefined control sequence. -l.285 \vv - {v} = (v₁, v₂, \ldots{}, vᵢ) matches the line number i in P if and... - -? -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ᵢ in font ec-lmr10! -[5] -! Misplaced alignment tab character &. -l.288 \item \[ p_{i,1} & - p_{i,2} & \cdots & p_{i,n} \] ≼ (v₁, v₂, \ldots{}, vᵢ) - -? -! Misplaced alignment tab character &. -l.288 \item \[ p_{i,1} & p_{i,2} & - \cdots & p_{i,n} \] ≼ (v₁, v₂, \ldots{}, vᵢ) - -? -! Misplaced alignment tab character &. - & - -l.288 \item \[ p_{i,1} & p_{i,2} & \cdots & - p_{i,n} \] ≼ (v₁, v₂, \ldots{}, vᵢ) - -? -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ᵢ in font ec-lmr10! -! Misplaced alignment tab character &. -l.289 \item \[ ∀j < i p_{j,1} & - p_{j,2} & \cdots & p_{j,n} \] ⋠ (v₁, v₂, \ld... - -? -! Misplaced alignment tab character &. -l.289 \item \[ ∀j < i p_{j,1} & p_{j,2} & - \cdots & p_{j,n} \] ⋠ (v₁, v₂, \ld... - -? -! Misplaced alignment tab character &. - & - -l.289 \item \[ ∀j < i p_{j,1} & p_{j,2} & \cdots & - p_{j,n} \] ⋠ (v₁, v₂, \ld... - -? -Missing character: There is no ∀ in font cmr10! -Missing character: There is no ⋠ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ᵢ in font ec-lmr10! -Missing character: There is no ≼ in font ec-lmr10! -Missing character: There is no ≡ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₘ in font ec-lmr10! -Missing character: There is no ₘ in font ec-lmr10! -! Undefined control sequence. -l.324 \vv - {x} = (x₁, x₂, \ldots{}, xₙ) of size n -? -Missing character: There is no ₁ in font ec-lmr10! -Missing character: There is no ₂ in font ec-lmr10! -Missing character: There is no ₙ in font ec-lmr10! -Missing character: There is no → in font ec-lmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₁ in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₂ in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no → in font cmr10! -Missing character: There is no ₘ in font cmmi10! -Missing character: There is no → in font cmr10! -Package atveryend Info: Empty hook `BeforeClearDocument' on input line 336. -[6] -Package atveryend Info: Empty hook `AfterLastShipout' on input line 336. - (./prova.aux) -Package atveryend Info: Empty hook `AtVeryEndDocument' on input line 336. -Package atveryend Info: Executing hook `AtEndAfterFileList' on input line 336. - - -Package rerunfilecheck Warning: File `prova.out' has changed. -(rerunfilecheck) Rerun to get outlines right -(rerunfilecheck) or use package `bookmark'. - -Package rerunfilecheck Info: Checksums for `prova.out': -(rerunfilecheck) Before: 25CD49CE93FE2EBDE0A77084F183FACA -(rerunfilecheck) After: 4C10F3A28DB5B56905D83B509FE58CA0. - -LaTeX Warning: Label(s) may have changed. Rerun to get cross-references right. - -Package atveryend Info: Empty hook `AtVeryVeryEnd' on input line 336. - ) -Here is how much of TeX's memory you used: - 11724 strings out of 494894 - 164120 string characters out of 6177622 - 238134 words of memory out of 5000000 - 15485 multiletter control sequences out of 15000+600000 - 53749 words of font info for 57 fonts, out of 8000000 for 9000 - 14 hyphenation exceptions out of 8191 - 36i,9n,45p,286b,536s stack positions out of 5000i,500n,10000p,200000b,80000s - -Output written on prova.pdf (6 pages). diff --git a/tesi/prova.out b/tesi/prova.out deleted file mode 100644 index ac99723..0000000 --- a/tesi/prova.out +++ /dev/null @@ -1,4 +0,0 @@ -\BOOKMARK [1][-]{section.1}{TODO\040Scaletta\040[1/2]}{}% 1 -\BOOKMARK [1][-]{section.2}{1.\040Background}{}% 2 -\BOOKMARK [2][-]{subsection.2.1}{1.1\040OCaml}{section.2}% 3 -\BOOKMARK [2][-]{subsection.2.2}{1.2.1.1\040Initial\040state\040of\040the\040compilation}{section.2}% 4 diff --git a/tesi/prova.pdf b/tesi/prova.pdf deleted file mode 100644 index ca95d00..0000000 Binary files a/tesi/prova.pdf and /dev/null differ diff --git a/tesi/prova.tex b/tesi/prova.tex deleted file mode 100644 index bed774a..0000000 --- a/tesi/prova.tex +++ /dev/null @@ -1,336 +0,0 @@ -% Created 2020-02-19 Wed 16:42 -% Intended LaTeX compiler: pdflatex -\documentclass[11pt]{article} -\usepackage[utf8]{inputenc} -\usepackage[T1]{fontenc} -\usepackage{graphicx} -\usepackage{grffile} -\usepackage{longtable} -\usepackage{wrapfig} -\usepackage{rotating} -\usepackage[normalem]{ulem} -\usepackage{amsmath} -\usepackage{textcomp} -\usepackage{amssymb} -\usepackage{capt-of} -\usepackage{hyperref} -\usepackage[utf8]{inputenc} -\usepackage{algorithm} -\usepackage{algpseudocode} -\usepackage{amsmath,amssymb,amsthm} -\usepackage[utf8]{inputenc} -\usepackage[T1]{fontenc} -\newtheorem{definition}{Definition} -\usepackage{graphicx} -\usepackage{listings} -\usepackage{color} -\author{Francesco Mecca} -\date{} -\title{Translation Verification of the OCaml pattern matching compiler} -\hypersetup{ - pdfauthor={Francesco Mecca}, - pdftitle={Translation Verification of the OCaml pattern matching compiler}, - pdfkeywords={}, - pdfsubject={}, - pdfcreator={Emacs 26.3 (Org mode 9.1.9)}, - pdflang={English}} -\begin{document} - -\maketitle -\section{{\bfseries\sffamily TODO} Scaletta [1/2]} -\label{sec:org6c3943f} -\begin{itemize} -\item[{$\boxtimes$}] Abstract -\item[{$\boxminus$}] Background [25\%] -\begin{itemize} -\item[{$\boxtimes$}] Ocaml -\item[{$\square$}] Lambda code -\item[{$\square$}] Pattern matching -\item[{$\square$}] Translation Verification -\item[{$\square$}] Symbolic execution -\end{itemize} -\end{itemize} - -\begin{abstract} - -This dissertation presents an algorithm for the translation validation of the OCaml -pattern matching compiler. Given the source representation of the target program and the -target program compiled in untyped lambda form, the algoritmhm is capable of modelling -the source program in terms of symbolic constraints on it's branches and apply symbolic -execution on the untyped lambda representation in order to validate wheter the compilation -produced a valid result. -In this context a valid result means that for every input in the domain of the source -program the untyped lambda translation produces the same output as the source program. -The input of the program is modelled in terms of symbolic constraints closely related to -the runtime representation of OCaml objects and the output consists of OCaml code -blackboxes that are not evaluated in the context of the verification. - -\end{abstract} - -\section{1. Background} -\label{sec:orgad08c62} - -\subsection{1.1 OCaml} -\label{sec:orgca8d200} -Objective Caml (OCaml) is a dialect of the ML (Meta-Language) family of programming -languages. -OCaml shares many features with other dialects of ML, such as SML and Caml Light, -The main features of ML languages are the use of the Hindley-Milner type system that -provides many advantages with respect to static type systems of traditional imperative and object -oriented language such as C, C++ and Java, such as: -\begin{itemize} -\item Parametric polymorphism: in certain scenarios a function can accept more than one -\end{itemize} -type for the input parameters. For example a function that computes the lenght of a -list doesn't need to inspect the type of the elements of the list and for this reason -a List.length function can accept list of integers, list of strings and in general -list of any type. Such languages offer polymorphic functions through subtyping at -runtime only, while other languages such as C++ offer polymorphism through compile -time templates and function overloading. -With the Hindley-Milner type system each well typed function can have more than one -type but always has a unique best type, called the \emph{principal type}. -For example the principal type of the List.length function is "For any \emph{a}, function from -list of \emph{a} to \emph{int}" and \emph{a} is called the \emph{type parameter}. -\begin{itemize} -\item Strong typing: Languages such as C and C++ allow the programmer to operate on data -\end{itemize} -without considering its type, mainly through pointers. Other languages such as C\# -and Go allow type erasure so at runtime the type of the data can't be queried. -In the case of programming languages using an Hindley-Milner type system the -programmer is not allowed to operate on data by ignoring or promoting its type. -\begin{itemize} -\item Type Inference: the principal type of a well formed term can be inferred without any -\end{itemize} -annotation or declaration. -\begin{itemize} -\item Algebraic data types: types that are modelled by the use of two -\end{itemize} - algebraic operations, sum and product. - A sum type is a type that can hold of many different types of - objects, but only one at a time. For example the sum type defined - as \emph{A + B} can hold at any moment a value of type A or a value of - type B. Sum types are also called tagged union or variants. - A product type is a type constructed as a direct product - of multiple types and contains at any moment one instance for - every type of its operands. Product types are also called tuples - or records. Algebraic data types can be recursive - in their definition and can be combined. -Moreover ML languages are functional, meaning that functions are -treated as first class citizens and variables are immutable, -although mutable statements and imperative constructs are permitted. -In addition to that OCaml features an object system, that provides -inheritance, subtyping and dynamic binding, and modules, that -provide a way to encapsulate definitions. Modules are checked -statically and can be reificated through functors. - -\begin{enumerate} -\item {\bfseries\sffamily TODO} 1.2 Pattern matching [37\%] -\label{sec:org83a2e95} -\begin{itemize} -\item[{$\square$}] capisci come mettere gli esempi uno accanto all'altro -\end{itemize} - -Pattern matching is a widely adopted mechanism to interact with ADT. -C family languages provide branching on predicates through the use of -if statements and switch statements. -Pattern matching is a mechanism for destructuring and analyzing data -structures for the presence of values simbolically represented as -tokens. One common example of pattern matching is the use of regular -expressions on strings. OCaml provides pattern matching on ADT, -primitive data types. - -\begin{itemize} -\item[{$\boxtimes$}] Esempio enum, C e Ocaml -\end{itemize} -\begin{verbatim} -type color = | Red | Blue | Green - -begin match color with -| Red -> print "red" -| Blue -> print "red" -| Green -> print "red" - -\end{verbatim} - -OCaml provides tokens to express data destructoring - - -\begin{itemize} -\item[{$\boxtimes$}] Esempio destructor list -\end{itemize} -\begin{verbatim} - -begin match list with -| [ ] -> print "empty list" -| element1 :: [ ] -> print "one element" -| element1 :: element2 :: [ ] -> print "two elements" -| head :: tail-> print "head followed by many elements" -\end{verbatim} - -\begin{itemize} -\item[{$\boxtimes$}] Esempio destructor tuples -\end{itemize} -\begin{verbatim} - -begin match tuple with -| (Some _, Some _) -> print "Pair of optional types" -| (Some _, None) -> print "Pair of optional types, last null" -| (None, Some _) -> print "Pair of optional types, first null" -| (None, None) -> print "Pair of optional types, both null" -\end{verbatim} - -Pattern clauses can make the use of \emph{guards} to test predicates and -variables can be binded in scope. - -\begin{itemize} -\item[{$\square$}] Esempio binding e guards -\end{itemize} -\begin{verbatim} - -begin match token_list with -| "switch"::var::"{"::rest -> -| "case"::":"::var::rest when is_int var -> -| "case"::":"::var::rest when is_string var -> -| "}"::[ ] -> stop () -| "}"::rest -> error "syntax error: " rest - -\end{verbatim} - -\begin{itemize} -\item[{$\square$}] Un altro esempio con destructors e tutto i lresto -\end{itemize} - -In general pattern matching on primitive and algebraic data types takes the -following form. - -\begin{itemize} -\item[{$\square$}] Esempio informale -\end{itemize} - -It can be described more formally through a BNF grammar. - -\begin{itemize} -\item[{$\square$}] BNF - -\item[{$\square$}] Come funziona il pattern matching? -\end{itemize} - -\item {\bfseries\sffamily TODO} 1.2.1 Pattern matching compilation to lambda code -\label{sec:org2127ffb} - -\begin{itemize} -\item[{$\square$}] Da tabella a matrice -\end{itemize} - -Formally, pattern are defined as follows: -\begin{center} -\begin{tabular}{ll} -pattern ::= & Patterns\\ -\hline -\_ & wildcard\\ -x & variable\\ -c(p₁,p₂,\ldots{},pₙ & constructor pattern\\ -(p₁\(\vert{}\) p₂) & or-pattern\\ -\end{tabular} -\end{center} - -Values are defined as follows: -\begin{center} -\begin{tabular}{ll} -values ::= & Values\\ -\hline -c(v₁, v₂, \ldots{}, vₙ) & constructor value\\ -\end{tabular} -\end{center} - -The entire pattern matching code can be represented as a clause matrix -that associates rows of patterns (p\(_{\text{i,1}}\), p\(_{\text{i,2}}\), \ldots{}, p\(_{\text{i,n}}\)) to -lambda code action lⁱ -\begin{equation*} -(P → L) = -\begin{pmatrix} -p_{1,1} & p_{1,2} & \cdots & p_{1,n} → l₁ \\ -p_{2,1} & p_{2,2} & \cdots & p_{2,n} → l₂ \\ -\vdots & \vdots & \ddots \vdots → \vdots \\ -p_{m,1} & p_{m,2} & \cdots & p_{m,n} → lₘ -\end{pmatrix} -\end{equation*} - -Most native data types in OCaml, such as integers, tuples, lists, -records, can be seen as instances of the following definition - -\begin{verbatim} -type t = Nil | One of int | Cons of int * t -\end{verbatim} -that is a type \emph{t} with three constructors that define its complete -signature. -Every constructor has an arity. Nil, a constructor of arity 0, is -called a constant constructor. - -The pattern \emph{p} matches a value \emph{v}, written as p ≼ v, when -one of the following rules apply - -\begin{center} -\begin{tabular}{llll} -\_ & ≼ & v & \\ -x & ≼ & v & \\ -(p₁ \(\vert{}\)$\backslash$ p₂) & ≼ & v & iff p₁ ≼ v or p₂ ≼ v\\ -c(p₁, p₂, \ldots{}, pₐ) & ≼ & c(v₁, v₂, \ldots{}, vₐ) & iff (p₁, p₂, \ldots{}, pₐ) ≼ (v₁, v₂, \ldots{}, vₐ)\\ -(p₁, p₂, \ldots{}, pₐ) & ≼ & (v₁, v₂, \ldots{}, vₐ) & iff pᵢ ≼ vᵢ ∀i ∈ [1..a]\\ -\end{tabular} -\end{center} -We can also say that \emph{v} is an \emph{instance} of \emph{p}. - -When we consider the pattern matrix P we say that the value vector -\vv{v} = (v₁, v₂, \ldots{}, vᵢ) matches the line number i in P if and only if the following two -conditions are satisfied: -\begin{itemize} -\item \[ p_{i,1} & p_{i,2} & \cdots & p_{i,n} \] ≼ (v₁, v₂, \ldots{}, vᵢ) -\item \[ ∀j < i p_{j,1} & p_{j,2} & \cdots & p_{j,n} \] ⋠ (v₁, v₂, \ldots{}, vᵢ) -\end{itemize} - -We can define the following three relations with respect to patterns: -\begin{itemize} -\item Patter p is less precise than pattern q, writtens p ≼ q when all -instances of q are instances of p -\item Pattern p and q are equivalent, written p ≡ q, when their instances -are the same -\item Patterns p and q are compatible when they share a common instance -\end{itemize} -\end{enumerate} - -\subsection{1.2.1.1 Initial state of the compilation} -\label{sec:org0b0c254} - -Given a source of the following form: - -\#+BEGIN\_SRC ocaml -match x with -\begin{center} -\begin{tabular}{l} -p₁ -> e₁\\ -p₂ -> e₂\\ -\end{tabular} -\end{center} -\ldots{} -\begin{center} -\begin{tabular}{l} -pₘ -> eₘ\\ -\end{tabular} -\end{center} -\#+END\_SRC ocaml - -the initial input of the algorithm consists of a vector of variables -\vv{x} = (x₁, x₂, \ldots{}, xₙ) of size n -and a clause matrix P → L of width n and height m. - -\begin{equation*} -(P → L) = -\begin{pmatrix} -p_{1,1} & p_{1,2} & \cdots & p_{1,n} → l₁ \\ -p_{2,1} & p_{2,2} & \cdots & p_{2,n} → l₂ \\ -\vdots & \vdots & \ddots \vdots → \vdots \\ -p_{m,1} & p_{m,2} & \cdots & p_{m,n} → lₘ -\end{pmatrix} -\end{equation*} -\end{document} diff --git a/tesi/prova.org b/tesi/tesi.org similarity index 100% rename from tesi/prova.org rename to tesi/tesi.org diff --git a/tesi/texput.log b/tesi/texput.log deleted file mode 100644 index 3a4c4f8..0000000 --- a/tesi/texput.log +++ /dev/null @@ -1,21 +0,0 @@ -This is pdfTeX, Version 3.14159265-2.6-1.40.20 (TeX Live 2019 Gentoo Linux) (preloaded format=pdflatex 2020.2.15) 17 FEB 2020 16:31 -entering extended mode - restricted \write18 enabled. - %&-line parsing enabled. -**tesi.tex - -! Emergency stop. -<*> tesi.tex - -End of file on the terminal! - - -Here is how much of TeX's memory you used: - 3 strings out of 494553 - 112 string characters out of 6177841 - 52201 words of memory out of 5000000 - 3775 multiletter control sequences out of 15000+600000 - 3640 words of font info for 14 fonts, out of 8000000 for 9000 - 14 hyphenation exceptions out of 8191 - 0i,0n,0p,11b,6s stack positions out of 5000i,500n,10000p,200000b,80000s -! ==> Fatal error occurred, no output PDF file produced! diff --git a/tesi/unicode-latex.json b/tesi/unicode-latex.json new file mode 100644 index 0000000..6cd9664 --- /dev/null +++ b/tesi/unicode-latex.json @@ -0,0 +1,2519 @@ +{ +"!":"\\mathexclam", +"#":"\\mathoctothorpe", +"$":"\\mathdollar", +"%":"\\mathpercent", +"&":"\\mathampersand", +"(":"\\lparen", +")":"\\rparen", +"+":"\\mathplus", +",":"\\mathcomma", +".":"\\mathperiod", +"/":"\\mathslash", +":":"\\mathcolon", +";":"\\mathsemicolon", +"<":"\\less", +"=":"\\equal", +">":"\\greater", +"?":"\\mathquestion", +"@":"\\mathatsign", +"[":"\\lbrack", +"\\":"\\backslash", +"]":"\\rbrack", +"{":"\\lbrace", +"|":"\\vert", +"}":"\\rbrace", +"£":"\\mathsterling", +"¥":"\\mathyen", +"§":"\\mathsection", +"¬":"\\neg", +"±":"\\pm", +"¶":"\\mathparagraph", +"·":"\\cdotp", +"×":"\\times", +"ð":"\\matheth", +"÷":"\\div", +"Ƶ":"\\Zbar", +"Α":"\\Alpha", +"Β":"\\Beta", +"Γ":"\\Gamma", +"Δ":"\\Delta", +"Ε":"\\Epsilon", +"Ζ":"\\Zeta", +"Η":"\\Eta", +"Θ":"\\Theta", +"Ι":"\\Iota", +"Κ":"\\Kappa", +"Λ":"\\Lambda", +"Μ":"\\Mu", +"Ν":"\\Nu", +"Ξ":"\\Xi", +"Ο":"\\Omicron", +"Π":"\\Pi", +"Ρ":"\\Rho", +"Σ":"\\Sigma", +"Τ":"\\Tau", +"Υ":"\\Upsilon", +"Φ":"\\Phi", +"Χ":"\\Chi", +"Ψ":"\\Psi", +"Ω":"\\Omega", +"α":"\\alpha", +"β":"\\beta", +"γ":"\\gamma", +"δ":"\\delta", +"ε":"\\varepsilon", +"ζ":"\\zeta", +"η":"\\eta", +"θ":"\\theta", +"ι":"\\iota", +"κ":"\\kappa", +"λ":"\\lambda", +"μ":"\\mu", +"ν":"\\nu", +"ξ":"\\xi", +"ο":"\\omicron", +"π":"\\pi", +"ρ":"\\rho", +"ς":"\\varsigma", +"σ":"\\sigma", +"τ":"\\tau", +"υ":"\\upsilon", +"φ":"\\varphi", +"χ":"\\chi", +"ψ":"\\psi", +"ω":"\\omega", +"ϑ":"\\vartheta", +"ϕ":"\\phi", +"ϖ":"\\varpi", +"Ϝ":"\\upDigamma", +"ϝ":"\\updigamma", +"ϰ":"\\varkappa", +"ϱ":"\\varrho", +"ϴ":"\\varTheta", +"ϵ":"\\epsilon", +"϶":"\\upbackepsilon", +"―":"\\horizbar", +"‖":"\\Vert", +"‗":"\\twolowline", +"†":"\\dagger", +"‡":"\\ddagger", +"•":"\\smblkcircle", +"‥":"\\enleadertwodots", +"…":"\\ldots", +"′":"\\prime", +"″":"\\dprime", +"‴":"\\trprime", +"‵":"\\backprime", +"‶":"\\backdprime", +"‷":"\\backtrprime", +"‸":"\\caretinsert", +"‼":"\\Exclam", +"⁀":"\\tieconcat", +"⁃":"\\hyphenbullet", +"⁄":"\\fracslash", +"⁇":"\\Question", +"⁐":"\\closure", +"⁗":"\\qprime", +"€":"\\euro", +"⃐":"\\leftharpoonaccent", +"⃐":"\\overleftharpoon", +"⃑":"\\rightharpoonaccent", +"⃑":"\\overrightharpoon", +"⃒":"\\vertoverlay", +"⃖":"\\overleftarrow", +"⃗":"\\overrightarrow", +"⃗":"\\vec", +"⃛":"\\dddot", +"⃜":"\\ddddot", +"⃝":"\\enclosecircle", +"⃞":"\\enclosesquare", +"⃟":"\\enclosediamond", +"⃡":"\\overleftrightarrow", +"⃤":"\\enclosetriangle", +"⃧":"\\annuity", +"⃨":"\\threeunderdot", +"⃩":"\\widebridgeabove", +"⃬":"\\underrightharpoondown", +"⃭":"\\underleftharpoondown", +"⃮":"\\underleftarrow", +"⃯":"\\underrightarrow", +"⃰":"\\asteraccent", +"ℂ":"\\mathbb{C}", +"ℇ":"\\Eulerconst", +"ℊ":"\\mathcal{g}", +"ℋ":"\\mathcal{H}", +"ℌ":"\\mathfrak{H}", +"ℍ":"\\mathbb{H}", +"ℎ":"\\Planckconst", +"ℏ":"\\hslash", +"ℐ":"\\mathcal{I}", +"ℑ":"\\Im", +"ℒ":"\\mathcal{L}", +"ℓ":"\\ell", +"ℕ":"\\mathbb{N}", +"℘":"\\wp", +"ℙ":"\\mathbb{P}", +"ℚ":"\\mathbb{Q}", +"ℛ":"\\mathcal{R}", +"ℜ":"\\Re", +"ℝ":"\\mathbb{R}", +"ℤ":"\\mathbb{Z}", +"℧":"\\mho", +"ℨ":"\\mathfrak{Z}", +"℩":"\\turnediota", +"Å":"\\Angstrom", +"ℬ":"\\mathcal{B}", +"ℭ":"\\mathfrak{C}", +"ℯ":"\\mathcal{e}", +"ℰ":"\\mathcal{E}", +"ℱ":"\\mathcal{F}", +"Ⅎ":"\\Finv", +"ℳ":"\\mathcal{M}", +"ℴ":"\\mathcal{o}", +"ℵ":"\\aleph", +"ℶ":"\\beth", +"ℷ":"\\gimel", +"ℸ":"\\daleth", +"ℼ":"\\mathbb{\\pi}", +"ℽ":"\\mathbb{\\gamma}", +"ℾ":"\\mathbb{\\Gamma}", +"ℿ":"\\mathbb{\\Pi}", +"⅀":"\\mathbb{\\sum}", +"⅁":"\\Game", +"⅂":"\\sansLturned", +"⅃":"\\sansLmirrored", +"⅄":"\\Yup", +"ⅅ":"\\mathbbit{D}", +"ⅆ":"\\mathbbit{d}", +"ⅇ":"\\mathbbit{e}", +"ⅈ":"\\mathbbit{i}", +"ⅉ":"\\mathbbit{j}", +"⅊":"\\PropertyLine", +"⅋":"\\upand", +"←":"\\leftarrow", +"↑":"\\uparrow", +"→":"\\rightarrow", +"↓":"\\downarrow", +"↔":"\\leftrightarrow", +"↕":"\\updownarrow", +"↖":"\\nwarrow", +"↗":"\\nearrow", +"↘":"\\searrow", +"↙":"\\swarrow", +"↚":"\\nleftarrow", +"↛":"\\nrightarrow", +"↜":"\\leftwavearrow", +"↝":"\\rightwavearrow", +"↞":"\\twoheadleftarrow", +"↟":"\\twoheaduparrow", +"↠":"\\twoheadrightarrow", +"↡":"\\twoheaddownarrow", +"↢":"\\leftarrowtail", +"↣":"\\rightarrowtail", +"↤":"\\mapsfrom", +"↥":"\\mapsup", +"↦":"\\mapsto", +"↧":"\\mapsdown", +"↨":"\\updownarrowbar", +"↩":"\\hookleftarrow", +"↪":"\\hookrightarrow", +"↫":"\\looparrowleft", +"↬":"\\looparrowright", +"↭":"\\leftrightsquigarrow", +"↮":"\\nleftrightarrow", +"↯":"\\downzigzagarrow", +"↰":"\\Lsh", +"↱":"\\Rsh", +"↲":"\\Ldsh", +"↳":"\\Rdsh", +"↴":"\\linefeed", +"↵":"\\carriagereturn", +"↶":"\\curvearrowleft", +"↷":"\\curvearrowright", +"↸":"\\barovernorthwestarrow", +"↹":"\\barleftarrowrightarrowbar", +"↺":"\\acwopencirclearrow", +"↻":"\\cwopencirclearrow", +"↼":"\\leftharpoonup", +"↽":"\\leftharpoondown", +"↾":"\\upharpoonright", +"↿":"\\upharpoonleft", +"⇀":"\\rightharpoonup", +"⇁":"\\rightharpoondown", +"⇂":"\\downharpoonright", +"⇃":"\\downharpoonleft", +"⇄":"\\rightleftarrows", +"⇅":"\\updownarrows", +"⇆":"\\leftrightarrows", +"⇇":"\\leftleftarrows", +"⇈":"\\upuparrows", +"⇉":"\\rightrightarrows", +"⇊":"\\downdownarrows", +"⇋":"\\leftrightharpoons", +"⇌":"\\rightleftharpoons", +"⇍":"\\nLeftarrow", +"⇎":"\\nLeftrightarrow", +"⇏":"\\nRightarrow", +"⇐":"\\Leftarrow", +"⇑":"\\Uparrow", +"⇒":"\\Rightarrow", +"⇓":"\\Downarrow", +"⇔":"\\Leftrightarrow", +"⇕":"\\Updownarrow", +"⇖":"\\Nwarrow", +"⇗":"\\Nearrow", +"⇘":"\\Searrow", +"⇙":"\\Swarrow", +"⇚":"\\Lleftarrow", +"⇛":"\\Rrightarrow", +"⇜":"\\leftsquigarrow", +"⇝":"\\rightsquigarrow", +"⇞":"\\nHuparrow", +"⇟":"\\nHdownarrow", +"⇠":"\\leftdasharrow", +"⇡":"\\updasharrow", +"⇢":"\\rightdasharrow", +"⇣":"\\downdasharrow", +"⇤":"\\barleftarrow", +"⇥":"\\rightarrowbar", +"⇦":"\\leftwhitearrow", +"⇧":"\\upwhitearrow", +"⇨":"\\rightwhitearrow", +"⇩":"\\downwhitearrow", +"⇪":"\\whitearrowupfrombar", +"⇴":"\\circleonrightarrow", +"⇵":"\\downuparrows", +"⇶":"\\rightthreearrows", +"⇷":"\\nvleftarrow", +"⇸":"\\nvrightarrow", +"⇹":"\\nvleftrightarrow", +"⇺":"\\nVleftarrow", +"⇻":"\\nVrightarrow", +"⇼":"\\nVleftrightarrow", +"⇽":"\\leftarrowtriangle", +"⇾":"\\rightarrowtriangle", +"⇿":"\\leftrightarrowtriangle", +"∀":"\\forall", +"∁":"\\complement", +"∂":"\\partial", +"∃":"\\exists", +"∄":"\\nexists", +"∅":"\\varnothing", +"∆":"\\increment", +"∇":"\\nabla", +"∈":"\\in", +"∉":"\\notin", +"∊":"\\smallin", +"∋":"\\ni", +"∌":"\\nni", +"∍":"\\smallni", +"∎":"\\QED", +"∏":"\\prod", +"∐":"\\coprod", +"∑":"\\sum", +"−":"\\minus", +"∓":"\\mp", +"∔":"\\dotplus", +"∕":"\\divslash", +"∖":"\\smallsetminus", +"∗":"\\ast", +"∘":"\\vysmwhtcircle", +"∙":"\\vysmblkcircle", +"√":"\\sqrt", +"√":"\\surd", +"∛":"\\cuberoot", +"∜":"\\fourthroot", +"∝":"\\propto", +"∞":"\\infty", +"∟":"\\rightangle", +"∠":"\\angle", +"∡":"\\measuredangle", +"∢":"\\sphericalangle", +"∣":"\\mid", +"∤":"\\nmid", +"∥":"\\parallel", +"∦":"\\nparallel", +"∧":"\\wedge", +"∨":"\\vee", +"∩":"\\cap", +"∪":"\\cup", +"∫":"\\int", +"∬":"\\iint", +"∭":"\\iiint", +"∮":"\\oint", +"∯":"\\oiint", +"∰":"\\oiiint", +"∱":"\\intclockwise", +"∲":"\\varointclockwise", +"∳":"\\ointctrclockwise", +"∴":"\\therefore", +"∵":"\\because", +"∶":"\\mathratio", +"∷":"\\Colon", +"∸":"\\dotminus", +"∹":"\\dashcolon", +"∺":"\\dotsminusdots", +"∻":"\\kernelcontraction", +"∼":"\\sim", +"∽":"\\backsim", +"∾":"\\invlazys", +"∿":"\\sinewave", +"≀":"\\wr", +"≁":"\\nsim", +"≂":"\\eqsim", +"≃":"\\simeq", +"≄":"\\nsime", +"≅":"\\cong", +"≆":"\\simneqq", +"≇":"\\ncong", +"≈":"\\approx", +"≉":"\\napprox", +"≊":"\\approxeq", +"≋":"\\approxident", +"≌":"\\backcong", +"≍":"\\asymp", +"≎":"\\Bumpeq", +"≏":"\\bumpeq", +"≐":"\\doteq", +"≑":"\\Doteq", +"≒":"\\fallingdotseq", +"≓":"\\risingdotseq", +"≔":"\\coloneqq", +"≕":"\\eqqcolon", +"≖":"\\eqcirc", +"≗":"\\circeq", +"≘":"\\arceq", +"≙":"\\wedgeq", +"≚":"\\veeeq", +"≛":"\\stareq", +"≜":"\\triangleq", +"≝":"\\eqdef", +"≞":"\\measeq", +"≟":"\\questeq", +"≠":"\\ne", +"≡":"\\equiv", +"≢":"\\nequiv", +"≣":"\\Equiv", +"≤":"\\leq", +"≤":"\\le", +"≥":"\\geq", +"≥":"\\ge", +"≦":"\\leqq", +"≧":"\\geqq", +"≨":"\\lneqq", +"≩":"\\gneqq", +"≪":"\\ll", +"≫":"\\gg", +"≬":"\\between", +"≭":"\\nasymp", +"≮":"\\nless", +"≯":"\\ngtr", +"≰":"\\nleq", +"≱":"\\ngeq", +"≲":"\\lesssim", +"≳":"\\gtrsim", +"≴":"\\nlesssim", +"≵":"\\ngtrsim", +"≶":"\\lessgtr", +"≷":"\\gtrless", +"≸":"\\nlessgtr", +"≹":"\\ngtrless", +"≺":"\\prec", +"≻":"\\succ", +"≼":"\\preccurlyeq", +"≽":"\\succcurlyeq", +"≾":"\\precsim", +"≿":"\\succsim", +"⊀":"\\nprec", +"⊁":"\\nsucc", +"⊂":"\\subset", +"⊃":"\\supset", +"⊄":"\\nsubset", +"⊅":"\\nsupset", +"⊆":"\\subseteq", +"⊇":"\\supseteq", +"⊈":"\\nsubseteq", +"⊉":"\\nsupseteq", +"⊊":"\\subsetneq", +"⊋":"\\supsetneq", +"⊌":"\\cupleftarrow", +"⊍":"\\cupdot", +"⊎":"\\uplus", +"⊏":"\\sqsubset", +"⊐":"\\sqsupset", +"⊑":"\\sqsubseteq", +"⊒":"\\sqsupseteq", +"⊓":"\\sqcap", +"⊔":"\\sqcup", +"⊕":"\\oplus", +"⊖":"\\ominus", +"⊗":"\\otimes", +"⊘":"\\oslash", +"⊙":"\\odot", +"⊚":"\\circledcirc", +"⊛":"\\circledast", +"⊜":"\\circledequal", +"⊝":"\\circleddash", +"⊞":"\\boxplus", +"⊟":"\\boxminus", +"⊠":"\\boxtimes", +"⊡":"\\boxdot", +"⊢":"\\vdash", +"⊣":"\\dashv", +"⊤":"\\top", +"⊥":"\\bot", +"⊦":"\\assert", +"⊧":"\\models", +"⊨":"\\vDash", +"⊩":"\\Vdash", +"⊪":"\\Vvdash", +"⊫":"\\VDash", +"⊬":"\\nvdash", +"⊭":"\\nvDash", +"⊮":"\\nVdash", +"⊯":"\\nVDash", +"⊰":"\\prurel", +"⊱":"\\scurel", +"⊲":"\\vartriangleleft", +"⊳":"\\vartriangleright", +"⊴":"\\trianglelefteq", +"⊵":"\\trianglerighteq", +"⊶":"\\origof", +"⊷":"\\imageof", +"⊸":"\\multimap", +"⊹":"\\hermitmatrix", +"⊺":"\\intercal", +"⊻":"\\veebar", +"⊼":"\\barwedge", +"⊽":"\\barvee", +"⊾":"\\measuredrightangle", +"⊿":"\\varlrtriangle", +"⋀":"\\bigwedge", +"⋁":"\\bigvee", +"⋂":"\\bigcap", +"⋃":"\\bigcup", +"⋄":"\\smwhtdiamond", +"⋅":"\\cdot", +"⋆":"\\star", +"⋇":"\\divideontimes", +"⋈":"\\bowtie", +"⋉":"\\ltimes", +"⋊":"\\rtimes", +"⋋":"\\leftthreetimes", +"⋌":"\\rightthreetimes", +"⋍":"\\backsimeq", +"⋎":"\\curlyvee", +"⋏":"\\curlywedge", +"⋐":"\\Subset", +"⋑":"\\Supset", +"⋒":"\\Cap", +"⋓":"\\Cup", +"⋔":"\\pitchfork", +"⋕":"\\equalparallel", +"⋖":"\\lessdot", +"⋗":"\\gtrdot", +"⋘":"\\lll", +"⋙":"\\ggg", +"⋚":"\\lesseqgtr", +"⋛":"\\gtreqless", +"⋜":"\\eqless", +"⋝":"\\eqgtr", +"⋞":"\\curlyeqprec", +"⋟":"\\curlyeqsucc", +"⋠":"\\npreccurlyeq", +"⋡":"\\nsucccurlyeq", +"⋢":"\\nsqsubseteq", +"⋣":"\\nsqsupseteq", +"⋤":"\\sqsubsetneq", +"⋥":"\\sqsupsetneq", +"⋦":"\\lnsim", +"⋧":"\\gnsim", +"⋨":"\\precnsim", +"⋩":"\\succnsim", +"⋪":"\\nvartriangleleft", +"⋫":"\\nvartriangleright", +"⋬":"\\ntrianglelefteq", +"⋭":"\\ntrianglerighteq", +"⋮":"\\vdots", +"⋯":"\\cdots", +"⋰":"\\iddots", +"⋱":"\\ddots", +"⋲":"\\disin", +"⋳":"\\varisins", +"⋴":"\\isins", +"⋵":"\\isindot", +"⋶":"\\varisinobar", +"⋷":"\\isinobar", +"⋸":"\\isinvb", +"⋹":"\\isinE", +"⋺":"\\nisd", +"⋻":"\\varnis", +"⋼":"\\nis", +"⋽":"\\varniobar", +"⋾":"\\niobar", +"⋿":"\\bagmember", +"⌀":"\\diameter", +"⌂":"\\house", +"⌅":"\\varbarwedge", +"⌆":"\\vardoublebarwedge", +"⌈":"\\lceil", +"⌉":"\\rceil", +"⌊":"\\lfloor", +"⌋":"\\rfloor", +"⌐":"\\invnot", +"⌑":"\\sqlozenge", +"⌒":"\\profline", +"⌓":"\\profsurf", +"⌗":"\\viewdata", +"⌙":"\\turnednot", +"⌜":"\\ulcorner", +"⌝":"\\urcorner", +"⌞":"\\llcorner", +"⌟":"\\lrcorner", +"⌠":"\\inttop", +"⌡":"\\intbottom", +"⌢":"\\frown", +"⌣":"\\smile", +"⌬":"\\varhexagonlrbonds", +"⌲":"\\conictaper", +"⌶":"\\topbot", +"⌽":"\\obar", +"⌿":"\\APLnotslash", +"⍀":"\\APLnotbackslash", +"⍓":"\\APLboxupcaret", +"⍰":"\\APLboxquestion", +"⍼":"\\rangledownzigzagarrow", +"⎔":"\\hexagon", +"⎛":"\\lparenuend", +"⎜":"\\lparenextender", +"⎝":"\\lparenlend", +"⎞":"\\rparenuend", +"⎟":"\\rparenextender", +"⎠":"\\rparenlend", +"⎡":"\\lbrackuend", +"⎢":"\\lbrackextender", +"⎣":"\\lbracklend", +"⎤":"\\rbrackuend", +"⎥":"\\rbrackextender", +"⎦":"\\rbracklend", +"⎧":"\\lbraceuend", +"⎨":"\\lbracemid", +"⎩":"\\lbracelend", +"⎪":"\\vbraceextender", +"⎫":"\\rbraceuend", +"⎬":"\\rbracemid", +"⎭":"\\rbracelend", +"⎮":"\\intextender", +"⎯":"\\harrowextender", +"⎰":"\\lmoustache", +"⎱":"\\rmoustache", +"⎲":"\\sumtop", +"⎳":"\\sumbottom", +"⎴":"\\overbracket", +"⎵":"\\underbracket", +"⎶":"\\bbrktbrk", +"⎷":"\\sqrtbottom", +"⎸":"\\lvboxline", +"⎹":"\\rvboxline", +"⏎":"\\varcarriagereturn", +"⏜":"\\overparen", +"⏝":"\\underparen", +"⏞":"\\overbrace", +"⏟":"\\underbrace", +"⏠":"\\obrbrak", +"⏡":"\\ubrbrak", +"⏢":"\\trapezium", +"⏣":"\\benzenr", +"⏤":"\\strns", +"⏥":"\\fltns", +"⏦":"\\accurrent", +"⏧":"\\elinters", +"␢":"\\blanksymbol", +"␣":"\\mathvisiblespace", +"┆":"\\bdtriplevdash", +"▀":"\\blockuphalf", +"▄":"\\blocklowhalf", +"█":"\\blockfull", +"▌":"\\blocklefthalf", +"▐":"\\blockrighthalf", +"░":"\\blockqtrshaded", +"▒":"\\blockhalfshaded", +"▓":"\\blockthreeqtrshaded", +"■":"\\mdlgblksquare", +"□":"\\mdlgwhtsquare", +"▢":"\\squoval", +"▣":"\\blackinwhitesquare", +"▤":"\\squarehfill", +"▥":"\\squarevfill", +"▦":"\\squarehvfill", +"▧":"\\squarenwsefill", +"▨":"\\squareneswfill", +"▩":"\\squarecrossfill", +"▪":"\\smblksquare", +"▫":"\\smwhtsquare", +"▬":"\\hrectangleblack", +"▭":"\\hrectangle", +"▮":"\\vrectangleblack", +"▯":"\\vrectangle", +"▰":"\\parallelogramblack", +"▱":"\\parallelogram", +"▲":"\\bigblacktriangleup", +"△":"\\bigtriangleup", +"▴":"\\blacktriangle", +"▵":"\\vartriangle", +"▶":"\\blacktriangleright", +"▷":"\\triangleright", +"▸":"\\smallblacktriangleright", +"▹":"\\smalltriangleright", +"►":"\\blackpointerright", +"▻":"\\whitepointerright", +"▼":"\\bigblacktriangledown", +"▽":"\\bigtriangledown", +"▾":"\\blacktriangledown", +"▿":"\\triangledown", +"◀":"\\blacktriangleleft", +"◁":"\\triangleleft", +"◂":"\\smallblacktriangleleft", +"◃":"\\smalltriangleleft", +"◄":"\\blackpointerleft", +"◅":"\\whitepointerleft", +"◆":"\\mdlgblkdiamond", +"◇":"\\mdlgwhtdiamond", +"◈":"\\blackinwhitediamond", +"◉":"\\fisheye", +"◊":"\\mdlgwhtlozenge", +"○":"\\mdlgwhtcircle", +"◌":"\\dottedcircle", +"◍":"\\circlevertfill", +"◎":"\\bullseye", +"●":"\\mdlgblkcircle", +"◐":"\\circlelefthalfblack", +"◑":"\\circlerighthalfblack", +"◒":"\\circlebottomhalfblack", +"◓":"\\circletophalfblack", +"◔":"\\circleurquadblack", +"◕":"\\blackcircleulquadwhite", +"◖":"\\blacklefthalfcircle", +"◗":"\\blackrighthalfcircle", +"◘":"\\inversebullet", +"◙":"\\inversewhitecircle", +"◚":"\\invwhiteupperhalfcircle", +"◛":"\\invwhitelowerhalfcircle", +"◜":"\\ularc", +"◝":"\\urarc", +"◞":"\\lrarc", +"◟":"\\llarc", +"◠":"\\topsemicircle", +"◡":"\\botsemicircle", +"◢":"\\lrblacktriangle", +"◣":"\\llblacktriangle", +"◤":"\\ulblacktriangle", +"◥":"\\urblacktriangle", +"◦":"\\smwhtcircle", +"◧":"\\squareleftblack", +"◨":"\\squarerightblack", +"◩":"\\squareulblack", +"◪":"\\squarelrblack", +"◫":"\\boxbar", +"◬":"\\trianglecdot", +"◭":"\\triangleleftblack", +"◮":"\\trianglerightblack", +"◯":"\\lgwhtcircle", +"◰":"\\squareulquad", +"◱":"\\squarellquad", +"◲":"\\squarelrquad", +"◳":"\\squareurquad", +"◴":"\\circleulquad", +"◵":"\\circlellquad", +"◶":"\\circlelrquad", +"◷":"\\circleurquad", +"◸":"\\ultriangle", +"◹":"\\urtriangle", +"◺":"\\lltriangle", +"◻":"\\mdwhtsquare", +"◼":"\\mdblksquare", +"◽":"\\mdsmwhtsquare", +"◾":"\\mdsmblksquare", +"◿":"\\lrtriangle", +"★":"\\bigstar", +"☆":"\\bigwhitestar", +"☉":"\\astrosun", +"☡":"\\danger", +"☻":"\\blacksmiley", +"☼":"\\sun", +"☽":"\\rightmoon", +"☾":"\\leftmoon", +"♀":"\\female", +"♂":"\\male", +"♠":"\\spadesuit", +"♡":"\\heartsuit", +"♢":"\\diamondsuit", +"♣":"\\clubsuit", +"♤":"\\varspadesuit", +"♥":"\\varheartsuit", +"♦":"\\vardiamondsuit", +"♧":"\\varclubsuit", +"♩":"\\quarternote", +"♪":"\\eighthnote", +"♫":"\\twonotes", +"♭":"\\flat", +"♮":"\\natural", +"♯":"\\sharp", +"♾":"\\acidfree", +"⚀":"\\dicei", +"⚁":"\\diceii", +"⚂":"\\diceiii", +"⚃":"\\diceiv", +"⚄":"\\dicev", +"⚅":"\\dicevi", +"⚆":"\\circledrightdot", +"⚇":"\\circledtwodots", +"⚈":"\\blackcircledrightdot", +"⚉":"\\blackcircledtwodots", +"⚥":"\\Hermaphrodite", +"⚪":"\\mdwhtcircle", +"⚫":"\\mdblkcircle", +"⚬":"\\mdsmwhtcircle", +"⚲":"\\neuter", +"✓":"\\checkmark", +"✠":"\\maltese", +"✪":"\\circledstar", +"✶":"\\varstar", +"✽":"\\dingasterisk", +"❲":"\\lbrbrak", +"❳":"\\rbrbrak", +"➛":"\\draftingarrow", +"⟀":"\\threedangle", +"⟁":"\\whiteinwhitetriangle", +"⟂":"\\perp", +"⟃":"\\subsetcirc", +"⟄":"\\supsetcirc", +"⟅":"\\lbag", +"⟆":"\\rbag", +"⟇":"\\veedot", +"⟈":"\\bsolhsub", +"⟉":"\\suphsol", +"⟌":"\\longdivision", +"⟐":"\\diamondcdot", +"⟑":"\\wedgedot", +"⟒":"\\upin", +"⟓":"\\pullback", +"⟔":"\\pushout", +"⟕":"\\leftouterjoin", +"⟖":"\\rightouterjoin", +"⟗":"\\fullouterjoin", +"⟘":"\\bigbot", +"⟙":"\\bigtop", +"⟚":"\\DashVDash", +"⟛":"\\dashVdash", +"⟜":"\\multimapinv", +"⟝":"\\vlongdash", +"⟞":"\\longdashv", +"⟟":"\\cirbot", +"⟠":"\\lozengeminus", +"⟡":"\\concavediamond", +"⟢":"\\concavediamondtickleft", +"⟣":"\\concavediamondtickright", +"⟤":"\\whitesquaretickleft", +"⟥":"\\whitesquaretickright", +"⟦":"\\lBrack", +"⟧":"\\rBrack", +"⟨":"\\langle", +"⟩":"\\rangle", +"⟪":"\\lAngle", +"⟫":"\\rAngle", +"⟬":"\\Lbrbrak", +"⟭":"\\Rbrbrak", +"⟮":"\\lgroup", +"⟯":"\\rgroup", +"⟰":"\\UUparrow", +"⟱":"\\DDownarrow", +"⟲":"\\acwgapcirclearrow", +"⟳":"\\cwgapcirclearrow", +"⟴":"\\rightarrowonoplus", +"⟵":"\\longleftarrow", +"⟶":"\\longrightarrow", +"⟷":"\\longleftrightarrow", +"⟸":"\\Longleftarrow", +"⟹":"\\Longrightarrow", +"⟺":"\\Longleftrightarrow", +"⟻":"\\longmapsfrom", +"⟼":"\\longmapsto", +"⟽":"\\Longmapsfrom", +"⟾":"\\Longmapsto", +"⟿":"\\longrightsquigarrow", +"⤀":"\\nvtwoheadrightarrow", +"⤁":"\\nVtwoheadrightarrow", +"⤂":"\\nvLeftarrow", +"⤃":"\\nvRightarrow", +"⤄":"\\nvLeftrightarrow", +"⤅":"\\twoheadmapsto", +"⤆":"\\Mapsfrom", +"⤇":"\\Mapsto", +"⤈":"\\downarrowbarred", +"⤉":"\\uparrowbarred", +"⤊":"\\Uuparrow", +"⤋":"\\Ddownarrow", +"⤌":"\\leftbkarrow", +"⤍":"\\rightbkarrow", +"⤎":"\\leftdbkarrow", +"⤏":"\\dbkarrow", +"⤐":"\\drbkarrow", +"⤑":"\\rightdotarrow", +"⤒":"\\baruparrow", +"⤓":"\\downarrowbar", +"⤔":"\\nvrightarrowtail", +"⤕":"\\nVrightarrowtail", +"⤖":"\\twoheadrightarrowtail", +"⤗":"\\nvtwoheadrightarrowtail", +"⤘":"\\nVtwoheadrightarrowtail", +"⤙":"\\lefttail", +"⤚":"\\righttail", +"⤛":"\\leftdbltail", +"⤜":"\\rightdbltail", +"⤝":"\\diamondleftarrow", +"⤞":"\\rightarrowdiamond", +"⤟":"\\diamondleftarrowbar", +"⤠":"\\barrightarrowdiamond", +"⤡":"\\nwsearrow", +"⤢":"\\neswarrow", +"⤣":"\\hknwarrow", +"⤤":"\\hknearrow", +"⤥":"\\hksearrow", +"⤦":"\\hkswarrow", +"⤧":"\\tona", +"⤨":"\\toea", +"⤩":"\\tosa", +"⤪":"\\towa", +"⤫":"\\rdiagovfdiag", +"⤬":"\\fdiagovrdiag", +"⤭":"\\seovnearrow", +"⤮":"\\neovsearrow", +"⤯":"\\fdiagovnearrow", +"⤰":"\\rdiagovsearrow", +"⤱":"\\neovnwarrow", +"⤲":"\\nwovnearrow", +"⤳":"\\rightcurvedarrow", +"⤴":"\\uprightcurvearrow", +"⤵":"\\downrightcurvedarrow", +"⤶":"\\leftdowncurvedarrow", +"⤷":"\\rightdowncurvedarrow", +"⤸":"\\cwrightarcarrow", +"⤹":"\\acwleftarcarrow", +"⤺":"\\acwoverarcarrow", +"⤻":"\\acwunderarcarrow", +"⤼":"\\curvearrowrightminus", +"⤽":"\\curvearrowleftplus", +"⤾":"\\cwundercurvearrow", +"⤿":"\\ccwundercurvearrow", +"⥀":"\\acwcirclearrow", +"⥁":"\\cwcirclearrow", +"⥂":"\\rightarrowshortleftarrow", +"⥃":"\\leftarrowshortrightarrow", +"⥄":"\\shortrightarrowleftarrow", +"⥅":"\\rightarrowplus", +"⥆":"\\leftarrowplus", +"⥇":"\\rightarrowx", +"⥈":"\\leftrightarrowcircle", +"⥉":"\\twoheaduparrowcircle", +"⥊":"\\leftrightharpoonupdown", +"⥋":"\\leftrightharpoondownup", +"⥌":"\\updownharpoonrightleft", +"⥍":"\\updownharpoonleftright", +"⥎":"\\leftrightharpoonupup", +"⥏":"\\updownharpoonrightright", +"⥐":"\\leftrightharpoondowndown", +"⥑":"\\updownharpoonleftleft", +"⥒":"\\barleftharpoonup", +"⥓":"\\rightharpoonupbar", +"⥔":"\\barupharpoonright", +"⥕":"\\downharpoonrightbar", +"⥖":"\\barleftharpoondown", +"⥗":"\\rightharpoondownbar", +"⥘":"\\barupharpoonleft", +"⥙":"\\downharpoonleftbar", +"⥚":"\\leftharpoonupbar", +"⥛":"\\barrightharpoonup", +"⥜":"\\upharpoonrightbar", +"⥝":"\\bardownharpoonright", +"⥞":"\\leftharpoondownbar", +"⥟":"\\barrightharpoondown", +"⥠":"\\upharpoonleftbar", +"⥡":"\\bardownharpoonleft", +"⥢":"\\leftharpoonsupdown", +"⥣":"\\upharpoonsleftright", +"⥤":"\\rightharpoonsupdown", +"⥥":"\\downharpoonsleftright", +"⥦":"\\leftrightharpoonsup", +"⥧":"\\leftrightharpoonsdown", +"⥨":"\\rightleftharpoonsup", +"⥩":"\\rightleftharpoonsdown", +"⥪":"\\leftharpoonupdash", +"⥫":"\\dashleftharpoondown", +"⥬":"\\rightharpoonupdash", +"⥭":"\\dashrightharpoondown", +"⥮":"\\updownharpoonsleftright", +"⥯":"\\downupharpoonsleftright", +"⥰":"\\rightimply", +"⥱":"\\equalrightarrow", +"⥲":"\\similarrightarrow", +"⥳":"\\leftarrowsimilar", +"⥴":"\\rightarrowsimilar", +"⥵":"\\rightarrowapprox", +"⥶":"\\ltlarr", +"⥷":"\\leftarrowless", +"⥸":"\\gtrarr", +"⥹":"\\subrarr", +"⥺":"\\leftarrowsubset", +"⥻":"\\suplarr", +"⥼":"\\leftfishtail", +"⥽":"\\rightfishtail", +"⥾":"\\upfishtail", +"⥿":"\\downfishtail", +"⦀":"\\Vvert", +"⦁":"\\mdsmblkcircle", +"⦂":"\\typecolon", +"⦃":"\\lBrace", +"⦄":"\\rBrace", +"⦅":"\\lParen", +"⦆":"\\rParen", +"⦇":"\\llparenthesis", +"⦈":"\\rrparenthesis", +"⦉":"\\llangle", +"⦊":"\\rrangle", +"⦋":"\\lbrackubar", +"⦌":"\\rbrackubar", +"⦍":"\\lbrackultick", +"⦎":"\\rbracklrtick", +"⦏":"\\lbracklltick", +"⦐":"\\rbrackurtick", +"⦑":"\\langledot", +"⦒":"\\rangledot", +"⦓":"\\lparenless", +"⦔":"\\rparengtr", +"⦕":"\\Lparengtr", +"⦖":"\\Rparenless", +"⦗":"\\lblkbrbrak", +"⦘":"\\rblkbrbrak", +"⦙":"\\fourvdots", +"⦚":"\\vzigzag", +"⦛":"\\measuredangleleft", +"⦜":"\\rightanglesqr", +"⦝":"\\rightanglemdot", +"⦞":"\\angles", +"⦟":"\\angdnr", +"⦠":"\\gtlpar", +"⦡":"\\sphericalangleup", +"⦢":"\\turnangle", +"⦣":"\\revangle", +"⦤":"\\angleubar", +"⦥":"\\revangleubar", +"⦦":"\\wideangledown", +"⦧":"\\wideangleup", +"⦨":"\\measanglerutone", +"⦩":"\\measanglelutonw", +"⦪":"\\measanglerdtose", +"⦫":"\\measangleldtosw", +"⦬":"\\measangleurtone", +"⦭":"\\measangleultonw", +"⦮":"\\measangledrtose", +"⦯":"\\measangledltosw", +"⦰":"\\revemptyset", +"⦱":"\\emptysetobar", +"⦲":"\\emptysetocirc", +"⦳":"\\emptysetoarr", +"⦴":"\\emptysetoarrl", +"⦵":"\\circlehbar", +"⦶":"\\circledvert", +"⦷":"\\circledparallel", +"⦸":"\\obslash", +"⦹":"\\operp", +"⦺":"\\obot", +"⦻":"\\olcross", +"⦼":"\\odotslashdot", +"⦽":"\\uparrowoncircle", +"⦾":"\\circledwhitebullet", +"⦿":"\\circledbullet", +"⧀":"\\olessthan", +"⧁":"\\ogreaterthan", +"⧂":"\\cirscir", +"⧃":"\\cirE", +"⧄":"\\boxdiag", +"⧅":"\\boxbslash", +"⧆":"\\boxast", +"⧇":"\\boxcircle", +"⧈":"\\boxbox", +"⧉":"\\boxonbox", +"⧊":"\\triangleodot", +"⧋":"\\triangleubar", +"⧌":"\\triangles", +"⧍":"\\triangleserifs", +"⧎":"\\rtriltri", +"⧏":"\\ltrivb", +"⧐":"\\vbrtri", +"⧑":"\\lfbowtie", +"⧒":"\\rfbowtie", +"⧓":"\\fbowtie", +"⧔":"\\lftimes", +"⧕":"\\rftimes", +"⧖":"\\hourglass", +"⧗":"\\blackhourglass", +"⧘":"\\lvzigzag", +"⧙":"\\rvzigzag", +"⧚":"\\Lvzigzag", +"⧛":"\\Rvzigzag", +"⧜":"\\iinfin", +"⧝":"\\tieinfty", +"⧞":"\\nvinfty", +"⧟":"\\dualmap", +"⧠":"\\laplac", +"⧡":"\\lrtriangleeq", +"⧢":"\\shuffle", +"⧣":"\\eparsl", +"⧤":"\\smeparsl", +"⧥":"\\eqvparsl", +"⧦":"\\gleichstark", +"⧧":"\\thermod", +"⧨":"\\downtriangleleftblack", +"⧩":"\\downtrianglerightblack", +"⧪":"\\blackdiamonddownarrow", +"⧫":"\\mdlgblklozenge", +"⧬":"\\circledownarrow", +"⧭":"\\blackcircledownarrow", +"⧮":"\\errbarsquare", +"⧯":"\\errbarblacksquare", +"⧰":"\\errbardiamond", +"⧱":"\\errbarblackdiamond", +"⧲":"\\errbarcircle", +"⧳":"\\errbarblackcircle", +"⧴":"\\ruledelayed", +"⧵":"\\setminus", +"⧶":"\\dsol", +"⧷":"\\rsolbar", +"⧸":"\\xsol", +"⧹":"\\xbsol", +"⧺":"\\doubleplus", +"⧻":"\\tripleplus", +"⧼":"\\lcurvyangle", +"⧽":"\\rcurvyangle", +"⧾":"\\tplus", +"⧿":"\\tminus", +"⨀":"\\bigodot", +"⨁":"\\bigoplus", +"⨂":"\\bigotimes", +"⨃":"\\bigcupdot", +"⨄":"\\biguplus", +"⨅":"\\bigsqcap", +"⨆":"\\bigsqcup", +"⨇":"\\conjquant", +"⨈":"\\disjquant", +"⨉":"\\bigtimes", +"⨊":"\\modtwosum", +"⨋":"\\sumint", +"⨌":"\\iiiint", +"⨍":"\\intbar", +"⨎":"\\intBar", +"⨏":"\\fint", +"⨐":"\\cirfnint", +"⨑":"\\awint", +"⨒":"\\rppolint", +"⨓":"\\scpolint", +"⨔":"\\npolint", +"⨕":"\\pointint", +"⨖":"\\sqint", +"⨗":"\\intlarhk", +"⨘":"\\intx", +"⨙":"\\intcap", +"⨚":"\\intcup", +"⨛":"\\upint", +"⨜":"\\lowint", +"⨝":"\\Join", +"⨞":"\\bigtriangleleft", +"⨟":"\\zcmp", +"⨠":"\\zpipe", +"⨡":"\\zproject", +"⨢":"\\ringplus", +"⨣":"\\plushat", +"⨤":"\\simplus", +"⨥":"\\plusdot", +"⨦":"\\plussim", +"⨧":"\\plussubtwo", +"⨨":"\\plustrif", +"⨩":"\\commaminus", +"⨪":"\\minusdot", +"⨫":"\\minusfdots", +"⨬":"\\minusrdots", +"⨭":"\\opluslhrim", +"⨮":"\\oplusrhrim", +"⨯":"\\vectimes", +"⨰":"\\dottimes", +"⨱":"\\timesbar", +"⨲":"\\btimes", +"⨳":"\\smashtimes", +"⨴":"\\otimeslhrim", +"⨵":"\\otimesrhrim", +"⨶":"\\otimeshat", +"⨷":"\\Otimes", +"⨸":"\\odiv", +"⨹":"\\triangleplus", +"⨺":"\\triangleminus", +"⨻":"\\triangletimes", +"⨼":"\\intprod", +"⨽":"\\intprodr", +"⨾":"\\fcmp", +"⨿":"\\amalg", +"⩀":"\\capdot", +"⩁":"\\uminus", +"⩂":"\\barcup", +"⩃":"\\barcap", +"⩄":"\\capwedge", +"⩅":"\\cupvee", +"⩆":"\\cupovercap", +"⩇":"\\capovercup", +"⩈":"\\cupbarcap", +"⩉":"\\capbarcup", +"⩊":"\\twocups", +"⩋":"\\twocaps", +"⩌":"\\closedvarcup", +"⩍":"\\closedvarcap", +"⩎":"\\Sqcap", +"⩏":"\\Sqcup", +"⩐":"\\closedvarcupsmashprod", +"⩑":"\\wedgeodot", +"⩒":"\\veeodot", +"⩓":"\\Wedge", +"⩔":"\\Vee", +"⩕":"\\wedgeonwedge", +"⩖":"\\veeonvee", +"⩗":"\\bigslopedvee", +"⩘":"\\bigslopedwedge", +"⩙":"\\veeonwedge", +"⩚":"\\wedgemidvert", +"⩛":"\\veemidvert", +"⩜":"\\midbarwedge", +"⩝":"\\midbarvee", +"⩞":"\\doublebarwedge", +"⩟":"\\wedgebar", +"⩠":"\\wedgedoublebar", +"⩡":"\\varveebar", +"⩢":"\\doublebarvee", +"⩣":"\\veedoublebar", +"⩤":"\\dsub", +"⩥":"\\rsub", +"⩦":"\\eqdot", +"⩧":"\\dotequiv", +"⩨":"\\equivVert", +"⩩":"\\equivVvert", +"⩪":"\\dotsim", +"⩫":"\\simrdots", +"⩬":"\\simminussim", +"⩭":"\\congdot", +"⩮":"\\asteq", +"⩯":"\\hatapprox", +"⩰":"\\approxeqq", +"⩱":"\\eqqplus", +"⩲":"\\pluseqq", +"⩳":"\\eqqsim", +"⩴":"\\Coloneq", +"⩵":"\\eqeq", +"⩶":"\\eqeqeq", +"⩷":"\\ddotseq", +"⩸":"\\equivDD", +"⩹":"\\ltcir", +"⩺":"\\gtcir", +"⩻":"\\ltquest", +"⩼":"\\gtquest", +"⩽":"\\leqslant", +"⩾":"\\geqslant", +"⩿":"\\lesdot", +"⪀":"\\gesdot", +"⪁":"\\lesdoto", +"⪂":"\\gesdoto", +"⪃":"\\lesdotor", +"⪄":"\\gesdotol", +"⪅":"\\lessapprox", +"⪆":"\\gtrapprox", +"⪇":"\\lneq", +"⪈":"\\gneq", +"⪉":"\\lnapprox", +"⪊":"\\gnapprox", +"⪋":"\\lesseqqgtr", +"⪌":"\\gtreqqless", +"⪍":"\\lsime", +"⪎":"\\gsime", +"⪏":"\\lsimg", +"⪐":"\\gsiml", +"⪑":"\\lgE", +"⪒":"\\glE", +"⪓":"\\lesges", +"⪔":"\\gesles", +"⪕":"\\eqslantless", +"⪖":"\\eqslantgtr", +"⪗":"\\elsdot", +"⪘":"\\egsdot", +"⪙":"\\eqqless", +"⪚":"\\eqqgtr", +"⪛":"\\eqqslantless", +"⪜":"\\eqqslantgtr", +"⪝":"\\simless", +"⪞":"\\simgtr", +"⪟":"\\simlE", +"⪠":"\\simgE", +"⪡":"\\Lt", +"⪢":"\\Gt", +"⪣":"\\partialmeetcontraction", +"⪤":"\\glj", +"⪥":"\\gla", +"⪦":"\\ltcc", +"⪧":"\\gtcc", +"⪨":"\\lescc", +"⪩":"\\gescc", +"⪪":"\\smt", +"⪫":"\\lat", +"⪬":"\\smte", +"⪭":"\\late", +"⪮":"\\bumpeqq", +"⪯":"\\preceq", +"⪰":"\\succeq", +"⪱":"\\precneq", +"⪲":"\\succneq", +"⪳":"\\preceqq", +"⪴":"\\succeqq", +"⪵":"\\precneqq", +"⪶":"\\succneqq", +"⪷":"\\precapprox", +"⪸":"\\succapprox", +"⪹":"\\precnapprox", +"⪺":"\\succnapprox", +"⪻":"\\Prec", +"⪼":"\\Succ", +"⪽":"\\subsetdot", +"⪾":"\\supsetdot", +"⪿":"\\subsetplus", +"⫀":"\\supsetplus", +"⫁":"\\submult", +"⫂":"\\supmult", +"⫃":"\\subedot", +"⫄":"\\supedot", +"⫅":"\\subseteqq", +"⫆":"\\supseteqq", +"⫇":"\\subsim", +"⫈":"\\supsim", +"⫉":"\\subsetapprox", +"⫊":"\\supsetapprox", +"⫋":"\\subsetneqq", +"⫌":"\\supsetneqq", +"⫍":"\\lsqhook", +"⫎":"\\rsqhook", +"⫏":"\\csub", +"⫐":"\\csup", +"⫑":"\\csube", +"⫒":"\\csupe", +"⫓":"\\subsup", +"⫔":"\\supsub", +"⫕":"\\subsub", +"⫖":"\\supsup", +"⫗":"\\suphsub", +"⫘":"\\supdsub", +"⫙":"\\forkv", +"⫚":"\\topfork", +"⫛":"\\mlcp", +"⫝̸":"\\forks", +"⫝":"\\forksnot", +"⫞":"\\shortlefttack", +"⫟":"\\shortdowntack", +"⫠":"\\shortuptack", +"⫡":"\\perps", +"⫢":"\\vDdash", +"⫣":"\\dashV", +"⫤":"\\Dashv", +"⫥":"\\DashV", +"⫦":"\\varVdash", +"⫧":"\\Barv", +"⫨":"\\vBar", +"⫩":"\\vBarv", +"⫪":"\\barV", +"⫫":"\\Vbar", +"⫬":"\\Not", +"⫭":"\\bNot", +"⫮":"\\revnmid", +"⫯":"\\cirmid", +"⫰":"\\midcir", +"⫱":"\\topcir", +"⫲":"\\nhpar", +"⫳":"\\parsim", +"⫴":"\\interleave", +"⫵":"\\nhVvert", +"⫶":"\\threedotcolon", +"⫷":"\\lllnest", +"⫸":"\\gggnest", +"⫹":"\\leqqslant", +"⫺":"\\geqqslant", +"⫻":"\\trslash", +"⫼":"\\biginterleave", +"⫽":"\\sslash", +"⫾":"\\talloblong", +"⫿":"\\bigtalloblong", +"⬒":"\\squaretopblack", +"⬓":"\\squarebotblack", +"⬔":"\\squareurblack", +"⬕":"\\squarellblack", +"⬖":"\\diamondleftblack", +"⬗":"\\diamondrightblack", +"⬘":"\\diamondtopblack", +"⬙":"\\diamondbotblack", +"⬚":"\\dottedsquare", +"⬛":"\\lgblksquare", +"⬜":"\\lgwhtsquare", +"⬝":"\\vysmblksquare", +"⬞":"\\vysmwhtsquare", +"⬟":"\\pentagonblack", +"⬠":"\\pentagon", +"⬡":"\\varhexagon", +"⬢":"\\varhexagonblack", +"⬣":"\\hexagonblack", +"⬤":"\\lgblkcircle", +"⬥":"\\mdblkdiamond", +"⬦":"\\mdwhtdiamond", +"⬧":"\\mdblklozenge", +"⬨":"\\mdwhtlozenge", +"⬩":"\\smblkdiamond", +"⬪":"\\smblklozenge", +"⬫":"\\smwhtlozenge", +"⬬":"\\blkhorzoval", +"⬭":"\\whthorzoval", +"⬮":"\\blkvertoval", +"⬯":"\\whtvertoval", +"⬰":"\\circleonleftarrow", +"⬱":"\\leftthreearrows", +"⬲":"\\leftarrowonoplus", +"⬳":"\\longleftsquigarrow", +"⬴":"\\nvtwoheadleftarrow", +"⬵":"\\nVtwoheadleftarrow", +"⬶":"\\twoheadmapsfrom", +"⬷":"\\twoheadleftdbkarrow", +"⬸":"\\leftdotarrow", +"⬹":"\\nvleftarrowtail", +"⬺":"\\nVleftarrowtail", +"⬻":"\\twoheadleftarrowtail", +"⬼":"\\nvtwoheadleftarrowtail", +"⬽":"\\nVtwoheadleftarrowtail", +"⬾":"\\leftarrowx", +"⬿":"\\leftcurvedarrow", +"⭀":"\\equalleftarrow", +"⭁":"\\bsimilarleftarrow", +"⭂":"\\leftarrowbackapprox", +"⭃":"\\rightarrowgtr", +"⭄":"\\rightarrowsupset", +"⭅":"\\LLeftarrow", +"⭆":"\\RRightarrow", +"⭇":"\\bsimilarrightarrow", +"⭈":"\\rightarrowbackapprox", +"⭉":"\\similarleftarrow", +"⭊":"\\leftarrowapprox", +"⭋":"\\leftarrowbsimilar", +"⭌":"\\rightarrowbsimilar", +"⭐":"\\medwhitestar", +"⭑":"\\medblackstar", +"⭒":"\\smwhitestar", +"⭓":"\\rightpentagonblack", +"⭔":"\\rightpentagon", +"〒":"\\postalmark", +"〰":"\\hzigzag", +"𝐀":"\\mathbf{A}", +"𝐁":"\\mathbf{B}", +"𝐂":"\\mathbf{C}", +"𝐃":"\\mathbf{D}", +"𝐄":"\\mathbf{E}", +"𝐅":"\\mathbf{F}", +"𝐆":"\\mathbf{G}", +"𝐇":"\\mathbf{H}", +"𝐈":"\\mathbf{I}", +"𝐉":"\\mathbf{J}", +"𝐊":"\\mathbf{K}", +"𝐋":"\\mathbf{L}", +"𝐌":"\\mathbf{M}", +"𝐍":"\\mathbf{N}", +"𝐎":"\\mathbf{O}", +"𝐏":"\\mathbf{P}", +"𝐐":"\\mathbf{Q}", +"𝐑":"\\mathbf{R}", +"𝐒":"\\mathbf{S}", +"𝐓":"\\mathbf{T}", +"𝐔":"\\mathbf{U}", +"𝐕":"\\mathbf{V}", +"𝐖":"\\mathbf{W}", +"𝐗":"\\mathbf{X}", +"𝐘":"\\mathbf{Y}", +"𝐙":"\\mathbf{Z}", +"𝐚":"\\mathbf{a}", +"𝐛":"\\mathbf{b}", +"𝐜":"\\mathbf{c}", +"𝐝":"\\mathbf{d}", +"𝐞":"\\mathbf{e}", +"𝐟":"\\mathbf{f}", +"𝐠":"\\mathbf{g}", +"𝐡":"\\mathbf{h}", +"𝐢":"\\mathbf{i}", +"𝐣":"\\mathbf{j}", +"𝐤":"\\mathbf{k}", +"𝐥":"\\mathbf{l}", +"𝐦":"\\mathbf{m}", +"𝐧":"\\mathbf{n}", +"𝐨":"\\mathbf{o}", +"𝐩":"\\mathbf{p}", +"𝐪":"\\mathbf{q}", +"𝐫":"\\mathbf{r}", +"𝐬":"\\mathbf{s}", +"𝐭":"\\mathbf{t}", +"𝐮":"\\mathbf{u}", +"𝐯":"\\mathbf{v}", +"𝐰":"\\mathbf{w}", +"𝐱":"\\mathbf{x}", +"𝐲":"\\mathbf{y}", +"𝐳":"\\mathbf{z}", +"𝐴":"\\mathit{A}", +"𝐵":"\\mathit{B}", +"𝐶":"\\mathit{C}", +"𝐷":"\\mathit{D}", +"𝐸":"\\mathit{E}", +"𝐹":"\\mathit{F}", +"𝐺":"\\mathit{G}", +"𝐻":"\\mathit{H}", +"𝐼":"\\mathit{I}", +"𝐽":"\\mathit{J}", +"𝐾":"\\mathit{K}", +"𝐿":"\\mathit{L}", +"𝑀":"\\mathit{M}", +"𝑁":"\\mathit{N}", +"𝑂":"\\mathit{O}", +"𝑃":"\\mathit{P}", +"𝑄":"\\mathit{Q}", +"𝑅":"\\mathit{R}", +"𝑆":"\\mathit{S}", +"𝑇":"\\mathit{T}", +"𝑈":"\\mathit{U}", +"𝑉":"\\mathit{V}", +"𝑊":"\\mathit{W}", +"𝑋":"\\mathit{X}", +"𝑌":"\\mathit{Y}", +"𝑍":"\\mathit{Z}", +"𝑎":"\\mathit{a}", +"𝑏":"\\mathit{b}", +"𝑐":"\\mathit{c}", +"𝑑":"\\mathit{d}", +"𝑒":"\\mathit{e}", +"𝑓":"\\mathit{f}", +"𝑔":"\\mathit{g}", +"𝑖":"\\mathit{i}", +"𝑗":"\\mathit{j}", +"𝑘":"\\mathit{k}", +"𝑙":"\\mathit{l}", +"𝑚":"\\mathit{m}", +"𝑛":"\\mathit{n}", +"𝑜":"\\mathit{o}", +"𝑝":"\\mathit{p}", +"𝑞":"\\mathit{q}", +"𝑟":"\\mathit{r}", +"𝑠":"\\mathit{s}", +"𝑡":"\\mathit{t}", +"𝑢":"\\mathit{u}", +"𝑣":"\\mathit{v}", +"𝑤":"\\mathit{w}", +"𝑥":"\\mathit{x}", +"𝑦":"\\mathit{y}", +"𝑧":"\\mathit{z}", +"𝑨":"\\bm{A}", +"𝑩":"\\bm{B}", +"𝑪":"\\bm{C}", +"𝑫":"\\bm{D}", +"𝑬":"\\bm{E}", +"𝑭":"\\bm{F}", +"𝑮":"\\bm{G}", +"𝑯":"\\bm{H}", +"𝑰":"\\bm{I}", +"𝑱":"\\bm{J}", +"𝑲":"\\bm{K}", +"𝑳":"\\bm{L}", +"𝑴":"\\bm{M}", +"𝑵":"\\bm{N}", +"𝑶":"\\bm{O}", +"𝑷":"\\bm{P}", +"𝑸":"\\bm{Q}", +"𝑹":"\\bm{R}", +"𝑺":"\\bm{S}", +"𝑻":"\\bm{T}", +"𝑼":"\\bm{U}", +"𝑽":"\\bm{V}", +"𝑾":"\\bm{W}", +"𝑿":"\\bm{X}", +"𝒀":"\\bm{Y}", +"𝒁":"\\bm{Z}", +"𝒂":"\\bm{a}", +"𝒃":"\\bm{b}", +"𝒄":"\\bm{c}", +"𝒅":"\\bm{d}", +"𝒆":"\\bm{e}", +"𝒇":"\\bm{f}", +"𝒈":"\\bm{g}", +"𝒉":"\\bm{h}", +"𝒊":"\\bm{i}", +"𝒋":"\\bm{j}", +"𝒌":"\\bm{k}", +"𝒍":"\\bm{l}", +"𝒎":"\\bm{m}", +"𝒏":"\\bm{n}", +"𝒐":"\\bm{o}", +"𝒑":"\\bm{p}", +"𝒒":"\\bm{q}", +"𝒓":"\\bm{r}", +"𝒔":"\\bm{s}", +"𝒕":"\\bm{t}", +"𝒖":"\\bm{u}", +"𝒗":"\\bm{v}", +"𝒘":"\\bm{w}", +"𝒙":"\\bm{x}", +"𝒚":"\\bm{y}", +"𝒛":"\\bm{z}", +"𝒜":"\\mathcal{A}", +"𝒞":"\\mathcal{C}", +"𝒟":"\\mathcal{D}", +"𝒢":"\\mathcal{G}", +"𝒥":"\\mathcal{J}", +"𝒦":"\\mathcal{K}", +"𝒩":"\\mathcal{N}", +"𝒪":"\\mathcal{O}", +"𝒫":"\\mathcal{P}", +"𝒬":"\\mathcal{Q}", +"𝒮":"\\mathcal{S}", +"𝒯":"\\mathcal{T}", +"𝒰":"\\mathcal{U}", +"𝒱":"\\mathcal{V}", +"𝒲":"\\mathcal{W}", +"𝒳":"\\mathcal{X}", +"𝒴":"\\mathcal{Y}", +"𝒵":"\\mathcal{Z}", +"𝒶":"\\mathcal{a}", +"𝒷":"\\mathcal{b}", +"𝒸":"\\mathcal{c}", +"𝒹":"\\mathcal{d}", +"𝒻":"\\mathcal{f}", +"𝒽":"\\mathcal{h}", +"𝒾":"\\mathcal{i}", +"𝒿":"\\mathcal{j}", +"𝓀":"\\mathcal{k}", +"𝓁":"\\mathcal{l}", +"𝓂":"\\mathcal{m}", +"𝓃":"\\mathcal{n}", +"𝓅":"\\mathcal{p}", +"𝓆":"\\mathcal{q}", +"𝓇":"\\mathcal{r}", +"𝓈":"\\mathcal{s}", +"𝓉":"\\mathcal{t}", +"𝓊":"\\mathcal{u}", +"𝓋":"\\mathcal{v}", +"𝓌":"\\mathcal{w}", +"𝓍":"\\mathcal{x}", +"𝓎":"\\mathcal{y}", +"𝓏":"\\mathcal{z}", +"𝓐":"\\bm{\\mathcal{A}}", +"𝓑":"\\bm{\\mathcal{B}}", +"𝓒":"\\bm{\\mathcal{C}}", +"𝓓":"\\bm{\\mathcal{D}}", +"𝓔":"\\bm{\\mathcal{E}}", +"𝓕":"\\bm{\\mathcal{F}}", +"𝓖":"\\bm{\\mathcal{G}}", +"𝓗":"\\bm{\\mathcal{H}}", +"𝓘":"\\bm{\\mathcal{I}}", +"𝓙":"\\bm{\\mathcal{J}}", +"𝓚":"\\bm{\\mathcal{K}}", +"𝓛":"\\bm{\\mathcal{L}}", +"𝓜":"\\bm{\\mathcal{M}}", +"𝓝":"\\bm{\\mathcal{N}}", +"𝓞":"\\bm{\\mathcal{O}}", +"𝓟":"\\bm{\\mathcal{P}}", +"𝓠":"\\bm{\\mathcal{Q}}", +"𝓡":"\\bm{\\mathcal{R}}", +"𝓢":"\\bm{\\mathcal{S}}", +"𝓣":"\\bm{\\mathcal{T}}", +"𝓤":"\\bm{\\mathcal{U}}", +"𝓥":"\\bm{\\mathcal{V}}", +"𝓦":"\\bm{\\mathcal{W}}", +"𝓧":"\\bm{\\mathcal{X}}", +"𝓨":"\\bm{\\mathcal{Y}}", +"𝓩":"\\bm{\\mathcal{Z}}", +"𝓪":"\\bm{\\mathcal{a}}", +"𝓫":"\\bm{\\mathcal{b}}", +"𝓬":"\\bm{\\mathcal{c}}", +"𝓭":"\\bm{\\mathcal{d}}", +"𝓮":"\\bm{\\mathcal{e}}", +"𝓯":"\\bm{\\mathcal{f}}", +"𝓰":"\\bm{\\mathcal{g}}", +"𝓱":"\\bm{\\mathcal{h}}", +"𝓲":"\\bm{\\mathcal{i}}", +"𝓳":"\\bm{\\mathcal{j}}", +"𝓴":"\\bm{\\mathcal{k}}", +"𝓵":"\\bm{\\mathcal{l}}", +"𝓶":"\\bm{\\mathcal{m}}", +"𝓷":"\\bm{\\mathcal{n}}", +"𝓸":"\\bm{\\mathcal{o}}", +"𝓹":"\\bm{\\mathcal{p}}", +"𝓺":"\\bm{\\mathcal{q}}", +"𝓻":"\\bm{\\mathcal{r}}", +"𝓼":"\\bm{\\mathcal{s}}", +"𝓽":"\\bm{\\mathcal{t}}", +"𝓾":"\\bm{\\mathcal{u}}", +"𝓿":"\\bm{\\mathcal{v}}", +"𝔀":"\\bm{\\mathcal{w}}", +"𝔁":"\\bm{\\mathcal{x}}", +"𝔂":"\\bm{\\mathcal{y}}", +"𝔃":"\\bm{\\mathcal{z}}", +"𝔄":"\\mathfrak{A}", +"𝔅":"\\mathfrak{B}", +"𝔇":"\\mathfrak{D}", +"𝔈":"\\mathfrak{E}", +"𝔉":"\\mathfrak{F}", +"𝔊":"\\mathfrak{G}", +"𝔍":"\\mathfrak{J}", +"𝔎":"\\mathfrak{K}", +"𝔏":"\\mathfrak{L}", +"𝔐":"\\mathfrak{M}", +"𝔑":"\\mathfrak{N}", +"𝔒":"\\mathfrak{O}", +"𝔓":"\\mathfrak{P}", +"𝔔":"\\mathfrak{Q}", +"𝔖":"\\mathfrak{S}", +"𝔗":"\\mathfrak{T}", +"𝔘":"\\mathfrak{U}", +"𝔙":"\\mathfrak{V}", +"𝔚":"\\mathfrak{W}", +"𝔛":"\\mathfrak{X}", +"𝔜":"\\mathfrak{Y}", +"𝔞":"\\mathfrak{a}", +"𝔟":"\\mathfrak{b}", +"𝔠":"\\mathfrak{c}", +"𝔡":"\\mathfrak{d}", +"𝔢":"\\mathfrak{e}", +"𝔣":"\\mathfrak{f}", +"𝔤":"\\mathfrak{g}", +"𝔥":"\\mathfrak{h}", +"𝔦":"\\mathfrak{i}", +"𝔧":"\\mathfrak{j}", +"𝔨":"\\mathfrak{k}", +"𝔩":"\\mathfrak{l}", +"𝔪":"\\mathfrak{m}", +"𝔫":"\\mathfrak{n}", +"𝔬":"\\mathfrak{o}", +"𝔭":"\\mathfrak{p}", +"𝔮":"\\mathfrak{q}", +"𝔯":"\\mathfrak{r}", +"𝔰":"\\mathfrak{s}", +"𝔱":"\\mathfrak{t}", +"𝔲":"\\mathfrak{u}", +"𝔳":"\\mathfrak{v}", +"𝔴":"\\mathfrak{w}", +"𝔵":"\\mathfrak{x}", +"𝔶":"\\mathfrak{y}", +"𝔷":"\\mathfrak{z}", +"𝔸":"\\mathbb{A}", +"𝔹":"\\mathbb{B}", +"𝔻":"\\mathbb{D}", +"𝔼":"\\mathbb{E}", +"𝔽":"\\mathbb{F}", +"𝔾":"\\mathbb{G}", +"𝕀":"\\mathbb{I}", +"𝕁":"\\mathbb{J}", +"𝕂":"\\mathbb{K}", +"𝕃":"\\mathbb{L}", +"𝕄":"\\mathbb{M}", +"𝕆":"\\mathbb{O}", +"𝕊":"\\mathbb{S}", +"𝕋":"\\mathbb{T}", +"𝕌":"\\mathbb{U}", +"𝕍":"\\mathbb{V}", +"𝕎":"\\mathbb{W}", +"𝕏":"\\mathbb{X}", +"𝕐":"\\mathbb{Y}", +"𝕒":"\\mathbb{a}", +"𝕓":"\\mathbb{b}", +"𝕔":"\\mathbb{c}", +"𝕕":"\\mathbb{d}", +"𝕖":"\\mathbb{e}", +"𝕗":"\\mathbb{f}", +"𝕘":"\\mathbb{g}", +"𝕙":"\\mathbb{h}", +"𝕚":"\\mathbb{i}", +"𝕛":"\\mathbb{j}", +"𝕜":"\\mathbb{k}", +"𝕝":"\\mathbb{l}", +"𝕞":"\\mathbb{m}", +"𝕟":"\\mathbb{n}", +"𝕠":"\\mathbb{o}", +"𝕡":"\\mathbb{p}", +"𝕢":"\\mathbb{q}", +"𝕣":"\\mathbb{r}", +"𝕤":"\\mathbb{s}", +"𝕥":"\\mathbb{t}", +"𝕦":"\\mathbb{u}", +"𝕧":"\\mathbb{v}", +"𝕨":"\\mathbb{w}", +"𝕩":"\\mathbb{x}", +"𝕪":"\\mathbb{y}", +"𝕫":"\\mathbb{z}", +"𝕬":"\\bm{\\mathfrak{A}}", +"𝕭":"\\bm{\\mathfrak{B}}", +"𝕮":"\\bm{\\mathfrak{C}}", +"𝕯":"\\bm{\\mathfrak{D}}", +"𝕰":"\\bm{\\mathfrak{E}}", +"𝕱":"\\bm{\\mathfrak{F}}", +"𝕲":"\\bm{\\mathfrak{G}}", +"𝕳":"\\bm{\\mathfrak{H}}", +"𝕴":"\\bm{\\mathfrak{I}}", +"𝕵":"\\bm{\\mathfrak{J}}", +"𝕶":"\\bm{\\mathfrak{K}}", +"𝕷":"\\bm{\\mathfrak{L}}", +"𝕸":"\\bm{\\mathfrak{M}}", +"𝕹":"\\bm{\\mathfrak{N}}", +"𝕺":"\\bm{\\mathfrak{O}}", +"𝕻":"\\bm{\\mathfrak{P}}", +"𝕼":"\\bm{\\mathfrak{Q}}", +"𝕽":"\\bm{\\mathfrak{R}}", +"𝕾":"\\bm{\\mathfrak{S}}", +"𝕿":"\\bm{\\mathfrak{T}}", +"𝖀":"\\bm{\\mathfrak{U}}", +"𝖁":"\\bm{\\mathfrak{V}}", +"𝖂":"\\bm{\\mathfrak{W}}", +"𝖃":"\\bm{\\mathfrak{X}}", +"𝖄":"\\bm{\\mathfrak{Y}}", +"𝖅":"\\bm{\\mathfrak{Z}}", +"𝖆":"\\bm{\\mathfrak{a}}", +"𝖇":"\\bm{\\mathfrak{b}}", +"𝖈":"\\bm{\\mathfrak{c}}", +"𝖉":"\\bm{\\mathfrak{d}}", +"𝖊":"\\bm{\\mathfrak{e}}", +"𝖋":"\\bm{\\mathfrak{f}}", +"𝖌":"\\bm{\\mathfrak{g}}", +"𝖍":"\\bm{\\mathfrak{h}}", +"𝖎":"\\bm{\\mathfrak{i}}", +"𝖏":"\\bm{\\mathfrak{j}}", +"𝖐":"\\bm{\\mathfrak{k}}", +"𝖑":"\\bm{\\mathfrak{l}}", +"𝖒":"\\bm{\\mathfrak{m}}", +"𝖓":"\\bm{\\mathfrak{n}}", +"𝖔":"\\bm{\\mathfrak{o}}", +"𝖕":"\\bm{\\mathfrak{p}}", +"𝖖":"\\bm{\\mathfrak{q}}", +"𝖗":"\\bm{\\mathfrak{r}}", +"𝖘":"\\bm{\\mathfrak{s}}", +"𝖙":"\\bm{\\mathfrak{t}}", +"𝖚":"\\bm{\\mathfrak{u}}", +"𝖛":"\\bm{\\mathfrak{v}}", +"𝖜":"\\bm{\\mathfrak{w}}", +"𝖝":"\\bm{\\mathfrak{x}}", +"𝖞":"\\bm{\\mathfrak{y}}", +"𝖟":"\\bm{\\mathfrak{z}}", +"𝖠":"\\mathss{A}", +"𝖡":"\\mathss{B}", +"𝖢":"\\mathss{C}", +"𝖣":"\\mathss{D}", +"𝖤":"\\mathss{E}", +"𝖥":"\\mathss{F}", +"𝖦":"\\mathss{G}", +"𝖧":"\\mathss{H}", +"𝖨":"\\mathss{I}", +"𝖩":"\\mathss{J}", +"𝖪":"\\mathss{K}", +"𝖫":"\\mathss{L}", +"𝖬":"\\mathss{M}", +"𝖭":"\\mathss{N}", +"𝖮":"\\mathss{O}", +"𝖯":"\\mathss{P}", +"𝖰":"\\mathss{Q}", +"𝖱":"\\mathss{R}", +"𝖲":"\\mathss{S}", +"𝖳":"\\mathss{T}", +"𝖴":"\\mathss{U}", +"𝖵":"\\mathss{V}", +"𝖶":"\\mathss{W}", +"𝖷":"\\mathss{X}", +"𝖸":"\\mathss{Y}", +"𝖹":"\\mathss{Z}", +"𝖺":"\\mathss{a}", +"𝖻":"\\mathss{b}", +"𝖼":"\\mathss{c}", +"𝖽":"\\mathss{d}", +"𝖾":"\\mathss{e}", +"𝖿":"\\mathss{f}", +"𝗀":"\\mathss{g}", +"𝗁":"\\mathss{h}", +"𝗂":"\\mathss{i}", +"𝗃":"\\mathss{j}", +"𝗄":"\\mathss{k}", +"𝗅":"\\mathss{l}", +"𝗆":"\\mathss{m}", +"𝗇":"\\mathss{n}", +"𝗈":"\\mathss{o}", +"𝗉":"\\mathss{p}", +"𝗊":"\\mathss{q}", +"𝗋":"\\mathss{r}", +"𝗌":"\\mathss{s}", +"𝗍":"\\mathss{t}", +"𝗎":"\\mathss{u}", +"𝗏":"\\mathss{v}", +"𝗐":"\\mathss{w}", +"𝗑":"\\mathss{x}", +"𝗒":"\\mathss{y}", +"𝗓":"\\mathss{z}", +"𝗔":"\\bm{\\mathss{A}}", +"𝗕":"\\bm{\\mathss{B}}", +"𝗖":"\\bm{\\mathss{C}}", +"𝗗":"\\bm{\\mathss{D}}", +"𝗘":"\\bm{\\mathss{E}}", +"𝗙":"\\bm{\\mathss{F}}", +"𝗚":"\\bm{\\mathss{G}}", +"𝗛":"\\bm{\\mathss{H}}", +"𝗜":"\\bm{\\mathss{I}}", +"𝗝":"\\bm{\\mathss{J}}", +"𝗞":"\\bm{\\mathss{K}}", +"𝗟":"\\bm{\\mathss{L}}", +"𝗠":"\\bm{\\mathss{M}}", +"𝗡":"\\bm{\\mathss{N}}", +"𝗢":"\\bm{\\mathss{O}}", +"𝗣":"\\bm{\\mathss{P}}", +"𝗤":"\\bm{\\mathss{Q}}", +"𝗥":"\\bm{\\mathss{R}}", +"𝗦":"\\bm{\\mathss{S}}", +"𝗧":"\\bm{\\mathss{T}}", +"𝗨":"\\bm{\\mathss{U}}", +"𝗩":"\\bm{\\mathss{V}}", +"𝗪":"\\bm{\\mathss{W}}", +"𝗫":"\\bm{\\mathss{X}}", +"𝗬":"\\bm{\\mathss{Y}}", +"𝗭":"\\bm{\\mathss{Z}}", +"𝗮":"\\bm{\\mathss{a}}", +"𝗯":"\\bm{\\mathss{b}}", +"𝗰":"\\bm{\\mathss{c}}", +"𝗱":"\\bm{\\mathss{d}}", +"𝗲":"\\bm{\\mathss{e}}", +"𝗳":"\\bm{\\mathss{f}}", +"𝗴":"\\bm{\\mathss{g}}", +"𝗵":"\\bm{\\mathss{h}}", +"𝗶":"\\bm{\\mathss{i}}", +"𝗷":"\\bm{\\mathss{j}}", +"𝗸":"\\bm{\\mathss{k}}", +"𝗹":"\\bm{\\mathss{l}}", +"𝗺":"\\bm{\\mathss{m}}", +"𝗻":"\\bm{\\mathss{n}}", +"𝗼":"\\bm{\\mathss{o}}", +"𝗽":"\\bm{\\mathss{p}}", +"𝗾":"\\bm{\\mathss{q}}", +"𝗿":"\\bm{\\mathss{r}}", +"𝘀":"\\bm{\\mathss{s}}", +"𝘁":"\\bm{\\mathss{t}}", +"𝘂":"\\bm{\\mathss{u}}", +"𝘃":"\\bm{\\mathss{v}}", +"𝘄":"\\bm{\\mathss{w}}", +"𝘅":"\\bm{\\mathss{x}}", +"𝘆":"\\bm{\\mathss{y}}", +"𝘇":"\\bm{\\mathss{z}}", +"𝘈":"\\mathssit{A}", +"𝘉":"\\mathssit{B}", +"𝘊":"\\mathssit{C}", +"𝘋":"\\mathssit{D}", +"𝘌":"\\mathssit{E}", +"𝘍":"\\mathssit{F}", +"𝘎":"\\mathssit{G}", +"𝘏":"\\mathssit{H}", +"𝘐":"\\mathssit{I}", +"𝘑":"\\mathssit{J}", +"𝘒":"\\mathssit{K}", +"𝘓":"\\mathssit{L}", +"𝘔":"\\mathssit{M}", +"𝘕":"\\mathssit{N}", +"𝘖":"\\mathssit{O}", +"𝘗":"\\mathssit{P}", +"𝘘":"\\mathssit{Q}", +"𝘙":"\\mathssit{R}", +"𝘚":"\\mathssit{S}", +"𝘛":"\\mathssit{T}", +"𝘜":"\\mathssit{U}", +"𝘝":"\\mathssit{V}", +"𝘞":"\\mathssit{W}", +"𝘟":"\\mathssit{X}", +"𝘠":"\\mathssit{Y}", +"𝘡":"\\mathssit{Z}", +"𝘢":"\\mathssit{a}", +"𝘣":"\\mathssit{b}", +"𝘤":"\\mathssit{c}", +"𝘥":"\\mathssit{d}", +"𝘦":"\\mathssit{e}", +"𝘧":"\\mathssit{f}", +"𝘨":"\\mathssit{g}", +"𝘩":"\\mathssit{h}", +"𝘪":"\\mathssit{i}", +"𝘫":"\\mathssit{j}", +"𝘬":"\\mathssit{k}", +"𝘭":"\\mathssit{l}", +"𝘮":"\\mathssit{m}", +"𝘯":"\\mathssit{n}", +"𝘰":"\\mathssit{o}", +"𝘱":"\\mathssit{p}", +"𝘲":"\\mathssit{q}", +"𝘳":"\\mathssit{r}", +"𝘴":"\\mathssit{s}", +"𝘵":"\\mathssit{t}", +"𝘶":"\\mathssit{u}", +"𝘷":"\\mathssit{v}", +"𝘸":"\\mathssit{w}", +"𝘹":"\\mathssit{x}", +"𝘺":"\\mathssit{y}", +"𝘻":"\\mathssit{z}", +"𝘼":"\\bm{\\mathssit{A}}", +"𝘽":"\\bm{\\mathssit{B}}", +"𝘾":"\\bm{\\mathssit{C}}", +"𝘿":"\\bm{\\mathssit{D}}", +"𝙀":"\\bm{\\mathssit{E}}", +"𝙁":"\\bm{\\mathssit{F}}", +"𝙂":"\\bm{\\mathssit{G}}", +"𝙃":"\\bm{\\mathssit{H}}", +"𝙄":"\\bm{\\mathssit{I}}", +"𝙅":"\\bm{\\mathssit{J}}", +"𝙆":"\\bm{\\mathssit{K}}", +"𝙇":"\\bm{\\mathssit{L}}", +"𝙈":"\\bm{\\mathssit{M}}", +"𝙉":"\\bm{\\mathssit{N}}", +"𝙊":"\\bm{\\mathssit{O}}", +"𝙋":"\\bm{\\mathssit{P}}", +"𝙌":"\\bm{\\mathssit{Q}}", +"𝙍":"\\bm{\\mathssit{R}}", +"𝙎":"\\bm{\\mathssit{S}}", +"𝙏":"\\bm{\\mathssit{T}}", +"𝙐":"\\bm{\\mathssit{U}}", +"𝙑":"\\bm{\\mathssit{V}}", +"𝙒":"\\bm{\\mathssit{W}}", +"𝙓":"\\bm{\\mathssit{X}}", +"𝙔":"\\bm{\\mathssit{Y}}", +"𝙕":"\\bm{\\mathssit{Z}}", +"𝙖":"\\bm{\\mathssit{a}}", +"𝙗":"\\bm{\\mathssit{b}}", +"𝙘":"\\bm{\\mathssit{c}}", +"𝙙":"\\bm{\\mathssit{d}}", +"𝙚":"\\bm{\\mathssit{e}}", +"𝙛":"\\bm{\\mathssit{f}}", +"𝙜":"\\bm{\\mathssit{g}}", +"𝙝":"\\bm{\\mathssit{h}}", +"𝙞":"\\bm{\\mathssit{i}}", +"𝙟":"\\bm{\\mathssit{j}}", +"𝙠":"\\bm{\\mathssit{k}}", +"𝙡":"\\bm{\\mathssit{l}}", +"𝙢":"\\bm{\\mathssit{m}}", +"𝙣":"\\bm{\\mathssit{n}}", +"𝙤":"\\bm{\\mathssit{o}}", +"𝙥":"\\bm{\\mathssit{p}}", +"𝙦":"\\bm{\\mathssit{q}}", +"𝙧":"\\bm{\\mathssit{r}}", +"𝙨":"\\bm{\\mathssit{s}}", +"𝙩":"\\bm{\\mathssit{t}}", +"𝙪":"\\bm{\\mathssit{u}}", +"𝙫":"\\bm{\\mathssit{v}}", +"𝙬":"\\bm{\\mathssit{w}}", +"𝙭":"\\bm{\\mathssit{x}}", +"𝙮":"\\bm{\\mathssit{y}}", +"𝙯":"\\bm{\\mathssit{z}}", +"𝙰":"\\mathtt{A}", +"𝙱":"\\mathtt{B}", +"𝙲":"\\mathtt{C}", +"𝙳":"\\mathtt{D}", +"𝙴":"\\mathtt{E}", +"𝙵":"\\mathtt{F}", +"𝙶":"\\mathtt{G}", +"𝙷":"\\mathtt{H}", +"𝙸":"\\mathtt{I}", +"𝙹":"\\mathtt{J}", +"𝙺":"\\mathtt{K}", +"𝙻":"\\mathtt{L}", +"𝙼":"\\mathtt{M}", +"𝙽":"\\mathtt{N}", +"𝙾":"\\mathtt{O}", +"𝙿":"\\mathtt{P}", +"𝚀":"\\mathtt{Q}", +"𝚁":"\\mathtt{R}", +"𝚂":"\\mathtt{S}", +"𝚃":"\\mathtt{T}", +"𝚄":"\\mathtt{U}", +"𝚅":"\\mathtt{V}", +"𝚆":"\\mathtt{W}", +"𝚇":"\\mathtt{X}", +"𝚈":"\\mathtt{Y}", +"𝚉":"\\mathtt{Z}", +"𝚊":"\\mathtt{a}", +"𝚋":"\\mathtt{b}", +"𝚌":"\\mathtt{c}", +"𝚍":"\\mathtt{d}", +"𝚎":"\\mathtt{e}", +"𝚏":"\\mathtt{f}", +"𝚐":"\\mathtt{g}", +"𝚑":"\\mathtt{h}", +"𝚒":"\\mathtt{i}", +"𝚓":"\\mathtt{j}", +"𝚔":"\\mathtt{k}", +"𝚕":"\\mathtt{l}", +"𝚖":"\\mathtt{m}", +"𝚗":"\\mathtt{n}", +"𝚘":"\\mathtt{o}", +"𝚙":"\\mathtt{p}", +"𝚚":"\\mathtt{q}", +"𝚛":"\\mathtt{r}", +"𝚜":"\\mathtt{s}", +"𝚝":"\\mathtt{t}", +"𝚞":"\\mathtt{u}", +"𝚟":"\\mathtt{v}", +"𝚠":"\\mathtt{w}", +"𝚡":"\\mathtt{x}", +"𝚢":"\\mathtt{y}", +"𝚣":"\\mathtt{z}", +"𝚤":"\\imath", +"𝚥":"\\jmath", +"𝚨":"\\mathbf{\\Alpha}", +"𝚩":"\\mathbf{\\Beta}", +"𝚪":"\\mathbf{\\Gamma}", +"𝚫":"\\mathbf{\\Delta}", +"𝚬":"\\mathbf{\\Epsilon}", +"𝚭":"\\mathbf{\\Zeta}", +"𝚮":"\\mathbf{\\Eta}", +"𝚯":"\\mathbf{\\Theta}", +"𝚰":"\\mathbf{\\Iota}", +"𝚱":"\\mathbf{\\Kappa}", +"𝚲":"\\mathbf{\\Lambda}", +"𝚳":"\\mathbf{\\Mu}", +"𝚴":"\\mathbf{\\Nu}", +"𝚵":"\\mathbf{\\Xi}", +"𝚶":"\\mathbf{\\Omicron}", +"𝚷":"\\mathbf{\\Pi}", +"𝚸":"\\mathbf{\\Rho}", +"𝚹":"\\mathbf{\\varTheta}", +"𝚺":"\\mathbf{\\Sigma}", +"𝚻":"\\mathbf{\\Tau}", +"𝚼":"\\mathbf{\\Upsilon}", +"𝚽":"\\mathbf{\\Phi}", +"𝚾":"\\mathbf{\\Chi}", +"𝚿":"\\mathbf{\\Psi}", +"𝛀":"\\mathbf{\\Omega}", +"𝛁":"\\mathbf{\\nabla}", +"𝛂":"\\mathbf{\\alpha}", +"𝛃":"\\mathbf{\\beta}", +"𝛄":"\\mathbf{\\gamma}", +"𝛅":"\\mathbf{\\delta}", +"𝛆":"\\mathbf{\\varepsilon}", +"𝛇":"\\mathbf{\\zeta}", +"𝛈":"\\mathbf{\\eta}", +"𝛉":"\\mathbf{\\theta}", +"𝛊":"\\mathbf{\\iota}", +"𝛋":"\\mathbf{\\kappa}", +"𝛌":"\\mathbf{\\lambda}", +"𝛍":"\\mathbf{\\mu}", +"𝛎":"\\mathbf{\\nu}", +"𝛏":"\\mathbf{\\xi}", +"𝛐":"\\mathbf{\\omicron}", +"𝛑":"\\mathbf{\\pi}", +"𝛒":"\\mathbf{\\rho}", +"𝛓":"\\mathbf{\\varsigma}", +"𝛔":"\\mathbf{\\sigma}", +"𝛕":"\\mathbf{\\tau}", +"𝛖":"\\mathbf{\\upsilon}", +"𝛗":"\\mathbf{\\varphi}", +"𝛘":"\\mathbf{\\chi}", +"𝛙":"\\mathbf{\\psi}", +"𝛚":"\\mathbf{\\omega}", +"𝛛":"\\mathbf{\\partial}", +"𝛜":"\\mathbf{\\epsilon}", +"𝛝":"\\mathbf{\\vartheta}", +"𝛞":"\\mathbf{\\varkappa}", +"𝛟":"\\mathbf{\\phi}", +"𝛠":"\\mathbf{\\varrho}", +"𝛡":"\\mathbf{\\varpi}", +"𝛢":"\\mathit{\\Alpha}", +"𝛣":"\\mathit{\\Beta}", +"𝛤":"\\mathit{\\Gamma}", +"𝛥":"\\mathit{\\Delta}", +"𝛦":"\\mathit{\\Epsilon}", +"𝛧":"\\mathit{\\Zeta}", +"𝛨":"\\mathit{\\Eta}", +"𝛩":"\\mathit{\\Theta}", +"𝛪":"\\mathit{\\Iota}", +"𝛫":"\\mathit{\\Kappa}", +"𝛬":"\\mathit{\\Lambda}", +"𝛭":"\\mathit{\\Mu}", +"𝛮":"\\mathit{\\Nu}", +"𝛯":"\\mathit{\\Xi}", +"𝛰":"\\mathit{\\Omicron}", +"𝛱":"\\mathit{\\Pi}", +"𝛲":"\\mathit{\\Rho}", +"𝛳":"\\mathit{\\varTheta}", +"𝛴":"\\mathit{\\Sigma}", +"𝛵":"\\mathit{\\Tau}", +"𝛶":"\\mathit{\\Upsilon}", +"𝛷":"\\mathit{\\Phi}", +"𝛸":"\\mathit{\\Chi}", +"𝛹":"\\mathit{\\Psi}", +"𝛺":"\\mathit{\\Omega}", +"𝛻":"\\mathit{\\nabla}", +"𝛼":"\\mathit{\\alpha}", +"𝛽":"\\mathit{\\beta}", +"𝛾":"\\mathit{\\gamma}", +"𝛿":"\\mathit{\\delta}", +"𝜀":"\\mathit{\\varepsilon}", +"𝜁":"\\mathit{\\zeta}", +"𝜂":"\\mathit{\\eta}", +"𝜃":"\\mathit{\\theta}", +"𝜄":"\\mathit{\\iota}", +"𝜅":"\\mathit{\\kappa}", +"𝜆":"\\mathit{\\lambda}", +"𝜇":"\\mathit{\\mu}", +"𝜈":"\\mathit{\\nu}", +"𝜉":"\\mathit{\\xi}", +"𝜊":"\\mathit{\\omicron}", +"𝜋":"\\mathit{\\pi}", +"𝜌":"\\mathit{\\rho}", +"𝜍":"\\mathit{\\varsigma}", +"𝜎":"\\mathit{\\sigma}", +"𝜏":"\\mathit{\\tau}", +"𝜐":"\\mathit{\\upsilon}", +"𝜑":"\\mathit{\\varphi}", +"𝜒":"\\mathit{\\chi}", +"𝜓":"\\mathit{\\psi}", +"𝜔":"\\mathit{\\omega}", +"𝜕":"\\mathit{\\partial}", +"𝜖":"\\mathit{\\epsilon}", +"𝜗":"\\mathit{\\vartheta}", +"𝜘":"\\mathit{\\varkappa}", +"𝜙":"\\mathit{\\phi}", +"𝜚":"\\mathit{\\varrho}", +"𝜛":"\\mathit{\\varpi}", +"𝜜":"\\bm{\\Alpha}", +"𝜝":"\\bm{\\Beta}", +"𝜞":"\\bm{\\Gamma}", +"𝜟":"\\bm{\\Delta}", +"𝜠":"\\bm{\\Epsilon}", +"𝜡":"\\bm{\\Zeta}", +"𝜢":"\\bm{\\Eta}", +"𝜣":"\\bm{\\Theta}", +"𝜤":"\\bm{\\Iota}", +"𝜥":"\\bm{\\Kappa}", +"𝜦":"\\bm{\\Lambda}", +"𝜧":"\\bm{\\Mu}", +"𝜨":"\\bm{\\Nu}", +"𝜩":"\\bm{\\Xi}", +"𝜪":"\\bm{\\Omicron}", +"𝜫":"\\bm{\\Pi}", +"𝜬":"\\bm{\\Rho}", +"𝜭":"\\bm{\\varTheta}", +"𝜮":"\\bm{\\Sigma}", +"𝜯":"\\bm{\\Tau}", +"𝜰":"\\bm{\\Upsilon}", +"𝜱":"\\bm{\\Phi}", +"𝜲":"\\bm{\\Chi}", +"𝜳":"\\bm{\\Psi}", +"𝜴":"\\bm{\\Omega}", +"𝜵":"\\bm{\\nabla}", +"𝜶":"\\bm{\\alpha}", +"𝜷":"\\bm{\\beta}", +"𝜸":"\\bm{\\gamma}", +"𝜹":"\\bm{\\delta}", +"𝜺":"\\bm{\\varepsilon}", +"𝜻":"\\bm{\\zeta}", +"𝜼":"\\bm{\\eta}", +"𝜽":"\\bm{\\theta}", +"𝜾":"\\bm{\\iota}", +"𝜿":"\\bm{\\kappa}", +"𝝀":"\\bm{\\lambda}", +"𝝁":"\\bm{\\mu}", +"𝝂":"\\bm{\\nu}", +"𝝃":"\\bm{\\xi}", +"𝝄":"\\bm{\\omicron}", +"𝝅":"\\bm{\\pi}", +"𝝆":"\\bm{\\rho}", +"𝝇":"\\bm{\\varsigma}", +"𝝈":"\\bm{\\sigma}", +"𝝉":"\\bm{\\tau}", +"𝝊":"\\bm{\\upsilon}", +"𝝋":"\\bm{\\varphi}", +"𝝌":"\\bm{\\chi}", +"𝝍":"\\bm{\\psi}", +"𝝎":"\\bm{\\omega}", +"𝝏":"\\bm{\\partial}", +"𝝐":"\\bm{\\epsilon}", +"𝝑":"\\bm{\\vartheta}", +"𝝒":"\\bm{\\varkappa}", +"𝝓":"\\bm{\\phi}", +"𝝔":"\\bm{\\varrho}", +"𝝕":"\\bm{\\varpi}", +"𝝖":"\\bm{\\mathss{\\Alpha}}", +"𝝗":"\\bm{\\mathss{\\Beta}}", +"𝝘":"\\bm{\\mathss{\\Gamma}}", +"𝝙":"\\bm{\\mathss{\\Delta}}", +"𝝚":"\\bm{\\mathss{\\Epsilon}}", +"𝝛":"\\bm{\\mathss{\\Zeta}}", +"𝝜":"\\bm{\\mathss{\\Eta}}", +"𝝝":"\\bm{\\mathss{\\Theta}}", +"𝝞":"\\bm{\\mathss{\\Iota}}", +"𝝟":"\\bm{\\mathss{\\Kappa}}", +"𝝠":"\\bm{\\mathss{\\Lambda}}", +"𝝡":"\\bm{\\mathss{\\Mu}}", +"𝝢":"\\bm{\\mathss{\\Nu}}", +"𝝣":"\\bm{\\mathss{\\Xi}}", +"𝝤":"\\bm{\\mathss{\\Omicron}}", +"𝝥":"\\bm{\\mathss{\\Pi}}", +"𝝦":"\\bm{\\mathss{\\Rho}}", +"𝝧":"\\bm{\\mathss{\\varTheta}}", +"𝝨":"\\bm{\\mathss{\\Sigma}}", +"𝝩":"\\bm{\\mathss{\\Tau}}", +"𝝪":"\\bm{\\mathss{\\Upsilon}}", +"𝝫":"\\bm{\\mathss{\\Phi}}", +"𝝬":"\\bm{\\mathss{\\Chi}}", +"𝝭":"\\bm{\\mathss{\\Psi}}", +"𝝮":"\\bm{\\mathss{\\Omega}}", +"𝝯":"\\bm{\\mathss{\\nabla}}", +"𝝰":"\\bm{\\mathss{\\alpha}}", +"𝝱":"\\bm{\\mathss{\\beta}}", +"𝝲":"\\bm{\\mathss{\\gamma}}", +"𝝳":"\\bm{\\mathss{\\delta}}", +"𝝴":"\\bm{\\mathss{\\varepsilon}}", +"𝝵":"\\bm{\\mathss{\\zeta}}", +"𝝶":"\\bm{\\mathss{\\eta}}", +"𝝷":"\\bm{\\mathss{\\theta}}", +"𝝸":"\\bm{\\mathss{\\iota}}", +"𝝹":"\\bm{\\mathss{\\kappa}}", +"𝝺":"\\bm{\\mathss{\\lambda}}", +"𝝻":"\\bm{\\mathss{\\mu}}", +"𝝼":"\\bm{\\mathss{\\nu}}", +"𝝽":"\\bm{\\mathss{\\xi}}", +"𝝾":"\\bm{\\mathss{\\omicron}}", +"𝝿":"\\bm{\\mathss{\\pi}}", +"𝞀":"\\bm{\\mathss{\\rho}}", +"𝞁":"\\bm{\\mathss{\\varsigma}}", +"𝞂":"\\bm{\\mathss{\\sigma}}", +"𝞃":"\\bm{\\mathss{\\tau}}", +"𝞄":"\\bm{\\mathss{\\upsilon}}", +"𝞅":"\\bm{\\mathss{\\varphi}}", +"𝞆":"\\bm{\\mathss{\\chi}}", +"𝞇":"\\bm{\\mathss{\\psi}}", +"𝞈":"\\bm{\\mathss{\\omega}}", +"𝞉":"\\bm{\\mathss{\\partial}}", +"𝞊":"\\bm{\\mathss{\\epsilon}}", +"𝞋":"\\bm{\\mathss{\\vartheta}}", +"𝞌":"\\bm{\\mathss{\\varkappa}}", +"𝞍":"\\bm{\\mathss{\\phi}}", +"𝞎":"\\bm{\\mathss{\\varrho}}", +"𝞏":"\\bm{\\mathss{\\varpi}}", +"𝞐":"\\bm{\\mathssit{\\Alpha}}", +"𝞑":"\\bm{\\mathssit{\\Beta}}", +"𝞒":"\\bm{\\mathssit{\\Gamma}}", +"𝞓":"\\bm{\\mathssit{\\Delta}}", +"𝞔":"\\bm{\\mathssit{\\Epsilon}}", +"𝞕":"\\bm{\\mathssit{\\Zeta}}", +"𝞖":"\\bm{\\mathssit{\\Eta}}", +"𝞗":"\\bm{\\mathssit{\\Theta}}", +"𝞘":"\\bm{\\mathssit{\\Iota}}", +"𝞙":"\\bm{\\mathssit{\\Kappa}}", +"𝞚":"\\bm{\\mathssit{\\Lambda}}", +"𝞛":"\\bm{\\mathssit{\\Mu}}", +"𝞜":"\\bm{\\mathssit{\\Nu}}", +"𝞝":"\\bm{\\mathssit{\\Xi}}", +"𝞞":"\\bm{\\mathssit{\\Omicron}}", +"𝞟":"\\bm{\\mathssit{\\Pi}}", +"𝞠":"\\bm{\\mathssit{\\Rho}}", +"𝞡":"\\bm{\\mathssit{\\varTheta}}", +"𝞢":"\\bm{\\mathssit{\\Sigma}}", +"𝞣":"\\bm{\\mathssit{\\Tau}}", +"𝞤":"\\bm{\\mathssit{\\Upsilon}}", +"𝞥":"\\bm{\\mathssit{\\Phi}}", +"𝞦":"\\bm{\\mathssit{\\Chi}}", +"𝞧":"\\bm{\\mathssit{\\Psi}}", +"𝞨":"\\bm{\\mathssit{\\Omega}}", +"𝞩":"\\bm{\\mathssit{\\nabla}}", +"𝞪":"\\bm{\\mathssit{\\alpha}}", +"𝞫":"\\bm{\\mathssit{\\beta}}", +"𝞬":"\\bm{\\mathssit{\\gamma}}", +"𝞭":"\\bm{\\mathssit{\\delta}}", +"𝞮":"\\bm{\\mathssit{\\varepsilon}}", +"𝞯":"\\bm{\\mathssit{\\zeta}}", +"𝞰":"\\bm{\\mathssit{\\eta}}", +"𝞱":"\\bm{\\mathssit{\\theta}}", +"𝞲":"\\bm{\\mathssit{\\iota}}", +"𝞳":"\\bm{\\mathssit{\\kappa}}", +"𝞴":"\\bm{\\mathssit{\\lambda}}", +"𝞵":"\\bm{\\mathssit{\\mu}}", +"𝞶":"\\bm{\\mathssit{\\nu}}", +"𝞷":"\\bm{\\mathssit{\\xi}}", +"𝞸":"\\bm{\\mathssit{\\omicron}}", +"𝞹":"\\bm{\\mathssit{\\pi}}", +"𝞺":"\\bm{\\mathssit{\\rho}}", +"𝞻":"\\bm{\\mathssit{\\varsigma}}", +"𝞼":"\\bm{\\mathssit{\\sigma}}", +"𝞽":"\\bm{\\mathssit{\\tau}}", +"𝞾":"\\bm{\\mathssit{\\upsilon}}", +"𝞿":"\\bm{\\mathssit{\\varphi}}", +"𝟀":"\\bm{\\mathssit{\\chi}}", +"𝟁":"\\bm{\\mathssit{\\psi}}", +"𝟂":"\\bm{\\mathssit{\\omega}}", +"𝟃":"\\bm{\\mathssit{\\partial}}", +"𝟄":"\\bm{\\mathssit{\\epsilon}}", +"𝟅":"\\bm{\\mathssit{\\vartheta}}", +"𝟆":"\\bm{\\mathssit{\\varkappa}}", +"𝟇":"\\bm{\\mathssit{\\phi}}", +"𝟈":"\\bm{\\mathssit{\\varrho}}", +"𝟉":"\\bm{\\mathssit{\\varpi}}", +"𝟊":"\\mathbf{\\Digamma}", +"𝟋":"\\mathbf{\\digamma}", +"𝟎":"\\mathbf{0}", +"𝟏":"\\mathbf{1}", +"𝟐":"\\mathbf{2}", +"𝟑":"\\mathbf{3}", +"𝟒":"\\mathbf{4}", +"𝟓":"\\mathbf{5}", +"𝟔":"\\mathbf{6}", +"𝟕":"\\mathbf{7}", +"𝟖":"\\mathbf{8}", +"𝟗":"\\mathbf{9}", +"𝟘":"\\mathbb{0}", +"𝟙":"\\mathbb{1}", +"𝟚":"\\mathbb{2}", +"𝟛":"\\mathbb{3}", +"𝟜":"\\mathbb{4}", +"𝟝":"\\mathbb{5}", +"𝟞":"\\mathbb{6}", +"𝟟":"\\mathbb{7}", +"𝟠":"\\mathbb{8}", +"𝟡":"\\mathbb{9}", +"𝟢":"\\mathss{0}", +"𝟣":"\\mathss{1}", +"𝟤":"\\mathss{2}", +"𝟥":"\\mathss{3}", +"𝟦":"\\mathss{4}", +"𝟧":"\\mathss{5}", +"𝟨":"\\mathss{6}", +"𝟩":"\\mathss{7}", +"𝟪":"\\mathss{8}", +"𝟫":"\\mathss{9}", +"𝟬":"\\bm{\\mathss{0}}", +"𝟭":"\\bm{\\mathss{1}}", +"𝟮":"\\bm{\\mathss{2}}", +"𝟯":"\\bm{\\mathss{3}}", +"𝟰":"\\bm{\\mathss{4}}", +"𝟱":"\\bm{\\mathss{5}}", +"𝟲":"\\bm{\\mathss{6}}", +"𝟳":"\\bm{\\mathss{7}}", +"𝟴":"\\bm{\\mathss{8}}", +"𝟵":"\\bm{\\mathss{9}}", +"𝟶":"\\mathtt{0}", +"𝟷":"\\mathtt{1}", +"𝟸":"\\mathtt{2}", +"𝟹":"\\mathtt{3}", +"𝟺":"\\mathtt{4}", +"𝟻":"\\mathtt{5}", +"𝟼":"\\mathtt{6}", +"𝟽":"\\mathtt{7}", +"𝟾":"\\mathtt{8}", +"𝟿":"\\mathtt{9}", +"𞻰":"\\arabicmaj", +"𞻱":"\\arabichad", +"•":"\\bullet", +"→":"\\to", +"⟺":"\\iff", +"⟹":"\\implies", +"⟸":"\\impliedby", +"₀":"_0", +"₁":"_1", +"₂":"_2", +"₃":"_3", +"₄":"_4", +"₅":"_5", +"₆":"_6", +"₇":"_7", +"₈":"_8", +"₉":"_9", +"⏨":"_10", +"₊":"_+", +"₋":"_-", +"₌":"_=", +"₍":"_(", +"₎":"_)", +"ₐ":"_a", +"ₑ":"_e", +"ₕ":"_h", +"ᵢ":"_i", +"ⱼ":"_j", +"ₖ":"_k", +"ₗ":"_l", +"ₘ":"_m", +"ₙ":"_n", +"ₒ":"_o", +"ₚ":"_p", +"ᵣ":"_r", +"ₛ":"_s", +"ₜ":"_t", +"ᵤ":"_u", +"ᵥ":"_v", +"ₓ":"_x", +"⁰":"^0", +"¹":"^1", +"²":"^2", +"³":"^3", +"⁴":"^4", +"⁵":"^5", +"⁶":"^6", +"⁷":"^7", +"⁸":"^8", +"⁹":"^9", +"⁺":"^+", +"⁻":"^-", +"⁼":"^=", +"⁽":"^(", +"⁾":"^)", +"ᵃ":"^a", +"ᵇ":"^b", +"ᶜ":"^c", +"ᵈ":"^d", +"ᵉ":"^e", +"ᶠ":"^f", +"ᵍ":"^g", +"ʰ":"^h", +"ⁱ":"^i", +"ʲ":"^j", +"ᵏ":"^k", +"ˡ":"^l", +"ᵐ":"^m", +"ⁿ":"^n", +"ᵒ":"^o", +"ᵖ":"^p", +"ʳ":"^r", +"ˢ":"^s", +"ᵗ":"^t", +"ᵘ":"^u", +"ᵛ":"^v", +"ʷ":"^w", +"ˣ":"^x", +"ʸ":"^y", +"ᶻ":"^z", +"ᴬ":"^A", +"ᴮ":"^B", +"ᴰ":"^D", +"ᴱ":"^E", +"ᴳ":"^G", +"ᴴ":"^H", +"ᴵ":"^I", +"ᴶ":"^J", +"ᴷ":"^K", +"ᴸ":"^L", +"ᴹ":"^M", +"ᴺ":"^N", +"ᴼ":"^O", +"ᴾ":"^P", +"ᴿ":"^R", +"ᵀ":"^T", +"ᵁ":"^U", +"ⱽ":"^V", +"ᵂ":"^W" +}