-module(glentities@decoder).
-compile([no_auto_import, nowarn_unused_vars, nowarn_unused_function, nowarn_nomatch]).

-export([decode_hex/1, decode_dec/1, decode_named/1, decode/1]).

-file("/Users/nicd/svn/glentities/src/glentities/decoder.gleam", 125).
-spec decode_hex(binary()) -> binary().
decode_hex(Entity) ->
    case gleam@int:base_parse(Entity, 16) of
        {ok, Codepoint} ->
            case gleam@string:utf_codepoint(Codepoint) of
                {ok, Utf_codepoint} ->
                    gleam_stdlib:utf_codepoint_list_to_string([Utf_codepoint]);

                {error, _} ->
                    Entity
            end;

        {error, _} ->
            Entity
    end.

-file("/Users/nicd/svn/glentities/src/glentities/decoder.gleam", 137).
-spec decode_dec(binary()) -> binary().
decode_dec(Entity) ->
    case gleam_stdlib:parse_int(Entity) of
        {ok, Codepoint} ->
            case gleam@string:utf_codepoint(Codepoint) of
                {ok, Utf_codepoint} ->
                    gleam_stdlib:utf_codepoint_list_to_string([Utf_codepoint]);

                {error, _} ->
                    Entity
            end;

        {error, _} ->
            Entity
    end.

-file("/Users/nicd/svn/glentities/src/glentities/decoder.gleam", 149).
-spec decode_named(binary()) -> binary().
decode_named(Entity) ->
    case Entity of
        <<"AElig"/utf8>> ->
            <<"Æ"/utf8>>;

        <<"AMP"/utf8>> ->
            <<"&"/utf8>>;

        <<"Aacute"/utf8>> ->
            <<"Á"/utf8>>;

        <<"Abreve"/utf8>> ->
            <<"Ă"/utf8>>;

        <<"Acirc"/utf8>> ->
            <<"Â"/utf8>>;

        <<"Acy"/utf8>> ->
            <<"А"/utf8>>;

        <<"Afr"/utf8>> ->
            <<"𝔄"/utf8>>;

        <<"Agrave"/utf8>> ->
            <<"À"/utf8>>;

        <<"Alpha"/utf8>> ->
            <<"Α"/utf8>>;

        <<"Amacr"/utf8>> ->
            <<"Ā"/utf8>>;

        <<"And"/utf8>> ->
            <<"⩓"/utf8>>;

        <<"Aogon"/utf8>> ->
            <<"Ą"/utf8>>;

        <<"Aopf"/utf8>> ->
            <<"𝔸"/utf8>>;

        <<"ApplyFunction"/utf8>> ->
            <<"⁡"/utf8>>;

        <<"Aring"/utf8>> ->
            <<"Å"/utf8>>;

        <<"Ascr"/utf8>> ->
            <<"𝒜"/utf8>>;

        <<"Assign"/utf8>> ->
            <<"≔"/utf8>>;

        <<"Atilde"/utf8>> ->
            <<"Ã"/utf8>>;

        <<"Auml"/utf8>> ->
            <<"Ä"/utf8>>;

        <<"Backslash"/utf8>> ->
            <<"∖"/utf8>>;

        <<"Barv"/utf8>> ->
            <<"⫧"/utf8>>;

        <<"Barwed"/utf8>> ->
            <<"⌆"/utf8>>;

        <<"Bcy"/utf8>> ->
            <<"Б"/utf8>>;

        <<"Because"/utf8>> ->
            <<"∵"/utf8>>;

        <<"Bernoullis"/utf8>> ->
            <<"ℬ"/utf8>>;

        <<"Beta"/utf8>> ->
            <<"Β"/utf8>>;

        <<"Bfr"/utf8>> ->
            <<"𝔅"/utf8>>;

        <<"Bopf"/utf8>> ->
            <<"𝔹"/utf8>>;

        <<"Breve"/utf8>> ->
            <<"˘"/utf8>>;

        <<"Bscr"/utf8>> ->
            <<"ℬ"/utf8>>;

        <<"Bumpeq"/utf8>> ->
            <<"≎"/utf8>>;

        <<"CHcy"/utf8>> ->
            <<"Ч"/utf8>>;

        <<"COPY"/utf8>> ->
            <<"©"/utf8>>;

        <<"Cacute"/utf8>> ->
            <<"Ć"/utf8>>;

        <<"Cap"/utf8>> ->
            <<"⋒"/utf8>>;

        <<"CapitalDifferentialD"/utf8>> ->
            <<"ⅅ"/utf8>>;

        <<"Cayleys"/utf8>> ->
            <<"ℭ"/utf8>>;

        <<"Ccaron"/utf8>> ->
            <<"Č"/utf8>>;

        <<"Ccedil"/utf8>> ->
            <<"Ç"/utf8>>;

        <<"Ccirc"/utf8>> ->
            <<"Ĉ"/utf8>>;

        <<"Cconint"/utf8>> ->
            <<"∰"/utf8>>;

        <<"Cdot"/utf8>> ->
            <<"Ċ"/utf8>>;

        <<"Cedilla"/utf8>> ->
            <<"¸"/utf8>>;

        <<"CenterDot"/utf8>> ->
            <<"·"/utf8>>;

        <<"Cfr"/utf8>> ->
            <<"ℭ"/utf8>>;

        <<"Chi"/utf8>> ->
            <<"Χ"/utf8>>;

        <<"CircleDot"/utf8>> ->
            <<"⊙"/utf8>>;

        <<"CircleMinus"/utf8>> ->
            <<"⊖"/utf8>>;

        <<"CirclePlus"/utf8>> ->
            <<"⊕"/utf8>>;

        <<"CircleTimes"/utf8>> ->
            <<"⊗"/utf8>>;

        <<"ClockwiseContourIntegral"/utf8>> ->
            <<"∲"/utf8>>;

        <<"CloseCurlyDoubleQuote"/utf8>> ->
            <<"”"/utf8>>;

        <<"CloseCurlyQuote"/utf8>> ->
            <<"’"/utf8>>;

        <<"Colon"/utf8>> ->
            <<"∷"/utf8>>;

        <<"Colone"/utf8>> ->
            <<"⩴"/utf8>>;

        <<"Congruent"/utf8>> ->
            <<"≡"/utf8>>;

        <<"Conint"/utf8>> ->
            <<"∯"/utf8>>;

        <<"ContourIntegral"/utf8>> ->
            <<"∮"/utf8>>;

        <<"Copf"/utf8>> ->
            <<"ℂ"/utf8>>;

        <<"Coproduct"/utf8>> ->
            <<"∐"/utf8>>;

        <<"CounterClockwiseContourIntegral"/utf8>> ->
            <<"∳"/utf8>>;

        <<"Cross"/utf8>> ->
            <<"⨯"/utf8>>;

        <<"Cscr"/utf8>> ->
            <<"𝒞"/utf8>>;

        <<"Cup"/utf8>> ->
            <<"⋓"/utf8>>;

        <<"CupCap"/utf8>> ->
            <<"≍"/utf8>>;

        <<"DD"/utf8>> ->
            <<"ⅅ"/utf8>>;

        <<"DDotrahd"/utf8>> ->
            <<"⤑"/utf8>>;

        <<"DJcy"/utf8>> ->
            <<"Ђ"/utf8>>;

        <<"DScy"/utf8>> ->
            <<"Ѕ"/utf8>>;

        <<"DZcy"/utf8>> ->
            <<"Џ"/utf8>>;

        <<"Dagger"/utf8>> ->
            <<"‡"/utf8>>;

        <<"Darr"/utf8>> ->
            <<"↡"/utf8>>;

        <<"Dashv"/utf8>> ->
            <<"⫤"/utf8>>;

        <<"Dcaron"/utf8>> ->
            <<"Ď"/utf8>>;

        <<"Dcy"/utf8>> ->
            <<"Д"/utf8>>;

        <<"Del"/utf8>> ->
            <<"∇"/utf8>>;

        <<"Delta"/utf8>> ->
            <<"Δ"/utf8>>;

        <<"Dfr"/utf8>> ->
            <<"𝔇"/utf8>>;

        <<"DiacriticalAcute"/utf8>> ->
            <<"´"/utf8>>;

        <<"DiacriticalDot"/utf8>> ->
            <<"˙"/utf8>>;

        <<"DiacriticalDoubleAcute"/utf8>> ->
            <<"˝"/utf8>>;

        <<"DiacriticalGrave"/utf8>> ->
            <<"`"/utf8>>;

        <<"DiacriticalTilde"/utf8>> ->
            <<"˜"/utf8>>;

        <<"Diamond"/utf8>> ->
            <<"⋄"/utf8>>;

        <<"DifferentialD"/utf8>> ->
            <<"ⅆ"/utf8>>;

        <<"Dopf"/utf8>> ->
            <<"𝔻"/utf8>>;

        <<"Dot"/utf8>> ->
            <<"¨"/utf8>>;

        <<"DotDot"/utf8>> ->
            <<"⃜"/utf8>>;

        <<"DotEqual"/utf8>> ->
            <<"≐"/utf8>>;

        <<"DoubleContourIntegral"/utf8>> ->
            <<"∯"/utf8>>;

        <<"DoubleDot"/utf8>> ->
            <<"¨"/utf8>>;

        <<"DoubleDownArrow"/utf8>> ->
            <<"⇓"/utf8>>;

        <<"DoubleLeftArrow"/utf8>> ->
            <<"⇐"/utf8>>;

        <<"DoubleLeftRightArrow"/utf8>> ->
            <<"⇔"/utf8>>;

        <<"DoubleLeftTee"/utf8>> ->
            <<"⫤"/utf8>>;

        <<"DoubleLongLeftArrow"/utf8>> ->
            <<"⟸"/utf8>>;

        <<"DoubleLongLeftRightArrow"/utf8>> ->
            <<"⟺"/utf8>>;

        <<"DoubleLongRightArrow"/utf8>> ->
            <<"⟹"/utf8>>;

        <<"DoubleRightArrow"/utf8>> ->
            <<"⇒"/utf8>>;

        <<"DoubleRightTee"/utf8>> ->
            <<"⊨"/utf8>>;

        <<"DoubleUpArrow"/utf8>> ->
            <<"⇑"/utf8>>;

        <<"DoubleUpDownArrow"/utf8>> ->
            <<"⇕"/utf8>>;

        <<"DoubleVerticalBar"/utf8>> ->
            <<"∥"/utf8>>;

        <<"DownArrow"/utf8>> ->
            <<"↓"/utf8>>;

        <<"DownArrowBar"/utf8>> ->
            <<"⤓"/utf8>>;

        <<"DownArrowUpArrow"/utf8>> ->
            <<"⇵"/utf8>>;

        <<"DownBreve"/utf8>> ->
            <<"̑"/utf8>>;

        <<"DownLeftRightVector"/utf8>> ->
            <<"⥐"/utf8>>;

        <<"DownLeftTeeVector"/utf8>> ->
            <<"⥞"/utf8>>;

        <<"DownLeftVector"/utf8>> ->
            <<"↽"/utf8>>;

        <<"DownLeftVectorBar"/utf8>> ->
            <<"⥖"/utf8>>;

        <<"DownRightTeeVector"/utf8>> ->
            <<"⥟"/utf8>>;

        <<"DownRightVector"/utf8>> ->
            <<"⇁"/utf8>>;

        <<"DownRightVectorBar"/utf8>> ->
            <<"⥗"/utf8>>;

        <<"DownTee"/utf8>> ->
            <<"⊤"/utf8>>;

        <<"DownTeeArrow"/utf8>> ->
            <<"↧"/utf8>>;

        <<"Downarrow"/utf8>> ->
            <<"⇓"/utf8>>;

        <<"Dscr"/utf8>> ->
            <<"𝒟"/utf8>>;

        <<"Dstrok"/utf8>> ->
            <<"Đ"/utf8>>;

        <<"ENG"/utf8>> ->
            <<"Ŋ"/utf8>>;

        <<"ETH"/utf8>> ->
            <<"Ð"/utf8>>;

        <<"Eacute"/utf8>> ->
            <<"É"/utf8>>;

        <<"Ecaron"/utf8>> ->
            <<"Ě"/utf8>>;

        <<"Ecirc"/utf8>> ->
            <<"Ê"/utf8>>;

        <<"Ecy"/utf8>> ->
            <<"Э"/utf8>>;

        <<"Edot"/utf8>> ->
            <<"Ė"/utf8>>;

        <<"Efr"/utf8>> ->
            <<"𝔈"/utf8>>;

        <<"Egrave"/utf8>> ->
            <<"È"/utf8>>;

        <<"Element"/utf8>> ->
            <<"∈"/utf8>>;

        <<"Emacr"/utf8>> ->
            <<"Ē"/utf8>>;

        <<"EmptySmallSquare"/utf8>> ->
            <<"◻"/utf8>>;

        <<"EmptyVerySmallSquare"/utf8>> ->
            <<"▫"/utf8>>;

        <<"Eogon"/utf8>> ->
            <<"Ę"/utf8>>;

        <<"Eopf"/utf8>> ->
            <<"𝔼"/utf8>>;

        <<"Epsilon"/utf8>> ->
            <<"Ε"/utf8>>;

        <<"Equal"/utf8>> ->
            <<"⩵"/utf8>>;

        <<"EqualTilde"/utf8>> ->
            <<"≂"/utf8>>;

        <<"Equilibrium"/utf8>> ->
            <<"⇌"/utf8>>;

        <<"Escr"/utf8>> ->
            <<"ℰ"/utf8>>;

        <<"Esim"/utf8>> ->
            <<"⩳"/utf8>>;

        <<"Eta"/utf8>> ->
            <<"Η"/utf8>>;

        <<"Euml"/utf8>> ->
            <<"Ë"/utf8>>;

        <<"Exists"/utf8>> ->
            <<"∃"/utf8>>;

        <<"ExponentialE"/utf8>> ->
            <<"ⅇ"/utf8>>;

        <<"Fcy"/utf8>> ->
            <<"Ф"/utf8>>;

        <<"Ffr"/utf8>> ->
            <<"𝔉"/utf8>>;

        <<"FilledSmallSquare"/utf8>> ->
            <<"◼"/utf8>>;

        <<"FilledVerySmallSquare"/utf8>> ->
            <<"▪"/utf8>>;

        <<"Fopf"/utf8>> ->
            <<"𝔽"/utf8>>;

        <<"ForAll"/utf8>> ->
            <<"∀"/utf8>>;

        <<"Fouriertrf"/utf8>> ->
            <<"ℱ"/utf8>>;

        <<"Fscr"/utf8>> ->
            <<"ℱ"/utf8>>;

        <<"GJcy"/utf8>> ->
            <<"Ѓ"/utf8>>;

        <<"GT"/utf8>> ->
            <<">"/utf8>>;

        <<"Gamma"/utf8>> ->
            <<"Γ"/utf8>>;

        <<"Gammad"/utf8>> ->
            <<"Ϝ"/utf8>>;

        <<"Gbreve"/utf8>> ->
            <<"Ğ"/utf8>>;

        <<"Gcedil"/utf8>> ->
            <<"Ģ"/utf8>>;

        <<"Gcirc"/utf8>> ->
            <<"Ĝ"/utf8>>;

        <<"Gcy"/utf8>> ->
            <<"Г"/utf8>>;

        <<"Gdot"/utf8>> ->
            <<"Ġ"/utf8>>;

        <<"Gfr"/utf8>> ->
            <<"𝔊"/utf8>>;

        <<"Gg"/utf8>> ->
            <<"⋙"/utf8>>;

        <<"Gopf"/utf8>> ->
            <<"𝔾"/utf8>>;

        <<"GreaterEqual"/utf8>> ->
            <<"≥"/utf8>>;

        <<"GreaterEqualLess"/utf8>> ->
            <<"⋛"/utf8>>;

        <<"GreaterFullEqual"/utf8>> ->
            <<"≧"/utf8>>;

        <<"GreaterGreater"/utf8>> ->
            <<"⪢"/utf8>>;

        <<"GreaterLess"/utf8>> ->
            <<"≷"/utf8>>;

        <<"GreaterSlantEqual"/utf8>> ->
            <<"⩾"/utf8>>;

        <<"GreaterTilde"/utf8>> ->
            <<"≳"/utf8>>;

        <<"Gscr"/utf8>> ->
            <<"𝒢"/utf8>>;

        <<"Gt"/utf8>> ->
            <<"≫"/utf8>>;

        <<"HARDcy"/utf8>> ->
            <<"Ъ"/utf8>>;

        <<"Hacek"/utf8>> ->
            <<"ˇ"/utf8>>;

        <<"Hat"/utf8>> ->
            <<"^"/utf8>>;

        <<"Hcirc"/utf8>> ->
            <<"Ĥ"/utf8>>;

        <<"Hfr"/utf8>> ->
            <<"ℌ"/utf8>>;

        <<"HilbertSpace"/utf8>> ->
            <<"ℋ"/utf8>>;

        <<"Hopf"/utf8>> ->
            <<"ℍ"/utf8>>;

        <<"HorizontalLine"/utf8>> ->
            <<"─"/utf8>>;

        <<"Hscr"/utf8>> ->
            <<"ℋ"/utf8>>;

        <<"Hstrok"/utf8>> ->
            <<"Ħ"/utf8>>;

        <<"HumpDownHump"/utf8>> ->
            <<"≎"/utf8>>;

        <<"HumpEqual"/utf8>> ->
            <<"≏"/utf8>>;

        <<"IEcy"/utf8>> ->
            <<"Е"/utf8>>;

        <<"IJlig"/utf8>> ->
            <<"IJ"/utf8>>;

        <<"IOcy"/utf8>> ->
            <<"Ё"/utf8>>;

        <<"Iacute"/utf8>> ->
            <<"Í"/utf8>>;

        <<"Icirc"/utf8>> ->
            <<"Î"/utf8>>;

        <<"Icy"/utf8>> ->
            <<"И"/utf8>>;

        <<"Idot"/utf8>> ->
            <<"İ"/utf8>>;

        <<"Ifr"/utf8>> ->
            <<"ℑ"/utf8>>;

        <<"Igrave"/utf8>> ->
            <<"Ì"/utf8>>;

        <<"Im"/utf8>> ->
            <<"ℑ"/utf8>>;

        <<"Imacr"/utf8>> ->
            <<"Ī"/utf8>>;

        <<"ImaginaryI"/utf8>> ->
            <<"ⅈ"/utf8>>;

        <<"Implies"/utf8>> ->
            <<"⇒"/utf8>>;

        <<"Int"/utf8>> ->
            <<"∬"/utf8>>;

        <<"Integral"/utf8>> ->
            <<"∫"/utf8>>;

        <<"Intersection"/utf8>> ->
            <<"⋂"/utf8>>;

        <<"InvisibleComma"/utf8>> ->
            <<"⁣"/utf8>>;

        <<"InvisibleTimes"/utf8>> ->
            <<"⁢"/utf8>>;

        <<"Iogon"/utf8>> ->
            <<"Į"/utf8>>;

        <<"Iopf"/utf8>> ->
            <<"𝕀"/utf8>>;

        <<"Iota"/utf8>> ->
            <<"Ι"/utf8>>;

        <<"Iscr"/utf8>> ->
            <<"ℐ"/utf8>>;

        <<"Itilde"/utf8>> ->
            <<"Ĩ"/utf8>>;

        <<"Iukcy"/utf8>> ->
            <<"І"/utf8>>;

        <<"Iuml"/utf8>> ->
            <<"Ï"/utf8>>;

        <<"Jcirc"/utf8>> ->
            <<"Ĵ"/utf8>>;

        <<"Jcy"/utf8>> ->
            <<"Й"/utf8>>;

        <<"Jfr"/utf8>> ->
            <<"𝔍"/utf8>>;

        <<"Jopf"/utf8>> ->
            <<"𝕁"/utf8>>;

        <<"Jscr"/utf8>> ->
            <<"𝒥"/utf8>>;

        <<"Jsercy"/utf8>> ->
            <<"Ј"/utf8>>;

        <<"Jukcy"/utf8>> ->
            <<"Є"/utf8>>;

        <<"KHcy"/utf8>> ->
            <<"Х"/utf8>>;

        <<"KJcy"/utf8>> ->
            <<"Ќ"/utf8>>;

        <<"Kappa"/utf8>> ->
            <<"Κ"/utf8>>;

        <<"Kcedil"/utf8>> ->
            <<"Ķ"/utf8>>;

        <<"Kcy"/utf8>> ->
            <<"К"/utf8>>;

        <<"Kfr"/utf8>> ->
            <<"𝔎"/utf8>>;

        <<"Kopf"/utf8>> ->
            <<"𝕂"/utf8>>;

        <<"Kscr"/utf8>> ->
            <<"𝒦"/utf8>>;

        <<"LJcy"/utf8>> ->
            <<"Љ"/utf8>>;

        <<"LT"/utf8>> ->
            <<"<"/utf8>>;

        <<"Lacute"/utf8>> ->
            <<"Ĺ"/utf8>>;

        <<"Lambda"/utf8>> ->
            <<"Λ"/utf8>>;

        <<"Lang"/utf8>> ->
            <<"⟪"/utf8>>;

        <<"Laplacetrf"/utf8>> ->
            <<"ℒ"/utf8>>;

        <<"Larr"/utf8>> ->
            <<"↞"/utf8>>;

        <<"Lcaron"/utf8>> ->
            <<"Ľ"/utf8>>;

        <<"Lcedil"/utf8>> ->
            <<"Ļ"/utf8>>;

        <<"Lcy"/utf8>> ->
            <<"Л"/utf8>>;

        <<"LeftAngleBracket"/utf8>> ->
            <<"⟨"/utf8>>;

        <<"LeftArrow"/utf8>> ->
            <<"←"/utf8>>;

        <<"LeftArrowBar"/utf8>> ->
            <<"⇤"/utf8>>;

        <<"LeftArrowRightArrow"/utf8>> ->
            <<"⇆"/utf8>>;

        <<"LeftCeiling"/utf8>> ->
            <<"⌈"/utf8>>;

        <<"LeftDoubleBracket"/utf8>> ->
            <<"⟦"/utf8>>;

        <<"LeftDownTeeVector"/utf8>> ->
            <<"⥡"/utf8>>;

        <<"LeftDownVector"/utf8>> ->
            <<"⇃"/utf8>>;

        <<"LeftDownVectorBar"/utf8>> ->
            <<"⥙"/utf8>>;

        <<"LeftFloor"/utf8>> ->
            <<"⌊"/utf8>>;

        <<"LeftRightArrow"/utf8>> ->
            <<"↔"/utf8>>;

        <<"LeftRightVector"/utf8>> ->
            <<"⥎"/utf8>>;

        <<"LeftTee"/utf8>> ->
            <<"⊣"/utf8>>;

        <<"LeftTeeArrow"/utf8>> ->
            <<"↤"/utf8>>;

        <<"LeftTeeVector"/utf8>> ->
            <<"⥚"/utf8>>;

        <<"LeftTriangle"/utf8>> ->
            <<"⊲"/utf8>>;

        <<"LeftTriangleBar"/utf8>> ->
            <<"⧏"/utf8>>;

        <<"LeftTriangleEqual"/utf8>> ->
            <<"⊴"/utf8>>;

        <<"LeftUpDownVector"/utf8>> ->
            <<"⥑"/utf8>>;

        <<"LeftUpTeeVector"/utf8>> ->
            <<"⥠"/utf8>>;

        <<"LeftUpVector"/utf8>> ->
            <<"↿"/utf8>>;

        <<"LeftUpVectorBar"/utf8>> ->
            <<"⥘"/utf8>>;

        <<"LeftVector"/utf8>> ->
            <<"↼"/utf8>>;

        <<"LeftVectorBar"/utf8>> ->
            <<"⥒"/utf8>>;

        <<"Leftarrow"/utf8>> ->
            <<"⇐"/utf8>>;

        <<"Leftrightarrow"/utf8>> ->
            <<"⇔"/utf8>>;

        <<"LessEqualGreater"/utf8>> ->
            <<"⋚"/utf8>>;

        <<"LessFullEqual"/utf8>> ->
            <<"≦"/utf8>>;

        <<"LessGreater"/utf8>> ->
            <<"≶"/utf8>>;

        <<"LessLess"/utf8>> ->
            <<"⪡"/utf8>>;

        <<"LessSlantEqual"/utf8>> ->
            <<"⩽"/utf8>>;

        <<"LessTilde"/utf8>> ->
            <<"≲"/utf8>>;

        <<"Lfr"/utf8>> ->
            <<"𝔏"/utf8>>;

        <<"Ll"/utf8>> ->
            <<"⋘"/utf8>>;

        <<"Lleftarrow"/utf8>> ->
            <<"⇚"/utf8>>;

        <<"Lmidot"/utf8>> ->
            <<"Ŀ"/utf8>>;

        <<"LongLeftArrow"/utf8>> ->
            <<"⟵"/utf8>>;

        <<"LongLeftRightArrow"/utf8>> ->
            <<"⟷"/utf8>>;

        <<"LongRightArrow"/utf8>> ->
            <<"⟶"/utf8>>;

        <<"Longleftarrow"/utf8>> ->
            <<"⟸"/utf8>>;

        <<"Longleftrightarrow"/utf8>> ->
            <<"⟺"/utf8>>;

        <<"Longrightarrow"/utf8>> ->
            <<"⟹"/utf8>>;

        <<"Lopf"/utf8>> ->
            <<"𝕃"/utf8>>;

        <<"LowerLeftArrow"/utf8>> ->
            <<"↙"/utf8>>;

        <<"LowerRightArrow"/utf8>> ->
            <<"↘"/utf8>>;

        <<"Lscr"/utf8>> ->
            <<"ℒ"/utf8>>;

        <<"Lsh"/utf8>> ->
            <<"↰"/utf8>>;

        <<"Lstrok"/utf8>> ->
            <<"Ł"/utf8>>;

        <<"Lt"/utf8>> ->
            <<"≪"/utf8>>;

        <<"Map"/utf8>> ->
            <<"⤅"/utf8>>;

        <<"Mcy"/utf8>> ->
            <<"М"/utf8>>;

        <<"MediumSpace"/utf8>> ->
            <<" "/utf8>>;

        <<"Mellintrf"/utf8>> ->
            <<"ℳ"/utf8>>;

        <<"Mfr"/utf8>> ->
            <<"𝔐"/utf8>>;

        <<"MinusPlus"/utf8>> ->
            <<"∓"/utf8>>;

        <<"Mopf"/utf8>> ->
            <<"𝕄"/utf8>>;

        <<"Mscr"/utf8>> ->
            <<"ℳ"/utf8>>;

        <<"Mu"/utf8>> ->
            <<"Μ"/utf8>>;

        <<"NJcy"/utf8>> ->
            <<"Њ"/utf8>>;

        <<"Nacute"/utf8>> ->
            <<"Ń"/utf8>>;

        <<"Ncaron"/utf8>> ->
            <<"Ň"/utf8>>;

        <<"Ncedil"/utf8>> ->
            <<"Ņ"/utf8>>;

        <<"Ncy"/utf8>> ->
            <<"Н"/utf8>>;

        <<"NegativeMediumSpace"/utf8>> ->
            <<"​"/utf8>>;

        <<"NegativeThickSpace"/utf8>> ->
            <<"​"/utf8>>;

        <<"NegativeThinSpace"/utf8>> ->
            <<"​"/utf8>>;

        <<"NegativeVeryThinSpace"/utf8>> ->
            <<"​"/utf8>>;

        <<"NestedGreaterGreater"/utf8>> ->
            <<"≫"/utf8>>;

        <<"NestedLessLess"/utf8>> ->
            <<"≪"/utf8>>;

        <<"NewLine"/utf8>> ->
            <<"\n"/utf8>>;

        <<"Nfr"/utf8>> ->
            <<"𝔑"/utf8>>;

        <<"NoBreak"/utf8>> ->
            <<"⁠"/utf8>>;

        <<"NonBreakingSpace"/utf8>> ->
            <<" "/utf8>>;

        <<"Nopf"/utf8>> ->
            <<"ℕ"/utf8>>;

        <<"Not"/utf8>> ->
            <<"⫬"/utf8>>;

        <<"NotCongruent"/utf8>> ->
            <<"≢"/utf8>>;

        <<"NotCupCap"/utf8>> ->
            <<"≭"/utf8>>;

        <<"NotDoubleVerticalBar"/utf8>> ->
            <<"∦"/utf8>>;

        <<"NotElement"/utf8>> ->
            <<"∉"/utf8>>;

        <<"NotEqual"/utf8>> ->
            <<"≠"/utf8>>;

        <<"NotEqualTilde"/utf8>> ->
            <<"≂̸"/utf8>>;

        <<"NotExists"/utf8>> ->
            <<"∄"/utf8>>;

        <<"NotGreater"/utf8>> ->
            <<"≯"/utf8>>;

        <<"NotGreaterEqual"/utf8>> ->
            <<"≱"/utf8>>;

        <<"NotGreaterFullEqual"/utf8>> ->
            <<"≧̸"/utf8>>;

        <<"NotGreaterGreater"/utf8>> ->
            <<"≫̸"/utf8>>;

        <<"NotGreaterLess"/utf8>> ->
            <<"≹"/utf8>>;

        <<"NotGreaterSlantEqual"/utf8>> ->
            <<"⩾̸"/utf8>>;

        <<"NotGreaterTilde"/utf8>> ->
            <<"≵"/utf8>>;

        <<"NotHumpDownHump"/utf8>> ->
            <<"≎̸"/utf8>>;

        <<"NotHumpEqual"/utf8>> ->
            <<"≏̸"/utf8>>;

        <<"NotLeftTriangle"/utf8>> ->
            <<"⋪"/utf8>>;

        <<"NotLeftTriangleBar"/utf8>> ->
            <<"⧏̸"/utf8>>;

        <<"NotLeftTriangleEqual"/utf8>> ->
            <<"⋬"/utf8>>;

        <<"NotLess"/utf8>> ->
            <<"≮"/utf8>>;

        <<"NotLessEqual"/utf8>> ->
            <<"≰"/utf8>>;

        <<"NotLessGreater"/utf8>> ->
            <<"≸"/utf8>>;

        <<"NotLessLess"/utf8>> ->
            <<"≪̸"/utf8>>;

        <<"NotLessSlantEqual"/utf8>> ->
            <<"⩽̸"/utf8>>;

        <<"NotLessTilde"/utf8>> ->
            <<"≴"/utf8>>;

        <<"NotNestedGreaterGreater"/utf8>> ->
            <<"⪢̸"/utf8>>;

        <<"NotNestedLessLess"/utf8>> ->
            <<"⪡̸"/utf8>>;

        <<"NotPrecedes"/utf8>> ->
            <<"⊀"/utf8>>;

        <<"NotPrecedesEqual"/utf8>> ->
            <<"⪯̸"/utf8>>;

        <<"NotPrecedesSlantEqual"/utf8>> ->
            <<"⋠"/utf8>>;

        <<"NotReverseElement"/utf8>> ->
            <<"∌"/utf8>>;

        <<"NotRightTriangle"/utf8>> ->
            <<"⋫"/utf8>>;

        <<"NotRightTriangleBar"/utf8>> ->
            <<"⧐̸"/utf8>>;

        <<"NotRightTriangleEqual"/utf8>> ->
            <<"⋭"/utf8>>;

        <<"NotSquareSubset"/utf8>> ->
            <<"⊏̸"/utf8>>;

        <<"NotSquareSubsetEqual"/utf8>> ->
            <<"⋢"/utf8>>;

        <<"NotSquareSuperset"/utf8>> ->
            <<"⊐̸"/utf8>>;

        <<"NotSquareSupersetEqual"/utf8>> ->
            <<"⋣"/utf8>>;

        <<"NotSubset"/utf8>> ->
            <<"⊂⃒"/utf8>>;

        <<"NotSubsetEqual"/utf8>> ->
            <<"⊈"/utf8>>;

        <<"NotSucceeds"/utf8>> ->
            <<"⊁"/utf8>>;

        <<"NotSucceedsEqual"/utf8>> ->
            <<"⪰̸"/utf8>>;

        <<"NotSucceedsSlantEqual"/utf8>> ->
            <<"⋡"/utf8>>;

        <<"NotSucceedsTilde"/utf8>> ->
            <<"≿̸"/utf8>>;

        <<"NotSuperset"/utf8>> ->
            <<"⊃⃒"/utf8>>;

        <<"NotSupersetEqual"/utf8>> ->
            <<"⊉"/utf8>>;

        <<"NotTilde"/utf8>> ->
            <<"≁"/utf8>>;

        <<"NotTildeEqual"/utf8>> ->
            <<"≄"/utf8>>;

        <<"NotTildeFullEqual"/utf8>> ->
            <<"≇"/utf8>>;

        <<"NotTildeTilde"/utf8>> ->
            <<"≉"/utf8>>;

        <<"NotVerticalBar"/utf8>> ->
            <<"∤"/utf8>>;

        <<"Nscr"/utf8>> ->
            <<"𝒩"/utf8>>;

        <<"Ntilde"/utf8>> ->
            <<"Ñ"/utf8>>;

        <<"Nu"/utf8>> ->
            <<"Ν"/utf8>>;

        <<"OElig"/utf8>> ->
            <<"Œ"/utf8>>;

        <<"Oacute"/utf8>> ->
            <<"Ó"/utf8>>;

        <<"Ocirc"/utf8>> ->
            <<"Ô"/utf8>>;

        <<"Ocy"/utf8>> ->
            <<"О"/utf8>>;

        <<"Odblac"/utf8>> ->
            <<"Ő"/utf8>>;

        <<"Ofr"/utf8>> ->
            <<"𝔒"/utf8>>;

        <<"Ograve"/utf8>> ->
            <<"Ò"/utf8>>;

        <<"Omacr"/utf8>> ->
            <<"Ō"/utf8>>;

        <<"Omega"/utf8>> ->
            <<"Ω"/utf8>>;

        <<"Omicron"/utf8>> ->
            <<"Ο"/utf8>>;

        <<"Oopf"/utf8>> ->
            <<"𝕆"/utf8>>;

        <<"OpenCurlyDoubleQuote"/utf8>> ->
            <<"“"/utf8>>;

        <<"OpenCurlyQuote"/utf8>> ->
            <<"‘"/utf8>>;

        <<"Or"/utf8>> ->
            <<"⩔"/utf8>>;

        <<"Oscr"/utf8>> ->
            <<"𝒪"/utf8>>;

        <<"Oslash"/utf8>> ->
            <<"Ø"/utf8>>;

        <<"Otilde"/utf8>> ->
            <<"Õ"/utf8>>;

        <<"Otimes"/utf8>> ->
            <<"⨷"/utf8>>;

        <<"Ouml"/utf8>> ->
            <<"Ö"/utf8>>;

        <<"OverBar"/utf8>> ->
            <<"‾"/utf8>>;

        <<"OverBrace"/utf8>> ->
            <<"⏞"/utf8>>;

        <<"OverBracket"/utf8>> ->
            <<"⎴"/utf8>>;

        <<"OverParenthesis"/utf8>> ->
            <<"⏜"/utf8>>;

        <<"PartialD"/utf8>> ->
            <<"∂"/utf8>>;

        <<"Pcy"/utf8>> ->
            <<"П"/utf8>>;

        <<"Pfr"/utf8>> ->
            <<"𝔓"/utf8>>;

        <<"Phi"/utf8>> ->
            <<"Φ"/utf8>>;

        <<"Pi"/utf8>> ->
            <<"Π"/utf8>>;

        <<"PlusMinus"/utf8>> ->
            <<"±"/utf8>>;

        <<"Poincareplane"/utf8>> ->
            <<"ℌ"/utf8>>;

        <<"Popf"/utf8>> ->
            <<"ℙ"/utf8>>;

        <<"Pr"/utf8>> ->
            <<"⪻"/utf8>>;

        <<"Precedes"/utf8>> ->
            <<"≺"/utf8>>;

        <<"PrecedesEqual"/utf8>> ->
            <<"⪯"/utf8>>;

        <<"PrecedesSlantEqual"/utf8>> ->
            <<"≼"/utf8>>;

        <<"PrecedesTilde"/utf8>> ->
            <<"≾"/utf8>>;

        <<"Prime"/utf8>> ->
            <<"″"/utf8>>;

        <<"Product"/utf8>> ->
            <<"∏"/utf8>>;

        <<"Proportion"/utf8>> ->
            <<"∷"/utf8>>;

        <<"Proportional"/utf8>> ->
            <<"∝"/utf8>>;

        <<"Pscr"/utf8>> ->
            <<"𝒫"/utf8>>;

        <<"Psi"/utf8>> ->
            <<"Ψ"/utf8>>;

        <<"QUOT"/utf8>> ->
            <<"\""/utf8>>;

        <<"Qfr"/utf8>> ->
            <<"𝔔"/utf8>>;

        <<"Qopf"/utf8>> ->
            <<"ℚ"/utf8>>;

        <<"Qscr"/utf8>> ->
            <<"𝒬"/utf8>>;

        <<"RBarr"/utf8>> ->
            <<"⤐"/utf8>>;

        <<"REG"/utf8>> ->
            <<"®"/utf8>>;

        <<"Racute"/utf8>> ->
            <<"Ŕ"/utf8>>;

        <<"Rang"/utf8>> ->
            <<"⟫"/utf8>>;

        <<"Rarr"/utf8>> ->
            <<"↠"/utf8>>;

        <<"Rarrtl"/utf8>> ->
            <<"⤖"/utf8>>;

        <<"Rcaron"/utf8>> ->
            <<"Ř"/utf8>>;

        <<"Rcedil"/utf8>> ->
            <<"Ŗ"/utf8>>;

        <<"Rcy"/utf8>> ->
            <<"Р"/utf8>>;

        <<"Re"/utf8>> ->
            <<"ℜ"/utf8>>;

        <<"ReverseElement"/utf8>> ->
            <<"∋"/utf8>>;

        <<"ReverseEquilibrium"/utf8>> ->
            <<"⇋"/utf8>>;

        <<"ReverseUpEquilibrium"/utf8>> ->
            <<"⥯"/utf8>>;

        <<"Rfr"/utf8>> ->
            <<"ℜ"/utf8>>;

        <<"Rho"/utf8>> ->
            <<"Ρ"/utf8>>;

        <<"RightAngleBracket"/utf8>> ->
            <<"⟩"/utf8>>;

        <<"RightArrow"/utf8>> ->
            <<"→"/utf8>>;

        <<"RightArrowBar"/utf8>> ->
            <<"⇥"/utf8>>;

        <<"RightArrowLeftArrow"/utf8>> ->
            <<"⇄"/utf8>>;

        <<"RightCeiling"/utf8>> ->
            <<"⌉"/utf8>>;

        <<"RightDoubleBracket"/utf8>> ->
            <<"⟧"/utf8>>;

        <<"RightDownTeeVector"/utf8>> ->
            <<"⥝"/utf8>>;

        <<"RightDownVector"/utf8>> ->
            <<"⇂"/utf8>>;

        <<"RightDownVectorBar"/utf8>> ->
            <<"⥕"/utf8>>;

        <<"RightFloor"/utf8>> ->
            <<"⌋"/utf8>>;

        <<"RightTee"/utf8>> ->
            <<"⊢"/utf8>>;

        <<"RightTeeArrow"/utf8>> ->
            <<"↦"/utf8>>;

        <<"RightTeeVector"/utf8>> ->
            <<"⥛"/utf8>>;

        <<"RightTriangle"/utf8>> ->
            <<"⊳"/utf8>>;

        <<"RightTriangleBar"/utf8>> ->
            <<"⧐"/utf8>>;

        <<"RightTriangleEqual"/utf8>> ->
            <<"⊵"/utf8>>;

        <<"RightUpDownVector"/utf8>> ->
            <<"⥏"/utf8>>;

        <<"RightUpTeeVector"/utf8>> ->
            <<"⥜"/utf8>>;

        <<"RightUpVector"/utf8>> ->
            <<"↾"/utf8>>;

        <<"RightUpVectorBar"/utf8>> ->
            <<"⥔"/utf8>>;

        <<"RightVector"/utf8>> ->
            <<"⇀"/utf8>>;

        <<"RightVectorBar"/utf8>> ->
            <<"⥓"/utf8>>;

        <<"Rightarrow"/utf8>> ->
            <<"⇒"/utf8>>;

        <<"Ropf"/utf8>> ->
            <<"ℝ"/utf8>>;

        <<"RoundImplies"/utf8>> ->
            <<"⥰"/utf8>>;

        <<"Rrightarrow"/utf8>> ->
            <<"⇛"/utf8>>;

        <<"Rscr"/utf8>> ->
            <<"ℛ"/utf8>>;

        <<"Rsh"/utf8>> ->
            <<"↱"/utf8>>;

        <<"RuleDelayed"/utf8>> ->
            <<"⧴"/utf8>>;

        <<"SHCHcy"/utf8>> ->
            <<"Щ"/utf8>>;

        <<"SHcy"/utf8>> ->
            <<"Ш"/utf8>>;

        <<"SOFTcy"/utf8>> ->
            <<"Ь"/utf8>>;

        <<"Sacute"/utf8>> ->
            <<"Ś"/utf8>>;

        <<"Sc"/utf8>> ->
            <<"⪼"/utf8>>;

        <<"Scaron"/utf8>> ->
            <<"Š"/utf8>>;

        <<"Scedil"/utf8>> ->
            <<"Ş"/utf8>>;

        <<"Scirc"/utf8>> ->
            <<"Ŝ"/utf8>>;

        <<"Scy"/utf8>> ->
            <<"С"/utf8>>;

        <<"Sfr"/utf8>> ->
            <<"𝔖"/utf8>>;

        <<"ShortDownArrow"/utf8>> ->
            <<"↓"/utf8>>;

        <<"ShortLeftArrow"/utf8>> ->
            <<"←"/utf8>>;

        <<"ShortRightArrow"/utf8>> ->
            <<"→"/utf8>>;

        <<"ShortUpArrow"/utf8>> ->
            <<"↑"/utf8>>;

        <<"Sigma"/utf8>> ->
            <<"Σ"/utf8>>;

        <<"SmallCircle"/utf8>> ->
            <<"∘"/utf8>>;

        <<"Sopf"/utf8>> ->
            <<"𝕊"/utf8>>;

        <<"Sqrt"/utf8>> ->
            <<"√"/utf8>>;

        <<"Square"/utf8>> ->
            <<"□"/utf8>>;

        <<"SquareIntersection"/utf8>> ->
            <<"⊓"/utf8>>;

        <<"SquareSubset"/utf8>> ->
            <<"⊏"/utf8>>;

        <<"SquareSubsetEqual"/utf8>> ->
            <<"⊑"/utf8>>;

        <<"SquareSuperset"/utf8>> ->
            <<"⊐"/utf8>>;

        <<"SquareSupersetEqual"/utf8>> ->
            <<"⊒"/utf8>>;

        <<"SquareUnion"/utf8>> ->
            <<"⊔"/utf8>>;

        <<"Sscr"/utf8>> ->
            <<"𝒮"/utf8>>;

        <<"Star"/utf8>> ->
            <<"⋆"/utf8>>;

        <<"Sub"/utf8>> ->
            <<"⋐"/utf8>>;

        <<"Subset"/utf8>> ->
            <<"⋐"/utf8>>;

        <<"SubsetEqual"/utf8>> ->
            <<"⊆"/utf8>>;

        <<"Succeeds"/utf8>> ->
            <<"≻"/utf8>>;

        <<"SucceedsEqual"/utf8>> ->
            <<"⪰"/utf8>>;

        <<"SucceedsSlantEqual"/utf8>> ->
            <<"≽"/utf8>>;

        <<"SucceedsTilde"/utf8>> ->
            <<"≿"/utf8>>;

        <<"SuchThat"/utf8>> ->
            <<"∋"/utf8>>;

        <<"Sum"/utf8>> ->
            <<"∑"/utf8>>;

        <<"Sup"/utf8>> ->
            <<"⋑"/utf8>>;

        <<"Superset"/utf8>> ->
            <<"⊃"/utf8>>;

        <<"SupersetEqual"/utf8>> ->
            <<"⊇"/utf8>>;

        <<"Supset"/utf8>> ->
            <<"⋑"/utf8>>;

        <<"THORN"/utf8>> ->
            <<"Þ"/utf8>>;

        <<"TRADE"/utf8>> ->
            <<"™"/utf8>>;

        <<"TSHcy"/utf8>> ->
            <<"Ћ"/utf8>>;

        <<"TScy"/utf8>> ->
            <<"Ц"/utf8>>;

        <<"Tab"/utf8>> ->
            <<"\t"/utf8>>;

        <<"Tau"/utf8>> ->
            <<"Τ"/utf8>>;

        <<"Tcaron"/utf8>> ->
            <<"Ť"/utf8>>;

        <<"Tcedil"/utf8>> ->
            <<"Ţ"/utf8>>;

        <<"Tcy"/utf8>> ->
            <<"Т"/utf8>>;

        <<"Tfr"/utf8>> ->
            <<"𝔗"/utf8>>;

        <<"Therefore"/utf8>> ->
            <<"∴"/utf8>>;

        <<"Theta"/utf8>> ->
            <<"Θ"/utf8>>;

        <<"ThickSpace"/utf8>> ->
            <<"  "/utf8>>;

        <<"ThinSpace"/utf8>> ->
            <<" "/utf8>>;

        <<"Tilde"/utf8>> ->
            <<"∼"/utf8>>;

        <<"TildeEqual"/utf8>> ->
            <<"≃"/utf8>>;

        <<"TildeFullEqual"/utf8>> ->
            <<"≅"/utf8>>;

        <<"TildeTilde"/utf8>> ->
            <<"≈"/utf8>>;

        <<"Topf"/utf8>> ->
            <<"𝕋"/utf8>>;

        <<"TripleDot"/utf8>> ->
            <<"⃛"/utf8>>;

        <<"Tscr"/utf8>> ->
            <<"𝒯"/utf8>>;

        <<"Tstrok"/utf8>> ->
            <<"Ŧ"/utf8>>;

        <<"Uacute"/utf8>> ->
            <<"Ú"/utf8>>;

        <<"Uarr"/utf8>> ->
            <<"↟"/utf8>>;

        <<"Uarrocir"/utf8>> ->
            <<"⥉"/utf8>>;

        <<"Ubrcy"/utf8>> ->
            <<"Ў"/utf8>>;

        <<"Ubreve"/utf8>> ->
            <<"Ŭ"/utf8>>;

        <<"Ucirc"/utf8>> ->
            <<"Û"/utf8>>;

        <<"Ucy"/utf8>> ->
            <<"У"/utf8>>;

        <<"Udblac"/utf8>> ->
            <<"Ű"/utf8>>;

        <<"Ufr"/utf8>> ->
            <<"𝔘"/utf8>>;

        <<"Ugrave"/utf8>> ->
            <<"Ù"/utf8>>;

        <<"Umacr"/utf8>> ->
            <<"Ū"/utf8>>;

        <<"UnderBar"/utf8>> ->
            <<"_"/utf8>>;

        <<"UnderBrace"/utf8>> ->
            <<"⏟"/utf8>>;

        <<"UnderBracket"/utf8>> ->
            <<"⎵"/utf8>>;

        <<"UnderParenthesis"/utf8>> ->
            <<"⏝"/utf8>>;

        <<"Union"/utf8>> ->
            <<"⋃"/utf8>>;

        <<"UnionPlus"/utf8>> ->
            <<"⊎"/utf8>>;

        <<"Uogon"/utf8>> ->
            <<"Ų"/utf8>>;

        <<"Uopf"/utf8>> ->
            <<"𝕌"/utf8>>;

        <<"UpArrow"/utf8>> ->
            <<"↑"/utf8>>;

        <<"UpArrowBar"/utf8>> ->
            <<"⤒"/utf8>>;

        <<"UpArrowDownArrow"/utf8>> ->
            <<"⇅"/utf8>>;

        <<"UpDownArrow"/utf8>> ->
            <<"↕"/utf8>>;

        <<"UpEquilibrium"/utf8>> ->
            <<"⥮"/utf8>>;

        <<"UpTee"/utf8>> ->
            <<"⊥"/utf8>>;

        <<"UpTeeArrow"/utf8>> ->
            <<"↥"/utf8>>;

        <<"Uparrow"/utf8>> ->
            <<"⇑"/utf8>>;

        <<"Updownarrow"/utf8>> ->
            <<"⇕"/utf8>>;

        <<"UpperLeftArrow"/utf8>> ->
            <<"↖"/utf8>>;

        <<"UpperRightArrow"/utf8>> ->
            <<"↗"/utf8>>;

        <<"Upsi"/utf8>> ->
            <<"ϒ"/utf8>>;

        <<"Upsilon"/utf8>> ->
            <<"Υ"/utf8>>;

        <<"Uring"/utf8>> ->
            <<"Ů"/utf8>>;

        <<"Uscr"/utf8>> ->
            <<"𝒰"/utf8>>;

        <<"Utilde"/utf8>> ->
            <<"Ũ"/utf8>>;

        <<"Uuml"/utf8>> ->
            <<"Ü"/utf8>>;

        <<"VDash"/utf8>> ->
            <<"⊫"/utf8>>;

        <<"Vbar"/utf8>> ->
            <<"⫫"/utf8>>;

        <<"Vcy"/utf8>> ->
            <<"В"/utf8>>;

        <<"Vdash"/utf8>> ->
            <<"⊩"/utf8>>;

        <<"Vdashl"/utf8>> ->
            <<"⫦"/utf8>>;

        <<"Vee"/utf8>> ->
            <<"⋁"/utf8>>;

        <<"Verbar"/utf8>> ->
            <<"‖"/utf8>>;

        <<"Vert"/utf8>> ->
            <<"‖"/utf8>>;

        <<"VerticalBar"/utf8>> ->
            <<"∣"/utf8>>;

        <<"VerticalLine"/utf8>> ->
            <<"|"/utf8>>;

        <<"VerticalSeparator"/utf8>> ->
            <<"❘"/utf8>>;

        <<"VerticalTilde"/utf8>> ->
            <<"≀"/utf8>>;

        <<"VeryThinSpace"/utf8>> ->
            <<" "/utf8>>;

        <<"Vfr"/utf8>> ->
            <<"𝔙"/utf8>>;

        <<"Vopf"/utf8>> ->
            <<"𝕍"/utf8>>;

        <<"Vscr"/utf8>> ->
            <<"𝒱"/utf8>>;

        <<"Vvdash"/utf8>> ->
            <<"⊪"/utf8>>;

        <<"Wcirc"/utf8>> ->
            <<"Ŵ"/utf8>>;

        <<"Wedge"/utf8>> ->
            <<"⋀"/utf8>>;

        <<"Wfr"/utf8>> ->
            <<"𝔚"/utf8>>;

        <<"Wopf"/utf8>> ->
            <<"𝕎"/utf8>>;

        <<"Wscr"/utf8>> ->
            <<"𝒲"/utf8>>;

        <<"Xfr"/utf8>> ->
            <<"𝔛"/utf8>>;

        <<"Xi"/utf8>> ->
            <<"Ξ"/utf8>>;

        <<"Xopf"/utf8>> ->
            <<"𝕏"/utf8>>;

        <<"Xscr"/utf8>> ->
            <<"𝒳"/utf8>>;

        <<"YAcy"/utf8>> ->
            <<"Я"/utf8>>;

        <<"YIcy"/utf8>> ->
            <<"Ї"/utf8>>;

        <<"YUcy"/utf8>> ->
            <<"Ю"/utf8>>;

        <<"Yacute"/utf8>> ->
            <<"Ý"/utf8>>;

        <<"Ycirc"/utf8>> ->
            <<"Ŷ"/utf8>>;

        <<"Ycy"/utf8>> ->
            <<"Ы"/utf8>>;

        <<"Yfr"/utf8>> ->
            <<"𝔜"/utf8>>;

        <<"Yopf"/utf8>> ->
            <<"𝕐"/utf8>>;

        <<"Yscr"/utf8>> ->
            <<"𝒴"/utf8>>;

        <<"Yuml"/utf8>> ->
            <<"Ÿ"/utf8>>;

        <<"ZHcy"/utf8>> ->
            <<"Ж"/utf8>>;

        <<"Zacute"/utf8>> ->
            <<"Ź"/utf8>>;

        <<"Zcaron"/utf8>> ->
            <<"Ž"/utf8>>;

        <<"Zcy"/utf8>> ->
            <<"З"/utf8>>;

        <<"Zdot"/utf8>> ->
            <<"Ż"/utf8>>;

        <<"ZeroWidthSpace"/utf8>> ->
            <<"​"/utf8>>;

        <<"Zeta"/utf8>> ->
            <<"Ζ"/utf8>>;

        <<"Zfr"/utf8>> ->
            <<"ℨ"/utf8>>;

        <<"Zopf"/utf8>> ->
            <<"ℤ"/utf8>>;

        <<"Zscr"/utf8>> ->
            <<"𝒵"/utf8>>;

        <<"aacute"/utf8>> ->
            <<"á"/utf8>>;

        <<"abreve"/utf8>> ->
            <<"ă"/utf8>>;

        <<"ac"/utf8>> ->
            <<"∾"/utf8>>;

        <<"acE"/utf8>> ->
            <<"∾̳"/utf8>>;

        <<"acd"/utf8>> ->
            <<"∿"/utf8>>;

        <<"acirc"/utf8>> ->
            <<"â"/utf8>>;

        <<"acute"/utf8>> ->
            <<"´"/utf8>>;

        <<"acy"/utf8>> ->
            <<"а"/utf8>>;

        <<"aelig"/utf8>> ->
            <<"æ"/utf8>>;

        <<"af"/utf8>> ->
            <<"⁡"/utf8>>;

        <<"afr"/utf8>> ->
            <<"𝔞"/utf8>>;

        <<"agrave"/utf8>> ->
            <<"à"/utf8>>;

        <<"alefsym"/utf8>> ->
            <<"ℵ"/utf8>>;

        <<"aleph"/utf8>> ->
            <<"ℵ"/utf8>>;

        <<"alpha"/utf8>> ->
            <<"α"/utf8>>;

        <<"amacr"/utf8>> ->
            <<"ā"/utf8>>;

        <<"amalg"/utf8>> ->
            <<"⨿"/utf8>>;

        <<"amp"/utf8>> ->
            <<"&"/utf8>>;

        <<"and"/utf8>> ->
            <<"∧"/utf8>>;

        <<"andand"/utf8>> ->
            <<"⩕"/utf8>>;

        <<"andd"/utf8>> ->
            <<"⩜"/utf8>>;

        <<"andslope"/utf8>> ->
            <<"⩘"/utf8>>;

        <<"andv"/utf8>> ->
            <<"⩚"/utf8>>;

        <<"ang"/utf8>> ->
            <<"∠"/utf8>>;

        <<"ange"/utf8>> ->
            <<"⦤"/utf8>>;

        <<"angle"/utf8>> ->
            <<"∠"/utf8>>;

        <<"angmsd"/utf8>> ->
            <<"∡"/utf8>>;

        <<"angmsdaa"/utf8>> ->
            <<"⦨"/utf8>>;

        <<"angmsdab"/utf8>> ->
            <<"⦩"/utf8>>;

        <<"angmsdac"/utf8>> ->
            <<"⦪"/utf8>>;

        <<"angmsdad"/utf8>> ->
            <<"⦫"/utf8>>;

        <<"angmsdae"/utf8>> ->
            <<"⦬"/utf8>>;

        <<"angmsdaf"/utf8>> ->
            <<"⦭"/utf8>>;

        <<"angmsdag"/utf8>> ->
            <<"⦮"/utf8>>;

        <<"angmsdah"/utf8>> ->
            <<"⦯"/utf8>>;

        <<"angrt"/utf8>> ->
            <<"∟"/utf8>>;

        <<"angrtvb"/utf8>> ->
            <<"⊾"/utf8>>;

        <<"angrtvbd"/utf8>> ->
            <<"⦝"/utf8>>;

        <<"angsph"/utf8>> ->
            <<"∢"/utf8>>;

        <<"angst"/utf8>> ->
            <<"Å"/utf8>>;

        <<"angzarr"/utf8>> ->
            <<"⍼"/utf8>>;

        <<"aogon"/utf8>> ->
            <<"ą"/utf8>>;

        <<"aopf"/utf8>> ->
            <<"𝕒"/utf8>>;

        <<"ap"/utf8>> ->
            <<"≈"/utf8>>;

        <<"apE"/utf8>> ->
            <<"⩰"/utf8>>;

        <<"apacir"/utf8>> ->
            <<"⩯"/utf8>>;

        <<"ape"/utf8>> ->
            <<"≊"/utf8>>;

        <<"apid"/utf8>> ->
            <<"≋"/utf8>>;

        <<"apos"/utf8>> ->
            <<"'"/utf8>>;

        <<"approx"/utf8>> ->
            <<"≈"/utf8>>;

        <<"approxeq"/utf8>> ->
            <<"≊"/utf8>>;

        <<"aring"/utf8>> ->
            <<"å"/utf8>>;

        <<"ascr"/utf8>> ->
            <<"𝒶"/utf8>>;

        <<"ast"/utf8>> ->
            <<"*"/utf8>>;

        <<"asymp"/utf8>> ->
            <<"≈"/utf8>>;

        <<"asympeq"/utf8>> ->
            <<"≍"/utf8>>;

        <<"atilde"/utf8>> ->
            <<"ã"/utf8>>;

        <<"auml"/utf8>> ->
            <<"ä"/utf8>>;

        <<"awconint"/utf8>> ->
            <<"∳"/utf8>>;

        <<"awint"/utf8>> ->
            <<"⨑"/utf8>>;

        <<"bNot"/utf8>> ->
            <<"⫭"/utf8>>;

        <<"backcong"/utf8>> ->
            <<"≌"/utf8>>;

        <<"backepsilon"/utf8>> ->
            <<"϶"/utf8>>;

        <<"backprime"/utf8>> ->
            <<"‵"/utf8>>;

        <<"backsim"/utf8>> ->
            <<"∽"/utf8>>;

        <<"backsimeq"/utf8>> ->
            <<"⋍"/utf8>>;

        <<"barvee"/utf8>> ->
            <<"⊽"/utf8>>;

        <<"barwed"/utf8>> ->
            <<"⌅"/utf8>>;

        <<"barwedge"/utf8>> ->
            <<"⌅"/utf8>>;

        <<"bbrk"/utf8>> ->
            <<"⎵"/utf8>>;

        <<"bbrktbrk"/utf8>> ->
            <<"⎶"/utf8>>;

        <<"bcong"/utf8>> ->
            <<"≌"/utf8>>;

        <<"bcy"/utf8>> ->
            <<"б"/utf8>>;

        <<"bdquo"/utf8>> ->
            <<"„"/utf8>>;

        <<"becaus"/utf8>> ->
            <<"∵"/utf8>>;

        <<"because"/utf8>> ->
            <<"∵"/utf8>>;

        <<"bemptyv"/utf8>> ->
            <<"⦰"/utf8>>;

        <<"bepsi"/utf8>> ->
            <<"϶"/utf8>>;

        <<"bernou"/utf8>> ->
            <<"ℬ"/utf8>>;

        <<"beta"/utf8>> ->
            <<"β"/utf8>>;

        <<"beth"/utf8>> ->
            <<"ℶ"/utf8>>;

        <<"between"/utf8>> ->
            <<"≬"/utf8>>;

        <<"bfr"/utf8>> ->
            <<"𝔟"/utf8>>;

        <<"bigcap"/utf8>> ->
            <<"⋂"/utf8>>;

        <<"bigcirc"/utf8>> ->
            <<"◯"/utf8>>;

        <<"bigcup"/utf8>> ->
            <<"⋃"/utf8>>;

        <<"bigodot"/utf8>> ->
            <<"⨀"/utf8>>;

        <<"bigoplus"/utf8>> ->
            <<"⨁"/utf8>>;

        <<"bigotimes"/utf8>> ->
            <<"⨂"/utf8>>;

        <<"bigsqcup"/utf8>> ->
            <<"⨆"/utf8>>;

        <<"bigstar"/utf8>> ->
            <<"★"/utf8>>;

        <<"bigtriangledown"/utf8>> ->
            <<"▽"/utf8>>;

        <<"bigtriangleup"/utf8>> ->
            <<"△"/utf8>>;

        <<"biguplus"/utf8>> ->
            <<"⨄"/utf8>>;

        <<"bigvee"/utf8>> ->
            <<"⋁"/utf8>>;

        <<"bigwedge"/utf8>> ->
            <<"⋀"/utf8>>;

        <<"bkarow"/utf8>> ->
            <<"⤍"/utf8>>;

        <<"blacklozenge"/utf8>> ->
            <<"⧫"/utf8>>;

        <<"blacksquare"/utf8>> ->
            <<"▪"/utf8>>;

        <<"blacktriangle"/utf8>> ->
            <<"▴"/utf8>>;

        <<"blacktriangledown"/utf8>> ->
            <<"▾"/utf8>>;

        <<"blacktriangleleft"/utf8>> ->
            <<"◂"/utf8>>;

        <<"blacktriangleright"/utf8>> ->
            <<"▸"/utf8>>;

        <<"blank"/utf8>> ->
            <<"␣"/utf8>>;

        <<"blk12"/utf8>> ->
            <<"▒"/utf8>>;

        <<"blk14"/utf8>> ->
            <<"░"/utf8>>;

        <<"blk34"/utf8>> ->
            <<"▓"/utf8>>;

        <<"block"/utf8>> ->
            <<"█"/utf8>>;

        <<"bne"/utf8>> ->
            <<"=⃥"/utf8>>;

        <<"bnequiv"/utf8>> ->
            <<"≡⃥"/utf8>>;

        <<"bnot"/utf8>> ->
            <<"⌐"/utf8>>;

        <<"bopf"/utf8>> ->
            <<"𝕓"/utf8>>;

        <<"bot"/utf8>> ->
            <<"⊥"/utf8>>;

        <<"bottom"/utf8>> ->
            <<"⊥"/utf8>>;

        <<"bowtie"/utf8>> ->
            <<"⋈"/utf8>>;

        <<"boxDL"/utf8>> ->
            <<"╗"/utf8>>;

        <<"boxDR"/utf8>> ->
            <<"╔"/utf8>>;

        <<"boxDl"/utf8>> ->
            <<"╖"/utf8>>;

        <<"boxDr"/utf8>> ->
            <<"╓"/utf8>>;

        <<"boxH"/utf8>> ->
            <<"═"/utf8>>;

        <<"boxHD"/utf8>> ->
            <<"╦"/utf8>>;

        <<"boxHU"/utf8>> ->
            <<"╩"/utf8>>;

        <<"boxHd"/utf8>> ->
            <<"╤"/utf8>>;

        <<"boxHu"/utf8>> ->
            <<"╧"/utf8>>;

        <<"boxUL"/utf8>> ->
            <<"╝"/utf8>>;

        <<"boxUR"/utf8>> ->
            <<"╚"/utf8>>;

        <<"boxUl"/utf8>> ->
            <<"╜"/utf8>>;

        <<"boxUr"/utf8>> ->
            <<"╙"/utf8>>;

        <<"boxV"/utf8>> ->
            <<"║"/utf8>>;

        <<"boxVH"/utf8>> ->
            <<"╬"/utf8>>;

        <<"boxVL"/utf8>> ->
            <<"╣"/utf8>>;

        <<"boxVR"/utf8>> ->
            <<"╠"/utf8>>;

        <<"boxVh"/utf8>> ->
            <<"╫"/utf8>>;

        <<"boxVl"/utf8>> ->
            <<"╢"/utf8>>;

        <<"boxVr"/utf8>> ->
            <<"╟"/utf8>>;

        <<"boxbox"/utf8>> ->
            <<"⧉"/utf8>>;

        <<"boxdL"/utf8>> ->
            <<"╕"/utf8>>;

        <<"boxdR"/utf8>> ->
            <<"╒"/utf8>>;

        <<"boxdl"/utf8>> ->
            <<"┐"/utf8>>;

        <<"boxdr"/utf8>> ->
            <<"┌"/utf8>>;

        <<"boxh"/utf8>> ->
            <<"─"/utf8>>;

        <<"boxhD"/utf8>> ->
            <<"╥"/utf8>>;

        <<"boxhU"/utf8>> ->
            <<"╨"/utf8>>;

        <<"boxhd"/utf8>> ->
            <<"┬"/utf8>>;

        <<"boxhu"/utf8>> ->
            <<"┴"/utf8>>;

        <<"boxminus"/utf8>> ->
            <<"⊟"/utf8>>;

        <<"boxplus"/utf8>> ->
            <<"⊞"/utf8>>;

        <<"boxtimes"/utf8>> ->
            <<"⊠"/utf8>>;

        <<"boxuL"/utf8>> ->
            <<"╛"/utf8>>;

        <<"boxuR"/utf8>> ->
            <<"╘"/utf8>>;

        <<"boxul"/utf8>> ->
            <<"┘"/utf8>>;

        <<"boxur"/utf8>> ->
            <<"└"/utf8>>;

        <<"boxv"/utf8>> ->
            <<"│"/utf8>>;

        <<"boxvH"/utf8>> ->
            <<"╪"/utf8>>;

        <<"boxvL"/utf8>> ->
            <<"╡"/utf8>>;

        <<"boxvR"/utf8>> ->
            <<"╞"/utf8>>;

        <<"boxvh"/utf8>> ->
            <<"┼"/utf8>>;

        <<"boxvl"/utf8>> ->
            <<"┤"/utf8>>;

        <<"boxvr"/utf8>> ->
            <<"├"/utf8>>;

        <<"bprime"/utf8>> ->
            <<"‵"/utf8>>;

        <<"breve"/utf8>> ->
            <<"˘"/utf8>>;

        <<"brvbar"/utf8>> ->
            <<"¦"/utf8>>;

        <<"bscr"/utf8>> ->
            <<"𝒷"/utf8>>;

        <<"bsemi"/utf8>> ->
            <<"⁏"/utf8>>;

        <<"bsim"/utf8>> ->
            <<"∽"/utf8>>;

        <<"bsime"/utf8>> ->
            <<"⋍"/utf8>>;

        <<"bsol"/utf8>> ->
            <<"\\"/utf8>>;

        <<"bsolb"/utf8>> ->
            <<"⧅"/utf8>>;

        <<"bsolhsub"/utf8>> ->
            <<"⟈"/utf8>>;

        <<"bull"/utf8>> ->
            <<"•"/utf8>>;

        <<"bullet"/utf8>> ->
            <<"•"/utf8>>;

        <<"bump"/utf8>> ->
            <<"≎"/utf8>>;

        <<"bumpE"/utf8>> ->
            <<"⪮"/utf8>>;

        <<"bumpe"/utf8>> ->
            <<"≏"/utf8>>;

        <<"bumpeq"/utf8>> ->
            <<"≏"/utf8>>;

        <<"cacute"/utf8>> ->
            <<"ć"/utf8>>;

        <<"cap"/utf8>> ->
            <<"∩"/utf8>>;

        <<"capand"/utf8>> ->
            <<"⩄"/utf8>>;

        <<"capbrcup"/utf8>> ->
            <<"⩉"/utf8>>;

        <<"capcap"/utf8>> ->
            <<"⩋"/utf8>>;

        <<"capcup"/utf8>> ->
            <<"⩇"/utf8>>;

        <<"capdot"/utf8>> ->
            <<"⩀"/utf8>>;

        <<"caps"/utf8>> ->
            <<"∩︀"/utf8>>;

        <<"caret"/utf8>> ->
            <<"⁁"/utf8>>;

        <<"caron"/utf8>> ->
            <<"ˇ"/utf8>>;

        <<"ccaps"/utf8>> ->
            <<"⩍"/utf8>>;

        <<"ccaron"/utf8>> ->
            <<"č"/utf8>>;

        <<"ccedil"/utf8>> ->
            <<"ç"/utf8>>;

        <<"ccirc"/utf8>> ->
            <<"ĉ"/utf8>>;

        <<"ccups"/utf8>> ->
            <<"⩌"/utf8>>;

        <<"ccupssm"/utf8>> ->
            <<"⩐"/utf8>>;

        <<"cdot"/utf8>> ->
            <<"ċ"/utf8>>;

        <<"cedil"/utf8>> ->
            <<"¸"/utf8>>;

        <<"cemptyv"/utf8>> ->
            <<"⦲"/utf8>>;

        <<"cent"/utf8>> ->
            <<"¢"/utf8>>;

        <<"centerdot"/utf8>> ->
            <<"·"/utf8>>;

        <<"cfr"/utf8>> ->
            <<"𝔠"/utf8>>;

        <<"chcy"/utf8>> ->
            <<"ч"/utf8>>;

        <<"check"/utf8>> ->
            <<"✓"/utf8>>;

        <<"checkmark"/utf8>> ->
            <<"✓"/utf8>>;

        <<"chi"/utf8>> ->
            <<"χ"/utf8>>;

        <<"cir"/utf8>> ->
            <<"○"/utf8>>;

        <<"cirE"/utf8>> ->
            <<"⧃"/utf8>>;

        <<"circ"/utf8>> ->
            <<"ˆ"/utf8>>;

        <<"circeq"/utf8>> ->
            <<"≗"/utf8>>;

        <<"circlearrowleft"/utf8>> ->
            <<"↺"/utf8>>;

        <<"circlearrowright"/utf8>> ->
            <<"↻"/utf8>>;

        <<"circledR"/utf8>> ->
            <<"®"/utf8>>;

        <<"circledS"/utf8>> ->
            <<"Ⓢ"/utf8>>;

        <<"circledast"/utf8>> ->
            <<"⊛"/utf8>>;

        <<"circledcirc"/utf8>> ->
            <<"⊚"/utf8>>;

        <<"circleddash"/utf8>> ->
            <<"⊝"/utf8>>;

        <<"cire"/utf8>> ->
            <<"≗"/utf8>>;

        <<"cirfnint"/utf8>> ->
            <<"⨐"/utf8>>;

        <<"cirmid"/utf8>> ->
            <<"⫯"/utf8>>;

        <<"cirscir"/utf8>> ->
            <<"⧂"/utf8>>;

        <<"clubs"/utf8>> ->
            <<"♣"/utf8>>;

        <<"clubsuit"/utf8>> ->
            <<"♣"/utf8>>;

        <<"colon"/utf8>> ->
            <<":"/utf8>>;

        <<"colone"/utf8>> ->
            <<"≔"/utf8>>;

        <<"coloneq"/utf8>> ->
            <<"≔"/utf8>>;

        <<"comma"/utf8>> ->
            <<","/utf8>>;

        <<"commat"/utf8>> ->
            <<"@"/utf8>>;

        <<"comp"/utf8>> ->
            <<"∁"/utf8>>;

        <<"compfn"/utf8>> ->
            <<"∘"/utf8>>;

        <<"complement"/utf8>> ->
            <<"∁"/utf8>>;

        <<"complexes"/utf8>> ->
            <<"ℂ"/utf8>>;

        <<"cong"/utf8>> ->
            <<"≅"/utf8>>;

        <<"congdot"/utf8>> ->
            <<"⩭"/utf8>>;

        <<"conint"/utf8>> ->
            <<"∮"/utf8>>;

        <<"copf"/utf8>> ->
            <<"𝕔"/utf8>>;

        <<"coprod"/utf8>> ->
            <<"∐"/utf8>>;

        <<"copy"/utf8>> ->
            <<"©"/utf8>>;

        <<"copysr"/utf8>> ->
            <<"℗"/utf8>>;

        <<"crarr"/utf8>> ->
            <<"↵"/utf8>>;

        <<"cross"/utf8>> ->
            <<"✗"/utf8>>;

        <<"cscr"/utf8>> ->
            <<"𝒸"/utf8>>;

        <<"csub"/utf8>> ->
            <<"⫏"/utf8>>;

        <<"csube"/utf8>> ->
            <<"⫑"/utf8>>;

        <<"csup"/utf8>> ->
            <<"⫐"/utf8>>;

        <<"csupe"/utf8>> ->
            <<"⫒"/utf8>>;

        <<"ctdot"/utf8>> ->
            <<"⋯"/utf8>>;

        <<"cudarrl"/utf8>> ->
            <<"⤸"/utf8>>;

        <<"cudarrr"/utf8>> ->
            <<"⤵"/utf8>>;

        <<"cuepr"/utf8>> ->
            <<"⋞"/utf8>>;

        <<"cuesc"/utf8>> ->
            <<"⋟"/utf8>>;

        <<"cularr"/utf8>> ->
            <<"↶"/utf8>>;

        <<"cularrp"/utf8>> ->
            <<"⤽"/utf8>>;

        <<"cup"/utf8>> ->
            <<"∪"/utf8>>;

        <<"cupbrcap"/utf8>> ->
            <<"⩈"/utf8>>;

        <<"cupcap"/utf8>> ->
            <<"⩆"/utf8>>;

        <<"cupcup"/utf8>> ->
            <<"⩊"/utf8>>;

        <<"cupdot"/utf8>> ->
            <<"⊍"/utf8>>;

        <<"cupor"/utf8>> ->
            <<"⩅"/utf8>>;

        <<"cups"/utf8>> ->
            <<"∪︀"/utf8>>;

        <<"curarr"/utf8>> ->
            <<"↷"/utf8>>;

        <<"curarrm"/utf8>> ->
            <<"⤼"/utf8>>;

        <<"curlyeqprec"/utf8>> ->
            <<"⋞"/utf8>>;

        <<"curlyeqsucc"/utf8>> ->
            <<"⋟"/utf8>>;

        <<"curlyvee"/utf8>> ->
            <<"⋎"/utf8>>;

        <<"curlywedge"/utf8>> ->
            <<"⋏"/utf8>>;

        <<"curren"/utf8>> ->
            <<"¤"/utf8>>;

        <<"curvearrowleft"/utf8>> ->
            <<"↶"/utf8>>;

        <<"curvearrowright"/utf8>> ->
            <<"↷"/utf8>>;

        <<"cuvee"/utf8>> ->
            <<"⋎"/utf8>>;

        <<"cuwed"/utf8>> ->
            <<"⋏"/utf8>>;

        <<"cwconint"/utf8>> ->
            <<"∲"/utf8>>;

        <<"cwint"/utf8>> ->
            <<"∱"/utf8>>;

        <<"cylcty"/utf8>> ->
            <<"⌭"/utf8>>;

        <<"dArr"/utf8>> ->
            <<"⇓"/utf8>>;

        <<"dHar"/utf8>> ->
            <<"⥥"/utf8>>;

        <<"dagger"/utf8>> ->
            <<"†"/utf8>>;

        <<"daleth"/utf8>> ->
            <<"ℸ"/utf8>>;

        <<"darr"/utf8>> ->
            <<"↓"/utf8>>;

        <<"dash"/utf8>> ->
            <<"‐"/utf8>>;

        <<"dashv"/utf8>> ->
            <<"⊣"/utf8>>;

        <<"dbkarow"/utf8>> ->
            <<"⤏"/utf8>>;

        <<"dblac"/utf8>> ->
            <<"˝"/utf8>>;

        <<"dcaron"/utf8>> ->
            <<"ď"/utf8>>;

        <<"dcy"/utf8>> ->
            <<"д"/utf8>>;

        <<"dd"/utf8>> ->
            <<"ⅆ"/utf8>>;

        <<"ddagger"/utf8>> ->
            <<"‡"/utf8>>;

        <<"ddarr"/utf8>> ->
            <<"⇊"/utf8>>;

        <<"ddotseq"/utf8>> ->
            <<"⩷"/utf8>>;

        <<"deg"/utf8>> ->
            <<"°"/utf8>>;

        <<"delta"/utf8>> ->
            <<"δ"/utf8>>;

        <<"demptyv"/utf8>> ->
            <<"⦱"/utf8>>;

        <<"dfisht"/utf8>> ->
            <<"⥿"/utf8>>;

        <<"dfr"/utf8>> ->
            <<"𝔡"/utf8>>;

        <<"dharl"/utf8>> ->
            <<"⇃"/utf8>>;

        <<"dharr"/utf8>> ->
            <<"⇂"/utf8>>;

        <<"diam"/utf8>> ->
            <<"⋄"/utf8>>;

        <<"diamond"/utf8>> ->
            <<"⋄"/utf8>>;

        <<"diamondsuit"/utf8>> ->
            <<"♦"/utf8>>;

        <<"diams"/utf8>> ->
            <<"♦"/utf8>>;

        <<"die"/utf8>> ->
            <<"¨"/utf8>>;

        <<"digamma"/utf8>> ->
            <<"ϝ"/utf8>>;

        <<"disin"/utf8>> ->
            <<"⋲"/utf8>>;

        <<"div"/utf8>> ->
            <<"÷"/utf8>>;

        <<"divide"/utf8>> ->
            <<"÷"/utf8>>;

        <<"divideontimes"/utf8>> ->
            <<"⋇"/utf8>>;

        <<"divonx"/utf8>> ->
            <<"⋇"/utf8>>;

        <<"djcy"/utf8>> ->
            <<"ђ"/utf8>>;

        <<"dlcorn"/utf8>> ->
            <<"⌞"/utf8>>;

        <<"dlcrop"/utf8>> ->
            <<"⌍"/utf8>>;

        <<"dollar"/utf8>> ->
            <<"$"/utf8>>;

        <<"dopf"/utf8>> ->
            <<"𝕕"/utf8>>;

        <<"dot"/utf8>> ->
            <<"˙"/utf8>>;

        <<"doteq"/utf8>> ->
            <<"≐"/utf8>>;

        <<"doteqdot"/utf8>> ->
            <<"≑"/utf8>>;

        <<"dotminus"/utf8>> ->
            <<"∸"/utf8>>;

        <<"dotplus"/utf8>> ->
            <<"∔"/utf8>>;

        <<"dotsquare"/utf8>> ->
            <<"⊡"/utf8>>;

        <<"doublebarwedge"/utf8>> ->
            <<"⌆"/utf8>>;

        <<"downarrow"/utf8>> ->
            <<"↓"/utf8>>;

        <<"downdownarrows"/utf8>> ->
            <<"⇊"/utf8>>;

        <<"downharpoonleft"/utf8>> ->
            <<"⇃"/utf8>>;

        <<"downharpoonright"/utf8>> ->
            <<"⇂"/utf8>>;

        <<"drbkarow"/utf8>> ->
            <<"⤐"/utf8>>;

        <<"drcorn"/utf8>> ->
            <<"⌟"/utf8>>;

        <<"drcrop"/utf8>> ->
            <<"⌌"/utf8>>;

        <<"dscr"/utf8>> ->
            <<"𝒹"/utf8>>;

        <<"dscy"/utf8>> ->
            <<"ѕ"/utf8>>;

        <<"dsol"/utf8>> ->
            <<"⧶"/utf8>>;

        <<"dstrok"/utf8>> ->
            <<"đ"/utf8>>;

        <<"dtdot"/utf8>> ->
            <<"⋱"/utf8>>;

        <<"dtri"/utf8>> ->
            <<"▿"/utf8>>;

        <<"dtrif"/utf8>> ->
            <<"▾"/utf8>>;

        <<"duarr"/utf8>> ->
            <<"⇵"/utf8>>;

        <<"duhar"/utf8>> ->
            <<"⥯"/utf8>>;

        <<"dwangle"/utf8>> ->
            <<"⦦"/utf8>>;

        <<"dzcy"/utf8>> ->
            <<"џ"/utf8>>;

        <<"dzigrarr"/utf8>> ->
            <<"⟿"/utf8>>;

        <<"eDDot"/utf8>> ->
            <<"⩷"/utf8>>;

        <<"eDot"/utf8>> ->
            <<"≑"/utf8>>;

        <<"eacute"/utf8>> ->
            <<"é"/utf8>>;

        <<"easter"/utf8>> ->
            <<"⩮"/utf8>>;

        <<"ecaron"/utf8>> ->
            <<"ě"/utf8>>;

        <<"ecir"/utf8>> ->
            <<"≖"/utf8>>;

        <<"ecirc"/utf8>> ->
            <<"ê"/utf8>>;

        <<"ecolon"/utf8>> ->
            <<"≕"/utf8>>;

        <<"ecy"/utf8>> ->
            <<"э"/utf8>>;

        <<"edot"/utf8>> ->
            <<"ė"/utf8>>;

        <<"ee"/utf8>> ->
            <<"ⅇ"/utf8>>;

        <<"efDot"/utf8>> ->
            <<"≒"/utf8>>;

        <<"efr"/utf8>> ->
            <<"𝔢"/utf8>>;

        <<"eg"/utf8>> ->
            <<"⪚"/utf8>>;

        <<"egrave"/utf8>> ->
            <<"è"/utf8>>;

        <<"egs"/utf8>> ->
            <<"⪖"/utf8>>;

        <<"egsdot"/utf8>> ->
            <<"⪘"/utf8>>;

        <<"el"/utf8>> ->
            <<"⪙"/utf8>>;

        <<"elinters"/utf8>> ->
            <<"⏧"/utf8>>;

        <<"ell"/utf8>> ->
            <<"ℓ"/utf8>>;

        <<"els"/utf8>> ->
            <<"⪕"/utf8>>;

        <<"elsdot"/utf8>> ->
            <<"⪗"/utf8>>;

        <<"emacr"/utf8>> ->
            <<"ē"/utf8>>;

        <<"empty"/utf8>> ->
            <<"∅"/utf8>>;

        <<"emptyset"/utf8>> ->
            <<"∅"/utf8>>;

        <<"emptyv"/utf8>> ->
            <<"∅"/utf8>>;

        <<"emsp13"/utf8>> ->
            <<" "/utf8>>;

        <<"emsp14"/utf8>> ->
            <<" "/utf8>>;

        <<"emsp"/utf8>> ->
            <<" "/utf8>>;

        <<"eng"/utf8>> ->
            <<"ŋ"/utf8>>;

        <<"ensp"/utf8>> ->
            <<" "/utf8>>;

        <<"eogon"/utf8>> ->
            <<"ę"/utf8>>;

        <<"eopf"/utf8>> ->
            <<"𝕖"/utf8>>;

        <<"epar"/utf8>> ->
            <<"⋕"/utf8>>;

        <<"eparsl"/utf8>> ->
            <<"⧣"/utf8>>;

        <<"eplus"/utf8>> ->
            <<"⩱"/utf8>>;

        <<"epsi"/utf8>> ->
            <<"ε"/utf8>>;

        <<"epsilon"/utf8>> ->
            <<"ε"/utf8>>;

        <<"epsiv"/utf8>> ->
            <<"ϵ"/utf8>>;

        <<"eqcirc"/utf8>> ->
            <<"≖"/utf8>>;

        <<"eqcolon"/utf8>> ->
            <<"≕"/utf8>>;

        <<"eqsim"/utf8>> ->
            <<"≂"/utf8>>;

        <<"eqslantgtr"/utf8>> ->
            <<"⪖"/utf8>>;

        <<"eqslantless"/utf8>> ->
            <<"⪕"/utf8>>;

        <<"equals"/utf8>> ->
            <<"="/utf8>>;

        <<"equest"/utf8>> ->
            <<"≟"/utf8>>;

        <<"equiv"/utf8>> ->
            <<"≡"/utf8>>;

        <<"equivDD"/utf8>> ->
            <<"⩸"/utf8>>;

        <<"eqvparsl"/utf8>> ->
            <<"⧥"/utf8>>;

        <<"erDot"/utf8>> ->
            <<"≓"/utf8>>;

        <<"erarr"/utf8>> ->
            <<"⥱"/utf8>>;

        <<"escr"/utf8>> ->
            <<"ℯ"/utf8>>;

        <<"esdot"/utf8>> ->
            <<"≐"/utf8>>;

        <<"esim"/utf8>> ->
            <<"≂"/utf8>>;

        <<"eta"/utf8>> ->
            <<"η"/utf8>>;

        <<"eth"/utf8>> ->
            <<"ð"/utf8>>;

        <<"euml"/utf8>> ->
            <<"ë"/utf8>>;

        <<"euro"/utf8>> ->
            <<"€"/utf8>>;

        <<"excl"/utf8>> ->
            <<"!"/utf8>>;

        <<"exist"/utf8>> ->
            <<"∃"/utf8>>;

        <<"expectation"/utf8>> ->
            <<"ℰ"/utf8>>;

        <<"exponentiale"/utf8>> ->
            <<"ⅇ"/utf8>>;

        <<"fallingdotseq"/utf8>> ->
            <<"≒"/utf8>>;

        <<"fcy"/utf8>> ->
            <<"ф"/utf8>>;

        <<"female"/utf8>> ->
            <<"♀"/utf8>>;

        <<"ffilig"/utf8>> ->
            <<"ffi"/utf8>>;

        <<"fflig"/utf8>> ->
            <<"ff"/utf8>>;

        <<"ffllig"/utf8>> ->
            <<"ffl"/utf8>>;

        <<"ffr"/utf8>> ->
            <<"𝔣"/utf8>>;

        <<"filig"/utf8>> ->
            <<"fi"/utf8>>;

        <<"fjlig"/utf8>> ->
            <<"fj"/utf8>>;

        <<"flat"/utf8>> ->
            <<"♭"/utf8>>;

        <<"fllig"/utf8>> ->
            <<"fl"/utf8>>;

        <<"fltns"/utf8>> ->
            <<"▱"/utf8>>;

        <<"fnof"/utf8>> ->
            <<"ƒ"/utf8>>;

        <<"fopf"/utf8>> ->
            <<"𝕗"/utf8>>;

        <<"forall"/utf8>> ->
            <<"∀"/utf8>>;

        <<"fork"/utf8>> ->
            <<"⋔"/utf8>>;

        <<"forkv"/utf8>> ->
            <<"⫙"/utf8>>;

        <<"fpartint"/utf8>> ->
            <<"⨍"/utf8>>;

        <<"frac12"/utf8>> ->
            <<"½"/utf8>>;

        <<"frac13"/utf8>> ->
            <<"⅓"/utf8>>;

        <<"frac14"/utf8>> ->
            <<"¼"/utf8>>;

        <<"frac15"/utf8>> ->
            <<"⅕"/utf8>>;

        <<"frac16"/utf8>> ->
            <<"⅙"/utf8>>;

        <<"frac18"/utf8>> ->
            <<"⅛"/utf8>>;

        <<"frac23"/utf8>> ->
            <<"⅔"/utf8>>;

        <<"frac25"/utf8>> ->
            <<"⅖"/utf8>>;

        <<"frac34"/utf8>> ->
            <<"¾"/utf8>>;

        <<"frac35"/utf8>> ->
            <<"⅗"/utf8>>;

        <<"frac38"/utf8>> ->
            <<"⅜"/utf8>>;

        <<"frac45"/utf8>> ->
            <<"⅘"/utf8>>;

        <<"frac56"/utf8>> ->
            <<"⅚"/utf8>>;

        <<"frac58"/utf8>> ->
            <<"⅝"/utf8>>;

        <<"frac78"/utf8>> ->
            <<"⅞"/utf8>>;

        <<"frasl"/utf8>> ->
            <<"⁄"/utf8>>;

        <<"frown"/utf8>> ->
            <<"⌢"/utf8>>;

        <<"fscr"/utf8>> ->
            <<"𝒻"/utf8>>;

        <<"gE"/utf8>> ->
            <<"≧"/utf8>>;

        <<"gEl"/utf8>> ->
            <<"⪌"/utf8>>;

        <<"gacute"/utf8>> ->
            <<"ǵ"/utf8>>;

        <<"gamma"/utf8>> ->
            <<"γ"/utf8>>;

        <<"gammad"/utf8>> ->
            <<"ϝ"/utf8>>;

        <<"gap"/utf8>> ->
            <<"⪆"/utf8>>;

        <<"gbreve"/utf8>> ->
            <<"ğ"/utf8>>;

        <<"gcirc"/utf8>> ->
            <<"ĝ"/utf8>>;

        <<"gcy"/utf8>> ->
            <<"г"/utf8>>;

        <<"gdot"/utf8>> ->
            <<"ġ"/utf8>>;

        <<"ge"/utf8>> ->
            <<"≥"/utf8>>;

        <<"gel"/utf8>> ->
            <<"⋛"/utf8>>;

        <<"geq"/utf8>> ->
            <<"≥"/utf8>>;

        <<"geqq"/utf8>> ->
            <<"≧"/utf8>>;

        <<"geqslant"/utf8>> ->
            <<"⩾"/utf8>>;

        <<"ges"/utf8>> ->
            <<"⩾"/utf8>>;

        <<"gescc"/utf8>> ->
            <<"⪩"/utf8>>;

        <<"gesdot"/utf8>> ->
            <<"⪀"/utf8>>;

        <<"gesdoto"/utf8>> ->
            <<"⪂"/utf8>>;

        <<"gesdotol"/utf8>> ->
            <<"⪄"/utf8>>;

        <<"gesl"/utf8>> ->
            <<"⋛︀"/utf8>>;

        <<"gesles"/utf8>> ->
            <<"⪔"/utf8>>;

        <<"gfr"/utf8>> ->
            <<"𝔤"/utf8>>;

        <<"gg"/utf8>> ->
            <<"≫"/utf8>>;

        <<"ggg"/utf8>> ->
            <<"⋙"/utf8>>;

        <<"gimel"/utf8>> ->
            <<"ℷ"/utf8>>;

        <<"gjcy"/utf8>> ->
            <<"ѓ"/utf8>>;

        <<"gl"/utf8>> ->
            <<"≷"/utf8>>;

        <<"glE"/utf8>> ->
            <<"⪒"/utf8>>;

        <<"gla"/utf8>> ->
            <<"⪥"/utf8>>;

        <<"glj"/utf8>> ->
            <<"⪤"/utf8>>;

        <<"gnE"/utf8>> ->
            <<"≩"/utf8>>;

        <<"gnap"/utf8>> ->
            <<"⪊"/utf8>>;

        <<"gnapprox"/utf8>> ->
            <<"⪊"/utf8>>;

        <<"gne"/utf8>> ->
            <<"⪈"/utf8>>;

        <<"gneq"/utf8>> ->
            <<"⪈"/utf8>>;

        <<"gneqq"/utf8>> ->
            <<"≩"/utf8>>;

        <<"gnsim"/utf8>> ->
            <<"⋧"/utf8>>;

        <<"gopf"/utf8>> ->
            <<"𝕘"/utf8>>;

        <<"grave"/utf8>> ->
            <<"`"/utf8>>;

        <<"gscr"/utf8>> ->
            <<"ℊ"/utf8>>;

        <<"gsim"/utf8>> ->
            <<"≳"/utf8>>;

        <<"gsime"/utf8>> ->
            <<"⪎"/utf8>>;

        <<"gsiml"/utf8>> ->
            <<"⪐"/utf8>>;

        <<"gt"/utf8>> ->
            <<">"/utf8>>;

        <<"gtcc"/utf8>> ->
            <<"⪧"/utf8>>;

        <<"gtcir"/utf8>> ->
            <<"⩺"/utf8>>;

        <<"gtdot"/utf8>> ->
            <<"⋗"/utf8>>;

        <<"gtlPar"/utf8>> ->
            <<"⦕"/utf8>>;

        <<"gtquest"/utf8>> ->
            <<"⩼"/utf8>>;

        <<"gtrapprox"/utf8>> ->
            <<"⪆"/utf8>>;

        <<"gtrarr"/utf8>> ->
            <<"⥸"/utf8>>;

        <<"gtrdot"/utf8>> ->
            <<"⋗"/utf8>>;

        <<"gtreqless"/utf8>> ->
            <<"⋛"/utf8>>;

        <<"gtreqqless"/utf8>> ->
            <<"⪌"/utf8>>;

        <<"gtrless"/utf8>> ->
            <<"≷"/utf8>>;

        <<"gtrsim"/utf8>> ->
            <<"≳"/utf8>>;

        <<"gvertneqq"/utf8>> ->
            <<"≩︀"/utf8>>;

        <<"gvnE"/utf8>> ->
            <<"≩︀"/utf8>>;

        <<"hArr"/utf8>> ->
            <<"⇔"/utf8>>;

        <<"hairsp"/utf8>> ->
            <<" "/utf8>>;

        <<"half"/utf8>> ->
            <<"½"/utf8>>;

        <<"hamilt"/utf8>> ->
            <<"ℋ"/utf8>>;

        <<"hardcy"/utf8>> ->
            <<"ъ"/utf8>>;

        <<"harr"/utf8>> ->
            <<"↔"/utf8>>;

        <<"harrcir"/utf8>> ->
            <<"⥈"/utf8>>;

        <<"harrw"/utf8>> ->
            <<"↭"/utf8>>;

        <<"hbar"/utf8>> ->
            <<"ℏ"/utf8>>;

        <<"hcirc"/utf8>> ->
            <<"ĥ"/utf8>>;

        <<"hearts"/utf8>> ->
            <<"♥"/utf8>>;

        <<"heartsuit"/utf8>> ->
            <<"♥"/utf8>>;

        <<"hellip"/utf8>> ->
            <<"…"/utf8>>;

        <<"hercon"/utf8>> ->
            <<"⊹"/utf8>>;

        <<"hfr"/utf8>> ->
            <<"𝔥"/utf8>>;

        <<"hksearow"/utf8>> ->
            <<"⤥"/utf8>>;

        <<"hkswarow"/utf8>> ->
            <<"⤦"/utf8>>;

        <<"hoarr"/utf8>> ->
            <<"⇿"/utf8>>;

        <<"homtht"/utf8>> ->
            <<"∻"/utf8>>;

        <<"hookleftarrow"/utf8>> ->
            <<"↩"/utf8>>;

        <<"hookrightarrow"/utf8>> ->
            <<"↪"/utf8>>;

        <<"hopf"/utf8>> ->
            <<"𝕙"/utf8>>;

        <<"horbar"/utf8>> ->
            <<"―"/utf8>>;

        <<"hscr"/utf8>> ->
            <<"𝒽"/utf8>>;

        <<"hslash"/utf8>> ->
            <<"ℏ"/utf8>>;

        <<"hstrok"/utf8>> ->
            <<"ħ"/utf8>>;

        <<"hybull"/utf8>> ->
            <<"⁃"/utf8>>;

        <<"hyphen"/utf8>> ->
            <<"‐"/utf8>>;

        <<"iacute"/utf8>> ->
            <<"í"/utf8>>;

        <<"ic"/utf8>> ->
            <<"⁣"/utf8>>;

        <<"icirc"/utf8>> ->
            <<"î"/utf8>>;

        <<"icy"/utf8>> ->
            <<"и"/utf8>>;

        <<"iecy"/utf8>> ->
            <<"е"/utf8>>;

        <<"iexcl"/utf8>> ->
            <<"¡"/utf8>>;

        <<"iff"/utf8>> ->
            <<"⇔"/utf8>>;

        <<"ifr"/utf8>> ->
            <<"𝔦"/utf8>>;

        <<"igrave"/utf8>> ->
            <<"ì"/utf8>>;

        <<"ii"/utf8>> ->
            <<"ⅈ"/utf8>>;

        <<"iiiint"/utf8>> ->
            <<"⨌"/utf8>>;

        <<"iiint"/utf8>> ->
            <<"∭"/utf8>>;

        <<"iinfin"/utf8>> ->
            <<"⧜"/utf8>>;

        <<"iiota"/utf8>> ->
            <<"℩"/utf8>>;

        <<"ijlig"/utf8>> ->
            <<"ij"/utf8>>;

        <<"imacr"/utf8>> ->
            <<"ī"/utf8>>;

        <<"image"/utf8>> ->
            <<"ℑ"/utf8>>;

        <<"imagline"/utf8>> ->
            <<"ℐ"/utf8>>;

        <<"imagpart"/utf8>> ->
            <<"ℑ"/utf8>>;

        <<"imath"/utf8>> ->
            <<"ı"/utf8>>;

        <<"imof"/utf8>> ->
            <<"⊷"/utf8>>;

        <<"imped"/utf8>> ->
            <<"Ƶ"/utf8>>;

        <<"in"/utf8>> ->
            <<"∈"/utf8>>;

        <<"incare"/utf8>> ->
            <<"℅"/utf8>>;

        <<"infin"/utf8>> ->
            <<"∞"/utf8>>;

        <<"infintie"/utf8>> ->
            <<"⧝"/utf8>>;

        <<"inodot"/utf8>> ->
            <<"ı"/utf8>>;

        <<"int"/utf8>> ->
            <<"∫"/utf8>>;

        <<"intcal"/utf8>> ->
            <<"⊺"/utf8>>;

        <<"integers"/utf8>> ->
            <<"ℤ"/utf8>>;

        <<"intercal"/utf8>> ->
            <<"⊺"/utf8>>;

        <<"intlarhk"/utf8>> ->
            <<"⨗"/utf8>>;

        <<"intprod"/utf8>> ->
            <<"⨼"/utf8>>;

        <<"iocy"/utf8>> ->
            <<"ё"/utf8>>;

        <<"iogon"/utf8>> ->
            <<"į"/utf8>>;

        <<"iopf"/utf8>> ->
            <<"𝕚"/utf8>>;

        <<"iota"/utf8>> ->
            <<"ι"/utf8>>;

        <<"iprod"/utf8>> ->
            <<"⨼"/utf8>>;

        <<"iquest"/utf8>> ->
            <<"¿"/utf8>>;

        <<"iscr"/utf8>> ->
            <<"𝒾"/utf8>>;

        <<"isin"/utf8>> ->
            <<"∈"/utf8>>;

        <<"isinE"/utf8>> ->
            <<"⋹"/utf8>>;

        <<"isindot"/utf8>> ->
            <<"⋵"/utf8>>;

        <<"isins"/utf8>> ->
            <<"⋴"/utf8>>;

        <<"isinsv"/utf8>> ->
            <<"⋳"/utf8>>;

        <<"isinv"/utf8>> ->
            <<"∈"/utf8>>;

        <<"it"/utf8>> ->
            <<"⁢"/utf8>>;

        <<"itilde"/utf8>> ->
            <<"ĩ"/utf8>>;

        <<"iukcy"/utf8>> ->
            <<"і"/utf8>>;

        <<"iuml"/utf8>> ->
            <<"ï"/utf8>>;

        <<"jcirc"/utf8>> ->
            <<"ĵ"/utf8>>;

        <<"jcy"/utf8>> ->
            <<"й"/utf8>>;

        <<"jfr"/utf8>> ->
            <<"𝔧"/utf8>>;

        <<"jmath"/utf8>> ->
            <<"ȷ"/utf8>>;

        <<"jopf"/utf8>> ->
            <<"𝕛"/utf8>>;

        <<"jscr"/utf8>> ->
            <<"𝒿"/utf8>>;

        <<"jsercy"/utf8>> ->
            <<"ј"/utf8>>;

        <<"jukcy"/utf8>> ->
            <<"є"/utf8>>;

        <<"kappa"/utf8>> ->
            <<"κ"/utf8>>;

        <<"kappav"/utf8>> ->
            <<"ϰ"/utf8>>;

        <<"kcedil"/utf8>> ->
            <<"ķ"/utf8>>;

        <<"kcy"/utf8>> ->
            <<"к"/utf8>>;

        <<"kfr"/utf8>> ->
            <<"𝔨"/utf8>>;

        <<"kgreen"/utf8>> ->
            <<"ĸ"/utf8>>;

        <<"khcy"/utf8>> ->
            <<"х"/utf8>>;

        <<"kjcy"/utf8>> ->
            <<"ќ"/utf8>>;

        <<"kopf"/utf8>> ->
            <<"𝕜"/utf8>>;

        <<"kscr"/utf8>> ->
            <<"𝓀"/utf8>>;

        <<"lAarr"/utf8>> ->
            <<"⇚"/utf8>>;

        <<"lArr"/utf8>> ->
            <<"⇐"/utf8>>;

        <<"lAtail"/utf8>> ->
            <<"⤛"/utf8>>;

        <<"lBarr"/utf8>> ->
            <<"⤎"/utf8>>;

        <<"lE"/utf8>> ->
            <<"≦"/utf8>>;

        <<"lEg"/utf8>> ->
            <<"⪋"/utf8>>;

        <<"lHar"/utf8>> ->
            <<"⥢"/utf8>>;

        <<"lacute"/utf8>> ->
            <<"ĺ"/utf8>>;

        <<"laemptyv"/utf8>> ->
            <<"⦴"/utf8>>;

        <<"lagran"/utf8>> ->
            <<"ℒ"/utf8>>;

        <<"lambda"/utf8>> ->
            <<"λ"/utf8>>;

        <<"lang"/utf8>> ->
            <<"⟨"/utf8>>;

        <<"langd"/utf8>> ->
            <<"⦑"/utf8>>;

        <<"langle"/utf8>> ->
            <<"⟨"/utf8>>;

        <<"lap"/utf8>> ->
            <<"⪅"/utf8>>;

        <<"laquo"/utf8>> ->
            <<"«"/utf8>>;

        <<"larr"/utf8>> ->
            <<"←"/utf8>>;

        <<"larrb"/utf8>> ->
            <<"⇤"/utf8>>;

        <<"larrbfs"/utf8>> ->
            <<"⤟"/utf8>>;

        <<"larrfs"/utf8>> ->
            <<"⤝"/utf8>>;

        <<"larrhk"/utf8>> ->
            <<"↩"/utf8>>;

        <<"larrlp"/utf8>> ->
            <<"↫"/utf8>>;

        <<"larrpl"/utf8>> ->
            <<"⤹"/utf8>>;

        <<"larrsim"/utf8>> ->
            <<"⥳"/utf8>>;

        <<"larrtl"/utf8>> ->
            <<"↢"/utf8>>;

        <<"lat"/utf8>> ->
            <<"⪫"/utf8>>;

        <<"latail"/utf8>> ->
            <<"⤙"/utf8>>;

        <<"late"/utf8>> ->
            <<"⪭"/utf8>>;

        <<"lates"/utf8>> ->
            <<"⪭︀"/utf8>>;

        <<"lbarr"/utf8>> ->
            <<"⤌"/utf8>>;

        <<"lbbrk"/utf8>> ->
            <<"❲"/utf8>>;

        <<"lbrace"/utf8>> ->
            <<"{"/utf8>>;

        <<"lbrack"/utf8>> ->
            <<"["/utf8>>;

        <<"lbrke"/utf8>> ->
            <<"⦋"/utf8>>;

        <<"lbrksld"/utf8>> ->
            <<"⦏"/utf8>>;

        <<"lbrkslu"/utf8>> ->
            <<"⦍"/utf8>>;

        <<"lcaron"/utf8>> ->
            <<"ľ"/utf8>>;

        <<"lcedil"/utf8>> ->
            <<"ļ"/utf8>>;

        <<"lceil"/utf8>> ->
            <<"⌈"/utf8>>;

        <<"lcub"/utf8>> ->
            <<"{"/utf8>>;

        <<"lcy"/utf8>> ->
            <<"л"/utf8>>;

        <<"ldca"/utf8>> ->
            <<"⤶"/utf8>>;

        <<"ldquo"/utf8>> ->
            <<"“"/utf8>>;

        <<"ldquor"/utf8>> ->
            <<"„"/utf8>>;

        <<"ldrdhar"/utf8>> ->
            <<"⥧"/utf8>>;

        <<"ldrushar"/utf8>> ->
            <<"⥋"/utf8>>;

        <<"ldsh"/utf8>> ->
            <<"↲"/utf8>>;

        <<"le"/utf8>> ->
            <<"≤"/utf8>>;

        <<"leftarrow"/utf8>> ->
            <<"←"/utf8>>;

        <<"leftarrowtail"/utf8>> ->
            <<"↢"/utf8>>;

        <<"leftharpoondown"/utf8>> ->
            <<"↽"/utf8>>;

        <<"leftharpoonup"/utf8>> ->
            <<"↼"/utf8>>;

        <<"leftleftarrows"/utf8>> ->
            <<"⇇"/utf8>>;

        <<"leftrightarrow"/utf8>> ->
            <<"↔"/utf8>>;

        <<"leftrightarrows"/utf8>> ->
            <<"⇆"/utf8>>;

        <<"leftrightharpoons"/utf8>> ->
            <<"⇋"/utf8>>;

        <<"leftrightsquigarrow"/utf8>> ->
            <<"↭"/utf8>>;

        <<"leftthreetimes"/utf8>> ->
            <<"⋋"/utf8>>;

        <<"leg"/utf8>> ->
            <<"⋚"/utf8>>;

        <<"leq"/utf8>> ->
            <<"≤"/utf8>>;

        <<"leqq"/utf8>> ->
            <<"≦"/utf8>>;

        <<"leqslant"/utf8>> ->
            <<"⩽"/utf8>>;

        <<"les"/utf8>> ->
            <<"⩽"/utf8>>;

        <<"lescc"/utf8>> ->
            <<"⪨"/utf8>>;

        <<"lesdot"/utf8>> ->
            <<"⩿"/utf8>>;

        <<"lesdoto"/utf8>> ->
            <<"⪁"/utf8>>;

        <<"lesdotor"/utf8>> ->
            <<"⪃"/utf8>>;

        <<"lesg"/utf8>> ->
            <<"⋚︀"/utf8>>;

        <<"lesges"/utf8>> ->
            <<"⪓"/utf8>>;

        <<"lessapprox"/utf8>> ->
            <<"⪅"/utf8>>;

        <<"lessdot"/utf8>> ->
            <<"⋖"/utf8>>;

        <<"lesseqgtr"/utf8>> ->
            <<"⋚"/utf8>>;

        <<"lesseqqgtr"/utf8>> ->
            <<"⪋"/utf8>>;

        <<"lessgtr"/utf8>> ->
            <<"≶"/utf8>>;

        <<"lesssim"/utf8>> ->
            <<"≲"/utf8>>;

        <<"lfisht"/utf8>> ->
            <<"⥼"/utf8>>;

        <<"lfloor"/utf8>> ->
            <<"⌊"/utf8>>;

        <<"lfr"/utf8>> ->
            <<"𝔩"/utf8>>;

        <<"lg"/utf8>> ->
            <<"≶"/utf8>>;

        <<"lgE"/utf8>> ->
            <<"⪑"/utf8>>;

        <<"lhard"/utf8>> ->
            <<"↽"/utf8>>;

        <<"lharu"/utf8>> ->
            <<"↼"/utf8>>;

        <<"lharul"/utf8>> ->
            <<"⥪"/utf8>>;

        <<"lhblk"/utf8>> ->
            <<"▄"/utf8>>;

        <<"ljcy"/utf8>> ->
            <<"љ"/utf8>>;

        <<"ll"/utf8>> ->
            <<"≪"/utf8>>;

        <<"llarr"/utf8>> ->
            <<"⇇"/utf8>>;

        <<"llcorner"/utf8>> ->
            <<"⌞"/utf8>>;

        <<"llhard"/utf8>> ->
            <<"⥫"/utf8>>;

        <<"lltri"/utf8>> ->
            <<"◺"/utf8>>;

        <<"lmidot"/utf8>> ->
            <<"ŀ"/utf8>>;

        <<"lmoust"/utf8>> ->
            <<"⎰"/utf8>>;

        <<"lmoustache"/utf8>> ->
            <<"⎰"/utf8>>;

        <<"lnE"/utf8>> ->
            <<"≨"/utf8>>;

        <<"lnap"/utf8>> ->
            <<"⪉"/utf8>>;

        <<"lnapprox"/utf8>> ->
            <<"⪉"/utf8>>;

        <<"lne"/utf8>> ->
            <<"⪇"/utf8>>;

        <<"lneq"/utf8>> ->
            <<"⪇"/utf8>>;

        <<"lneqq"/utf8>> ->
            <<"≨"/utf8>>;

        <<"lnsim"/utf8>> ->
            <<"⋦"/utf8>>;

        <<"loang"/utf8>> ->
            <<"⟬"/utf8>>;

        <<"loarr"/utf8>> ->
            <<"⇽"/utf8>>;

        <<"lobrk"/utf8>> ->
            <<"⟦"/utf8>>;

        <<"longleftarrow"/utf8>> ->
            <<"⟵"/utf8>>;

        <<"longleftrightarrow"/utf8>> ->
            <<"⟷"/utf8>>;

        <<"longmapsto"/utf8>> ->
            <<"⟼"/utf8>>;

        <<"longrightarrow"/utf8>> ->
            <<"⟶"/utf8>>;

        <<"looparrowleft"/utf8>> ->
            <<"↫"/utf8>>;

        <<"looparrowright"/utf8>> ->
            <<"↬"/utf8>>;

        <<"lopar"/utf8>> ->
            <<"⦅"/utf8>>;

        <<"lopf"/utf8>> ->
            <<"𝕝"/utf8>>;

        <<"loplus"/utf8>> ->
            <<"⨭"/utf8>>;

        <<"lotimes"/utf8>> ->
            <<"⨴"/utf8>>;

        <<"lowast"/utf8>> ->
            <<"∗"/utf8>>;

        <<"lowbar"/utf8>> ->
            <<"_"/utf8>>;

        <<"loz"/utf8>> ->
            <<"◊"/utf8>>;

        <<"lozenge"/utf8>> ->
            <<"◊"/utf8>>;

        <<"lozf"/utf8>> ->
            <<"⧫"/utf8>>;

        <<"lpar"/utf8>> ->
            <<"("/utf8>>;

        <<"lparlt"/utf8>> ->
            <<"⦓"/utf8>>;

        <<"lrarr"/utf8>> ->
            <<"⇆"/utf8>>;

        <<"lrcorner"/utf8>> ->
            <<"⌟"/utf8>>;

        <<"lrhar"/utf8>> ->
            <<"⇋"/utf8>>;

        <<"lrhard"/utf8>> ->
            <<"⥭"/utf8>>;

        <<"lrm"/utf8>> ->
            <<"‎"/utf8>>;

        <<"lrtri"/utf8>> ->
            <<"⊿"/utf8>>;

        <<"lsaquo"/utf8>> ->
            <<"‹"/utf8>>;

        <<"lscr"/utf8>> ->
            <<"𝓁"/utf8>>;

        <<"lsh"/utf8>> ->
            <<"↰"/utf8>>;

        <<"lsim"/utf8>> ->
            <<"≲"/utf8>>;

        <<"lsime"/utf8>> ->
            <<"⪍"/utf8>>;

        <<"lsimg"/utf8>> ->
            <<"⪏"/utf8>>;

        <<"lsqb"/utf8>> ->
            <<"["/utf8>>;

        <<"lsquo"/utf8>> ->
            <<"‘"/utf8>>;

        <<"lsquor"/utf8>> ->
            <<"‚"/utf8>>;

        <<"lstrok"/utf8>> ->
            <<"ł"/utf8>>;

        <<"lt"/utf8>> ->
            <<"<"/utf8>>;

        <<"ltcc"/utf8>> ->
            <<"⪦"/utf8>>;

        <<"ltcir"/utf8>> ->
            <<"⩹"/utf8>>;

        <<"ltdot"/utf8>> ->
            <<"⋖"/utf8>>;

        <<"lthree"/utf8>> ->
            <<"⋋"/utf8>>;

        <<"ltimes"/utf8>> ->
            <<"⋉"/utf8>>;

        <<"ltlarr"/utf8>> ->
            <<"⥶"/utf8>>;

        <<"ltquest"/utf8>> ->
            <<"⩻"/utf8>>;

        <<"ltrPar"/utf8>> ->
            <<"⦖"/utf8>>;

        <<"ltri"/utf8>> ->
            <<"◃"/utf8>>;

        <<"ltrie"/utf8>> ->
            <<"⊴"/utf8>>;

        <<"ltrif"/utf8>> ->
            <<"◂"/utf8>>;

        <<"lurdshar"/utf8>> ->
            <<"⥊"/utf8>>;

        <<"luruhar"/utf8>> ->
            <<"⥦"/utf8>>;

        <<"lvertneqq"/utf8>> ->
            <<"≨︀"/utf8>>;

        <<"lvnE"/utf8>> ->
            <<"≨︀"/utf8>>;

        <<"mDDot"/utf8>> ->
            <<"∺"/utf8>>;

        <<"macr"/utf8>> ->
            <<"¯"/utf8>>;

        <<"male"/utf8>> ->
            <<"♂"/utf8>>;

        <<"malt"/utf8>> ->
            <<"✠"/utf8>>;

        <<"maltese"/utf8>> ->
            <<"✠"/utf8>>;

        <<"map"/utf8>> ->
            <<"↦"/utf8>>;

        <<"mapsto"/utf8>> ->
            <<"↦"/utf8>>;

        <<"mapstodown"/utf8>> ->
            <<"↧"/utf8>>;

        <<"mapstoleft"/utf8>> ->
            <<"↤"/utf8>>;

        <<"mapstoup"/utf8>> ->
            <<"↥"/utf8>>;

        <<"marker"/utf8>> ->
            <<"▮"/utf8>>;

        <<"mcomma"/utf8>> ->
            <<"⨩"/utf8>>;

        <<"mcy"/utf8>> ->
            <<"м"/utf8>>;

        <<"mdash"/utf8>> ->
            <<"—"/utf8>>;

        <<"measuredangle"/utf8>> ->
            <<"∡"/utf8>>;

        <<"mfr"/utf8>> ->
            <<"𝔪"/utf8>>;

        <<"mho"/utf8>> ->
            <<"℧"/utf8>>;

        <<"micro"/utf8>> ->
            <<"µ"/utf8>>;

        <<"mid"/utf8>> ->
            <<"∣"/utf8>>;

        <<"midast"/utf8>> ->
            <<"*"/utf8>>;

        <<"midcir"/utf8>> ->
            <<"⫰"/utf8>>;

        <<"middot"/utf8>> ->
            <<"·"/utf8>>;

        <<"minus"/utf8>> ->
            <<"−"/utf8>>;

        <<"minusb"/utf8>> ->
            <<"⊟"/utf8>>;

        <<"minusd"/utf8>> ->
            <<"∸"/utf8>>;

        <<"minusdu"/utf8>> ->
            <<"⨪"/utf8>>;

        <<"mlcp"/utf8>> ->
            <<"⫛"/utf8>>;

        <<"mldr"/utf8>> ->
            <<"…"/utf8>>;

        <<"mnplus"/utf8>> ->
            <<"∓"/utf8>>;

        <<"models"/utf8>> ->
            <<"⊧"/utf8>>;

        <<"mopf"/utf8>> ->
            <<"𝕞"/utf8>>;

        <<"mp"/utf8>> ->
            <<"∓"/utf8>>;

        <<"mscr"/utf8>> ->
            <<"𝓂"/utf8>>;

        <<"mstpos"/utf8>> ->
            <<"∾"/utf8>>;

        <<"mu"/utf8>> ->
            <<"μ"/utf8>>;

        <<"multimap"/utf8>> ->
            <<"⊸"/utf8>>;

        <<"mumap"/utf8>> ->
            <<"⊸"/utf8>>;

        <<"nGg"/utf8>> ->
            <<"⋙̸"/utf8>>;

        <<"nGt"/utf8>> ->
            <<"≫⃒"/utf8>>;

        <<"nGtv"/utf8>> ->
            <<"≫̸"/utf8>>;

        <<"nLeftarrow"/utf8>> ->
            <<"⇍"/utf8>>;

        <<"nLeftrightarrow"/utf8>> ->
            <<"⇎"/utf8>>;

        <<"nLl"/utf8>> ->
            <<"⋘̸"/utf8>>;

        <<"nLt"/utf8>> ->
            <<"≪⃒"/utf8>>;

        <<"nLtv"/utf8>> ->
            <<"≪̸"/utf8>>;

        <<"nRightarrow"/utf8>> ->
            <<"⇏"/utf8>>;

        <<"nVDash"/utf8>> ->
            <<"⊯"/utf8>>;

        <<"nVdash"/utf8>> ->
            <<"⊮"/utf8>>;

        <<"nabla"/utf8>> ->
            <<"∇"/utf8>>;

        <<"nacute"/utf8>> ->
            <<"ń"/utf8>>;

        <<"nang"/utf8>> ->
            <<"∠⃒"/utf8>>;

        <<"nap"/utf8>> ->
            <<"≉"/utf8>>;

        <<"napE"/utf8>> ->
            <<"⩰̸"/utf8>>;

        <<"napid"/utf8>> ->
            <<"≋̸"/utf8>>;

        <<"napos"/utf8>> ->
            <<"ʼn"/utf8>>;

        <<"napprox"/utf8>> ->
            <<"≉"/utf8>>;

        <<"natur"/utf8>> ->
            <<"♮"/utf8>>;

        <<"natural"/utf8>> ->
            <<"♮"/utf8>>;

        <<"naturals"/utf8>> ->
            <<"ℕ"/utf8>>;

        <<"nbsp"/utf8>> ->
            <<" "/utf8>>;

        <<"nbump"/utf8>> ->
            <<"≎̸"/utf8>>;

        <<"nbumpe"/utf8>> ->
            <<"≏̸"/utf8>>;

        <<"ncap"/utf8>> ->
            <<"⩃"/utf8>>;

        <<"ncaron"/utf8>> ->
            <<"ň"/utf8>>;

        <<"ncedil"/utf8>> ->
            <<"ņ"/utf8>>;

        <<"ncong"/utf8>> ->
            <<"≇"/utf8>>;

        <<"ncongdot"/utf8>> ->
            <<"⩭̸"/utf8>>;

        <<"ncup"/utf8>> ->
            <<"⩂"/utf8>>;

        <<"ncy"/utf8>> ->
            <<"н"/utf8>>;

        <<"ndash"/utf8>> ->
            <<"–"/utf8>>;

        <<"ne"/utf8>> ->
            <<"≠"/utf8>>;

        <<"neArr"/utf8>> ->
            <<"⇗"/utf8>>;

        <<"nearhk"/utf8>> ->
            <<"⤤"/utf8>>;

        <<"nearr"/utf8>> ->
            <<"↗"/utf8>>;

        <<"nearrow"/utf8>> ->
            <<"↗"/utf8>>;

        <<"nedot"/utf8>> ->
            <<"≐̸"/utf8>>;

        <<"nequiv"/utf8>> ->
            <<"≢"/utf8>>;

        <<"nesear"/utf8>> ->
            <<"⤨"/utf8>>;

        <<"nesim"/utf8>> ->
            <<"≂̸"/utf8>>;

        <<"nexist"/utf8>> ->
            <<"∄"/utf8>>;

        <<"nexists"/utf8>> ->
            <<"∄"/utf8>>;

        <<"nfr"/utf8>> ->
            <<"𝔫"/utf8>>;

        <<"ngE"/utf8>> ->
            <<"≧̸"/utf8>>;

        <<"nge"/utf8>> ->
            <<"≱"/utf8>>;

        <<"ngeq"/utf8>> ->
            <<"≱"/utf8>>;

        <<"ngeqq"/utf8>> ->
            <<"≧̸"/utf8>>;

        <<"ngeqslant"/utf8>> ->
            <<"⩾̸"/utf8>>;

        <<"nges"/utf8>> ->
            <<"⩾̸"/utf8>>;

        <<"ngsim"/utf8>> ->
            <<"≵"/utf8>>;

        <<"ngt"/utf8>> ->
            <<"≯"/utf8>>;

        <<"ngtr"/utf8>> ->
            <<"≯"/utf8>>;

        <<"nhArr"/utf8>> ->
            <<"⇎"/utf8>>;

        <<"nharr"/utf8>> ->
            <<"↮"/utf8>>;

        <<"nhpar"/utf8>> ->
            <<"⫲"/utf8>>;

        <<"ni"/utf8>> ->
            <<"∋"/utf8>>;

        <<"nis"/utf8>> ->
            <<"⋼"/utf8>>;

        <<"nisd"/utf8>> ->
            <<"⋺"/utf8>>;

        <<"niv"/utf8>> ->
            <<"∋"/utf8>>;

        <<"njcy"/utf8>> ->
            <<"њ"/utf8>>;

        <<"nlArr"/utf8>> ->
            <<"⇍"/utf8>>;

        <<"nlE"/utf8>> ->
            <<"≦̸"/utf8>>;

        <<"nlarr"/utf8>> ->
            <<"↚"/utf8>>;

        <<"nldr"/utf8>> ->
            <<"‥"/utf8>>;

        <<"nle"/utf8>> ->
            <<"≰"/utf8>>;

        <<"nleftarrow"/utf8>> ->
            <<"↚"/utf8>>;

        <<"nleftrightarrow"/utf8>> ->
            <<"↮"/utf8>>;

        <<"nleq"/utf8>> ->
            <<"≰"/utf8>>;

        <<"nleqq"/utf8>> ->
            <<"≦̸"/utf8>>;

        <<"nleqslant"/utf8>> ->
            <<"⩽̸"/utf8>>;

        <<"nles"/utf8>> ->
            <<"⩽̸"/utf8>>;

        <<"nless"/utf8>> ->
            <<"≮"/utf8>>;

        <<"nlsim"/utf8>> ->
            <<"≴"/utf8>>;

        <<"nlt"/utf8>> ->
            <<"≮"/utf8>>;

        <<"nltri"/utf8>> ->
            <<"⋪"/utf8>>;

        <<"nltrie"/utf8>> ->
            <<"⋬"/utf8>>;

        <<"nmid"/utf8>> ->
            <<"∤"/utf8>>;

        <<"nopf"/utf8>> ->
            <<"𝕟"/utf8>>;

        <<"not"/utf8>> ->
            <<"¬"/utf8>>;

        <<"notin"/utf8>> ->
            <<"∉"/utf8>>;

        <<"notinE"/utf8>> ->
            <<"⋹̸"/utf8>>;

        <<"notindot"/utf8>> ->
            <<"⋵̸"/utf8>>;

        <<"notinva"/utf8>> ->
            <<"∉"/utf8>>;

        <<"notinvb"/utf8>> ->
            <<"⋷"/utf8>>;

        <<"notinvc"/utf8>> ->
            <<"⋶"/utf8>>;

        <<"notni"/utf8>> ->
            <<"∌"/utf8>>;

        <<"notniva"/utf8>> ->
            <<"∌"/utf8>>;

        <<"notnivb"/utf8>> ->
            <<"⋾"/utf8>>;

        <<"notnivc"/utf8>> ->
            <<"⋽"/utf8>>;

        <<"npar"/utf8>> ->
            <<"∦"/utf8>>;

        <<"nparallel"/utf8>> ->
            <<"∦"/utf8>>;

        <<"nparsl"/utf8>> ->
            <<"⫽⃥"/utf8>>;

        <<"npart"/utf8>> ->
            <<"∂̸"/utf8>>;

        <<"npolint"/utf8>> ->
            <<"⨔"/utf8>>;

        <<"npr"/utf8>> ->
            <<"⊀"/utf8>>;

        <<"nprcue"/utf8>> ->
            <<"⋠"/utf8>>;

        <<"npre"/utf8>> ->
            <<"⪯̸"/utf8>>;

        <<"nprec"/utf8>> ->
            <<"⊀"/utf8>>;

        <<"npreceq"/utf8>> ->
            <<"⪯̸"/utf8>>;

        <<"nrArr"/utf8>> ->
            <<"⇏"/utf8>>;

        <<"nrarr"/utf8>> ->
            <<"↛"/utf8>>;

        <<"nrarrc"/utf8>> ->
            <<"⤳̸"/utf8>>;

        <<"nrarrw"/utf8>> ->
            <<"↝̸"/utf8>>;

        <<"nrightarrow"/utf8>> ->
            <<"↛"/utf8>>;

        <<"nrtri"/utf8>> ->
            <<"⋫"/utf8>>;

        <<"nrtrie"/utf8>> ->
            <<"⋭"/utf8>>;

        <<"nsc"/utf8>> ->
            <<"⊁"/utf8>>;

        <<"nsccue"/utf8>> ->
            <<"⋡"/utf8>>;

        <<"nsce"/utf8>> ->
            <<"⪰̸"/utf8>>;

        <<"nscr"/utf8>> ->
            <<"𝓃"/utf8>>;

        <<"nshortmid"/utf8>> ->
            <<"∤"/utf8>>;

        <<"nshortparallel"/utf8>> ->
            <<"∦"/utf8>>;

        <<"nsim"/utf8>> ->
            <<"≁"/utf8>>;

        <<"nsime"/utf8>> ->
            <<"≄"/utf8>>;

        <<"nsimeq"/utf8>> ->
            <<"≄"/utf8>>;

        <<"nsmid"/utf8>> ->
            <<"∤"/utf8>>;

        <<"nspar"/utf8>> ->
            <<"∦"/utf8>>;

        <<"nsqsube"/utf8>> ->
            <<"⋢"/utf8>>;

        <<"nsqsupe"/utf8>> ->
            <<"⋣"/utf8>>;

        <<"nsub"/utf8>> ->
            <<"⊄"/utf8>>;

        <<"nsubE"/utf8>> ->
            <<"⫅̸"/utf8>>;

        <<"nsube"/utf8>> ->
            <<"⊈"/utf8>>;

        <<"nsubset"/utf8>> ->
            <<"⊂⃒"/utf8>>;

        <<"nsubseteq"/utf8>> ->
            <<"⊈"/utf8>>;

        <<"nsubseteqq"/utf8>> ->
            <<"⫅̸"/utf8>>;

        <<"nsucc"/utf8>> ->
            <<"⊁"/utf8>>;

        <<"nsucceq"/utf8>> ->
            <<"⪰̸"/utf8>>;

        <<"nsup"/utf8>> ->
            <<"⊅"/utf8>>;

        <<"nsupE"/utf8>> ->
            <<"⫆̸"/utf8>>;

        <<"nsupe"/utf8>> ->
            <<"⊉"/utf8>>;

        <<"nsupset"/utf8>> ->
            <<"⊃⃒"/utf8>>;

        <<"nsupseteq"/utf8>> ->
            <<"⊉"/utf8>>;

        <<"nsupseteqq"/utf8>> ->
            <<"⫆̸"/utf8>>;

        <<"ntgl"/utf8>> ->
            <<"≹"/utf8>>;

        <<"ntilde"/utf8>> ->
            <<"ñ"/utf8>>;

        <<"ntlg"/utf8>> ->
            <<"≸"/utf8>>;

        <<"ntriangleleft"/utf8>> ->
            <<"⋪"/utf8>>;

        <<"ntrianglelefteq"/utf8>> ->
            <<"⋬"/utf8>>;

        <<"ntriangleright"/utf8>> ->
            <<"⋫"/utf8>>;

        <<"ntrianglerighteq"/utf8>> ->
            <<"⋭"/utf8>>;

        <<"nu"/utf8>> ->
            <<"ν"/utf8>>;

        <<"num"/utf8>> ->
            <<"#"/utf8>>;

        <<"numero"/utf8>> ->
            <<"№"/utf8>>;

        <<"numsp"/utf8>> ->
            <<" "/utf8>>;

        <<"nvDash"/utf8>> ->
            <<"⊭"/utf8>>;

        <<"nvHarr"/utf8>> ->
            <<"⤄"/utf8>>;

        <<"nvap"/utf8>> ->
            <<"≍⃒"/utf8>>;

        <<"nvdash"/utf8>> ->
            <<"⊬"/utf8>>;

        <<"nvge"/utf8>> ->
            <<"≥⃒"/utf8>>;

        <<"nvgt"/utf8>> ->
            <<">⃒"/utf8>>;

        <<"nvinfin"/utf8>> ->
            <<"⧞"/utf8>>;

        <<"nvlArr"/utf8>> ->
            <<"⤂"/utf8>>;

        <<"nvle"/utf8>> ->
            <<"≤⃒"/utf8>>;

        <<"nvlt"/utf8>> ->
            <<"<⃒"/utf8>>;

        <<"nvltrie"/utf8>> ->
            <<"⊴⃒"/utf8>>;

        <<"nvrArr"/utf8>> ->
            <<"⤃"/utf8>>;

        <<"nvrtrie"/utf8>> ->
            <<"⊵⃒"/utf8>>;

        <<"nvsim"/utf8>> ->
            <<"∼⃒"/utf8>>;

        <<"nwArr"/utf8>> ->
            <<"⇖"/utf8>>;

        <<"nwarhk"/utf8>> ->
            <<"⤣"/utf8>>;

        <<"nwarr"/utf8>> ->
            <<"↖"/utf8>>;

        <<"nwarrow"/utf8>> ->
            <<"↖"/utf8>>;

        <<"nwnear"/utf8>> ->
            <<"⤧"/utf8>>;

        <<"oS"/utf8>> ->
            <<"Ⓢ"/utf8>>;

        <<"oacute"/utf8>> ->
            <<"ó"/utf8>>;

        <<"oast"/utf8>> ->
            <<"⊛"/utf8>>;

        <<"ocir"/utf8>> ->
            <<"⊚"/utf8>>;

        <<"ocirc"/utf8>> ->
            <<"ô"/utf8>>;

        <<"ocy"/utf8>> ->
            <<"о"/utf8>>;

        <<"odash"/utf8>> ->
            <<"⊝"/utf8>>;

        <<"odblac"/utf8>> ->
            <<"ő"/utf8>>;

        <<"odiv"/utf8>> ->
            <<"⨸"/utf8>>;

        <<"odot"/utf8>> ->
            <<"⊙"/utf8>>;

        <<"odsold"/utf8>> ->
            <<"⦼"/utf8>>;

        <<"oelig"/utf8>> ->
            <<"œ"/utf8>>;

        <<"ofcir"/utf8>> ->
            <<"⦿"/utf8>>;

        <<"ofr"/utf8>> ->
            <<"𝔬"/utf8>>;

        <<"ogon"/utf8>> ->
            <<"˛"/utf8>>;

        <<"ograve"/utf8>> ->
            <<"ò"/utf8>>;

        <<"ogt"/utf8>> ->
            <<"⧁"/utf8>>;

        <<"ohbar"/utf8>> ->
            <<"⦵"/utf8>>;

        <<"ohm"/utf8>> ->
            <<"Ω"/utf8>>;

        <<"oint"/utf8>> ->
            <<"∮"/utf8>>;

        <<"olarr"/utf8>> ->
            <<"↺"/utf8>>;

        <<"olcir"/utf8>> ->
            <<"⦾"/utf8>>;

        <<"olcross"/utf8>> ->
            <<"⦻"/utf8>>;

        <<"oline"/utf8>> ->
            <<"‾"/utf8>>;

        <<"olt"/utf8>> ->
            <<"⧀"/utf8>>;

        <<"omacr"/utf8>> ->
            <<"ō"/utf8>>;

        <<"omega"/utf8>> ->
            <<"ω"/utf8>>;

        <<"omicron"/utf8>> ->
            <<"ο"/utf8>>;

        <<"omid"/utf8>> ->
            <<"⦶"/utf8>>;

        <<"ominus"/utf8>> ->
            <<"⊖"/utf8>>;

        <<"oopf"/utf8>> ->
            <<"𝕠"/utf8>>;

        <<"opar"/utf8>> ->
            <<"⦷"/utf8>>;

        <<"operp"/utf8>> ->
            <<"⦹"/utf8>>;

        <<"oplus"/utf8>> ->
            <<"⊕"/utf8>>;

        <<"or"/utf8>> ->
            <<"∨"/utf8>>;

        <<"orarr"/utf8>> ->
            <<"↻"/utf8>>;

        <<"ord"/utf8>> ->
            <<"⩝"/utf8>>;

        <<"order"/utf8>> ->
            <<"ℴ"/utf8>>;

        <<"orderof"/utf8>> ->
            <<"ℴ"/utf8>>;

        <<"ordf"/utf8>> ->
            <<"ª"/utf8>>;

        <<"ordm"/utf8>> ->
            <<"º"/utf8>>;

        <<"origof"/utf8>> ->
            <<"⊶"/utf8>>;

        <<"oror"/utf8>> ->
            <<"⩖"/utf8>>;

        <<"orslope"/utf8>> ->
            <<"⩗"/utf8>>;

        <<"orv"/utf8>> ->
            <<"⩛"/utf8>>;

        <<"oscr"/utf8>> ->
            <<"ℴ"/utf8>>;

        <<"oslash"/utf8>> ->
            <<"ø"/utf8>>;

        <<"osol"/utf8>> ->
            <<"⊘"/utf8>>;

        <<"otilde"/utf8>> ->
            <<"õ"/utf8>>;

        <<"otimes"/utf8>> ->
            <<"⊗"/utf8>>;

        <<"otimesas"/utf8>> ->
            <<"⨶"/utf8>>;

        <<"ouml"/utf8>> ->
            <<"ö"/utf8>>;

        <<"ovbar"/utf8>> ->
            <<"⌽"/utf8>>;

        <<"par"/utf8>> ->
            <<"∥"/utf8>>;

        <<"para"/utf8>> ->
            <<"¶"/utf8>>;

        <<"parallel"/utf8>> ->
            <<"∥"/utf8>>;

        <<"parsim"/utf8>> ->
            <<"⫳"/utf8>>;

        <<"parsl"/utf8>> ->
            <<"⫽"/utf8>>;

        <<"part"/utf8>> ->
            <<"∂"/utf8>>;

        <<"pcy"/utf8>> ->
            <<"п"/utf8>>;

        <<"percnt"/utf8>> ->
            <<"%"/utf8>>;

        <<"period"/utf8>> ->
            <<"."/utf8>>;

        <<"permil"/utf8>> ->
            <<"‰"/utf8>>;

        <<"perp"/utf8>> ->
            <<"⊥"/utf8>>;

        <<"pertenk"/utf8>> ->
            <<"‱"/utf8>>;

        <<"pfr"/utf8>> ->
            <<"𝔭"/utf8>>;

        <<"phi"/utf8>> ->
            <<"φ"/utf8>>;

        <<"phiv"/utf8>> ->
            <<"ϕ"/utf8>>;

        <<"phmmat"/utf8>> ->
            <<"ℳ"/utf8>>;

        <<"phone"/utf8>> ->
            <<"☎"/utf8>>;

        <<"pi"/utf8>> ->
            <<"π"/utf8>>;

        <<"pitchfork"/utf8>> ->
            <<"⋔"/utf8>>;

        <<"piv"/utf8>> ->
            <<"ϖ"/utf8>>;

        <<"planck"/utf8>> ->
            <<"ℏ"/utf8>>;

        <<"planckh"/utf8>> ->
            <<"ℎ"/utf8>>;

        <<"plankv"/utf8>> ->
            <<"ℏ"/utf8>>;

        <<"plus"/utf8>> ->
            <<"+"/utf8>>;

        <<"plusacir"/utf8>> ->
            <<"⨣"/utf8>>;

        <<"plusb"/utf8>> ->
            <<"⊞"/utf8>>;

        <<"pluscir"/utf8>> ->
            <<"⨢"/utf8>>;

        <<"plusdo"/utf8>> ->
            <<"∔"/utf8>>;

        <<"plusdu"/utf8>> ->
            <<"⨥"/utf8>>;

        <<"pluse"/utf8>> ->
            <<"⩲"/utf8>>;

        <<"plusmn"/utf8>> ->
            <<"±"/utf8>>;

        <<"plussim"/utf8>> ->
            <<"⨦"/utf8>>;

        <<"plustwo"/utf8>> ->
            <<"⨧"/utf8>>;

        <<"pm"/utf8>> ->
            <<"±"/utf8>>;

        <<"pointint"/utf8>> ->
            <<"⨕"/utf8>>;

        <<"popf"/utf8>> ->
            <<"𝕡"/utf8>>;

        <<"pound"/utf8>> ->
            <<"£"/utf8>>;

        <<"pr"/utf8>> ->
            <<"≺"/utf8>>;

        <<"prE"/utf8>> ->
            <<"⪳"/utf8>>;

        <<"prap"/utf8>> ->
            <<"⪷"/utf8>>;

        <<"prcue"/utf8>> ->
            <<"≼"/utf8>>;

        <<"pre"/utf8>> ->
            <<"⪯"/utf8>>;

        <<"prec"/utf8>> ->
            <<"≺"/utf8>>;

        <<"precapprox"/utf8>> ->
            <<"⪷"/utf8>>;

        <<"preccurlyeq"/utf8>> ->
            <<"≼"/utf8>>;

        <<"preceq"/utf8>> ->
            <<"⪯"/utf8>>;

        <<"precnapprox"/utf8>> ->
            <<"⪹"/utf8>>;

        <<"precneqq"/utf8>> ->
            <<"⪵"/utf8>>;

        <<"precnsim"/utf8>> ->
            <<"⋨"/utf8>>;

        <<"precsim"/utf8>> ->
            <<"≾"/utf8>>;

        <<"prime"/utf8>> ->
            <<"′"/utf8>>;

        <<"primes"/utf8>> ->
            <<"ℙ"/utf8>>;

        <<"prnE"/utf8>> ->
            <<"⪵"/utf8>>;

        <<"prnap"/utf8>> ->
            <<"⪹"/utf8>>;

        <<"prnsim"/utf8>> ->
            <<"⋨"/utf8>>;

        <<"prod"/utf8>> ->
            <<"∏"/utf8>>;

        <<"profalar"/utf8>> ->
            <<"⌮"/utf8>>;

        <<"profline"/utf8>> ->
            <<"⌒"/utf8>>;

        <<"profsurf"/utf8>> ->
            <<"⌓"/utf8>>;

        <<"prop"/utf8>> ->
            <<"∝"/utf8>>;

        <<"propto"/utf8>> ->
            <<"∝"/utf8>>;

        <<"prsim"/utf8>> ->
            <<"≾"/utf8>>;

        <<"prurel"/utf8>> ->
            <<"⊰"/utf8>>;

        <<"pscr"/utf8>> ->
            <<"𝓅"/utf8>>;

        <<"psi"/utf8>> ->
            <<"ψ"/utf8>>;

        <<"puncsp"/utf8>> ->
            <<" "/utf8>>;

        <<"qfr"/utf8>> ->
            <<"𝔮"/utf8>>;

        <<"qint"/utf8>> ->
            <<"⨌"/utf8>>;

        <<"qopf"/utf8>> ->
            <<"𝕢"/utf8>>;

        <<"qprime"/utf8>> ->
            <<"⁗"/utf8>>;

        <<"qscr"/utf8>> ->
            <<"𝓆"/utf8>>;

        <<"quaternions"/utf8>> ->
            <<"ℍ"/utf8>>;

        <<"quatint"/utf8>> ->
            <<"⨖"/utf8>>;

        <<"quest"/utf8>> ->
            <<"?"/utf8>>;

        <<"questeq"/utf8>> ->
            <<"≟"/utf8>>;

        <<"quot"/utf8>> ->
            <<"\""/utf8>>;

        <<"rAarr"/utf8>> ->
            <<"⇛"/utf8>>;

        <<"rArr"/utf8>> ->
            <<"⇒"/utf8>>;

        <<"rAtail"/utf8>> ->
            <<"⤜"/utf8>>;

        <<"rBarr"/utf8>> ->
            <<"⤏"/utf8>>;

        <<"rHar"/utf8>> ->
            <<"⥤"/utf8>>;

        <<"race"/utf8>> ->
            <<"∽̱"/utf8>>;

        <<"racute"/utf8>> ->
            <<"ŕ"/utf8>>;

        <<"radic"/utf8>> ->
            <<"√"/utf8>>;

        <<"raemptyv"/utf8>> ->
            <<"⦳"/utf8>>;

        <<"rang"/utf8>> ->
            <<"⟩"/utf8>>;

        <<"rangd"/utf8>> ->
            <<"⦒"/utf8>>;

        <<"range"/utf8>> ->
            <<"⦥"/utf8>>;

        <<"rangle"/utf8>> ->
            <<"⟩"/utf8>>;

        <<"raquo"/utf8>> ->
            <<"»"/utf8>>;

        <<"rarr"/utf8>> ->
            <<"→"/utf8>>;

        <<"rarrap"/utf8>> ->
            <<"⥵"/utf8>>;

        <<"rarrb"/utf8>> ->
            <<"⇥"/utf8>>;

        <<"rarrbfs"/utf8>> ->
            <<"⤠"/utf8>>;

        <<"rarrc"/utf8>> ->
            <<"⤳"/utf8>>;

        <<"rarrfs"/utf8>> ->
            <<"⤞"/utf8>>;

        <<"rarrhk"/utf8>> ->
            <<"↪"/utf8>>;

        <<"rarrlp"/utf8>> ->
            <<"↬"/utf8>>;

        <<"rarrpl"/utf8>> ->
            <<"⥅"/utf8>>;

        <<"rarrsim"/utf8>> ->
            <<"⥴"/utf8>>;

        <<"rarrtl"/utf8>> ->
            <<"↣"/utf8>>;

        <<"rarrw"/utf8>> ->
            <<"↝"/utf8>>;

        <<"ratail"/utf8>> ->
            <<"⤚"/utf8>>;

        <<"ratio"/utf8>> ->
            <<"∶"/utf8>>;

        <<"rationals"/utf8>> ->
            <<"ℚ"/utf8>>;

        <<"rbarr"/utf8>> ->
            <<"⤍"/utf8>>;

        <<"rbbrk"/utf8>> ->
            <<"❳"/utf8>>;

        <<"rbrace"/utf8>> ->
            <<"}"/utf8>>;

        <<"rbrack"/utf8>> ->
            <<"]"/utf8>>;

        <<"rbrke"/utf8>> ->
            <<"⦌"/utf8>>;

        <<"rbrksld"/utf8>> ->
            <<"⦎"/utf8>>;

        <<"rbrkslu"/utf8>> ->
            <<"⦐"/utf8>>;

        <<"rcaron"/utf8>> ->
            <<"ř"/utf8>>;

        <<"rcedil"/utf8>> ->
            <<"ŗ"/utf8>>;

        <<"rceil"/utf8>> ->
            <<"⌉"/utf8>>;

        <<"rcub"/utf8>> ->
            <<"}"/utf8>>;

        <<"rcy"/utf8>> ->
            <<"р"/utf8>>;

        <<"rdca"/utf8>> ->
            <<"⤷"/utf8>>;

        <<"rdldhar"/utf8>> ->
            <<"⥩"/utf8>>;

        <<"rdquo"/utf8>> ->
            <<"”"/utf8>>;

        <<"rdquor"/utf8>> ->
            <<"”"/utf8>>;

        <<"rdsh"/utf8>> ->
            <<"↳"/utf8>>;

        <<"real"/utf8>> ->
            <<"ℜ"/utf8>>;

        <<"realine"/utf8>> ->
            <<"ℛ"/utf8>>;

        <<"realpart"/utf8>> ->
            <<"ℜ"/utf8>>;

        <<"reals"/utf8>> ->
            <<"ℝ"/utf8>>;

        <<"rect"/utf8>> ->
            <<"▭"/utf8>>;

        <<"reg"/utf8>> ->
            <<"®"/utf8>>;

        <<"rfisht"/utf8>> ->
            <<"⥽"/utf8>>;

        <<"rfloor"/utf8>> ->
            <<"⌋"/utf8>>;

        <<"rfr"/utf8>> ->
            <<"𝔯"/utf8>>;

        <<"rhard"/utf8>> ->
            <<"⇁"/utf8>>;

        <<"rharu"/utf8>> ->
            <<"⇀"/utf8>>;

        <<"rharul"/utf8>> ->
            <<"⥬"/utf8>>;

        <<"rho"/utf8>> ->
            <<"ρ"/utf8>>;

        <<"rhov"/utf8>> ->
            <<"ϱ"/utf8>>;

        <<"rightarrow"/utf8>> ->
            <<"→"/utf8>>;

        <<"rightarrowtail"/utf8>> ->
            <<"↣"/utf8>>;

        <<"rightharpoondown"/utf8>> ->
            <<"⇁"/utf8>>;

        <<"rightharpoonup"/utf8>> ->
            <<"⇀"/utf8>>;

        <<"rightleftarrows"/utf8>> ->
            <<"⇄"/utf8>>;

        <<"rightleftharpoons"/utf8>> ->
            <<"⇌"/utf8>>;

        <<"rightrightarrows"/utf8>> ->
            <<"⇉"/utf8>>;

        <<"rightsquigarrow"/utf8>> ->
            <<"↝"/utf8>>;

        <<"rightthreetimes"/utf8>> ->
            <<"⋌"/utf8>>;

        <<"ring"/utf8>> ->
            <<"˚"/utf8>>;

        <<"risingdotseq"/utf8>> ->
            <<"≓"/utf8>>;

        <<"rlarr"/utf8>> ->
            <<"⇄"/utf8>>;

        <<"rlhar"/utf8>> ->
            <<"⇌"/utf8>>;

        <<"rlm"/utf8>> ->
            <<"‏"/utf8>>;

        <<"rmoust"/utf8>> ->
            <<"⎱"/utf8>>;

        <<"rmoustache"/utf8>> ->
            <<"⎱"/utf8>>;

        <<"rnmid"/utf8>> ->
            <<"⫮"/utf8>>;

        <<"roang"/utf8>> ->
            <<"⟭"/utf8>>;

        <<"roarr"/utf8>> ->
            <<"⇾"/utf8>>;

        <<"robrk"/utf8>> ->
            <<"⟧"/utf8>>;

        <<"ropar"/utf8>> ->
            <<"⦆"/utf8>>;

        <<"ropf"/utf8>> ->
            <<"𝕣"/utf8>>;

        <<"roplus"/utf8>> ->
            <<"⨮"/utf8>>;

        <<"rotimes"/utf8>> ->
            <<"⨵"/utf8>>;

        <<"rpar"/utf8>> ->
            <<")"/utf8>>;

        <<"rpargt"/utf8>> ->
            <<"⦔"/utf8>>;

        <<"rppolint"/utf8>> ->
            <<"⨒"/utf8>>;

        <<"rrarr"/utf8>> ->
            <<"⇉"/utf8>>;

        <<"rsaquo"/utf8>> ->
            <<"›"/utf8>>;

        <<"rscr"/utf8>> ->
            <<"𝓇"/utf8>>;

        <<"rsh"/utf8>> ->
            <<"↱"/utf8>>;

        <<"rsqb"/utf8>> ->
            <<"]"/utf8>>;

        <<"rsquo"/utf8>> ->
            <<"’"/utf8>>;

        <<"rsquor"/utf8>> ->
            <<"’"/utf8>>;

        <<"rthree"/utf8>> ->
            <<"⋌"/utf8>>;

        <<"rtimes"/utf8>> ->
            <<"⋊"/utf8>>;

        <<"rtri"/utf8>> ->
            <<"▹"/utf8>>;

        <<"rtrie"/utf8>> ->
            <<"⊵"/utf8>>;

        <<"rtrif"/utf8>> ->
            <<"▸"/utf8>>;

        <<"rtriltri"/utf8>> ->
            <<"⧎"/utf8>>;

        <<"ruluhar"/utf8>> ->
            <<"⥨"/utf8>>;

        <<"rx"/utf8>> ->
            <<"℞"/utf8>>;

        <<"sacute"/utf8>> ->
            <<"ś"/utf8>>;

        <<"sbquo"/utf8>> ->
            <<"‚"/utf8>>;

        <<"sc"/utf8>> ->
            <<"≻"/utf8>>;

        <<"scE"/utf8>> ->
            <<"⪴"/utf8>>;

        <<"scap"/utf8>> ->
            <<"⪸"/utf8>>;

        <<"scaron"/utf8>> ->
            <<"š"/utf8>>;

        <<"sccue"/utf8>> ->
            <<"≽"/utf8>>;

        <<"sce"/utf8>> ->
            <<"⪰"/utf8>>;

        <<"scedil"/utf8>> ->
            <<"ş"/utf8>>;

        <<"scirc"/utf8>> ->
            <<"ŝ"/utf8>>;

        <<"scnE"/utf8>> ->
            <<"⪶"/utf8>>;

        <<"scnap"/utf8>> ->
            <<"⪺"/utf8>>;

        <<"scnsim"/utf8>> ->
            <<"⋩"/utf8>>;

        <<"scpolint"/utf8>> ->
            <<"⨓"/utf8>>;

        <<"scsim"/utf8>> ->
            <<"≿"/utf8>>;

        <<"scy"/utf8>> ->
            <<"с"/utf8>>;

        <<"sdot"/utf8>> ->
            <<"⋅"/utf8>>;

        <<"sdotb"/utf8>> ->
            <<"⊡"/utf8>>;

        <<"sdote"/utf8>> ->
            <<"⩦"/utf8>>;

        <<"seArr"/utf8>> ->
            <<"⇘"/utf8>>;

        <<"searhk"/utf8>> ->
            <<"⤥"/utf8>>;

        <<"searr"/utf8>> ->
            <<"↘"/utf8>>;

        <<"searrow"/utf8>> ->
            <<"↘"/utf8>>;

        <<"sect"/utf8>> ->
            <<"§"/utf8>>;

        <<"semi"/utf8>> ->
            <<";"/utf8>>;

        <<"seswar"/utf8>> ->
            <<"⤩"/utf8>>;

        <<"setminus"/utf8>> ->
            <<"∖"/utf8>>;

        <<"setmn"/utf8>> ->
            <<"∖"/utf8>>;

        <<"sext"/utf8>> ->
            <<"✶"/utf8>>;

        <<"sfr"/utf8>> ->
            <<"𝔰"/utf8>>;

        <<"sfrown"/utf8>> ->
            <<"⌢"/utf8>>;

        <<"sharp"/utf8>> ->
            <<"♯"/utf8>>;

        <<"shchcy"/utf8>> ->
            <<"щ"/utf8>>;

        <<"shcy"/utf8>> ->
            <<"ш"/utf8>>;

        <<"shortmid"/utf8>> ->
            <<"∣"/utf8>>;

        <<"shortparallel"/utf8>> ->
            <<"∥"/utf8>>;

        <<"shy"/utf8>> ->
            <<"­"/utf8>>;

        <<"sigma"/utf8>> ->
            <<"σ"/utf8>>;

        <<"sigmaf"/utf8>> ->
            <<"ς"/utf8>>;

        <<"sigmav"/utf8>> ->
            <<"ς"/utf8>>;

        <<"sim"/utf8>> ->
            <<"∼"/utf8>>;

        <<"simdot"/utf8>> ->
            <<"⩪"/utf8>>;

        <<"sime"/utf8>> ->
            <<"≃"/utf8>>;

        <<"simeq"/utf8>> ->
            <<"≃"/utf8>>;

        <<"simg"/utf8>> ->
            <<"⪞"/utf8>>;

        <<"simgE"/utf8>> ->
            <<"⪠"/utf8>>;

        <<"siml"/utf8>> ->
            <<"⪝"/utf8>>;

        <<"simlE"/utf8>> ->
            <<"⪟"/utf8>>;

        <<"simne"/utf8>> ->
            <<"≆"/utf8>>;

        <<"simplus"/utf8>> ->
            <<"⨤"/utf8>>;

        <<"simrarr"/utf8>> ->
            <<"⥲"/utf8>>;

        <<"slarr"/utf8>> ->
            <<"←"/utf8>>;

        <<"smallsetminus"/utf8>> ->
            <<"∖"/utf8>>;

        <<"smashp"/utf8>> ->
            <<"⨳"/utf8>>;

        <<"smeparsl"/utf8>> ->
            <<"⧤"/utf8>>;

        <<"smid"/utf8>> ->
            <<"∣"/utf8>>;

        <<"smile"/utf8>> ->
            <<"⌣"/utf8>>;

        <<"smt"/utf8>> ->
            <<"⪪"/utf8>>;

        <<"smte"/utf8>> ->
            <<"⪬"/utf8>>;

        <<"smtes"/utf8>> ->
            <<"⪬︀"/utf8>>;

        <<"softcy"/utf8>> ->
            <<"ь"/utf8>>;

        <<"sol"/utf8>> ->
            <<"/"/utf8>>;

        <<"solb"/utf8>> ->
            <<"⧄"/utf8>>;

        <<"solbar"/utf8>> ->
            <<"⌿"/utf8>>;

        <<"sopf"/utf8>> ->
            <<"𝕤"/utf8>>;

        <<"spades"/utf8>> ->
            <<"♠"/utf8>>;

        <<"spadesuit"/utf8>> ->
            <<"♠"/utf8>>;

        <<"spar"/utf8>> ->
            <<"∥"/utf8>>;

        <<"sqcap"/utf8>> ->
            <<"⊓"/utf8>>;

        <<"sqcaps"/utf8>> ->
            <<"⊓︀"/utf8>>;

        <<"sqcup"/utf8>> ->
            <<"⊔"/utf8>>;

        <<"sqcups"/utf8>> ->
            <<"⊔︀"/utf8>>;

        <<"sqsub"/utf8>> ->
            <<"⊏"/utf8>>;

        <<"sqsube"/utf8>> ->
            <<"⊑"/utf8>>;

        <<"sqsubset"/utf8>> ->
            <<"⊏"/utf8>>;

        <<"sqsubseteq"/utf8>> ->
            <<"⊑"/utf8>>;

        <<"sqsup"/utf8>> ->
            <<"⊐"/utf8>>;

        <<"sqsupe"/utf8>> ->
            <<"⊒"/utf8>>;

        <<"sqsupset"/utf8>> ->
            <<"⊐"/utf8>>;

        <<"sqsupseteq"/utf8>> ->
            <<"⊒"/utf8>>;

        <<"squ"/utf8>> ->
            <<"□"/utf8>>;

        <<"square"/utf8>> ->
            <<"□"/utf8>>;

        <<"squarf"/utf8>> ->
            <<"▪"/utf8>>;

        <<"squf"/utf8>> ->
            <<"▪"/utf8>>;

        <<"srarr"/utf8>> ->
            <<"→"/utf8>>;

        <<"sscr"/utf8>> ->
            <<"𝓈"/utf8>>;

        <<"ssetmn"/utf8>> ->
            <<"∖"/utf8>>;

        <<"ssmile"/utf8>> ->
            <<"⌣"/utf8>>;

        <<"sstarf"/utf8>> ->
            <<"⋆"/utf8>>;

        <<"star"/utf8>> ->
            <<"☆"/utf8>>;

        <<"starf"/utf8>> ->
            <<"★"/utf8>>;

        <<"straightepsilon"/utf8>> ->
            <<"ϵ"/utf8>>;

        <<"straightphi"/utf8>> ->
            <<"ϕ"/utf8>>;

        <<"strns"/utf8>> ->
            <<"¯"/utf8>>;

        <<"sub"/utf8>> ->
            <<"⊂"/utf8>>;

        <<"subE"/utf8>> ->
            <<"⫅"/utf8>>;

        <<"subdot"/utf8>> ->
            <<"⪽"/utf8>>;

        <<"sube"/utf8>> ->
            <<"⊆"/utf8>>;

        <<"subedot"/utf8>> ->
            <<"⫃"/utf8>>;

        <<"submult"/utf8>> ->
            <<"⫁"/utf8>>;

        <<"subnE"/utf8>> ->
            <<"⫋"/utf8>>;

        <<"subne"/utf8>> ->
            <<"⊊"/utf8>>;

        <<"subplus"/utf8>> ->
            <<"⪿"/utf8>>;

        <<"subrarr"/utf8>> ->
            <<"⥹"/utf8>>;

        <<"subset"/utf8>> ->
            <<"⊂"/utf8>>;

        <<"subseteq"/utf8>> ->
            <<"⊆"/utf8>>;

        <<"subseteqq"/utf8>> ->
            <<"⫅"/utf8>>;

        <<"subsetneq"/utf8>> ->
            <<"⊊"/utf8>>;

        <<"subsetneqq"/utf8>> ->
            <<"⫋"/utf8>>;

        <<"subsim"/utf8>> ->
            <<"⫇"/utf8>>;

        <<"subsub"/utf8>> ->
            <<"⫕"/utf8>>;

        <<"subsup"/utf8>> ->
            <<"⫓"/utf8>>;

        <<"succ"/utf8>> ->
            <<"≻"/utf8>>;

        <<"succapprox"/utf8>> ->
            <<"⪸"/utf8>>;

        <<"succcurlyeq"/utf8>> ->
            <<"≽"/utf8>>;

        <<"succeq"/utf8>> ->
            <<"⪰"/utf8>>;

        <<"succnapprox"/utf8>> ->
            <<"⪺"/utf8>>;

        <<"succneqq"/utf8>> ->
            <<"⪶"/utf8>>;

        <<"succnsim"/utf8>> ->
            <<"⋩"/utf8>>;

        <<"succsim"/utf8>> ->
            <<"≿"/utf8>>;

        <<"sum"/utf8>> ->
            <<"∑"/utf8>>;

        <<"sung"/utf8>> ->
            <<"♪"/utf8>>;

        <<"sup1"/utf8>> ->
            <<"¹"/utf8>>;

        <<"sup2"/utf8>> ->
            <<"²"/utf8>>;

        <<"sup3"/utf8>> ->
            <<"³"/utf8>>;

        <<"sup"/utf8>> ->
            <<"⊃"/utf8>>;

        <<"supE"/utf8>> ->
            <<"⫆"/utf8>>;

        <<"supdot"/utf8>> ->
            <<"⪾"/utf8>>;

        <<"supdsub"/utf8>> ->
            <<"⫘"/utf8>>;

        <<"supe"/utf8>> ->
            <<"⊇"/utf8>>;

        <<"supedot"/utf8>> ->
            <<"⫄"/utf8>>;

        <<"suphsol"/utf8>> ->
            <<"⟉"/utf8>>;

        <<"suphsub"/utf8>> ->
            <<"⫗"/utf8>>;

        <<"suplarr"/utf8>> ->
            <<"⥻"/utf8>>;

        <<"supmult"/utf8>> ->
            <<"⫂"/utf8>>;

        <<"supnE"/utf8>> ->
            <<"⫌"/utf8>>;

        <<"supne"/utf8>> ->
            <<"⊋"/utf8>>;

        <<"supplus"/utf8>> ->
            <<"⫀"/utf8>>;

        <<"supset"/utf8>> ->
            <<"⊃"/utf8>>;

        <<"supseteq"/utf8>> ->
            <<"⊇"/utf8>>;

        <<"supseteqq"/utf8>> ->
            <<"⫆"/utf8>>;

        <<"supsetneq"/utf8>> ->
            <<"⊋"/utf8>>;

        <<"supsetneqq"/utf8>> ->
            <<"⫌"/utf8>>;

        <<"supsim"/utf8>> ->
            <<"⫈"/utf8>>;

        <<"supsub"/utf8>> ->
            <<"⫔"/utf8>>;

        <<"supsup"/utf8>> ->
            <<"⫖"/utf8>>;

        <<"swArr"/utf8>> ->
            <<"⇙"/utf8>>;

        <<"swarhk"/utf8>> ->
            <<"⤦"/utf8>>;

        <<"swarr"/utf8>> ->
            <<"↙"/utf8>>;

        <<"swarrow"/utf8>> ->
            <<"↙"/utf8>>;

        <<"swnwar"/utf8>> ->
            <<"⤪"/utf8>>;

        <<"szlig"/utf8>> ->
            <<"ß"/utf8>>;

        <<"target"/utf8>> ->
            <<"⌖"/utf8>>;

        <<"tau"/utf8>> ->
            <<"τ"/utf8>>;

        <<"tbrk"/utf8>> ->
            <<"⎴"/utf8>>;

        <<"tcaron"/utf8>> ->
            <<"ť"/utf8>>;

        <<"tcedil"/utf8>> ->
            <<"ţ"/utf8>>;

        <<"tcy"/utf8>> ->
            <<"т"/utf8>>;

        <<"tdot"/utf8>> ->
            <<"⃛"/utf8>>;

        <<"telrec"/utf8>> ->
            <<"⌕"/utf8>>;

        <<"tfr"/utf8>> ->
            <<"𝔱"/utf8>>;

        <<"there4"/utf8>> ->
            <<"∴"/utf8>>;

        <<"therefore"/utf8>> ->
            <<"∴"/utf8>>;

        <<"theta"/utf8>> ->
            <<"θ"/utf8>>;

        <<"thetasym"/utf8>> ->
            <<"ϑ"/utf8>>;

        <<"thetav"/utf8>> ->
            <<"ϑ"/utf8>>;

        <<"thickapprox"/utf8>> ->
            <<"≈"/utf8>>;

        <<"thicksim"/utf8>> ->
            <<"∼"/utf8>>;

        <<"thinsp"/utf8>> ->
            <<" "/utf8>>;

        <<"thkap"/utf8>> ->
            <<"≈"/utf8>>;

        <<"thksim"/utf8>> ->
            <<"∼"/utf8>>;

        <<"thorn"/utf8>> ->
            <<"þ"/utf8>>;

        <<"tilde"/utf8>> ->
            <<"˜"/utf8>>;

        <<"times"/utf8>> ->
            <<"×"/utf8>>;

        <<"timesb"/utf8>> ->
            <<"⊠"/utf8>>;

        <<"timesbar"/utf8>> ->
            <<"⨱"/utf8>>;

        <<"timesd"/utf8>> ->
            <<"⨰"/utf8>>;

        <<"tint"/utf8>> ->
            <<"∭"/utf8>>;

        <<"toea"/utf8>> ->
            <<"⤨"/utf8>>;

        <<"top"/utf8>> ->
            <<"⊤"/utf8>>;

        <<"topbot"/utf8>> ->
            <<"⌶"/utf8>>;

        <<"topcir"/utf8>> ->
            <<"⫱"/utf8>>;

        <<"topf"/utf8>> ->
            <<"𝕥"/utf8>>;

        <<"topfork"/utf8>> ->
            <<"⫚"/utf8>>;

        <<"tosa"/utf8>> ->
            <<"⤩"/utf8>>;

        <<"tprime"/utf8>> ->
            <<"‴"/utf8>>;

        <<"trade"/utf8>> ->
            <<"™"/utf8>>;

        <<"triangle"/utf8>> ->
            <<"▵"/utf8>>;

        <<"triangledown"/utf8>> ->
            <<"▿"/utf8>>;

        <<"triangleleft"/utf8>> ->
            <<"◃"/utf8>>;

        <<"trianglelefteq"/utf8>> ->
            <<"⊴"/utf8>>;

        <<"triangleq"/utf8>> ->
            <<"≜"/utf8>>;

        <<"triangleright"/utf8>> ->
            <<"▹"/utf8>>;

        <<"trianglerighteq"/utf8>> ->
            <<"⊵"/utf8>>;

        <<"tridot"/utf8>> ->
            <<"◬"/utf8>>;

        <<"trie"/utf8>> ->
            <<"≜"/utf8>>;

        <<"triminus"/utf8>> ->
            <<"⨺"/utf8>>;

        <<"triplus"/utf8>> ->
            <<"⨹"/utf8>>;

        <<"trisb"/utf8>> ->
            <<"⧍"/utf8>>;

        <<"tritime"/utf8>> ->
            <<"⨻"/utf8>>;

        <<"trpezium"/utf8>> ->
            <<"⏢"/utf8>>;

        <<"tscr"/utf8>> ->
            <<"𝓉"/utf8>>;

        <<"tscy"/utf8>> ->
            <<"ц"/utf8>>;

        <<"tshcy"/utf8>> ->
            <<"ћ"/utf8>>;

        <<"tstrok"/utf8>> ->
            <<"ŧ"/utf8>>;

        <<"twixt"/utf8>> ->
            <<"≬"/utf8>>;

        <<"twoheadleftarrow"/utf8>> ->
            <<"↞"/utf8>>;

        <<"twoheadrightarrow"/utf8>> ->
            <<"↠"/utf8>>;

        <<"uArr"/utf8>> ->
            <<"⇑"/utf8>>;

        <<"uHar"/utf8>> ->
            <<"⥣"/utf8>>;

        <<"uacute"/utf8>> ->
            <<"ú"/utf8>>;

        <<"uarr"/utf8>> ->
            <<"↑"/utf8>>;

        <<"ubrcy"/utf8>> ->
            <<"ў"/utf8>>;

        <<"ubreve"/utf8>> ->
            <<"ŭ"/utf8>>;

        <<"ucirc"/utf8>> ->
            <<"û"/utf8>>;

        <<"ucy"/utf8>> ->
            <<"у"/utf8>>;

        <<"udarr"/utf8>> ->
            <<"⇅"/utf8>>;

        <<"udblac"/utf8>> ->
            <<"ű"/utf8>>;

        <<"udhar"/utf8>> ->
            <<"⥮"/utf8>>;

        <<"ufisht"/utf8>> ->
            <<"⥾"/utf8>>;

        <<"ufr"/utf8>> ->
            <<"𝔲"/utf8>>;

        <<"ugrave"/utf8>> ->
            <<"ù"/utf8>>;

        <<"uharl"/utf8>> ->
            <<"↿"/utf8>>;

        <<"uharr"/utf8>> ->
            <<"↾"/utf8>>;

        <<"uhblk"/utf8>> ->
            <<"▀"/utf8>>;

        <<"ulcorn"/utf8>> ->
            <<"⌜"/utf8>>;

        <<"ulcorner"/utf8>> ->
            <<"⌜"/utf8>>;

        <<"ulcrop"/utf8>> ->
            <<"⌏"/utf8>>;

        <<"ultri"/utf8>> ->
            <<"◸"/utf8>>;

        <<"umacr"/utf8>> ->
            <<"ū"/utf8>>;

        <<"uml"/utf8>> ->
            <<"¨"/utf8>>;

        <<"uogon"/utf8>> ->
            <<"ų"/utf8>>;

        <<"uopf"/utf8>> ->
            <<"𝕦"/utf8>>;

        <<"uparrow"/utf8>> ->
            <<"↑"/utf8>>;

        <<"updownarrow"/utf8>> ->
            <<"↕"/utf8>>;

        <<"upharpoonleft"/utf8>> ->
            <<"↿"/utf8>>;

        <<"upharpoonright"/utf8>> ->
            <<"↾"/utf8>>;

        <<"uplus"/utf8>> ->
            <<"⊎"/utf8>>;

        <<"upsi"/utf8>> ->
            <<"υ"/utf8>>;

        <<"upsih"/utf8>> ->
            <<"ϒ"/utf8>>;

        <<"upsilon"/utf8>> ->
            <<"υ"/utf8>>;

        <<"upuparrows"/utf8>> ->
            <<"⇈"/utf8>>;

        <<"urcorn"/utf8>> ->
            <<"⌝"/utf8>>;

        <<"urcorner"/utf8>> ->
            <<"⌝"/utf8>>;

        <<"urcrop"/utf8>> ->
            <<"⌎"/utf8>>;

        <<"uring"/utf8>> ->
            <<"ů"/utf8>>;

        <<"urtri"/utf8>> ->
            <<"◹"/utf8>>;

        <<"uscr"/utf8>> ->
            <<"𝓊"/utf8>>;

        <<"utdot"/utf8>> ->
            <<"⋰"/utf8>>;

        <<"utilde"/utf8>> ->
            <<"ũ"/utf8>>;

        <<"utri"/utf8>> ->
            <<"▵"/utf8>>;

        <<"utrif"/utf8>> ->
            <<"▴"/utf8>>;

        <<"uuarr"/utf8>> ->
            <<"⇈"/utf8>>;

        <<"uuml"/utf8>> ->
            <<"ü"/utf8>>;

        <<"uwangle"/utf8>> ->
            <<"⦧"/utf8>>;

        <<"vArr"/utf8>> ->
            <<"⇕"/utf8>>;

        <<"vBar"/utf8>> ->
            <<"⫨"/utf8>>;

        <<"vBarv"/utf8>> ->
            <<"⫩"/utf8>>;

        <<"vDash"/utf8>> ->
            <<"⊨"/utf8>>;

        <<"vangrt"/utf8>> ->
            <<"⦜"/utf8>>;

        <<"varepsilon"/utf8>> ->
            <<"ϵ"/utf8>>;

        <<"varkappa"/utf8>> ->
            <<"ϰ"/utf8>>;

        <<"varnothing"/utf8>> ->
            <<"∅"/utf8>>;

        <<"varphi"/utf8>> ->
            <<"ϕ"/utf8>>;

        <<"varpi"/utf8>> ->
            <<"ϖ"/utf8>>;

        <<"varpropto"/utf8>> ->
            <<"∝"/utf8>>;

        <<"varr"/utf8>> ->
            <<"↕"/utf8>>;

        <<"varrho"/utf8>> ->
            <<"ϱ"/utf8>>;

        <<"varsigma"/utf8>> ->
            <<"ς"/utf8>>;

        <<"varsubsetneq"/utf8>> ->
            <<"⊊︀"/utf8>>;

        <<"varsubsetneqq"/utf8>> ->
            <<"⫋︀"/utf8>>;

        <<"varsupsetneq"/utf8>> ->
            <<"⊋︀"/utf8>>;

        <<"varsupsetneqq"/utf8>> ->
            <<"⫌︀"/utf8>>;

        <<"vartheta"/utf8>> ->
            <<"ϑ"/utf8>>;

        <<"vartriangleleft"/utf8>> ->
            <<"⊲"/utf8>>;

        <<"vartriangleright"/utf8>> ->
            <<"⊳"/utf8>>;

        <<"vcy"/utf8>> ->
            <<"в"/utf8>>;

        <<"vdash"/utf8>> ->
            <<"⊢"/utf8>>;

        <<"vee"/utf8>> ->
            <<"∨"/utf8>>;

        <<"veebar"/utf8>> ->
            <<"⊻"/utf8>>;

        <<"veeeq"/utf8>> ->
            <<"≚"/utf8>>;

        <<"vellip"/utf8>> ->
            <<"⋮"/utf8>>;

        <<"verbar"/utf8>> ->
            <<"|"/utf8>>;

        <<"vert"/utf8>> ->
            <<"|"/utf8>>;

        <<"vfr"/utf8>> ->
            <<"𝔳"/utf8>>;

        <<"vltri"/utf8>> ->
            <<"⊲"/utf8>>;

        <<"vnsub"/utf8>> ->
            <<"⊂⃒"/utf8>>;

        <<"vnsup"/utf8>> ->
            <<"⊃⃒"/utf8>>;

        <<"vopf"/utf8>> ->
            <<"𝕧"/utf8>>;

        <<"vprop"/utf8>> ->
            <<"∝"/utf8>>;

        <<"vrtri"/utf8>> ->
            <<"⊳"/utf8>>;

        <<"vscr"/utf8>> ->
            <<"𝓋"/utf8>>;

        <<"vsubnE"/utf8>> ->
            <<"⫋︀"/utf8>>;

        <<"vsubne"/utf8>> ->
            <<"⊊︀"/utf8>>;

        <<"vsupnE"/utf8>> ->
            <<"⫌︀"/utf8>>;

        <<"vsupne"/utf8>> ->
            <<"⊋︀"/utf8>>;

        <<"vzigzag"/utf8>> ->
            <<"⦚"/utf8>>;

        <<"wcirc"/utf8>> ->
            <<"ŵ"/utf8>>;

        <<"wedbar"/utf8>> ->
            <<"⩟"/utf8>>;

        <<"wedge"/utf8>> ->
            <<"∧"/utf8>>;

        <<"wedgeq"/utf8>> ->
            <<"≙"/utf8>>;

        <<"weierp"/utf8>> ->
            <<"℘"/utf8>>;

        <<"wfr"/utf8>> ->
            <<"𝔴"/utf8>>;

        <<"wopf"/utf8>> ->
            <<"𝕨"/utf8>>;

        <<"wp"/utf8>> ->
            <<"℘"/utf8>>;

        <<"wr"/utf8>> ->
            <<"≀"/utf8>>;

        <<"wreath"/utf8>> ->
            <<"≀"/utf8>>;

        <<"wscr"/utf8>> ->
            <<"𝓌"/utf8>>;

        <<"xcap"/utf8>> ->
            <<"⋂"/utf8>>;

        <<"xcirc"/utf8>> ->
            <<"◯"/utf8>>;

        <<"xcup"/utf8>> ->
            <<"⋃"/utf8>>;

        <<"xdtri"/utf8>> ->
            <<"▽"/utf8>>;

        <<"xfr"/utf8>> ->
            <<"𝔵"/utf8>>;

        <<"xhArr"/utf8>> ->
            <<"⟺"/utf8>>;

        <<"xharr"/utf8>> ->
            <<"⟷"/utf8>>;

        <<"xi"/utf8>> ->
            <<"ξ"/utf8>>;

        <<"xlArr"/utf8>> ->
            <<"⟸"/utf8>>;

        <<"xlarr"/utf8>> ->
            <<"⟵"/utf8>>;

        <<"xmap"/utf8>> ->
            <<"⟼"/utf8>>;

        <<"xnis"/utf8>> ->
            <<"⋻"/utf8>>;

        <<"xodot"/utf8>> ->
            <<"⨀"/utf8>>;

        <<"xopf"/utf8>> ->
            <<"𝕩"/utf8>>;

        <<"xoplus"/utf8>> ->
            <<"⨁"/utf8>>;

        <<"xotime"/utf8>> ->
            <<"⨂"/utf8>>;

        <<"xrArr"/utf8>> ->
            <<"⟹"/utf8>>;

        <<"xrarr"/utf8>> ->
            <<"⟶"/utf8>>;

        <<"xscr"/utf8>> ->
            <<"𝓍"/utf8>>;

        <<"xsqcup"/utf8>> ->
            <<"⨆"/utf8>>;

        <<"xuplus"/utf8>> ->
            <<"⨄"/utf8>>;

        <<"xutri"/utf8>> ->
            <<"△"/utf8>>;

        <<"xvee"/utf8>> ->
            <<"⋁"/utf8>>;

        <<"xwedge"/utf8>> ->
            <<"⋀"/utf8>>;

        <<"yacute"/utf8>> ->
            <<"ý"/utf8>>;

        <<"yacy"/utf8>> ->
            <<"я"/utf8>>;

        <<"ycirc"/utf8>> ->
            <<"ŷ"/utf8>>;

        <<"ycy"/utf8>> ->
            <<"ы"/utf8>>;

        <<"yen"/utf8>> ->
            <<"¥"/utf8>>;

        <<"yfr"/utf8>> ->
            <<"𝔶"/utf8>>;

        <<"yicy"/utf8>> ->
            <<"ї"/utf8>>;

        <<"yopf"/utf8>> ->
            <<"𝕪"/utf8>>;

        <<"yscr"/utf8>> ->
            <<"𝓎"/utf8>>;

        <<"yucy"/utf8>> ->
            <<"ю"/utf8>>;

        <<"yuml"/utf8>> ->
            <<"ÿ"/utf8>>;

        <<"zacute"/utf8>> ->
            <<"ź"/utf8>>;

        <<"zcaron"/utf8>> ->
            <<"ž"/utf8>>;

        <<"zcy"/utf8>> ->
            <<"з"/utf8>>;

        <<"zdot"/utf8>> ->
            <<"ż"/utf8>>;

        <<"zeetrf"/utf8>> ->
            <<"ℨ"/utf8>>;

        <<"zeta"/utf8>> ->
            <<"ζ"/utf8>>;

        <<"zfr"/utf8>> ->
            <<"𝔷"/utf8>>;

        <<"zhcy"/utf8>> ->
            <<"ж"/utf8>>;

        <<"zigrarr"/utf8>> ->
            <<"⇝"/utf8>>;

        <<"zopf"/utf8>> ->
            <<"𝕫"/utf8>>;

        <<"zscr"/utf8>> ->
            <<"𝓏"/utf8>>;

        <<"zwj"/utf8>> ->
            <<"‍"/utf8>>;

        <<"zwnj"/utf8>> ->
            <<"‌"/utf8>>;

        Other ->
            <<<<"&"/utf8, Other/binary>>/binary, ";"/utf8>>
    end.

-file("/Users/nicd/svn/glentities/src/glentities/decoder.gleam", 116).
-spec decode_entity(binary()) -> binary().
decode_entity(Entity) ->
    case Entity of
        <<"#x"/utf8, Rest/binary>> ->
            decode_hex(Rest);

        <<"#"/utf8, Rest@1/binary>> ->
            decode_dec(Rest@1);

        Other ->
            decode_named(Other)
    end.

-file("/Users/nicd/svn/glentities/src/glentities/decoder.gleam", 19).
-spec decode_text_entity(
    list(binary()),
    gleam@string_tree:string_tree(),
    gleam@string_tree:string_tree()
) -> gleam@string_tree:string_tree().
decode_text_entity(Text, Acc, Current_entity) ->
    case Text of
        [] ->
            _pipe = Acc,
            _pipe@1 = gleam@string_tree:append(_pipe, <<"&"/utf8>>),
            gleam_stdlib:iodata_append(_pipe@1, Current_entity);

        [<<";"/utf8>> | Rest] ->
            Entity = unicode:characters_to_binary(Current_entity),
            Acc@1 = gleam@string_tree:append(Acc, decode_entity(Entity)),
            decode_text_normal(Rest, Acc@1);

        [Other | Rest@1] ->
            case Other of
                <<"a"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"b"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"c"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"d"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"e"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"f"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"g"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"h"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"i"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"j"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"k"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"l"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"m"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"n"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"o"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"p"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"q"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"r"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"s"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"t"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"u"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"v"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"w"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"x"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"y"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"z"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"A"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"B"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"C"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"D"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"E"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"F"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"G"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"H"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"I"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"J"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"K"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"L"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"M"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"N"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"O"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"P"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"Q"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"R"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"S"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"T"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"U"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"V"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"W"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"X"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"Y"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"Z"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"0"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"1"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"2"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"3"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"4"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"5"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"6"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"7"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"8"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"9"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                <<"#"/utf8>> ->
                    decode_text_entity(
                        Rest@1,
                        Acc,
                        gleam@string_tree:append(Current_entity, Other)
                    );

                _ ->
                    Acc@2 = begin
                        _pipe@2 = Acc,
                        _pipe@3 = gleam@string_tree:append(
                            _pipe@2,
                            <<"&"/utf8>>
                        ),
                        gleam_stdlib:iodata_append(_pipe@3, Current_entity)
                    end,
                    decode_text_normal([Other | Rest@1], Acc@2)
            end
    end.

-file("/Users/nicd/svn/glentities/src/glentities/decoder.gleam", 11).
-spec decode_text_normal(list(binary()), gleam@string_tree:string_tree()) -> gleam@string_tree:string_tree().
decode_text_normal(Text, Acc) ->
    case Text of
        [] ->
            Acc;

        [<<"&"/utf8>> | Rest] ->
            decode_text_entity(Rest, Acc, gleam@string_tree:new());

        [Other | Rest@1] ->
            decode_text_normal(Rest@1, gleam@string_tree:append(Acc, Other))
    end.

-file("/Users/nicd/svn/glentities/src/glentities/decoder.gleam", 6).
-spec decode(binary()) -> binary().
decode(Text) ->
    _pipe = decode_text_normal(
        gleam@string:to_graphemes(Text),
        gleam@string_tree:new()
    ),
    unicode:characters_to_binary(_pipe).