{-# OPTIONS_GHC -O0 -fno-case-merge -fno-strictness -fno-cse #-}
{-# LANGUAGE CPP                         #-}
{-# LANGUAGE OverloadedStrings           #-}

module Text.XmlHtml.HTML.Meta
  ( voidTags
  , rawTextTags
  , isRawText
  , endOmittableLast
  , endOmittableNext
  , explicitAttributes
  , predefinedRefs
  , reversePredefinedRefs
  ) where

#if !MIN_VERSION_base(4,8,0)
import           Data.Monoid
#endif
import           Data.HashMap.Strict (HashMap)
import qualified Data.HashMap.Strict as M
import           Data.HashSet (HashSet)
import qualified Data.HashSet as S
import           Data.Map (Map)
import qualified Data.Map as Map
import           Data.Text (Text)

------------------------------------------------------------------------------
-- Metadata used for HTML5 quirks mode.                                     --
------------------------------------------------------------------------------

------------------------------------------------------------------------------
-- | Void elements as defined by the HTML5 spec.
{-# NOINLINE voidTags #-}
voidTags :: HashSet Text
voidTags :: HashSet Text
voidTags = [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [
    Text
"area", Text
"base", Text
"br", Text
"col", Text
"command", Text
"embed", Text
"hr", Text
"img", Text
"input",
    Text
"keygen", Text
"link", Text
"meta", Text
"param", Text
"source", Text
"track", Text
"wbr"
    ]

------------------------------------------------------------------------------
-- | Elements that XmlHtml treats as raw text by default.  Raw text elements
-- are not allowed to have any other tags in them.  This is necessary to
-- support the Javascript less than operator inside a script tag, for example.
--
-- The library uses the 'isRawText' function everywhere instead of checking
-- this set directly because that gives us an escape hatch to avoid the
-- default behavior if necessary.
{-# NOINLINE rawTextTags #-}
rawTextTags :: HashSet Text
rawTextTags :: HashSet Text
rawTextTags = [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [ Text
"script", Text
"style" ]

------------------------------------------------------------------------------
-- | Determine whether a tag should be treated as raw text.  Raw text elements
-- are not allowed to have any other tags in them.  This is necessary to
-- support the Javascript less than operator inside a script tag, for example.
--
-- If a tag is in the 'rawTextTags' set, this function allows you to override
-- that behavior by adding the @xmlhtmlNotRaw@ attribute.  Conversely, if a
-- tag is not in the 'rawTextTags' set, this function allows you to override
-- that by adding the @xmlhtmlRaw@ attribute to the tag.
--
-- This is the function that is actually used in the parser and renderer.
-- 'rawTextTags' is not used any more, but is still provided for backwards
-- compatibility and to let you see which tags are treated as raw by default.
{-# NOINLINE isRawText #-}
isRawText :: Text -> [(Text, Text)] -> Bool
isRawText :: Text -> [(Text, Text)] -> Bool
isRawText Text
tag [(Text, Text)]
as =
  if Text
tag Text -> HashSet Text -> Bool
forall a. (Eq a, Hashable a) => a -> HashSet a -> Bool
`S.member` HashSet Text
rawTextTags
    then (Text
"xmlhtmlNotRaw", Text
"") (Text, Text) -> [(Text, Text)] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`notElem` [(Text, Text)]
as
    else (Text
"xmlhtmlRaw", Text
"") (Text, Text) -> [(Text, Text)] -> Bool
forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`elem` [(Text, Text)]
as

------------------------------------------------------------------------------
-- | List of elements with omittable end tags.
{-# NOINLINE endOmittableLast #-}
endOmittableLast :: HashSet Text
endOmittableLast :: HashSet Text
endOmittableLast = [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [

    -- Tags which can be implicitly ended in case they are the last element in
    -- their parent.  This list actually includes all of the elements that
    -- have any kind of omittable end tag, since in general when an element
    -- with an omittable end tag isn't specified to be omittable in this way,
    -- it's just because in a complete document it isn't expected to ever be
    -- the last thing in its parent.  We aren't interested in enforcing
    -- element structure rules, so we'll allow it anyway.

    Text
"body", Text
"colgroup", Text
"dd", Text
"dt", Text
"head", Text
"html", Text
"li", Text
"optgroup",
    Text
"option", Text
"p", Text
"rp", Text
"rt", Text
"tbody", Text
"td", Text
"tfoot", Text
"th", Text
"thead", Text
"tr"
    ]

------------------------------------------------------------------------------
-- | Tags which should be considered automatically ended in case one of a
-- certain set of tags pops up.
{-# NOINLINE endOmittableNext #-}
endOmittableNext :: HashMap Text (HashSet Text)
endOmittableNext :: HashMap Text (HashSet Text)
endOmittableNext = [(Text, HashSet Text)] -> HashMap Text (HashSet Text)
forall k v. (Eq k, Hashable k) => [(k, v)] -> HashMap k v
M.fromList [
    (Text
"colgroup", [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"caption", Text
"colgroup", Text
"tbody",
                             Text
"thead", Text
"tfoot", Text
"tr"]),
    (Text
"dd",       [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"dd", Text
"dt"]),
    (Text
"dt",       [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"dd", Text
"dt"]),
    (Text
"head",     [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"body"]),
    (Text
"li",       [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"li"]),
    (Text
"optgroup", [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"optgroup"]),
    (Text
"option",   [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"optgroup", Text
"option"]),
    (Text
"p",        [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"address", Text
"article", Text
"aside", Text
"blockquote",
                             Text
"dir", Text
"div", Text
"dl", Text
"fieldset", Text
"footer",
                             Text
"form", Text
"h1", Text
"h2", Text
"h3", Text
"h4", Text
"h5", Text
"h6",
                             Text
"header", Text
"hgroup", Text
"hr", Text
"menu", Text
"nav", Text
"ol",
                             Text
"p", Text
"pre", Text
"section", Text
"table", Text
"ul"]),
    (Text
"rp",       [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"rp", Text
"rt"]),
    (Text
"rt",       [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"rp", Text
"rt"]),
    (Text
"tbody",    [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"tbody", Text
"tfoot", Text
"thead"]),
    (Text
"td",       [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"td", Text
"th"]),
    (Text
"tfoot",    [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"tbody", Text
"tfoot", Text
"thead"]),
    (Text
"th",       [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"td", Text
"th"]),
    (Text
"thead",    [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"tbody", Text
"tfoot", Text
"thead"]),
    (Text
"tr",       [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"tr"])
    ]

------------------------------------------------------------------------------
-- | Tags and attributes which should always be rendered with an explicit
-- value, even when the value is empty.  This is required by some web browsers
-- for tags that are typically non-empty.
{-# NOINLINE explicitAttributes #-}
explicitAttributes :: HashMap Text (HashSet Text)
explicitAttributes :: HashMap Text (HashSet Text)
explicitAttributes = [(Text, HashSet Text)] -> HashMap Text (HashSet Text)
forall k v. (Eq k, Hashable k) => [(k, v)] -> HashMap k v
M.fromList [
    (Text
"a", [Text] -> HashSet Text
forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"href"])
    ]

------------------------------------------------------------------------------
-- | Predefined character entity references as defined by the HTML5 spec.
{-# NOINLINE predefinedRefs #-}
predefinedRefs :: Map Text Text
predefinedRefs :: Map Text Text
predefinedRefs = [Map Text Text] -> Map Text Text
forall a. Monoid a => [a] -> a
mconcat ([Map Text Text] -> Map Text Text)
-> [Map Text Text] -> Map Text Text
forall a b. (a -> b) -> a -> b
$ ([(Text, Text)] -> Map Text Text)
-> [[(Text, Text)]] -> [Map Text Text]
forall a b. (a -> b) -> [a] -> [b]
map [(Text, Text)] -> Map Text Text
forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList [
      [(Text, Text)]
reftab1
    , [(Text, Text)]
reftab2
    , [(Text, Text)]
reftab3
    , [(Text, Text)]
reftab4
    , [(Text, Text)]
reftab5
    , [(Text, Text)]
reftab6
    , [(Text, Text)]
reftab7
    , [(Text, Text)]
reftab8
    , [(Text, Text)]
reftab9
    , [(Text, Text)]
reftab10
    , [(Text, Text)]
reftab11
    , [(Text, Text)]
reftab12
    , [(Text, Text)]
reftab13
    , [(Text, Text)]
reftab14
    , [(Text, Text)]
reftab15
    , [(Text, Text)]
reftab16
    , [(Text, Text)]
reftab17
    , [(Text, Text)]
reftab18
    , [(Text, Text)]
reftab19
    , [(Text, Text)]
reftab20
    , [(Text, Text)]
reftab21
    , [(Text, Text)]
reftab22
    , [(Text, Text)]
reftab23
    , [(Text, Text)]
reftab24
    , [(Text, Text)]
reftab25
    , [(Text, Text)]
reftab26
    , [(Text, Text)]
reftab27
    , [(Text, Text)]
reftab28
    , [(Text, Text)]
reftab29
    , [(Text, Text)]
reftab30
    , [(Text, Text)]
reftab31
    , [(Text, Text)]
reftab32
    , [(Text, Text)]
reftab33
    , [(Text, Text)]
reftab34
    , [(Text, Text)]
reftab35
    , [(Text, Text)]
reftab36
    , [(Text, Text)]
reftab37
    , [(Text, Text)]
reftab38
    , [(Text, Text)]
reftab39
    , [(Text, Text)]
reftab40
    , [(Text, Text)]
reftab41
    , [(Text, Text)]
reftab42
    , [(Text, Text)]
reftab43
    , [(Text, Text)]
reftab44
    , [(Text, Text)]
reftab45
    , [(Text, Text)]
reftab46
    , [(Text, Text)]
reftab47
    , [(Text, Text)]
reftab48
    , [(Text, Text)]
reftab49
    , [(Text, Text)]
reftab50
    , [(Text, Text)]
reftab51
    , [(Text, Text)]
reftab52
    , [(Text, Text)]
reftab53
    , [(Text, Text)]
reftab54
    , [(Text, Text)]
reftab55
    , [(Text, Text)]
reftab56
    , [(Text, Text)]
reftab57
    , [(Text, Text)]
reftab58 ]


{-# NOINLINE reftab1 #-}
reftab1 :: [(Text,Text)]
reftab1 :: [(Text, Text)]
reftab1 =
  [ (Text
"AElig", Text
"\x000C6"),
    (Text
"AMP", Text
"\x00026"),
    (Text
"Aacute", Text
"\x000C1"),
    (Text
"Abreve", Text
"\x00102"),
    (Text
"Acirc", Text
"\x000C2"),
    (Text
"Acy", Text
"\x00410"),
    (Text
"Afr", Text
"\x1D504"),
    (Text
"Agrave", Text
"\x000C0"),
    (Text
"Alpha", Text
"\x00391"),
    (Text
"Amacr", Text
"\x00100"),
    (Text
"And", Text
"\x02A53"),
    (Text
"Aogon", Text
"\x00104"),
    (Text
"Aopf", Text
"\x1D538"),
    (Text
"ApplyFunction", Text
"\x02061"),
    (Text
"Aring", Text
"\x000C5"),
    (Text
"Ascr", Text
"\x1D49C"),
    (Text
"Assign", Text
"\x02254"),
    (Text
"Atilde", Text
"\x000C3"),
    (Text
"Auml", Text
"\x000C4"),
    (Text
"Backslash", Text
"\x02216"),
    (Text
"Barv", Text
"\x02AE7"),
    (Text
"Barwed", Text
"\x02306"),
    (Text
"Bcy", Text
"\x00411"),
    (Text
"Because", Text
"\x02235"),
    (Text
"Bernoullis", Text
"\x0212C"),
    (Text
"Beta", Text
"\x00392"),
    (Text
"Bfr", Text
"\x1D505"),
    (Text
"Bopf", Text
"\x1D539"),
    (Text
"Breve", Text
"\x002D8"),
    (Text
"Bscr", Text
"\x0212C"),
    (Text
"Bumpeq", Text
"\x0224E"),
    (Text
"CHcy", Text
"\x00427"),
    (Text
"COPY", Text
"\x000A9"),
    (Text
"Cacute", Text
"\x00106"),
    (Text
"Cap", Text
"\x022D2"),
    (Text
"CapitalDifferentialD", Text
"\x02145"),
    (Text
"Cayleys", Text
"\x0212D") ]

{-# NOINLINE reftab2 #-}
reftab2 :: [(Text,Text)]
reftab2 :: [(Text, Text)]
reftab2 =
  [ (Text
"Ccaron", Text
"\x0010C"),
    (Text
"Ccedil", Text
"\x000C7"),
    (Text
"Ccirc", Text
"\x00108"),
    (Text
"Cconint", Text
"\x02230"),
    (Text
"Cdot", Text
"\x0010A"),
    (Text
"Cedilla", Text
"\x000B8"),
    (Text
"CenterDot", Text
"\x000B7"),
    (Text
"Cfr", Text
"\x0212D"),
    (Text
"Chi", Text
"\x003A7"),
    (Text
"CircleDot", Text
"\x02299"),
    (Text
"CircleMinus", Text
"\x02296"),
    (Text
"CirclePlus", Text
"\x02295"),
    (Text
"CircleTimes", Text
"\x02297"),
    (Text
"ClockwiseContourIntegral", Text
"\x02232"),
    (Text
"CloseCurlyDoubleQuote", Text
"\x0201D"),
    (Text
"CloseCurlyQuote", Text
"\x02019"),
    (Text
"Colon", Text
"\x02237"),
    (Text
"Colone", Text
"\x02A74"),
    (Text
"Congruent", Text
"\x02261"),
    (Text
"Conint", Text
"\x0222F"),
    (Text
"ContourIntegral", Text
"\x0222E"),
    (Text
"Copf", Text
"\x02102"),
    (Text
"Coproduct", Text
"\x02210"),
    (Text
"CounterClockwiseContourIntegral", Text
"\x02233"),
    (Text
"Cross", Text
"\x02A2F"),
    (Text
"Cscr", Text
"\x1D49E"),
    (Text
"Cup", Text
"\x022D3"),
    (Text
"CupCap", Text
"\x0224D"),
    (Text
"DD", Text
"\x02145"),
    (Text
"DDotrahd", Text
"\x02911"),
    (Text
"DJcy", Text
"\x00402"),
    (Text
"DScy", Text
"\x00405"),
    (Text
"DZcy", Text
"\x0040F"),
    (Text
"Dagger", Text
"\x02021"),
    (Text
"Darr", Text
"\x021A1"),
    (Text
"Dashv", Text
"\x02AE4"),
    (Text
"Dcaron", Text
"\x0010E") ]

{-# NOINLINE reftab3 #-}
reftab3 :: [(Text,Text)]
reftab3 :: [(Text, Text)]
reftab3 =
  [ (Text
"Dcy", Text
"\x00414"),
    (Text
"Del", Text
"\x02207"),
    (Text
"Delta", Text
"\x00394"),
    (Text
"Dfr", Text
"\x1D507"),
    (Text
"DiacriticalAcute", Text
"\x000B4"),
    (Text
"DiacriticalDot", Text
"\x002D9"),
    (Text
"DiacriticalDoubleAcute", Text
"\x002DD"),
    (Text
"DiacriticalGrave", Text
"\x00060"),
    (Text
"DiacriticalTilde", Text
"\x002DC"),
    (Text
"Diamond", Text
"\x022C4"),
    (Text
"DifferentialD", Text
"\x02146"),
    (Text
"Dopf", Text
"\x1D53B"),
    (Text
"Dot", Text
"\x000A8"),
    (Text
"DotDot", Text
"\x020DC"),
    (Text
"DotEqual", Text
"\x02250"),
    (Text
"DoubleContourIntegral", Text
"\x0222F"),
    (Text
"DoubleDot", Text
"\x000A8"),
    (Text
"DoubleDownArrow", Text
"\x021D3"),
    (Text
"DoubleLeftArrow", Text
"\x021D0"),
    (Text
"DoubleLeftRightArrow", Text
"\x021D4"),
    (Text
"DoubleLeftTee", Text
"\x02AE4"),
    (Text
"DoubleLongLeftArrow", Text
"\x027F8"),
    (Text
"DoubleLongLeftRightArrow", Text
"\x027FA"),
    (Text
"DoubleLongRightArrow", Text
"\x027F9"),
    (Text
"DoubleRightArrow", Text
"\x021D2"),
    (Text
"DoubleRightTee", Text
"\x022A8"),
    (Text
"DoubleUpArrow", Text
"\x021D1"),
    (Text
"DoubleUpDownArrow", Text
"\x021D5"),
    (Text
"DoubleVerticalBar", Text
"\x02225"),
    (Text
"DownArrow", Text
"\x02193"),
    (Text
"DownArrowBar", Text
"\x02913"),
    (Text
"DownArrowUpArrow", Text
"\x021F5"),
    (Text
"DownBreve", Text
"\x00311"),
    (Text
"DownLeftRightVector", Text
"\x02950"),
    (Text
"DownLeftTeeVector", Text
"\x0295E"),
    (Text
"DownLeftVector", Text
"\x021BD"),
    (Text
"DownLeftVectorBar", Text
"\x02956") ]

{-# NOINLINE reftab4 #-}
reftab4 :: [(Text,Text)]
reftab4 :: [(Text, Text)]
reftab4 =
  [ (Text
"DownRightTeeVector", Text
"\x0295F"),
    (Text
"DownRightVector", Text
"\x021C1"),
    (Text
"DownRightVectorBar", Text
"\x02957"),
    (Text
"DownTee", Text
"\x022A4"),
    (Text
"DownTeeArrow", Text
"\x021A7"),
    (Text
"Downarrow", Text
"\x021D3"),
    (Text
"Dscr", Text
"\x1D49F"),
    (Text
"Dstrok", Text
"\x00110"),
    (Text
"ENG", Text
"\x0014A"),
    (Text
"ETH", Text
"\x000D0"),
    (Text
"Eacute", Text
"\x000C9"),
    (Text
"Ecaron", Text
"\x0011A"),
    (Text
"Ecirc", Text
"\x000CA"),
    (Text
"Ecy", Text
"\x0042D"),
    (Text
"Edot", Text
"\x00116"),
    (Text
"Efr", Text
"\x1D508"),
    (Text
"Egrave", Text
"\x000C8"),
    (Text
"Element", Text
"\x02208"),
    (Text
"Emacr", Text
"\x00112"),
    (Text
"EmptySmallSquare", Text
"\x025FB"),
    (Text
"EmptyVerySmallSquare", Text
"\x025AB"),
    (Text
"Eogon", Text
"\x00118"),
    (Text
"Eopf", Text
"\x1D53C"),
    (Text
"Epsilon", Text
"\x00395"),
    (Text
"Equal", Text
"\x02A75"),
    (Text
"EqualTilde", Text
"\x02242"),
    (Text
"Equilibrium", Text
"\x021CC"),
    (Text
"Escr", Text
"\x02130"),
    (Text
"Esim", Text
"\x02A73"),
    (Text
"Eta", Text
"\x00397"),
    (Text
"Euml", Text
"\x000CB"),
    (Text
"Exists", Text
"\x02203"),
    (Text
"ExponentialE", Text
"\x02147"),
    (Text
"Fcy", Text
"\x00424"),
    (Text
"Ffr", Text
"\x1D509"),
    (Text
"FilledSmallSquare", Text
"\x025FC"),
    (Text
"FilledVerySmallSquare", Text
"\x025AA") ]

{-# NOINLINE reftab5 #-}
reftab5 :: [(Text,Text)]
reftab5 :: [(Text, Text)]
reftab5 =
  [ (Text
"Fopf", Text
"\x1D53D"),
    (Text
"ForAll", Text
"\x02200"),
    (Text
"Fouriertrf", Text
"\x02131"),
    (Text
"Fscr", Text
"\x02131"),
    (Text
"GJcy", Text
"\x00403"),
    (Text
"GT", Text
"\x0003E"),
    (Text
"Gamma", Text
"\x00393"),
    (Text
"Gammad", Text
"\x003DC"),
    (Text
"Gbreve", Text
"\x0011E"),
    (Text
"Gcedil", Text
"\x00122"),
    (Text
"Gcirc", Text
"\x0011C"),
    (Text
"Gcy", Text
"\x00413"),
    (Text
"Gdot", Text
"\x00120"),
    (Text
"Gfr", Text
"\x1D50A"),
    (Text
"Gg", Text
"\x022D9"),
    (Text
"Gopf", Text
"\x1D53E"),
    (Text
"GreaterEqual", Text
"\x02265"),
    (Text
"GreaterEqualLess", Text
"\x022DB"),
    (Text
"GreaterFullEqual", Text
"\x02267"),
    (Text
"GreaterGreater", Text
"\x02AA2"),
    (Text
"GreaterLess", Text
"\x02277"),
    (Text
"GreaterSlantEqual", Text
"\x02A7E"),
    (Text
"GreaterTilde", Text
"\x02273"),
    (Text
"Gscr", Text
"\x1D4A2"),
    (Text
"Gt", Text
"\x0226B"),
    (Text
"HARDcy", Text
"\x0042A"),
    (Text
"Hacek", Text
"\x002C7"),
    (Text
"Hat", Text
"\x0005E"),
    (Text
"Hcirc", Text
"\x00124"),
    (Text
"Hfr", Text
"\x0210C"),
    (Text
"HilbertSpace", Text
"\x0210B"),
    (Text
"Hopf", Text
"\x0210D"),
    (Text
"HorizontalLine", Text
"\x02500"),
    (Text
"Hscr", Text
"\x0210B"),
    (Text
"Hstrok", Text
"\x00126"),
    (Text
"HumpDownHump", Text
"\x0224E"),
    (Text
"HumpEqual", Text
"\x0224F") ]

{-# NOINLINE reftab6 #-}
reftab6 :: [(Text,Text)]
reftab6 :: [(Text, Text)]
reftab6 =
  [ (Text
"IEcy", Text
"\x00415"),
    (Text
"IJlig", Text
"\x00132"),
    (Text
"IOcy", Text
"\x00401"),
    (Text
"Iacute", Text
"\x000CD"),
    (Text
"Icirc", Text
"\x000CE"),
    (Text
"Icy", Text
"\x00418"),
    (Text
"Idot", Text
"\x00130"),
    (Text
"Ifr", Text
"\x02111"),
    (Text
"Igrave", Text
"\x000CC"),
    (Text
"Im", Text
"\x02111"),
    (Text
"Imacr", Text
"\x0012A"),
    (Text
"ImaginaryI", Text
"\x02148"),
    (Text
"Implies", Text
"\x021D2"),
    (Text
"Int", Text
"\x0222C"),
    (Text
"Integral", Text
"\x0222B"),
    (Text
"Intersection", Text
"\x022C2"),
    (Text
"InvisibleComma", Text
"\x02063"),
    (Text
"InvisibleTimes", Text
"\x02062"),
    (Text
"Iogon", Text
"\x0012E"),
    (Text
"Iopf", Text
"\x1D540"),
    (Text
"Iota", Text
"\x00399"),
    (Text
"Iscr", Text
"\x02110"),
    (Text
"Itilde", Text
"\x00128"),
    (Text
"Iukcy", Text
"\x00406"),
    (Text
"Iuml", Text
"\x000CF"),
    (Text
"Jcirc", Text
"\x00134"),
    (Text
"Jcy", Text
"\x00419"),
    (Text
"Jfr", Text
"\x1D50D"),
    (Text
"Jopf", Text
"\x1D541"),
    (Text
"Jscr", Text
"\x1D4A5"),
    (Text
"Jsercy", Text
"\x00408"),
    (Text
"Jukcy", Text
"\x00404"),
    (Text
"KHcy", Text
"\x00425"),
    (Text
"KJcy", Text
"\x0040C"),
    (Text
"Kappa", Text
"\x0039A"),
    (Text
"Kcedil", Text
"\x00136"),
    (Text
"Kcy", Text
"\x0041A") ]

{-# NOINLINE reftab7 #-}
reftab7 :: [(Text,Text)]
reftab7 :: [(Text, Text)]
reftab7 =
  [ (Text
"Kfr", Text
"\x1D50E"),
    (Text
"Kopf", Text
"\x1D542"),
    (Text
"Kscr", Text
"\x1D4A6"),
    (Text
"LJcy", Text
"\x00409"),
    (Text
"LT", Text
"\x0003C"),
    (Text
"Lacute", Text
"\x00139"),
    (Text
"Lambda", Text
"\x0039B"),
    (Text
"Lang", Text
"\x027EA"),
    (Text
"Laplacetrf", Text
"\x02112"),
    (Text
"Larr", Text
"\x0219E"),
    (Text
"Lcaron", Text
"\x0013D"),
    (Text
"Lcedil", Text
"\x0013B"),
    (Text
"Lcy", Text
"\x0041B"),
    (Text
"LeftAngleBracket", Text
"\x027E8"),
    (Text
"LeftArrow", Text
"\x02190"),
    (Text
"LeftArrowBar", Text
"\x021E4"),
    (Text
"LeftArrowRightArrow", Text
"\x021C6"),
    (Text
"LeftCeiling", Text
"\x02308"),
    (Text
"LeftDoubleBracket", Text
"\x027E6"),
    (Text
"LeftDownTeeVector", Text
"\x02961"),
    (Text
"LeftDownVector", Text
"\x021C3"),
    (Text
"LeftDownVectorBar", Text
"\x02959"),
    (Text
"LeftFloor", Text
"\x0230A"),
    (Text
"LeftRightArrow", Text
"\x02194"),
    (Text
"LeftRightVector", Text
"\x0294E"),
    (Text
"LeftTee", Text
"\x022A3"),
    (Text
"LeftTeeArrow", Text
"\x021A4"),
    (Text
"LeftTeeVector", Text
"\x0295A"),
    (Text
"LeftTriangle", Text
"\x022B2"),
    (Text
"LeftTriangleBar", Text
"\x029CF"),
    (Text
"LeftTriangleEqual", Text
"\x022B4"),
    (Text
"LeftUpDownVector", Text
"\x02951"),
    (Text
"LeftUpTeeVector", Text
"\x02960"),
    (Text
"LeftUpVector", Text
"\x021BF"),
    (Text
"LeftUpVectorBar", Text
"\x02958"),
    (Text
"LeftVector", Text
"\x021BC"),
    (Text
"LeftVectorBar", Text
"\x02952") ]

{-# NOINLINE reftab8 #-}
reftab8 :: [(Text,Text)]
reftab8 :: [(Text, Text)]
reftab8 =
  [ (Text
"Leftarrow", Text
"\x021D0"),
    (Text
"Leftrightarrow", Text
"\x021D4"),
    (Text
"LessEqualGreater", Text
"\x022DA"),
    (Text
"LessFullEqual", Text
"\x02266"),
    (Text
"LessGreater", Text
"\x02276"),
    (Text
"LessLess", Text
"\x02AA1"),
    (Text
"LessSlantEqual", Text
"\x02A7D"),
    (Text
"LessTilde", Text
"\x02272"),
    (Text
"Lfr", Text
"\x1D50F"),
    (Text
"Ll", Text
"\x022D8"),
    (Text
"Lleftarrow", Text
"\x021DA"),
    (Text
"Lmidot", Text
"\x0013F"),
    (Text
"LongLeftArrow", Text
"\x027F5"),
    (Text
"LongLeftRightArrow", Text
"\x027F7"),
    (Text
"LongRightArrow", Text
"\x027F6"),
    (Text
"Longleftarrow", Text
"\x027F8"),
    (Text
"Longleftrightarrow", Text
"\x027FA"),
    (Text
"Longrightarrow", Text
"\x027F9"),
    (Text
"Lopf", Text
"\x1D543"),
    (Text
"LowerLeftArrow", Text
"\x02199"),
    (Text
"LowerRightArrow", Text
"\x02198"),
    (Text
"Lscr", Text
"\x02112"),
    (Text
"Lsh", Text
"\x021B0"),
    (Text
"Lstrok", Text
"\x00141"),
    (Text
"Lt", Text
"\x0226A"),
    (Text
"Map", Text
"\x02905"),
    (Text
"Mcy", Text
"\x0041C"),
    (Text
"MediumSpace", Text
"\x0205F"),
    (Text
"Mellintrf", Text
"\x02133"),
    (Text
"Mfr", Text
"\x1D510"),
    (Text
"MinusPlus", Text
"\x02213"),
    (Text
"Mopf", Text
"\x1D544"),
    (Text
"Mscr", Text
"\x02133"),
    (Text
"Mu", Text
"\x0039C"),
    (Text
"NJcy", Text
"\x0040A"),
    (Text
"Nacute", Text
"\x00143"),
    (Text
"Ncaron", Text
"\x00147") ]

{-# NOINLINE reftab9 #-}
reftab9 :: [(Text,Text)]
reftab9 :: [(Text, Text)]
reftab9 =
  [ (Text
"Ncedil", Text
"\x00145"),
    (Text
"Ncy", Text
"\x0041D"),
    (Text
"NegativeMediumSpace", Text
"\x0200B"),
    (Text
"NegativeThickSpace", Text
"\x0200B"),
    (Text
"NegativeThinSpace", Text
"\x0200B"),
    (Text
"NegativeVeryThinSpace", Text
"\x0200B"),
    (Text
"NestedGreaterGreater", Text
"\x0226B"),
    (Text
"NestedLessLess", Text
"\x0226A"),
    (Text
"NewLine", Text
"\x0000A"),
    (Text
"Nfr", Text
"\x1D511"),
    (Text
"NoBreak", Text
"\x02060"),
    (Text
"NonBreakingSpace", Text
"\x000A0"),
    (Text
"Nopf", Text
"\x02115"),
    (Text
"Not", Text
"\x02AEC"),
    (Text
"NotCongruent", Text
"\x02262"),
    (Text
"NotCupCap", Text
"\x0226D"),
    (Text
"NotDoubleVerticalBar", Text
"\x02226"),
    (Text
"NotElement", Text
"\x02209"),
    (Text
"NotEqual", Text
"\x02260"),
    (Text
"NotEqualTilde", Text
"\x02242\x00338"),
    (Text
"NotExists", Text
"\x02204"),
    (Text
"NotGreater", Text
"\x0226F"),
    (Text
"NotGreaterEqual", Text
"\x02271"),
    (Text
"NotGreaterFullEqual", Text
"\x02267\x00338"),
    (Text
"NotGreaterGreater", Text
"\x0226B\x00338"),
    (Text
"NotGreaterLess", Text
"\x02279"),
    (Text
"NotGreaterSlantEqual", Text
"\x02A7E\x00338"),
    (Text
"NotGreaterTilde", Text
"\x02275"),
    (Text
"NotHumpDownHump", Text
"\x0224E\x00338"),
    (Text
"NotHumpEqual", Text
"\x0224F\x00338"),
    (Text
"NotLeftTriangle", Text
"\x022EA"),
    (Text
"NotLeftTriangleBar", Text
"\x029CF\x00338"),
    (Text
"NotLeftTriangleEqual", Text
"\x022EC"),
    (Text
"NotLess", Text
"\x0226E"),
    (Text
"NotLessEqual", Text
"\x02270"),
    (Text
"NotLessGreater", Text
"\x02278"),
    (Text
"NotLessLess", Text
"\x0226A\x00338") ]

{-# NOINLINE reftab10 #-}
reftab10 :: [(Text,Text)]
reftab10 :: [(Text, Text)]
reftab10 =
  [ (Text
"NotLessSlantEqual", Text
"\x02A7D\x00338"),
    (Text
"NotLessTilde", Text
"\x02274"),
    (Text
"NotNestedGreaterGreater", Text
"\x02AA2\x00338"),
    (Text
"NotNestedLessLess", Text
"\x02AA1\x00338"),
    (Text
"NotPrecedes", Text
"\x02280"),
    (Text
"NotPrecedesEqual", Text
"\x02AAF\x00338"),
    (Text
"NotPrecedesSlantEqual", Text
"\x022E0"),
    (Text
"NotReverseElement", Text
"\x0220C"),
    (Text
"NotRightTriangle", Text
"\x022EB"),
    (Text
"NotRightTriangleBar", Text
"\x029D0\x00338"),
    (Text
"NotRightTriangleEqual", Text
"\x022ED"),
    (Text
"NotSquareSubset", Text
"\x0228F\x00338"),
    (Text
"NotSquareSubsetEqual", Text
"\x022E2"),
    (Text
"NotSquareSuperset", Text
"\x02290\x00338"),
    (Text
"NotSquareSupersetEqual", Text
"\x022E3"),
    (Text
"NotSubset", Text
"\x02282\x020D2"),
    (Text
"NotSubsetEqual", Text
"\x02288"),
    (Text
"NotSucceeds", Text
"\x02281"),
    (Text
"NotSucceedsEqual", Text
"\x02AB0\x00338"),
    (Text
"NotSucceedsSlantEqual", Text
"\x022E1"),
    (Text
"NotSucceedsTilde", Text
"\x0227F\x00338"),
    (Text
"NotSuperset", Text
"\x02283\x020D2"),
    (Text
"NotSupersetEqual", Text
"\x02289"),
    (Text
"NotTilde", Text
"\x02241"),
    (Text
"NotTildeEqual", Text
"\x02244"),
    (Text
"NotTildeFullEqual", Text
"\x02247"),
    (Text
"NotTildeTilde", Text
"\x02249"),
    (Text
"NotVerticalBar", Text
"\x02224"),
    (Text
"Nscr", Text
"\x1D4A9"),
    (Text
"Ntilde", Text
"\x000D1"),
    (Text
"Nu", Text
"\x0039D"),
    (Text
"OElig", Text
"\x00152"),
    (Text
"Oacute", Text
"\x000D3"),
    (Text
"Ocirc", Text
"\x000D4"),
    (Text
"Ocy", Text
"\x0041E"),
    (Text
"Odblac", Text
"\x00150"),
    (Text
"Ofr", Text
"\x1D512") ]

{-# NOINLINE reftab11 #-}
reftab11 :: [(Text,Text)]
reftab11 :: [(Text, Text)]
reftab11 =
  [ (Text
"Ograve", Text
"\x000D2"),
    (Text
"Omacr", Text
"\x0014C"),
    (Text
"Omega", Text
"\x003A9"),
    (Text
"Omicron", Text
"\x0039F"),
    (Text
"Oopf", Text
"\x1D546"),
    (Text
"OpenCurlyDoubleQuote", Text
"\x0201C"),
    (Text
"OpenCurlyQuote", Text
"\x02018"),
    (Text
"Or", Text
"\x02A54"),
    (Text
"Oscr", Text
"\x1D4AA"),
    (Text
"Oslash", Text
"\x000D8"),
    (Text
"Otilde", Text
"\x000D5"),
    (Text
"Otimes", Text
"\x02A37"),
    (Text
"Ouml", Text
"\x000D6"),
    (Text
"OverBar", Text
"\x0203E"),
    (Text
"OverBrace", Text
"\x023DE"),
    (Text
"OverBracket", Text
"\x023B4"),
    (Text
"OverParenthesis", Text
"\x023DC"),
    (Text
"PartialD", Text
"\x02202"),
    (Text
"Pcy", Text
"\x0041F"),
    (Text
"Pfr", Text
"\x1D513"),
    (Text
"Phi", Text
"\x003A6"),
    (Text
"Pi", Text
"\x003A0"),
    (Text
"PlusMinus", Text
"\x000B1"),
    (Text
"Poincareplane", Text
"\x0210C"),
    (Text
"Popf", Text
"\x02119"),
    (Text
"Pr", Text
"\x02ABB"),
    (Text
"Precedes", Text
"\x0227A"),
    (Text
"PrecedesEqual", Text
"\x02AAF"),
    (Text
"PrecedesSlantEqual", Text
"\x0227C"),
    (Text
"PrecedesTilde", Text
"\x0227E"),
    (Text
"Prime", Text
"\x02033"),
    (Text
"Product", Text
"\x0220F"),
    (Text
"Proportion", Text
"\x02237"),
    (Text
"Proportional", Text
"\x0221D"),
    (Text
"Pscr", Text
"\x1D4AB"),
    (Text
"Psi", Text
"\x003A8"),
    (Text
"QUOT", Text
"\x00022") ]

{-# NOINLINE reftab12 #-}
reftab12 :: [(Text,Text)]
reftab12 :: [(Text, Text)]
reftab12 =
  [ (Text
"Qfr", Text
"\x1D514"),
    (Text
"Qopf", Text
"\x0211A"),
    (Text
"Qscr", Text
"\x1D4AC"),
    (Text
"RBarr", Text
"\x02910"),
    (Text
"REG", Text
"\x000AE"),
    (Text
"Racute", Text
"\x00154"),
    (Text
"Rang", Text
"\x027EB"),
    (Text
"Rarr", Text
"\x021A0"),
    (Text
"Rarrtl", Text
"\x02916"),
    (Text
"Rcaron", Text
"\x00158"),
    (Text
"Rcedil", Text
"\x00156"),
    (Text
"Rcy", Text
"\x00420"),
    (Text
"Re", Text
"\x0211C"),
    (Text
"ReverseElement", Text
"\x0220B"),
    (Text
"ReverseEquilibrium", Text
"\x021CB"),
    (Text
"ReverseUpEquilibrium", Text
"\x0296F"),
    (Text
"Rfr", Text
"\x0211C"),
    (Text
"Rho", Text
"\x003A1"),
    (Text
"RightAngleBracket", Text
"\x027E9"),
    (Text
"RightArrow", Text
"\x02192"),
    (Text
"RightArrowBar", Text
"\x021E5"),
    (Text
"RightArrowLeftArrow", Text
"\x021C4"),
    (Text
"RightCeiling", Text
"\x02309"),
    (Text
"RightDoubleBracket", Text
"\x027E7"),
    (Text
"RightDownTeeVector", Text
"\x0295D"),
    (Text
"RightDownVector", Text
"\x021C2"),
    (Text
"RightDownVectorBar", Text
"\x02955"),
    (Text
"RightFloor", Text
"\x0230B"),
    (Text
"RightTee", Text
"\x022A2"),
    (Text
"RightTeeArrow", Text
"\x021A6"),
    (Text
"RightTeeVector", Text
"\x0295B"),
    (Text
"RightTriangle", Text
"\x022B3"),
    (Text
"RightTriangleBar", Text
"\x029D0"),
    (Text
"RightTriangleEqual", Text
"\x022B5"),
    (Text
"RightUpDownVector", Text
"\x0294F"),
    (Text
"RightUpTeeVector", Text
"\x0295C"),
    (Text
"RightUpVector", Text
"\x021BE") ]

{-# NOINLINE reftab13 #-}
reftab13 :: [(Text,Text)]
reftab13 :: [(Text, Text)]
reftab13 =
  [ (Text
"RightUpVectorBar", Text
"\x02954"),
    (Text
"RightVector", Text
"\x021C0"),
    (Text
"RightVectorBar", Text
"\x02953"),
    (Text
"Rightarrow", Text
"\x021D2"),
    (Text
"Ropf", Text
"\x0211D"),
    (Text
"RoundImplies", Text
"\x02970"),
    (Text
"Rrightarrow", Text
"\x021DB"),
    (Text
"Rscr", Text
"\x0211B"),
    (Text
"Rsh", Text
"\x021B1"),
    (Text
"RuleDelayed", Text
"\x029F4"),
    (Text
"SHCHcy", Text
"\x00429"),
    (Text
"SHcy", Text
"\x00428"),
    (Text
"SOFTcy", Text
"\x0042C"),
    (Text
"Sacute", Text
"\x0015A"),
    (Text
"Sc", Text
"\x02ABC"),
    (Text
"Scaron", Text
"\x00160"),
    (Text
"Scedil", Text
"\x0015E"),
    (Text
"Scirc", Text
"\x0015C"),
    (Text
"Scy", Text
"\x00421"),
    (Text
"Sfr", Text
"\x1D516"),
    (Text
"ShortDownArrow", Text
"\x02193"),
    (Text
"ShortLeftArrow", Text
"\x02190"),
    (Text
"ShortRightArrow", Text
"\x02192"),
    (Text
"ShortUpArrow", Text
"\x02191"),
    (Text
"Sigma", Text
"\x003A3"),
    (Text
"SmallCircle", Text
"\x02218"),
    (Text
"Sopf", Text
"\x1D54A"),
    (Text
"Sqrt", Text
"\x0221A"),
    (Text
"Square", Text
"\x025A1"),
    (Text
"SquareIntersection", Text
"\x02293"),
    (Text
"SquareSubset", Text
"\x0228F"),
    (Text
"SquareSubsetEqual", Text
"\x02291"),
    (Text
"SquareSuperset", Text
"\x02290"),
    (Text
"SquareSupersetEqual", Text
"\x02292"),
    (Text
"SquareUnion", Text
"\x02294"),
    (Text
"Sscr", Text
"\x1D4AE"),
    (Text
"Star", Text
"\x022C6") ]

{-# NOINLINE reftab14 #-}
reftab14 :: [(Text,Text)]
reftab14 :: [(Text, Text)]
reftab14 =
  [ (Text
"Sub", Text
"\x022D0"),
    (Text
"Subset", Text
"\x022D0"),
    (Text
"SubsetEqual", Text
"\x02286"),
    (Text
"Succeeds", Text
"\x0227B"),
    (Text
"SucceedsEqual", Text
"\x02AB0"),
    (Text
"SucceedsSlantEqual", Text
"\x0227D"),
    (Text
"SucceedsTilde", Text
"\x0227F"),
    (Text
"SuchThat", Text
"\x0220B"),
    (Text
"Sum", Text
"\x02211"),
    (Text
"Sup", Text
"\x022D1"),
    (Text
"Superset", Text
"\x02283"),
    (Text
"SupersetEqual", Text
"\x02287"),
    (Text
"Supset", Text
"\x022D1"),
    (Text
"THORN", Text
"\x000DE"),
    (Text
"TRADE", Text
"\x02122"),
    (Text
"TSHcy", Text
"\x0040B"),
    (Text
"TScy", Text
"\x00426"),
    (Text
"Tab", Text
"\x00009"),
    (Text
"Tau", Text
"\x003A4"),
    (Text
"Tcaron", Text
"\x00164"),
    (Text
"Tcedil", Text
"\x00162"),
    (Text
"Tcy", Text
"\x00422"),
    (Text
"Tfr", Text
"\x1D517"),
    (Text
"Therefore", Text
"\x02234"),
    (Text
"Theta", Text
"\x00398"),
    (Text
"ThickSpace", Text
"\x0205F\x0200A"),
    (Text
"ThinSpace", Text
"\x02009"),
    (Text
"Tilde", Text
"\x0223C"),
    (Text
"TildeEqual", Text
"\x02243"),
    (Text
"TildeFullEqual", Text
"\x02245"),
    (Text
"TildeTilde", Text
"\x02248"),
    (Text
"Topf", Text
"\x1D54B"),
    (Text
"TripleDot", Text
"\x020DB"),
    (Text
"Tscr", Text
"\x1D4AF"),
    (Text
"Tstrok", Text
"\x00166"),
    (Text
"Uacute", Text
"\x000DA"),
    (Text
"Uarr", Text
"\x0219F") ]

{-# NOINLINE reftab15 #-}
reftab15 :: [(Text,Text)]
reftab15 :: [(Text, Text)]
reftab15 =
  [ (Text
"Uarrocir", Text
"\x02949"),
    (Text
"Ubrcy", Text
"\x0040E"),
    (Text
"Ubreve", Text
"\x0016C"),
    (Text
"Ucirc", Text
"\x000DB"),
    (Text
"Ucy", Text
"\x00423"),
    (Text
"Udblac", Text
"\x00170"),
    (Text
"Ufr", Text
"\x1D518"),
    (Text
"Ugrave", Text
"\x000D9"),
    (Text
"Umacr", Text
"\x0016A"),
    (Text
"UnderBar", Text
"\x0005F"),
    (Text
"UnderBrace", Text
"\x023DF"),
    (Text
"UnderBracket", Text
"\x023B5"),
    (Text
"UnderParenthesis", Text
"\x023DD"),
    (Text
"Union", Text
"\x022C3"),
    (Text
"UnionPlus", Text
"\x0228E"),
    (Text
"Uogon", Text
"\x00172"),
    (Text
"Uopf", Text
"\x1D54C"),
    (Text
"UpArrow", Text
"\x02191"),
    (Text
"UpArrowBar", Text
"\x02912"),
    (Text
"UpArrowDownArrow", Text
"\x021C5"),
    (Text
"UpDownArrow", Text
"\x02195"),
    (Text
"UpEquilibrium", Text
"\x0296E"),
    (Text
"UpTee", Text
"\x022A5"),
    (Text
"UpTeeArrow", Text
"\x021A5"),
    (Text
"Uparrow", Text
"\x021D1"),
    (Text
"Updownarrow", Text
"\x021D5"),
    (Text
"UpperLeftArrow", Text
"\x02196"),
    (Text
"UpperRightArrow", Text
"\x02197"),
    (Text
"Upsi", Text
"\x003D2"),
    (Text
"Upsilon", Text
"\x003A5"),
    (Text
"Uring", Text
"\x0016E"),
    (Text
"Uscr", Text
"\x1D4B0"),
    (Text
"Utilde", Text
"\x00168"),
    (Text
"Uuml", Text
"\x000DC"),
    (Text
"VDash", Text
"\x022AB"),
    (Text
"Vbar", Text
"\x02AEB"),
    (Text
"Vcy", Text
"\x00412") ]

{-# NOINLINE reftab16 #-}
reftab16 :: [(Text,Text)]
reftab16 :: [(Text, Text)]
reftab16 =
  [ (Text
"Vdash", Text
"\x022A9"),
    (Text
"Vdashl", Text
"\x02AE6"),
    (Text
"Vee", Text
"\x022C1"),
    (Text
"Verbar", Text
"\x02016"),
    (Text
"Vert", Text
"\x02016"),
    (Text
"VerticalBar", Text
"\x02223"),
    (Text
"VerticalLine", Text
"\x0007C"),
    (Text
"VerticalSeparator", Text
"\x02758"),
    (Text
"VerticalTilde", Text
"\x02240"),
    (Text
"VeryThinSpace", Text
"\x0200A"),
    (Text
"Vfr", Text
"\x1D519"),
    (Text
"Vopf", Text
"\x1D54D"),
    (Text
"Vscr", Text
"\x1D4B1"),
    (Text
"Vvdash", Text
"\x022AA"),
    (Text
"Wcirc", Text
"\x00174"),
    (Text
"Wedge", Text
"\x022C0"),
    (Text
"Wfr", Text
"\x1D51A"),
    (Text
"Wopf", Text
"\x1D54E"),
    (Text
"Wscr", Text
"\x1D4B2"),
    (Text
"Xfr", Text
"\x1D51B"),
    (Text
"Xi", Text
"\x0039E"),
    (Text
"Xopf", Text
"\x1D54F"),
    (Text
"Xscr", Text
"\x1D4B3"),
    (Text
"YAcy", Text
"\x0042F"),
    (Text
"YIcy", Text
"\x00407"),
    (Text
"YUcy", Text
"\x0042E"),
    (Text
"Yacute", Text
"\x000DD"),
    (Text
"Ycirc", Text
"\x00176"),
    (Text
"Ycy", Text
"\x0042B"),
    (Text
"Yfr", Text
"\x1D51C"),
    (Text
"Yopf", Text
"\x1D550"),
    (Text
"Yscr", Text
"\x1D4B4"),
    (Text
"Yuml", Text
"\x00178"),
    (Text
"ZHcy", Text
"\x00416"),
    (Text
"Zacute", Text
"\x00179"),
    (Text
"Zcaron", Text
"\x0017D"),
    (Text
"Zcy", Text
"\x00417") ]

{-# NOINLINE reftab17 #-}
reftab17 :: [(Text,Text)]
reftab17 :: [(Text, Text)]
reftab17 =
  [ (Text
"Zdot", Text
"\x0017B"),
    (Text
"ZeroWidthSpace", Text
"\x0200B"),
    (Text
"Zeta", Text
"\x00396"),
    (Text
"Zfr", Text
"\x02128"),
    (Text
"Zopf", Text
"\x02124"),
    (Text
"Zscr", Text
"\x1D4B5"),
    (Text
"aacute", Text
"\x000E1"),
    (Text
"abreve", Text
"\x00103"),
    (Text
"ac", Text
"\x0223E"),
    (Text
"acE", Text
"\x0223E\x00333"),
    (Text
"acd", Text
"\x0223F"),
    (Text
"acirc", Text
"\x000E2"),
    (Text
"acute", Text
"\x000B4"),
    (Text
"acy", Text
"\x00430"),
    (Text
"aelig", Text
"\x000E6"),
    (Text
"af", Text
"\x02061"),
    (Text
"afr", Text
"\x1D51E"),
    (Text
"agrave", Text
"\x000E0"),
    (Text
"alefsym", Text
"\x02135"),
    (Text
"aleph", Text
"\x02135"),
    (Text
"alpha", Text
"\x003B1"),
    (Text
"amacr", Text
"\x00101"),
    (Text
"amalg", Text
"\x02A3F"),
    (Text
"amp", Text
"\x00026"),
    (Text
"and", Text
"\x02227"),
    (Text
"andand", Text
"\x02A55"),
    (Text
"andd", Text
"\x02A5C"),
    (Text
"andslope", Text
"\x02A58"),
    (Text
"andv", Text
"\x02A5A"),
    (Text
"ang", Text
"\x02220"),
    (Text
"ange", Text
"\x029A4"),
    (Text
"angle", Text
"\x02220"),
    (Text
"angmsd", Text
"\x02221"),
    (Text
"angmsdaa", Text
"\x029A8"),
    (Text
"angmsdab", Text
"\x029A9"),
    (Text
"angmsdac", Text
"\x029AA"),
    (Text
"angmsdad", Text
"\x029AB") ]

{-# NOINLINE reftab18 #-}
reftab18 :: [(Text,Text)]
reftab18 :: [(Text, Text)]
reftab18 =
  [ (Text
"angmsdae", Text
"\x029AC"),
    (Text
"angmsdaf", Text
"\x029AD"),
    (Text
"angmsdag", Text
"\x029AE"),
    (Text
"angmsdah", Text
"\x029AF"),
    (Text
"angrt", Text
"\x0221F"),
    (Text
"angrtvb", Text
"\x022BE"),
    (Text
"angrtvbd", Text
"\x0299D"),
    (Text
"angsph", Text
"\x02222"),
    (Text
"angst", Text
"\x000C5"),
    (Text
"angzarr", Text
"\x0237C"),
    (Text
"aogon", Text
"\x00105"),
    (Text
"aopf", Text
"\x1D552"),
    (Text
"ap", Text
"\x02248"),
    (Text
"apE", Text
"\x02A70"),
    (Text
"apacir", Text
"\x02A6F"),
    (Text
"ape", Text
"\x0224A"),
    (Text
"apid", Text
"\x0224B"),
    (Text
"apos", Text
"\x00027"),
    (Text
"approx", Text
"\x02248"),
    (Text
"approxeq", Text
"\x0224A"),
    (Text
"aring", Text
"\x000E5"),
    (Text
"ascr", Text
"\x1D4B6"),
    (Text
"ast", Text
"\x0002A"),
    (Text
"asymp", Text
"\x02248"),
    (Text
"asympeq", Text
"\x0224D"),
    (Text
"atilde", Text
"\x000E3"),
    (Text
"auml", Text
"\x000E4"),
    (Text
"awconint", Text
"\x02233"),
    (Text
"awint", Text
"\x02A11"),
    (Text
"bNot", Text
"\x02AED"),
    (Text
"backcong", Text
"\x0224C"),
    (Text
"backepsilon", Text
"\x003F6"),
    (Text
"backprime", Text
"\x02035"),
    (Text
"backsim", Text
"\x0223D"),
    (Text
"backsimeq", Text
"\x022CD"),
    (Text
"barvee", Text
"\x022BD"),
    (Text
"barwed", Text
"\x02305") ]

{-# NOINLINE reftab19 #-}
reftab19 :: [(Text,Text)]
reftab19 :: [(Text, Text)]
reftab19 =
  [ (Text
"barwedge", Text
"\x02305"),
    (Text
"bbrk", Text
"\x023B5"),
    (Text
"bbrktbrk", Text
"\x023B6"),
    (Text
"bcong", Text
"\x0224C"),
    (Text
"bcy", Text
"\x00431"),
    (Text
"bdquo", Text
"\x0201E"),
    (Text
"becaus", Text
"\x02235"),
    (Text
"because", Text
"\x02235"),
    (Text
"bemptyv", Text
"\x029B0"),
    (Text
"bepsi", Text
"\x003F6"),
    (Text
"bernou", Text
"\x0212C"),
    (Text
"beta", Text
"\x003B2"),
    (Text
"beth", Text
"\x02136"),
    (Text
"between", Text
"\x0226C"),
    (Text
"bfr", Text
"\x1D51F"),
    (Text
"bigcap", Text
"\x022C2"),
    (Text
"bigcirc", Text
"\x025EF"),
    (Text
"bigcup", Text
"\x022C3"),
    (Text
"bigodot", Text
"\x02A00"),
    (Text
"bigoplus", Text
"\x02A01"),
    (Text
"bigotimes", Text
"\x02A02"),
    (Text
"bigsqcup", Text
"\x02A06"),
    (Text
"bigstar", Text
"\x02605"),
    (Text
"bigtriangledown", Text
"\x025BD"),
    (Text
"bigtriangleup", Text
"\x025B3"),
    (Text
"biguplus", Text
"\x02A04"),
    (Text
"bigvee", Text
"\x022C1"),
    (Text
"bigwedge", Text
"\x022C0"),
    (Text
"bkarow", Text
"\x0290D"),
    (Text
"blacklozenge", Text
"\x029EB"),
    (Text
"blacksquare", Text
"\x025AA"),
    (Text
"blacktriangle", Text
"\x025B4"),
    (Text
"blacktriangledown", Text
"\x025BE"),
    (Text
"blacktriangleleft", Text
"\x025C2"),
    (Text
"blacktriangleright", Text
"\x025B8"),
    (Text
"blank", Text
"\x02423"),
    (Text
"blk12", Text
"\x02592") ]

{-# NOINLINE reftab20 #-}
reftab20 :: [(Text,Text)]
reftab20 :: [(Text, Text)]
reftab20 =
  [ (Text
"blk14", Text
"\x02591"),
    (Text
"blk34", Text
"\x02593"),
    (Text
"block", Text
"\x02588"),
    (Text
"bne", Text
"\x0003D\x020E5"),
    (Text
"bnequiv", Text
"\x02261\x020E5"),
    (Text
"bnot", Text
"\x02310"),
    (Text
"bopf", Text
"\x1D553"),
    (Text
"bot", Text
"\x022A5"),
    (Text
"bottom", Text
"\x022A5"),
    (Text
"bowtie", Text
"\x022C8"),
    (Text
"boxDL", Text
"\x02557"),
    (Text
"boxDR", Text
"\x02554"),
    (Text
"boxDl", Text
"\x02556"),
    (Text
"boxDr", Text
"\x02553"),
    (Text
"boxH", Text
"\x02550"),
    (Text
"boxHD", Text
"\x02566"),
    (Text
"boxHU", Text
"\x02569"),
    (Text
"boxHd", Text
"\x02564"),
    (Text
"boxHu", Text
"\x02567"),
    (Text
"boxUL", Text
"\x0255D"),
    (Text
"boxUR", Text
"\x0255A"),
    (Text
"boxUl", Text
"\x0255C"),
    (Text
"boxUr", Text
"\x02559"),
    (Text
"boxV", Text
"\x02551"),
    (Text
"boxVH", Text
"\x0256C"),
    (Text
"boxVL", Text
"\x02563"),
    (Text
"boxVR", Text
"\x02560"),
    (Text
"boxVh", Text
"\x0256B"),
    (Text
"boxVl", Text
"\x02562"),
    (Text
"boxVr", Text
"\x0255F"),
    (Text
"boxbox", Text
"\x029C9"),
    (Text
"boxdL", Text
"\x02555"),
    (Text
"boxdR", Text
"\x02552"),
    (Text
"boxdl", Text
"\x02510"),
    (Text
"boxdr", Text
"\x0250C"),
    (Text
"boxh", Text
"\x02500"),
    (Text
"boxhD", Text
"\x02565") ]

{-# NOINLINE reftab21 #-}
reftab21 :: [(Text,Text)]
reftab21 :: [(Text, Text)]
reftab21 =
  [ (Text
"boxhU", Text
"\x02568"),
    (Text
"boxhd", Text
"\x0252C"),
    (Text
"boxhu", Text
"\x02534"),
    (Text
"boxminus", Text
"\x0229F"),
    (Text
"boxplus", Text
"\x0229E"),
    (Text
"boxtimes", Text
"\x022A0"),
    (Text
"boxuL", Text
"\x0255B"),
    (Text
"boxuR", Text
"\x02558"),
    (Text
"boxul", Text
"\x02518"),
    (Text
"boxur", Text
"\x02514"),
    (Text
"boxv", Text
"\x02502"),
    (Text
"boxvH", Text
"\x0256A"),
    (Text
"boxvL", Text
"\x02561"),
    (Text
"boxvR", Text
"\x0255E"),
    (Text
"boxvh", Text
"\x0253C"),
    (Text
"boxvl", Text
"\x02524"),
    (Text
"boxvr", Text
"\x0251C"),
    (Text
"bprime", Text
"\x02035"),
    (Text
"breve", Text
"\x002D8"),
    (Text
"brvbar", Text
"\x000A6"),
    (Text
"bscr", Text
"\x1D4B7"),
    (Text
"bsemi", Text
"\x0204F"),
    (Text
"bsim", Text
"\x0223D"),
    (Text
"bsime", Text
"\x022CD"),
    (Text
"bsol", Text
"\x0005C"),
    (Text
"bsolb", Text
"\x029C5"),
    (Text
"bsolhsub", Text
"\x027C8"),
    (Text
"bull", Text
"\x02022"),
    (Text
"bullet", Text
"\x02022"),
    (Text
"bump", Text
"\x0224E"),
    (Text
"bumpE", Text
"\x02AAE"),
    (Text
"bumpe", Text
"\x0224F"),
    (Text
"bumpeq", Text
"\x0224F"),
    (Text
"cacute", Text
"\x00107"),
    (Text
"cap", Text
"\x02229"),
    (Text
"capand", Text
"\x02A44"),
    (Text
"capbrcup", Text
"\x02A49") ]

{-# NOINLINE reftab22 #-}
reftab22 :: [(Text,Text)]
reftab22 :: [(Text, Text)]
reftab22 =
  [ (Text
"capcap", Text
"\x02A4B"),
    (Text
"capcup", Text
"\x02A47"),
    (Text
"capdot", Text
"\x02A40"),
    (Text
"caps", Text
"\x02229\x0FE00"),
    (Text
"caret", Text
"\x02041"),
    (Text
"caron", Text
"\x002C7"),
    (Text
"ccaps", Text
"\x02A4D"),
    (Text
"ccaron", Text
"\x0010D"),
    (Text
"ccedil", Text
"\x000E7"),
    (Text
"ccirc", Text
"\x00109"),
    (Text
"ccups", Text
"\x02A4C"),
    (Text
"ccupssm", Text
"\x02A50"),
    (Text
"cdot", Text
"\x0010B"),
    (Text
"cedil", Text
"\x000B8"),
    (Text
"cemptyv", Text
"\x029B2"),
    (Text
"cent", Text
"\x000A2"),
    (Text
"centerdot", Text
"\x000B7"),
    (Text
"cfr", Text
"\x1D520"),
    (Text
"chcy", Text
"\x00447"),
    (Text
"check", Text
"\x02713"),
    (Text
"checkmark", Text
"\x02713"),
    (Text
"chi", Text
"\x003C7"),
    (Text
"cir", Text
"\x025CB"),
    (Text
"cirE", Text
"\x029C3"),
    (Text
"circ", Text
"\x002C6"),
    (Text
"circeq", Text
"\x02257"),
    (Text
"circlearrowleft", Text
"\x021BA"),
    (Text
"circlearrowright", Text
"\x021BB"),
    (Text
"circledR", Text
"\x000AE"),
    (Text
"circledS", Text
"\x024C8"),
    (Text
"circledast", Text
"\x0229B"),
    (Text
"circledcirc", Text
"\x0229A"),
    (Text
"circleddash", Text
"\x0229D"),
    (Text
"cire", Text
"\x02257"),
    (Text
"cirfnint", Text
"\x02A10"),
    (Text
"cirmid", Text
"\x02AEF"),
    (Text
"cirscir", Text
"\x029C2") ]

{-# NOINLINE reftab23 #-}
reftab23 :: [(Text,Text)]
reftab23 :: [(Text, Text)]
reftab23 =
  [ (Text
"clubs", Text
"\x02663"),
    (Text
"clubsuit", Text
"\x02663"),
    (Text
"colon", Text
"\x0003A"),
    (Text
"colone", Text
"\x02254"),
    (Text
"coloneq", Text
"\x02254"),
    (Text
"comma", Text
"\x0002C"),
    (Text
"commat", Text
"\x00040"),
    (Text
"comp", Text
"\x02201"),
    (Text
"compfn", Text
"\x02218"),
    (Text
"complement", Text
"\x02201"),
    (Text
"complexes", Text
"\x02102"),
    (Text
"cong", Text
"\x02245"),
    (Text
"congdot", Text
"\x02A6D"),
    (Text
"conint", Text
"\x0222E"),
    (Text
"copf", Text
"\x1D554"),
    (Text
"coprod", Text
"\x02210"),
    (Text
"copy", Text
"\x000A9"),
    (Text
"copysr", Text
"\x02117"),
    (Text
"crarr", Text
"\x021B5"),
    (Text
"cross", Text
"\x02717"),
    (Text
"cscr", Text
"\x1D4B8"),
    (Text
"csub", Text
"\x02ACF"),
    (Text
"csube", Text
"\x02AD1"),
    (Text
"csup", Text
"\x02AD0"),
    (Text
"csupe", Text
"\x02AD2"),
    (Text
"ctdot", Text
"\x022EF"),
    (Text
"cudarrl", Text
"\x02938"),
    (Text
"cudarrr", Text
"\x02935"),
    (Text
"cuepr", Text
"\x022DE"),
    (Text
"cuesc", Text
"\x022DF"),
    (Text
"cularr", Text
"\x021B6"),
    (Text
"cularrp", Text
"\x0293D"),
    (Text
"cup", Text
"\x0222A"),
    (Text
"cupbrcap", Text
"\x02A48"),
    (Text
"cupcap", Text
"\x02A46"),
    (Text
"cupcup", Text
"\x02A4A"),
    (Text
"cupdot", Text
"\x0228D") ]

{-# NOINLINE reftab24 #-}
reftab24 :: [(Text,Text)]
reftab24 :: [(Text, Text)]
reftab24 =
  [ (Text
"cupor", Text
"\x02A45"),
    (Text
"cups", Text
"\x0222A\x0FE00"),
    (Text
"curarr", Text
"\x021B7"),
    (Text
"curarrm", Text
"\x0293C"),
    (Text
"curlyeqprec", Text
"\x022DE"),
    (Text
"curlyeqsucc", Text
"\x022DF"),
    (Text
"curlyvee", Text
"\x022CE"),
    (Text
"curlywedge", Text
"\x022CF"),
    (Text
"curren", Text
"\x000A4"),
    (Text
"curvearrowleft", Text
"\x021B6"),
    (Text
"curvearrowright", Text
"\x021B7"),
    (Text
"cuvee", Text
"\x022CE"),
    (Text
"cuwed", Text
"\x022CF"),
    (Text
"cwconint", Text
"\x02232"),
    (Text
"cwint", Text
"\x02231"),
    (Text
"cylcty", Text
"\x0232D"),
    (Text
"dArr", Text
"\x021D3"),
    (Text
"dHar", Text
"\x02965"),
    (Text
"dagger", Text
"\x02020"),
    (Text
"daleth", Text
"\x02138"),
    (Text
"darr", Text
"\x02193"),
    (Text
"dash", Text
"\x02010"),
    (Text
"dashv", Text
"\x022A3"),
    (Text
"dbkarow", Text
"\x0290F"),
    (Text
"dblac", Text
"\x002DD"),
    (Text
"dcaron", Text
"\x0010F"),
    (Text
"dcy", Text
"\x00434"),
    (Text
"dd", Text
"\x02146"),
    (Text
"ddagger", Text
"\x02021"),
    (Text
"ddarr", Text
"\x021CA"),
    (Text
"ddotseq", Text
"\x02A77"),
    (Text
"deg", Text
"\x000B0"),
    (Text
"delta", Text
"\x003B4"),
    (Text
"demptyv", Text
"\x029B1"),
    (Text
"dfisht", Text
"\x0297F"),
    (Text
"dfr", Text
"\x1D521"),
    (Text
"dharl", Text
"\x021C3") ]

{-# NOINLINE reftab25 #-}
reftab25 :: [(Text,Text)]
reftab25 :: [(Text, Text)]
reftab25 =
  [ (Text
"dharr", Text
"\x021C2"),
    (Text
"diam", Text
"\x022C4"),
    (Text
"diamond", Text
"\x022C4"),
    (Text
"diamondsuit", Text
"\x02666"),
    (Text
"diams", Text
"\x02666"),
    (Text
"die", Text
"\x000A8"),
    (Text
"digamma", Text
"\x003DD"),
    (Text
"disin", Text
"\x022F2"),
    (Text
"div", Text
"\x000F7"),
    (Text
"divide", Text
"\x000F7"),
    (Text
"divideontimes", Text
"\x022C7"),
    (Text
"divonx", Text
"\x022C7"),
    (Text
"djcy", Text
"\x00452"),
    (Text
"dlcorn", Text
"\x0231E"),
    (Text
"dlcrop", Text
"\x0230D"),
    (Text
"dollar", Text
"\x00024"),
    (Text
"dopf", Text
"\x1D555"),
    (Text
"dot", Text
"\x002D9"),
    (Text
"doteq", Text
"\x02250"),
    (Text
"doteqdot", Text
"\x02251"),
    (Text
"dotminus", Text
"\x02238"),
    (Text
"dotplus", Text
"\x02214"),
    (Text
"dotsquare", Text
"\x022A1"),
    (Text
"doublebarwedge", Text
"\x02306"),
    (Text
"downarrow", Text
"\x02193"),
    (Text
"downdownarrows", Text
"\x021CA"),
    (Text
"downharpoonleft", Text
"\x021C3"),
    (Text
"downharpoonright", Text
"\x021C2"),
    (Text
"drbkarow", Text
"\x02910"),
    (Text
"drcorn", Text
"\x0231F"),
    (Text
"drcrop", Text
"\x0230C"),
    (Text
"dscr", Text
"\x1D4B9"),
    (Text
"dscy", Text
"\x00455"),
    (Text
"dsol", Text
"\x029F6"),
    (Text
"dstrok", Text
"\x00111"),
    (Text
"dtdot", Text
"\x022F1"),
    (Text
"dtri", Text
"\x025BF") ]

{-# NOINLINE reftab26 #-}
reftab26 :: [(Text,Text)]
reftab26 :: [(Text, Text)]
reftab26 =
  [ (Text
"dtrif", Text
"\x025BE"),
    (Text
"duarr", Text
"\x021F5"),
    (Text
"duhar", Text
"\x0296F"),
    (Text
"dwangle", Text
"\x029A6"),
    (Text
"dzcy", Text
"\x0045F"),
    (Text
"dzigrarr", Text
"\x027FF"),
    (Text
"eDDot", Text
"\x02A77"),
    (Text
"eDot", Text
"\x02251"),
    (Text
"eacute", Text
"\x000E9"),
    (Text
"easter", Text
"\x02A6E"),
    (Text
"ecaron", Text
"\x0011B"),
    (Text
"ecir", Text
"\x02256"),
    (Text
"ecirc", Text
"\x000EA"),
    (Text
"ecolon", Text
"\x02255"),
    (Text
"ecy", Text
"\x0044D"),
    (Text
"edot", Text
"\x00117"),
    (Text
"ee", Text
"\x02147"),
    (Text
"efDot", Text
"\x02252"),
    (Text
"efr", Text
"\x1D522"),
    (Text
"eg", Text
"\x02A9A"),
    (Text
"egrave", Text
"\x000E8"),
    (Text
"egs", Text
"\x02A96"),
    (Text
"egsdot", Text
"\x02A98"),
    (Text
"el", Text
"\x02A99"),
    (Text
"elinters", Text
"\x023E7"),
    (Text
"ell", Text
"\x02113"),
    (Text
"els", Text
"\x02A95"),
    (Text
"elsdot", Text
"\x02A97"),
    (Text
"emacr", Text
"\x00113"),
    (Text
"empty", Text
"\x02205"),
    (Text
"emptyset", Text
"\x02205"),
    (Text
"emptyv", Text
"\x02205"),
    (Text
"emsp", Text
"\x02003"),
    (Text
"emsp13", Text
"\x02004"),
    (Text
"emsp14", Text
"\x02005"),
    (Text
"eng", Text
"\x0014B"),
    (Text
"ensp", Text
"\x02002") ]

{-# NOINLINE reftab27 #-}
reftab27 :: [(Text,Text)]
reftab27 :: [(Text, Text)]
reftab27 =
  [ (Text
"eogon", Text
"\x00119"),
    (Text
"eopf", Text
"\x1D556"),
    (Text
"epar", Text
"\x022D5"),
    (Text
"eparsl", Text
"\x029E3"),
    (Text
"eplus", Text
"\x02A71"),
    (Text
"epsi", Text
"\x003B5"),
    (Text
"epsilon", Text
"\x003B5"),
    (Text
"epsiv", Text
"\x003F5"),
    (Text
"eqcirc", Text
"\x02256"),
    (Text
"eqcolon", Text
"\x02255"),
    (Text
"eqsim", Text
"\x02242"),
    (Text
"eqslantgtr", Text
"\x02A96"),
    (Text
"eqslantless", Text
"\x02A95"),
    (Text
"equals", Text
"\x0003D"),
    (Text
"equest", Text
"\x0225F"),
    (Text
"equiv", Text
"\x02261"),
    (Text
"equivDD", Text
"\x02A78"),
    (Text
"eqvparsl", Text
"\x029E5"),
    (Text
"erDot", Text
"\x02253"),
    (Text
"erarr", Text
"\x02971"),
    (Text
"escr", Text
"\x0212F"),
    (Text
"esdot", Text
"\x02250"),
    (Text
"esim", Text
"\x02242"),
    (Text
"eta", Text
"\x003B7"),
    (Text
"eth", Text
"\x000F0"),
    (Text
"euml", Text
"\x000EB"),
    (Text
"euro", Text
"\x020AC"),
    (Text
"excl", Text
"\x00021"),
    (Text
"exist", Text
"\x02203"),
    (Text
"expectation", Text
"\x02130"),
    (Text
"exponentiale", Text
"\x02147"),
    (Text
"fallingdotseq", Text
"\x02252"),
    (Text
"fcy", Text
"\x00444"),
    (Text
"female", Text
"\x02640"),
    (Text
"ffilig", Text
"\x0FB03"),
    (Text
"fflig", Text
"\x0FB00"),
    (Text
"ffllig", Text
"\x0FB04") ]

{-# NOINLINE reftab28 #-}
reftab28 :: [(Text,Text)]
reftab28 :: [(Text, Text)]
reftab28 =
  [ (Text
"ffr", Text
"\x1D523"),
    (Text
"filig", Text
"\x0FB01"),
    (Text
"fjlig", Text
"\x00066\x0006A"),
    (Text
"flat", Text
"\x0266D"),
    (Text
"fllig", Text
"\x0FB02"),
    (Text
"fltns", Text
"\x025B1"),
    (Text
"fnof", Text
"\x00192"),
    (Text
"fopf", Text
"\x1D557"),
    (Text
"forall", Text
"\x02200"),
    (Text
"fork", Text
"\x022D4"),
    (Text
"forkv", Text
"\x02AD9"),
    (Text
"fpartint", Text
"\x02A0D"),
    (Text
"frac12", Text
"\x000BD"),
    (Text
"frac13", Text
"\x02153"),
    (Text
"frac14", Text
"\x000BC"),
    (Text
"frac15", Text
"\x02155"),
    (Text
"frac16", Text
"\x02159"),
    (Text
"frac18", Text
"\x0215B"),
    (Text
"frac23", Text
"\x02154"),
    (Text
"frac25", Text
"\x02156"),
    (Text
"frac34", Text
"\x000BE"),
    (Text
"frac35", Text
"\x02157"),
    (Text
"frac38", Text
"\x0215C"),
    (Text
"frac45", Text
"\x02158"),
    (Text
"frac56", Text
"\x0215A"),
    (Text
"frac58", Text
"\x0215D"),
    (Text
"frac78", Text
"\x0215E"),
    (Text
"frasl", Text
"\x02044"),
    (Text
"frown", Text
"\x02322"),
    (Text
"fscr", Text
"\x1D4BB"),
    (Text
"gE", Text
"\x02267"),
    (Text
"gEl", Text
"\x02A8C"),
    (Text
"gacute", Text
"\x001F5"),
    (Text
"gamma", Text
"\x003B3"),
    (Text
"gammad", Text
"\x003DD"),
    (Text
"gap", Text
"\x02A86"),
    (Text
"gbreve", Text
"\x0011F") ]

{-# NOINLINE reftab29 #-}
reftab29 :: [(Text,Text)]
reftab29 :: [(Text, Text)]
reftab29 =
  [ (Text
"gcirc", Text
"\x0011D"),
    (Text
"gcy", Text
"\x00433"),
    (Text
"gdot", Text
"\x00121"),
    (Text
"ge", Text
"\x02265"),
    (Text
"gel", Text
"\x022DB"),
    (Text
"geq", Text
"\x02265"),
    (Text
"geqq", Text
"\x02267"),
    (Text
"geqslant", Text
"\x02A7E"),
    (Text
"ges", Text
"\x02A7E"),
    (Text
"gescc", Text
"\x02AA9"),
    (Text
"gesdot", Text
"\x02A80"),
    (Text
"gesdoto", Text
"\x02A82"),
    (Text
"gesdotol", Text
"\x02A84"),
    (Text
"gesl", Text
"\x022DB\x0FE00"),
    (Text
"gesles", Text
"\x02A94"),
    (Text
"gfr", Text
"\x1D524"),
    (Text
"gg", Text
"\x0226B"),
    (Text
"ggg", Text
"\x022D9"),
    (Text
"gimel", Text
"\x02137"),
    (Text
"gjcy", Text
"\x00453"),
    (Text
"gl", Text
"\x02277"),
    (Text
"glE", Text
"\x02A92"),
    (Text
"gla", Text
"\x02AA5"),
    (Text
"glj", Text
"\x02AA4"),
    (Text
"gnE", Text
"\x02269"),
    (Text
"gnap", Text
"\x02A8A"),
    (Text
"gnapprox", Text
"\x02A8A"),
    (Text
"gne", Text
"\x02A88"),
    (Text
"gneq", Text
"\x02A88"),
    (Text
"gneqq", Text
"\x02269"),
    (Text
"gnsim", Text
"\x022E7"),
    (Text
"gopf", Text
"\x1D558"),
    (Text
"grave", Text
"\x00060"),
    (Text
"gscr", Text
"\x0210A"),
    (Text
"gsim", Text
"\x02273"),
    (Text
"gsime", Text
"\x02A8E"),
    (Text
"gsiml", Text
"\x02A90") ]

{-# NOINLINE reftab30 #-}
reftab30 :: [(Text,Text)]
reftab30 :: [(Text, Text)]
reftab30 =
  [ (Text
"gt", Text
"\x0003E"),
    (Text
"gtcc", Text
"\x02AA7"),
    (Text
"gtcir", Text
"\x02A7A"),
    (Text
"gtdot", Text
"\x022D7"),
    (Text
"gtlPar", Text
"\x02995"),
    (Text
"gtquest", Text
"\x02A7C"),
    (Text
"gtrapprox", Text
"\x02A86"),
    (Text
"gtrarr", Text
"\x02978"),
    (Text
"gtrdot", Text
"\x022D7"),
    (Text
"gtreqless", Text
"\x022DB"),
    (Text
"gtreqqless", Text
"\x02A8C"),
    (Text
"gtrless", Text
"\x02277"),
    (Text
"gtrsim", Text
"\x02273"),
    (Text
"gvertneqq", Text
"\x02269\x0FE00"),
    (Text
"gvnE", Text
"\x02269\x0FE00"),
    (Text
"hArr", Text
"\x021D4"),
    (Text
"hairsp", Text
"\x0200A"),
    (Text
"half", Text
"\x000BD"),
    (Text
"hamilt", Text
"\x0210B"),
    (Text
"hardcy", Text
"\x0044A"),
    (Text
"harr", Text
"\x02194"),
    (Text
"harrcir", Text
"\x02948"),
    (Text
"harrw", Text
"\x021AD"),
    (Text
"hbar", Text
"\x0210F"),
    (Text
"hcirc", Text
"\x00125"),
    (Text
"hearts", Text
"\x02665"),
    (Text
"heartsuit", Text
"\x02665"),
    (Text
"hellip", Text
"\x02026"),
    (Text
"hercon", Text
"\x022B9"),
    (Text
"hfr", Text
"\x1D525"),
    (Text
"hksearow", Text
"\x02925"),
    (Text
"hkswarow", Text
"\x02926"),
    (Text
"hoarr", Text
"\x021FF"),
    (Text
"homtht", Text
"\x0223B"),
    (Text
"hookleftarrow", Text
"\x021A9"),
    (Text
"hookrightarrow", Text
"\x021AA"),
    (Text
"hopf", Text
"\x1D559") ]

{-# NOINLINE reftab31 #-}
reftab31 :: [(Text,Text)]
reftab31 :: [(Text, Text)]
reftab31 =
  [ (Text
"horbar", Text
"\x02015"),
    (Text
"hscr", Text
"\x1D4BD"),
    (Text
"hslash", Text
"\x0210F"),
    (Text
"hstrok", Text
"\x00127"),
    (Text
"hybull", Text
"\x02043"),
    (Text
"hyphen", Text
"\x02010"),
    (Text
"iacute", Text
"\x000ED"),
    (Text
"ic", Text
"\x02063"),
    (Text
"icirc", Text
"\x000EE"),
    (Text
"icy", Text
"\x00438"),
    (Text
"iecy", Text
"\x00435"),
    (Text
"iexcl", Text
"\x000A1"),
    (Text
"iff", Text
"\x021D4"),
    (Text
"ifr", Text
"\x1D526"),
    (Text
"igrave", Text
"\x000EC"),
    (Text
"ii", Text
"\x02148"),
    (Text
"iiiint", Text
"\x02A0C"),
    (Text
"iiint", Text
"\x0222D"),
    (Text
"iinfin", Text
"\x029DC"),
    (Text
"iiota", Text
"\x02129"),
    (Text
"ijlig", Text
"\x00133"),
    (Text
"imacr", Text
"\x0012B"),
    (Text
"image", Text
"\x02111"),
    (Text
"imagline", Text
"\x02110"),
    (Text
"imagpart", Text
"\x02111"),
    (Text
"imath", Text
"\x00131"),
    (Text
"imof", Text
"\x022B7"),
    (Text
"imped", Text
"\x001B5"),
    (Text
"in", Text
"\x02208"),
    (Text
"incare", Text
"\x02105"),
    (Text
"infin", Text
"\x0221E"),
    (Text
"infintie", Text
"\x029DD"),
    (Text
"inodot", Text
"\x00131"),
    (Text
"int", Text
"\x0222B"),
    (Text
"intcal", Text
"\x022BA"),
    (Text
"integers", Text
"\x02124"),
    (Text
"intercal", Text
"\x022BA") ]

{-# NOINLINE reftab32 #-}
reftab32 :: [(Text,Text)]
reftab32 :: [(Text, Text)]
reftab32 =
  [ (Text
"intlarhk", Text
"\x02A17"),
    (Text
"intprod", Text
"\x02A3C"),
    (Text
"iocy", Text
"\x00451"),
    (Text
"iogon", Text
"\x0012F"),
    (Text
"iopf", Text
"\x1D55A"),
    (Text
"iota", Text
"\x003B9"),
    (Text
"iprod", Text
"\x02A3C"),
    (Text
"iquest", Text
"\x000BF"),
    (Text
"iscr", Text
"\x1D4BE"),
    (Text
"isin", Text
"\x02208"),
    (Text
"isinE", Text
"\x022F9"),
    (Text
"isindot", Text
"\x022F5"),
    (Text
"isins", Text
"\x022F4"),
    (Text
"isinsv", Text
"\x022F3"),
    (Text
"isinv", Text
"\x02208"),
    (Text
"it", Text
"\x02062"),
    (Text
"itilde", Text
"\x00129"),
    (Text
"iukcy", Text
"\x00456"),
    (Text
"iuml", Text
"\x000EF"),
    (Text
"jcirc", Text
"\x00135"),
    (Text
"jcy", Text
"\x00439"),
    (Text
"jfr", Text
"\x1D527"),
    (Text
"jmath", Text
"\x00237"),
    (Text
"jopf", Text
"\x1D55B"),
    (Text
"jscr", Text
"\x1D4BF"),
    (Text
"jsercy", Text
"\x00458"),
    (Text
"jukcy", Text
"\x00454"),
    (Text
"kappa", Text
"\x003BA"),
    (Text
"kappav", Text
"\x003F0"),
    (Text
"kcedil", Text
"\x00137"),
    (Text
"kcy", Text
"\x0043A"),
    (Text
"kfr", Text
"\x1D528"),
    (Text
"kgreen", Text
"\x00138"),
    (Text
"khcy", Text
"\x00445"),
    (Text
"kjcy", Text
"\x0045C"),
    (Text
"kopf", Text
"\x1D55C"),
    (Text
"kscr", Text
"\x1D4C0") ]

{-# NOINLINE reftab33 #-}
reftab33 :: [(Text,Text)]
reftab33 :: [(Text, Text)]
reftab33 =
  [ (Text
"lAarr", Text
"\x021DA"),
    (Text
"lArr", Text
"\x021D0"),
    (Text
"lAtail", Text
"\x0291B"),
    (Text
"lBarr", Text
"\x0290E"),
    (Text
"lE", Text
"\x02266"),
    (Text
"lEg", Text
"\x02A8B"),
    (Text
"lHar", Text
"\x02962"),
    (Text
"lacute", Text
"\x0013A"),
    (Text
"laemptyv", Text
"\x029B4"),
    (Text
"lagran", Text
"\x02112"),
    (Text
"lambda", Text
"\x003BB"),
    (Text
"lang", Text
"\x027E8"),
    (Text
"langd", Text
"\x02991"),
    (Text
"langle", Text
"\x027E8"),
    (Text
"lap", Text
"\x02A85"),
    (Text
"laquo", Text
"\x000AB"),
    (Text
"larr", Text
"\x02190"),
    (Text
"larrb", Text
"\x021E4"),
    (Text
"larrbfs", Text
"\x0291F"),
    (Text
"larrfs", Text
"\x0291D"),
    (Text
"larrhk", Text
"\x021A9"),
    (Text
"larrlp", Text
"\x021AB"),
    (Text
"larrpl", Text
"\x02939"),
    (Text
"larrsim", Text
"\x02973"),
    (Text
"larrtl", Text
"\x021A2"),
    (Text
"lat", Text
"\x02AAB"),
    (Text
"latail", Text
"\x02919"),
    (Text
"late", Text
"\x02AAD"),
    (Text
"lates", Text
"\x02AAD\x0FE00"),
    (Text
"lbarr", Text
"\x0290C"),
    (Text
"lbbrk", Text
"\x02772"),
    (Text
"lbrace", Text
"\x0007B"),
    (Text
"lbrack", Text
"\x0005B"),
    (Text
"lbrke", Text
"\x0298B"),
    (Text
"lbrksld", Text
"\x0298F"),
    (Text
"lbrkslu", Text
"\x0298D"),
    (Text
"lcaron", Text
"\x0013E") ]

{-# NOINLINE reftab34 #-}
reftab34 :: [(Text,Text)]
reftab34 :: [(Text, Text)]
reftab34 =
  [ (Text
"lcedil", Text
"\x0013C"),
    (Text
"lceil", Text
"\x02308"),
    (Text
"lcub", Text
"\x0007B"),
    (Text
"lcy", Text
"\x0043B"),
    (Text
"ldca", Text
"\x02936"),
    (Text
"ldquo", Text
"\x0201C"),
    (Text
"ldquor", Text
"\x0201E"),
    (Text
"ldrdhar", Text
"\x02967"),
    (Text
"ldrushar", Text
"\x0294B"),
    (Text
"ldsh", Text
"\x021B2"),
    (Text
"le", Text
"\x02264"),
    (Text
"leftarrow", Text
"\x02190"),
    (Text
"leftarrowtail", Text
"\x021A2"),
    (Text
"leftharpoondown", Text
"\x021BD"),
    (Text
"leftharpoonup", Text
"\x021BC"),
    (Text
"leftleftarrows", Text
"\x021C7"),
    (Text
"leftrightarrow", Text
"\x02194"),
    (Text
"leftrightarrows", Text
"\x021C6"),
    (Text
"leftrightharpoons", Text
"\x021CB"),
    (Text
"leftrightsquigarrow", Text
"\x021AD"),
    (Text
"leftthreetimes", Text
"\x022CB"),
    (Text
"leg", Text
"\x022DA"),
    (Text
"leq", Text
"\x02264"),
    (Text
"leqq", Text
"\x02266"),
    (Text
"leqslant", Text
"\x02A7D"),
    (Text
"les", Text
"\x02A7D"),
    (Text
"lescc", Text
"\x02AA8"),
    (Text
"lesdot", Text
"\x02A7F"),
    (Text
"lesdoto", Text
"\x02A81"),
    (Text
"lesdotor", Text
"\x02A83"),
    (Text
"lesg", Text
"\x022DA\x0FE00"),
    (Text
"lesges", Text
"\x02A93"),
    (Text
"lessapprox", Text
"\x02A85"),
    (Text
"lessdot", Text
"\x022D6"),
    (Text
"lesseqgtr", Text
"\x022DA"),
    (Text
"lesseqqgtr", Text
"\x02A8B"),
    (Text
"lessgtr", Text
"\x02276") ]

{-# NOINLINE reftab35 #-}
reftab35 :: [(Text,Text)]
reftab35 :: [(Text, Text)]
reftab35 =
  [ (Text
"lesssim", Text
"\x02272"),
    (Text
"lfisht", Text
"\x0297C"),
    (Text
"lfloor", Text
"\x0230A"),
    (Text
"lfr", Text
"\x1D529"),
    (Text
"lg", Text
"\x02276"),
    (Text
"lgE", Text
"\x02A91"),
    (Text
"lhard", Text
"\x021BD"),
    (Text
"lharu", Text
"\x021BC"),
    (Text
"lharul", Text
"\x0296A"),
    (Text
"lhblk", Text
"\x02584"),
    (Text
"ljcy", Text
"\x00459"),
    (Text
"ll", Text
"\x0226A"),
    (Text
"llarr", Text
"\x021C7"),
    (Text
"llcorner", Text
"\x0231E"),
    (Text
"llhard", Text
"\x0296B"),
    (Text
"lltri", Text
"\x025FA"),
    (Text
"lmidot", Text
"\x00140"),
    (Text
"lmoust", Text
"\x023B0"),
    (Text
"lmoustache", Text
"\x023B0"),
    (Text
"lnE", Text
"\x02268"),
    (Text
"lnap", Text
"\x02A89"),
    (Text
"lnapprox", Text
"\x02A89"),
    (Text
"lne", Text
"\x02A87"),
    (Text
"lneq", Text
"\x02A87"),
    (Text
"lneqq", Text
"\x02268"),
    (Text
"lnsim", Text
"\x022E6"),
    (Text
"loang", Text
"\x027EC"),
    (Text
"loarr", Text
"\x021FD"),
    (Text
"lobrk", Text
"\x027E6"),
    (Text
"longleftarrow", Text
"\x027F5"),
    (Text
"longleftrightarrow", Text
"\x027F7"),
    (Text
"longmapsto", Text
"\x027FC"),
    (Text
"longrightarrow", Text
"\x027F6"),
    (Text
"looparrowleft", Text
"\x021AB"),
    (Text
"looparrowright", Text
"\x021AC"),
    (Text
"lopar", Text
"\x02985"),
    (Text
"lopf", Text
"\x1D55D") ]

{-# NOINLINE reftab36 #-}
reftab36 :: [(Text,Text)]
reftab36 :: [(Text, Text)]
reftab36 =
  [ (Text
"loplus", Text
"\x02A2D"),
    (Text
"lotimes", Text
"\x02A34"),
    (Text
"lowast", Text
"\x02217"),
    (Text
"lowbar", Text
"\x0005F"),
    (Text
"loz", Text
"\x025CA"),
    (Text
"lozenge", Text
"\x025CA"),
    (Text
"lozf", Text
"\x029EB"),
    (Text
"lpar", Text
"\x00028"),
    (Text
"lparlt", Text
"\x02993"),
    (Text
"lrarr", Text
"\x021C6"),
    (Text
"lrcorner", Text
"\x0231F"),
    (Text
"lrhar", Text
"\x021CB"),
    (Text
"lrhard", Text
"\x0296D"),
    (Text
"lrm", Text
"\x0200E"),
    (Text
"lrtri", Text
"\x022BF"),
    (Text
"lsaquo", Text
"\x02039"),
    (Text
"lscr", Text
"\x1D4C1"),
    (Text
"lsh", Text
"\x021B0"),
    (Text
"lsim", Text
"\x02272"),
    (Text
"lsime", Text
"\x02A8D"),
    (Text
"lsimg", Text
"\x02A8F"),
    (Text
"lsqb", Text
"\x0005B"),
    (Text
"lsquo", Text
"\x02018"),
    (Text
"lsquor", Text
"\x0201A"),
    (Text
"lstrok", Text
"\x00142"),
    (Text
"lt", Text
"\x0003C"),
    (Text
"ltcc", Text
"\x02AA6"),
    (Text
"ltcir", Text
"\x02A79"),
    (Text
"ltdot", Text
"\x022D6"),
    (Text
"lthree", Text
"\x022CB"),
    (Text
"ltimes", Text
"\x022C9"),
    (Text
"ltlarr", Text
"\x02976"),
    (Text
"ltquest", Text
"\x02A7B"),
    (Text
"ltrPar", Text
"\x02996"),
    (Text
"ltri", Text
"\x025C3"),
    (Text
"ltrie", Text
"\x022B4"),
    (Text
"ltrif", Text
"\x025C2") ]

{-# NOINLINE reftab37 #-}
reftab37 :: [(Text,Text)]
reftab37 :: [(Text, Text)]
reftab37 =
  [ (Text
"lurdshar", Text
"\x0294A"),
    (Text
"luruhar", Text
"\x02966"),
    (Text
"lvertneqq", Text
"\x02268\x0FE00"),
    (Text
"lvnE", Text
"\x02268\x0FE00"),
    (Text
"mDDot", Text
"\x0223A"),
    (Text
"macr", Text
"\x000AF"),
    (Text
"male", Text
"\x02642"),
    (Text
"malt", Text
"\x02720"),
    (Text
"maltese", Text
"\x02720"),
    (Text
"map", Text
"\x021A6"),
    (Text
"mapsto", Text
"\x021A6"),
    (Text
"mapstodown", Text
"\x021A7"),
    (Text
"mapstoleft", Text
"\x021A4"),
    (Text
"mapstoup", Text
"\x021A5"),
    (Text
"marker", Text
"\x025AE"),
    (Text
"mcomma", Text
"\x02A29"),
    (Text
"mcy", Text
"\x0043C"),
    (Text
"mdash", Text
"\x02014"),
    (Text
"measuredangle", Text
"\x02221"),
    (Text
"mfr", Text
"\x1D52A"),
    (Text
"mho", Text
"\x02127"),
    (Text
"micro", Text
"\x000B5"),
    (Text
"mid", Text
"\x02223"),
    (Text
"midast", Text
"\x0002A"),
    (Text
"midcir", Text
"\x02AF0"),
    (Text
"middot", Text
"\x000B7"),
    (Text
"minus", Text
"\x02212"),
    (Text
"minusb", Text
"\x0229F"),
    (Text
"minusd", Text
"\x02238"),
    (Text
"minusdu", Text
"\x02A2A"),
    (Text
"mlcp", Text
"\x02ADB"),
    (Text
"mldr", Text
"\x02026"),
    (Text
"mnplus", Text
"\x02213"),
    (Text
"models", Text
"\x022A7"),
    (Text
"mopf", Text
"\x1D55E"),
    (Text
"mp", Text
"\x02213"),
    (Text
"mscr", Text
"\x1D4C2") ]

{-# NOINLINE reftab38 #-}
reftab38 :: [(Text,Text)]
reftab38 :: [(Text, Text)]
reftab38 =
  [ (Text
"mstpos", Text
"\x0223E"),
    (Text
"mu", Text
"\x003BC"),
    (Text
"multimap", Text
"\x022B8"),
    (Text
"mumap", Text
"\x022B8"),
    (Text
"nGg", Text
"\x022D9\x00338"),
    (Text
"nGt", Text
"\x0226B\x020D2"),
    (Text
"nGtv", Text
"\x0226B\x00338"),
    (Text
"nLeftarrow", Text
"\x021CD"),
    (Text
"nLeftrightarrow", Text
"\x021CE"),
    (Text
"nLl", Text
"\x022D8\x00338"),
    (Text
"nLt", Text
"\x0226A\x020D2"),
    (Text
"nLtv", Text
"\x0226A\x00338"),
    (Text
"nRightarrow", Text
"\x021CF"),
    (Text
"nVDash", Text
"\x022AF"),
    (Text
"nVdash", Text
"\x022AE"),
    (Text
"nabla", Text
"\x02207"),
    (Text
"nacute", Text
"\x00144"),
    (Text
"nang", Text
"\x02220\x020D2"),
    (Text
"nap", Text
"\x02249"),
    (Text
"napE", Text
"\x02A70\x00338"),
    (Text
"napid", Text
"\x0224B\x00338"),
    (Text
"napos", Text
"\x00149"),
    (Text
"napprox", Text
"\x02249"),
    (Text
"natur", Text
"\x0266E"),
    (Text
"natural", Text
"\x0266E"),
    (Text
"naturals", Text
"\x02115"),
    (Text
"nbsp", Text
"\x000A0"),
    (Text
"nbump", Text
"\x0224E\x00338"),
    (Text
"nbumpe", Text
"\x0224F\x00338"),
    (Text
"ncap", Text
"\x02A43"),
    (Text
"ncaron", Text
"\x00148"),
    (Text
"ncedil", Text
"\x00146"),
    (Text
"ncong", Text
"\x02247"),
    (Text
"ncongdot", Text
"\x02A6D\x00338"),
    (Text
"ncup", Text
"\x02A42"),
    (Text
"ncy", Text
"\x0043D"),
    (Text
"ndash", Text
"\x02013") ]

{-# NOINLINE reftab39 #-}
reftab39 :: [(Text,Text)]
reftab39 :: [(Text, Text)]
reftab39 =
  [ (Text
"ne", Text
"\x02260"),
    (Text
"neArr", Text
"\x021D7"),
    (Text
"nearhk", Text
"\x02924"),
    (Text
"nearr", Text
"\x02197"),
    (Text
"nearrow", Text
"\x02197"),
    (Text
"nedot", Text
"\x02250\x00338"),
    (Text
"nequiv", Text
"\x02262"),
    (Text
"nesear", Text
"\x02928"),
    (Text
"nesim", Text
"\x02242\x00338"),
    (Text
"nexist", Text
"\x02204"),
    (Text
"nexists", Text
"\x02204"),
    (Text
"nfr", Text
"\x1D52B"),
    (Text
"ngE", Text
"\x02267\x00338"),
    (Text
"nge", Text
"\x02271"),
    (Text
"ngeq", Text
"\x02271"),
    (Text
"ngeqq", Text
"\x02267\x00338"),
    (Text
"ngeqslant", Text
"\x02A7E\x00338"),
    (Text
"nges", Text
"\x02A7E\x00338"),
    (Text
"ngsim", Text
"\x02275"),
    (Text
"ngt", Text
"\x0226F"),
    (Text
"ngtr", Text
"\x0226F"),
    (Text
"nhArr", Text
"\x021CE"),
    (Text
"nharr", Text
"\x021AE"),
    (Text
"nhpar", Text
"\x02AF2"),
    (Text
"ni", Text
"\x0220B"),
    (Text
"nis", Text
"\x022FC"),
    (Text
"nisd", Text
"\x022FA"),
    (Text
"niv", Text
"\x0220B"),
    (Text
"njcy", Text
"\x0045A"),
    (Text
"nlArr", Text
"\x021CD"),
    (Text
"nlE", Text
"\x02266\x00338"),
    (Text
"nlarr", Text
"\x0219A"),
    (Text
"nldr", Text
"\x02025"),
    (Text
"nle", Text
"\x02270"),
    (Text
"nleftarrow", Text
"\x0219A"),
    (Text
"nleftrightarrow", Text
"\x021AE"),
    (Text
"nleq", Text
"\x02270") ]

{-# NOINLINE reftab40 #-}
reftab40 :: [(Text,Text)]
reftab40 :: [(Text, Text)]
reftab40 =
  [ (Text
"nleqq", Text
"\x02266\x00338"),
    (Text
"nleqslant", Text
"\x02A7D\x00338"),
    (Text
"nles", Text
"\x02A7D\x00338"),
    (Text
"nless", Text
"\x0226E"),
    (Text
"nlsim", Text
"\x02274"),
    (Text
"nlt", Text
"\x0226E"),
    (Text
"nltri", Text
"\x022EA"),
    (Text
"nltrie", Text
"\x022EC"),
    (Text
"nmid", Text
"\x02224"),
    (Text
"nopf", Text
"\x1D55F"),
    (Text
"not", Text
"\x000AC"),
    (Text
"notin", Text
"\x02209"),
    (Text
"notinE", Text
"\x022F9\x00338"),
    (Text
"notindot", Text
"\x022F5\x00338"),
    (Text
"notinva", Text
"\x02209"),
    (Text
"notinvb", Text
"\x022F7"),
    (Text
"notinvc", Text
"\x022F6"),
    (Text
"notni", Text
"\x0220C"),
    (Text
"notniva", Text
"\x0220C"),
    (Text
"notnivb", Text
"\x022FE"),
    (Text
"notnivc", Text
"\x022FD"),
    (Text
"npar", Text
"\x02226"),
    (Text
"nparallel", Text
"\x02226"),
    (Text
"nparsl", Text
"\x02AFD\x020E5"),
    (Text
"npart", Text
"\x02202\x00338"),
    (Text
"npolint", Text
"\x02A14"),
    (Text
"npr", Text
"\x02280"),
    (Text
"nprcue", Text
"\x022E0"),
    (Text
"npre", Text
"\x02AAF\x00338"),
    (Text
"nprec", Text
"\x02280"),
    (Text
"npreceq", Text
"\x02AAF\x00338"),
    (Text
"nrArr", Text
"\x021CF"),
    (Text
"nrarr", Text
"\x0219B"),
    (Text
"nrarrc", Text
"\x02933\x00338"),
    (Text
"nrarrw", Text
"\x0219D\x00338"),
    (Text
"nrightarrow", Text
"\x0219B"),
    (Text
"nrtri", Text
"\x022EB") ]

{-# NOINLINE reftab41 #-}
reftab41 :: [(Text,Text)]
reftab41 :: [(Text, Text)]
reftab41 =
  [ (Text
"nrtrie", Text
"\x022ED"),
    (Text
"nsc", Text
"\x02281"),
    (Text
"nsccue", Text
"\x022E1"),
    (Text
"nsce", Text
"\x02AB0\x00338"),
    (Text
"nscr", Text
"\x1D4C3"),
    (Text
"nshortmid", Text
"\x02224"),
    (Text
"nshortparallel", Text
"\x02226"),
    (Text
"nsim", Text
"\x02241"),
    (Text
"nsime", Text
"\x02244"),
    (Text
"nsimeq", Text
"\x02244"),
    (Text
"nsmid", Text
"\x02224"),
    (Text
"nspar", Text
"\x02226"),
    (Text
"nsqsube", Text
"\x022E2"),
    (Text
"nsqsupe", Text
"\x022E3"),
    (Text
"nsub", Text
"\x02284"),
    (Text
"nsubE", Text
"\x02AC5\x00338"),
    (Text
"nsube", Text
"\x02288"),
    (Text
"nsubset", Text
"\x02282\x020D2"),
    (Text
"nsubseteq", Text
"\x02288"),
    (Text
"nsubseteqq", Text
"\x02AC5\x00338"),
    (Text
"nsucc", Text
"\x02281"),
    (Text
"nsucceq", Text
"\x02AB0\x00338"),
    (Text
"nsup", Text
"\x02285"),
    (Text
"nsupE", Text
"\x02AC6\x00338"),
    (Text
"nsupe", Text
"\x02289"),
    (Text
"nsupset", Text
"\x02283\x020D2"),
    (Text
"nsupseteq", Text
"\x02289"),
    (Text
"nsupseteqq", Text
"\x02AC6\x00338"),
    (Text
"ntgl", Text
"\x02279"),
    (Text
"ntilde", Text
"\x000F1"),
    (Text
"ntlg", Text
"\x02278"),
    (Text
"ntriangleleft", Text
"\x022EA"),
    (Text
"ntrianglelefteq", Text
"\x022EC"),
    (Text
"ntriangleright", Text
"\x022EB"),
    (Text
"ntrianglerighteq", Text
"\x022ED"),
    (Text
"nu", Text
"\x003BD"),
    (Text
"num", Text
"\x00023") ]

{-# NOINLINE reftab42 #-}
reftab42 :: [(Text,Text)]
reftab42 :: [(Text, Text)]
reftab42 =
  [ (Text
"numero", Text
"\x02116"),
    (Text
"numsp", Text
"\x02007"),
    (Text
"nvDash", Text
"\x022AD"),
    (Text
"nvHarr", Text
"\x02904"),
    (Text
"nvap", Text
"\x0224D\x020D2"),
    (Text
"nvdash", Text
"\x022AC"),
    (Text
"nvge", Text
"\x02265\x020D2"),
    (Text
"nvgt", Text
"\x0003E\x020D2"),
    (Text
"nvinfin", Text
"\x029DE"),
    (Text
"nvlArr", Text
"\x02902"),
    (Text
"nvle", Text
"\x02264\x020D2"),
    (Text
"nvlt", Text
"\x0003C\x020D2"),
    (Text
"nvltrie", Text
"\x022B4\x020D2"),
    (Text
"nvrArr", Text
"\x02903"),
    (Text
"nvrtrie", Text
"\x022B5\x020D2"),
    (Text
"nvsim", Text
"\x0223C\x020D2"),
    (Text
"nwArr", Text
"\x021D6"),
    (Text
"nwarhk", Text
"\x02923"),
    (Text
"nwarr", Text
"\x02196"),
    (Text
"nwarrow", Text
"\x02196"),
    (Text
"nwnear", Text
"\x02927"),
    (Text
"oS", Text
"\x024C8"),
    (Text
"oacute", Text
"\x000F3"),
    (Text
"oast", Text
"\x0229B"),
    (Text
"ocir", Text
"\x0229A"),
    (Text
"ocirc", Text
"\x000F4"),
    (Text
"ocy", Text
"\x0043E"),
    (Text
"odash", Text
"\x0229D"),
    (Text
"odblac", Text
"\x00151"),
    (Text
"odiv", Text
"\x02A38"),
    (Text
"odot", Text
"\x02299"),
    (Text
"odsold", Text
"\x029BC"),
    (Text
"oelig", Text
"\x00153"),
    (Text
"ofcir", Text
"\x029BF"),
    (Text
"ofr", Text
"\x1D52C"),
    (Text
"ogon", Text
"\x002DB"),
    (Text
"ograve", Text
"\x000F2") ]

{-# NOINLINE reftab43 #-}
reftab43 :: [(Text,Text)]
reftab43 :: [(Text, Text)]
reftab43 =
  [ (Text
"ogt", Text
"\x029C1"),
    (Text
"ohbar", Text
"\x029B5"),
    (Text
"ohm", Text
"\x003A9"),
    (Text
"oint", Text
"\x0222E"),
    (Text
"olarr", Text
"\x021BA"),
    (Text
"olcir", Text
"\x029BE"),
    (Text
"olcross", Text
"\x029BB"),
    (Text
"oline", Text
"\x0203E"),
    (Text
"olt", Text
"\x029C0"),
    (Text
"omacr", Text
"\x0014D"),
    (Text
"omega", Text
"\x003C9"),
    (Text
"omicron", Text
"\x003BF"),
    (Text
"omid", Text
"\x029B6"),
    (Text
"ominus", Text
"\x02296"),
    (Text
"oopf", Text
"\x1D560"),
    (Text
"opar", Text
"\x029B7"),
    (Text
"operp", Text
"\x029B9"),
    (Text
"oplus", Text
"\x02295"),
    (Text
"or", Text
"\x02228"),
    (Text
"orarr", Text
"\x021BB"),
    (Text
"ord", Text
"\x02A5D"),
    (Text
"order", Text
"\x02134"),
    (Text
"orderof", Text
"\x02134"),
    (Text
"ordf", Text
"\x000AA"),
    (Text
"ordm", Text
"\x000BA"),
    (Text
"origof", Text
"\x022B6"),
    (Text
"oror", Text
"\x02A56"),
    (Text
"orslope", Text
"\x02A57"),
    (Text
"orv", Text
"\x02A5B"),
    (Text
"oscr", Text
"\x02134"),
    (Text
"oslash", Text
"\x000F8"),
    (Text
"osol", Text
"\x02298"),
    (Text
"otilde", Text
"\x000F5"),
    (Text
"otimes", Text
"\x02297"),
    (Text
"otimesas", Text
"\x02A36"),
    (Text
"ouml", Text
"\x000F6"),
    (Text
"ovbar", Text
"\x0233D") ]

{-# NOINLINE reftab44 #-}
reftab44 :: [(Text,Text)]
reftab44 :: [(Text, Text)]
reftab44 =
  [ (Text
"par", Text
"\x02225"),
    (Text
"para", Text
"\x000B6"),
    (Text
"parallel", Text
"\x02225"),
    (Text
"parsim", Text
"\x02AF3"),
    (Text
"parsl", Text
"\x02AFD"),
    (Text
"part", Text
"\x02202"),
    (Text
"pcy", Text
"\x0043F"),
    (Text
"percnt", Text
"\x00025"),
    (Text
"period", Text
"\x0002E"),
    (Text
"permil", Text
"\x02030"),
    (Text
"perp", Text
"\x022A5"),
    (Text
"pertenk", Text
"\x02031"),
    (Text
"pfr", Text
"\x1D52D"),
    (Text
"phi", Text
"\x003C6"),
    (Text
"phiv", Text
"\x003D5"),
    (Text
"phmmat", Text
"\x02133"),
    (Text
"phone", Text
"\x0260E"),
    (Text
"pi", Text
"\x003C0"),
    (Text
"pitchfork", Text
"\x022D4"),
    (Text
"piv", Text
"\x003D6"),
    (Text
"planck", Text
"\x0210F"),
    (Text
"planckh", Text
"\x0210E"),
    (Text
"plankv", Text
"\x0210F"),
    (Text
"plus", Text
"\x0002B"),
    (Text
"plusacir", Text
"\x02A23"),
    (Text
"plusb", Text
"\x0229E"),
    (Text
"pluscir", Text
"\x02A22"),
    (Text
"plusdo", Text
"\x02214"),
    (Text
"plusdu", Text
"\x02A25"),
    (Text
"pluse", Text
"\x02A72"),
    (Text
"plusmn", Text
"\x000B1"),
    (Text
"plussim", Text
"\x02A26"),
    (Text
"plustwo", Text
"\x02A27"),
    (Text
"pm", Text
"\x000B1"),
    (Text
"pointint", Text
"\x02A15"),
    (Text
"popf", Text
"\x1D561"),
    (Text
"pound", Text
"\x000A3") ]

{-# NOINLINE reftab45 #-}
reftab45 :: [(Text,Text)]
reftab45 :: [(Text, Text)]
reftab45 =
  [ (Text
"pr", Text
"\x0227A"),
    (Text
"prE", Text
"\x02AB3"),
    (Text
"prap", Text
"\x02AB7"),
    (Text
"prcue", Text
"\x0227C"),
    (Text
"pre", Text
"\x02AAF"),
    (Text
"prec", Text
"\x0227A"),
    (Text
"precapprox", Text
"\x02AB7"),
    (Text
"preccurlyeq", Text
"\x0227C"),
    (Text
"preceq", Text
"\x02AAF"),
    (Text
"precnapprox", Text
"\x02AB9"),
    (Text
"precneqq", Text
"\x02AB5"),
    (Text
"precnsim", Text
"\x022E8"),
    (Text
"precsim", Text
"\x0227E"),
    (Text
"prime", Text
"\x02032"),
    (Text
"primes", Text
"\x02119"),
    (Text
"prnE", Text
"\x02AB5"),
    (Text
"prnap", Text
"\x02AB9"),
    (Text
"prnsim", Text
"\x022E8"),
    (Text
"prod", Text
"\x0220F"),
    (Text
"profalar", Text
"\x0232E"),
    (Text
"profline", Text
"\x02312"),
    (Text
"profsurf", Text
"\x02313"),
    (Text
"prop", Text
"\x0221D"),
    (Text
"propto", Text
"\x0221D"),
    (Text
"prsim", Text
"\x0227E"),
    (Text
"prurel", Text
"\x022B0"),
    (Text
"pscr", Text
"\x1D4C5"),
    (Text
"psi", Text
"\x003C8"),
    (Text
"puncsp", Text
"\x02008"),
    (Text
"qfr", Text
"\x1D52E"),
    (Text
"qint", Text
"\x02A0C"),
    (Text
"qopf", Text
"\x1D562"),
    (Text
"qprime", Text
"\x02057"),
    (Text
"qscr", Text
"\x1D4C6"),
    (Text
"quaternions", Text
"\x0210D"),
    (Text
"quatint", Text
"\x02A16"),
    (Text
"quest", Text
"\x0003F") ]

{-# NOINLINE reftab46 #-}
reftab46 :: [(Text,Text)]
reftab46 :: [(Text, Text)]
reftab46 =
  [ (Text
"questeq", Text
"\x0225F"),
    (Text
"quot", Text
"\x00022"),
    (Text
"rAarr", Text
"\x021DB"),
    (Text
"rArr", Text
"\x021D2"),
    (Text
"rAtail", Text
"\x0291C"),
    (Text
"rBarr", Text
"\x0290F"),
    (Text
"rHar", Text
"\x02964"),
    (Text
"race", Text
"\x0223D\x00331"),
    (Text
"racute", Text
"\x00155"),
    (Text
"radic", Text
"\x0221A"),
    (Text
"raemptyv", Text
"\x029B3"),
    (Text
"rang", Text
"\x027E9"),
    (Text
"rangd", Text
"\x02992"),
    (Text
"range", Text
"\x029A5"),
    (Text
"rangle", Text
"\x027E9"),
    (Text
"raquo", Text
"\x000BB"),
    (Text
"rarr", Text
"\x02192"),
    (Text
"rarrap", Text
"\x02975"),
    (Text
"rarrb", Text
"\x021E5"),
    (Text
"rarrbfs", Text
"\x02920"),
    (Text
"rarrc", Text
"\x02933"),
    (Text
"rarrfs", Text
"\x0291E"),
    (Text
"rarrhk", Text
"\x021AA"),
    (Text
"rarrlp", Text
"\x021AC"),
    (Text
"rarrpl", Text
"\x02945"),
    (Text
"rarrsim", Text
"\x02974"),
    (Text
"rarrtl", Text
"\x021A3"),
    (Text
"rarrw", Text
"\x0219D"),
    (Text
"ratail", Text
"\x0291A"),
    (Text
"ratio", Text
"\x02236"),
    (Text
"rationals", Text
"\x0211A"),
    (Text
"rbarr", Text
"\x0290D"),
    (Text
"rbbrk", Text
"\x02773"),
    (Text
"rbrace", Text
"\x0007D"),
    (Text
"rbrack", Text
"\x0005D"),
    (Text
"rbrke", Text
"\x0298C"),
    (Text
"rbrksld", Text
"\x0298E") ]

{-# NOINLINE reftab47 #-}
reftab47 :: [(Text,Text)]
reftab47 :: [(Text, Text)]
reftab47 =
  [ (Text
"rbrkslu", Text
"\x02990"),
    (Text
"rcaron", Text
"\x00159"),
    (Text
"rcedil", Text
"\x00157"),
    (Text
"rceil", Text
"\x02309"),
    (Text
"rcub", Text
"\x0007D"),
    (Text
"rcy", Text
"\x00440"),
    (Text
"rdca", Text
"\x02937"),
    (Text
"rdldhar", Text
"\x02969"),
    (Text
"rdquo", Text
"\x0201D"),
    (Text
"rdquor", Text
"\x0201D"),
    (Text
"rdsh", Text
"\x021B3"),
    (Text
"real", Text
"\x0211C"),
    (Text
"realine", Text
"\x0211B"),
    (Text
"realpart", Text
"\x0211C"),
    (Text
"reals", Text
"\x0211D"),
    (Text
"rect", Text
"\x025AD"),
    (Text
"reg", Text
"\x000AE"),
    (Text
"rfisht", Text
"\x0297D"),
    (Text
"rfloor", Text
"\x0230B"),
    (Text
"rfr", Text
"\x1D52F"),
    (Text
"rhard", Text
"\x021C1"),
    (Text
"rharu", Text
"\x021C0"),
    (Text
"rharul", Text
"\x0296C"),
    (Text
"rho", Text
"\x003C1"),
    (Text
"rhov", Text
"\x003F1"),
    (Text
"rightarrow", Text
"\x02192"),
    (Text
"rightarrowtail", Text
"\x021A3"),
    (Text
"rightharpoondown", Text
"\x021C1"),
    (Text
"rightharpoonup", Text
"\x021C0"),
    (Text
"rightleftarrows", Text
"\x021C4"),
    (Text
"rightleftharpoons", Text
"\x021CC"),
    (Text
"rightrightarrows", Text
"\x021C9"),
    (Text
"rightsquigarrow", Text
"\x0219D"),
    (Text
"rightthreetimes", Text
"\x022CC"),
    (Text
"ring", Text
"\x002DA"),
    (Text
"risingdotseq", Text
"\x02253"),
    (Text
"rlarr", Text
"\x021C4") ]

{-# NOINLINE reftab48 #-}
reftab48 :: [(Text,Text)]
reftab48 :: [(Text, Text)]
reftab48 =
  [ (Text
"rlhar", Text
"\x021CC"),
    (Text
"rlm", Text
"\x0200F"),
    (Text
"rmoust", Text
"\x023B1"),
    (Text
"rmoustache", Text
"\x023B1"),
    (Text
"rnmid", Text
"\x02AEE"),
    (Text
"roang", Text
"\x027ED"),
    (Text
"roarr", Text
"\x021FE"),
    (Text
"robrk", Text
"\x027E7"),
    (Text
"ropar", Text
"\x02986"),
    (Text
"ropf", Text
"\x1D563"),
    (Text
"roplus", Text
"\x02A2E"),
    (Text
"rotimes", Text
"\x02A35"),
    (Text
"rpar", Text
"\x00029"),
    (Text
"rpargt", Text
"\x02994"),
    (Text
"rppolint", Text
"\x02A12"),
    (Text
"rrarr", Text
"\x021C9"),
    (Text
"rsaquo", Text
"\x0203A"),
    (Text
"rscr", Text
"\x1D4C7"),
    (Text
"rsh", Text
"\x021B1"),
    (Text
"rsqb", Text
"\x0005D"),
    (Text
"rsquo", Text
"\x02019"),
    (Text
"rsquor", Text
"\x02019"),
    (Text
"rthree", Text
"\x022CC"),
    (Text
"rtimes", Text
"\x022CA"),
    (Text
"rtri", Text
"\x025B9"),
    (Text
"rtrie", Text
"\x022B5"),
    (Text
"rtrif", Text
"\x025B8"),
    (Text
"rtriltri", Text
"\x029CE"),
    (Text
"ruluhar", Text
"\x02968"),
    (Text
"rx", Text
"\x0211E"),
    (Text
"sacute", Text
"\x0015B"),
    (Text
"sbquo", Text
"\x0201A"),
    (Text
"sc", Text
"\x0227B"),
    (Text
"scE", Text
"\x02AB4"),
    (Text
"scap", Text
"\x02AB8"),
    (Text
"scaron", Text
"\x00161"),
    (Text
"sccue", Text
"\x0227D") ]

{-# NOINLINE reftab49 #-}
reftab49 :: [(Text,Text)]
reftab49 :: [(Text, Text)]
reftab49 =
  [ (Text
"sce", Text
"\x02AB0"),
    (Text
"scedil", Text
"\x0015F"),
    (Text
"scirc", Text
"\x0015D"),
    (Text
"scnE", Text
"\x02AB6"),
    (Text
"scnap", Text
"\x02ABA"),
    (Text
"scnsim", Text
"\x022E9"),
    (Text
"scpolint", Text
"\x02A13"),
    (Text
"scsim", Text
"\x0227F"),
    (Text
"scy", Text
"\x00441"),
    (Text
"sdot", Text
"\x022C5"),
    (Text
"sdotb", Text
"\x022A1"),
    (Text
"sdote", Text
"\x02A66"),
    (Text
"seArr", Text
"\x021D8"),
    (Text
"searhk", Text
"\x02925"),
    (Text
"searr", Text
"\x02198"),
    (Text
"searrow", Text
"\x02198"),
    (Text
"sect", Text
"\x000A7"),
    (Text
"semi", Text
"\x0003B"),
    (Text
"seswar", Text
"\x02929"),
    (Text
"setminus", Text
"\x02216"),
    (Text
"setmn", Text
"\x02216"),
    (Text
"sext", Text
"\x02736"),
    (Text
"sfr", Text
"\x1D530"),
    (Text
"sfrown", Text
"\x02322"),
    (Text
"sharp", Text
"\x0266F"),
    (Text
"shchcy", Text
"\x00449"),
    (Text
"shcy", Text
"\x00448"),
    (Text
"shortmid", Text
"\x02223"),
    (Text
"shortparallel", Text
"\x02225"),
    (Text
"shy", Text
"\x000AD"),
    (Text
"sigma", Text
"\x003C3"),
    (Text
"sigmaf", Text
"\x003C2"),
    (Text
"sigmav", Text
"\x003C2"),
    (Text
"sim", Text
"\x0223C"),
    (Text
"simdot", Text
"\x02A6A"),
    (Text
"sime", Text
"\x02243"),
    (Text
"simeq", Text
"\x02243") ]

{-# NOINLINE reftab50 #-}
reftab50 :: [(Text,Text)]
reftab50 :: [(Text, Text)]
reftab50 =
  [ (Text
"simg", Text
"\x02A9E"),
    (Text
"simgE", Text
"\x02AA0"),
    (Text
"siml", Text
"\x02A9D"),
    (Text
"simlE", Text
"\x02A9F"),
    (Text
"simne", Text
"\x02246"),
    (Text
"simplus", Text
"\x02A24"),
    (Text
"simrarr", Text
"\x02972"),
    (Text
"slarr", Text
"\x02190"),
    (Text
"smallsetminus", Text
"\x02216"),
    (Text
"smashp", Text
"\x02A33"),
    (Text
"smeparsl", Text
"\x029E4"),
    (Text
"smid", Text
"\x02223"),
    (Text
"smile", Text
"\x02323"),
    (Text
"smt", Text
"\x02AAA"),
    (Text
"smte", Text
"\x02AAC"),
    (Text
"smtes", Text
"\x02AAC\x0FE00"),
    (Text
"softcy", Text
"\x0044C"),
    (Text
"sol", Text
"\x0002F"),
    (Text
"solb", Text
"\x029C4"),
    (Text
"solbar", Text
"\x0233F"),
    (Text
"sopf", Text
"\x1D564"),
    (Text
"spades", Text
"\x02660"),
    (Text
"spadesuit", Text
"\x02660"),
    (Text
"spar", Text
"\x02225"),
    (Text
"sqcap", Text
"\x02293"),
    (Text
"sqcaps", Text
"\x02293\x0FE00"),
    (Text
"sqcup", Text
"\x02294"),
    (Text
"sqcups", Text
"\x02294\x0FE00"),
    (Text
"sqsub", Text
"\x0228F"),
    (Text
"sqsube", Text
"\x02291"),
    (Text
"sqsubset", Text
"\x0228F"),
    (Text
"sqsubseteq", Text
"\x02291"),
    (Text
"sqsup", Text
"\x02290"),
    (Text
"sqsupe", Text
"\x02292"),
    (Text
"sqsupset", Text
"\x02290"),
    (Text
"sqsupseteq", Text
"\x02292"),
    (Text
"squ", Text
"\x025A1") ]

{-# NOINLINE reftab51 #-}
reftab51 :: [(Text,Text)]
reftab51 :: [(Text, Text)]
reftab51 =
  [ (Text
"square", Text
"\x025A1"),
    (Text
"squarf", Text
"\x025AA"),
    (Text
"squf", Text
"\x025AA"),
    (Text
"srarr", Text
"\x02192"),
    (Text
"sscr", Text
"\x1D4C8"),
    (Text
"ssetmn", Text
"\x02216"),
    (Text
"ssmile", Text
"\x02323"),
    (Text
"sstarf", Text
"\x022C6"),
    (Text
"star", Text
"\x02606"),
    (Text
"starf", Text
"\x02605"),
    (Text
"straightepsilon", Text
"\x003F5"),
    (Text
"straightphi", Text
"\x003D5"),
    (Text
"strns", Text
"\x000AF"),
    (Text
"sub", Text
"\x02282"),
    (Text
"subE", Text
"\x02AC5"),
    (Text
"subdot", Text
"\x02ABD"),
    (Text
"sube", Text
"\x02286"),
    (Text
"subedot", Text
"\x02AC3"),
    (Text
"submult", Text
"\x02AC1"),
    (Text
"subnE", Text
"\x02ACB"),
    (Text
"subne", Text
"\x0228A"),
    (Text
"subplus", Text
"\x02ABF"),
    (Text
"subrarr", Text
"\x02979"),
    (Text
"subset", Text
"\x02282"),
    (Text
"subseteq", Text
"\x02286"),
    (Text
"subseteqq", Text
"\x02AC5"),
    (Text
"subsetneq", Text
"\x0228A"),
    (Text
"subsetneqq", Text
"\x02ACB"),
    (Text
"subsim", Text
"\x02AC7"),
    (Text
"subsub", Text
"\x02AD5"),
    (Text
"subsup", Text
"\x02AD3"),
    (Text
"succ", Text
"\x0227B"),
    (Text
"succapprox", Text
"\x02AB8"),
    (Text
"succcurlyeq", Text
"\x0227D"),
    (Text
"succeq", Text
"\x02AB0"),
    (Text
"succnapprox", Text
"\x02ABA"),
    (Text
"succneqq", Text
"\x02AB6") ]

{-# NOINLINE reftab52 #-}
reftab52 :: [(Text,Text)]
reftab52 :: [(Text, Text)]
reftab52 =
  [ (Text
"succnsim", Text
"\x022E9"),
    (Text
"succsim", Text
"\x0227F"),
    (Text
"sum", Text
"\x02211"),
    (Text
"sung", Text
"\x0266A"),
    (Text
"sup", Text
"\x02283"),
    (Text
"sup1", Text
"\x000B9"),
    (Text
"sup2", Text
"\x000B2"),
    (Text
"sup3", Text
"\x000B3"),
    (Text
"supE", Text
"\x02AC6"),
    (Text
"supdot", Text
"\x02ABE"),
    (Text
"supdsub", Text
"\x02AD8"),
    (Text
"supe", Text
"\x02287"),
    (Text
"supedot", Text
"\x02AC4"),
    (Text
"suphsol", Text
"\x027C9"),
    (Text
"suphsub", Text
"\x02AD7"),
    (Text
"suplarr", Text
"\x0297B"),
    (Text
"supmult", Text
"\x02AC2"),
    (Text
"supnE", Text
"\x02ACC"),
    (Text
"supne", Text
"\x0228B"),
    (Text
"supplus", Text
"\x02AC0"),
    (Text
"supset", Text
"\x02283"),
    (Text
"supseteq", Text
"\x02287"),
    (Text
"supseteqq", Text
"\x02AC6"),
    (Text
"supsetneq", Text
"\x0228B"),
    (Text
"supsetneqq", Text
"\x02ACC"),
    (Text
"supsim", Text
"\x02AC8"),
    (Text
"supsub", Text
"\x02AD4"),
    (Text
"supsup", Text
"\x02AD6"),
    (Text
"swArr", Text
"\x021D9"),
    (Text
"swarhk", Text
"\x02926"),
    (Text
"swarr", Text
"\x02199"),
    (Text
"swarrow", Text
"\x02199"),
    (Text
"swnwar", Text
"\x0292A"),
    (Text
"szlig", Text
"\x000DF"),
    (Text
"target", Text
"\x02316"),
    (Text
"tau", Text
"\x003C4"),
    (Text
"tbrk", Text
"\x023B4") ]

{-# NOINLINE reftab53 #-}
reftab53 :: [(Text,Text)]
reftab53 :: [(Text, Text)]
reftab53 =
  [ (Text
"tcaron", Text
"\x00165"),
    (Text
"tcedil", Text
"\x00163"),
    (Text
"tcy", Text
"\x00442"),
    (Text
"tdot", Text
"\x020DB"),
    (Text
"telrec", Text
"\x02315"),
    (Text
"tfr", Text
"\x1D531"),
    (Text
"there4", Text
"\x02234"),
    (Text
"therefore", Text
"\x02234"),
    (Text
"theta", Text
"\x003B8"),
    (Text
"thetasym", Text
"\x003D1"),
    (Text
"thetav", Text
"\x003D1"),
    (Text
"thickapprox", Text
"\x02248"),
    (Text
"thicksim", Text
"\x0223C"),
    (Text
"thinsp", Text
"\x02009"),
    (Text
"thkap", Text
"\x02248"),
    (Text
"thksim", Text
"\x0223C"),
    (Text
"thorn", Text
"\x000FE"),
    (Text
"tilde", Text
"\x002DC"),
    (Text
"times", Text
"\x000D7"),
    (Text
"timesb", Text
"\x022A0"),
    (Text
"timesbar", Text
"\x02A31"),
    (Text
"timesd", Text
"\x02A30"),
    (Text
"tint", Text
"\x0222D"),
    (Text
"toea", Text
"\x02928"),
    (Text
"top", Text
"\x022A4"),
    (Text
"topbot", Text
"\x02336"),
    (Text
"topcir", Text
"\x02AF1"),
    (Text
"topf", Text
"\x1D565"),
    (Text
"topfork", Text
"\x02ADA"),
    (Text
"tosa", Text
"\x02929"),
    (Text
"tprime", Text
"\x02034"),
    (Text
"trade", Text
"\x02122"),
    (Text
"triangle", Text
"\x025B5"),
    (Text
"triangledown", Text
"\x025BF"),
    (Text
"triangleleft", Text
"\x025C3"),
    (Text
"trianglelefteq", Text
"\x022B4"),
    (Text
"triangleq", Text
"\x0225C") ]

{-# NOINLINE reftab54 #-}
reftab54 :: [(Text,Text)]
reftab54 :: [(Text, Text)]
reftab54 =
  [ (Text
"triangleright", Text
"\x025B9"),
    (Text
"trianglerighteq", Text
"\x022B5"),
    (Text
"tridot", Text
"\x025EC"),
    (Text
"trie", Text
"\x0225C"),
    (Text
"triminus", Text
"\x02A3A"),
    (Text
"triplus", Text
"\x02A39"),
    (Text
"trisb", Text
"\x029CD"),
    (Text
"tritime", Text
"\x02A3B"),
    (Text
"trpezium", Text
"\x023E2"),
    (Text
"tscr", Text
"\x1D4C9"),
    (Text
"tscy", Text
"\x00446"),
    (Text
"tshcy", Text
"\x0045B"),
    (Text
"tstrok", Text
"\x00167"),
    (Text
"twixt", Text
"\x0226C"),
    (Text
"twoheadleftarrow", Text
"\x0219E"),
    (Text
"twoheadrightarrow", Text
"\x021A0"),
    (Text
"uArr", Text
"\x021D1"),
    (Text
"uHar", Text
"\x02963"),
    (Text
"uacute", Text
"\x000FA"),
    (Text
"uarr", Text
"\x02191"),
    (Text
"ubrcy", Text
"\x0045E"),
    (Text
"ubreve", Text
"\x0016D"),
    (Text
"ucirc", Text
"\x000FB"),
    (Text
"ucy", Text
"\x00443"),
    (Text
"udarr", Text
"\x021C5"),
    (Text
"udblac", Text
"\x00171"),
    (Text
"udhar", Text
"\x0296E"),
    (Text
"ufisht", Text
"\x0297E"),
    (Text
"ufr", Text
"\x1D532"),
    (Text
"ugrave", Text
"\x000F9"),
    (Text
"uharl", Text
"\x021BF"),
    (Text
"uharr", Text
"\x021BE"),
    (Text
"uhblk", Text
"\x02580"),
    (Text
"ulcorn", Text
"\x0231C"),
    (Text
"ulcorner", Text
"\x0231C"),
    (Text
"ulcrop", Text
"\x0230F"),
    (Text
"ultri", Text
"\x025F8") ]

{-# NOINLINE reftab55 #-}
reftab55 :: [(Text,Text)]
reftab55 :: [(Text, Text)]
reftab55 =
  [ (Text
"umacr", Text
"\x0016B"),
    (Text
"uml", Text
"\x000A8"),
    (Text
"uogon", Text
"\x00173"),
    (Text
"uopf", Text
"\x1D566"),
    (Text
"uparrow", Text
"\x02191"),
    (Text
"updownarrow", Text
"\x02195"),
    (Text
"upharpoonleft", Text
"\x021BF"),
    (Text
"upharpoonright", Text
"\x021BE"),
    (Text
"uplus", Text
"\x0228E"),
    (Text
"upsi", Text
"\x003C5"),
    (Text
"upsih", Text
"\x003D2"),
    (Text
"upsilon", Text
"\x003C5"),
    (Text
"upuparrows", Text
"\x021C8"),
    (Text
"urcorn", Text
"\x0231D"),
    (Text
"urcorner", Text
"\x0231D"),
    (Text
"urcrop", Text
"\x0230E"),
    (Text
"uring", Text
"\x0016F"),
    (Text
"urtri", Text
"\x025F9"),
    (Text
"uscr", Text
"\x1D4CA"),
    (Text
"utdot", Text
"\x022F0"),
    (Text
"utilde", Text
"\x00169"),
    (Text
"utri", Text
"\x025B5"),
    (Text
"utrif", Text
"\x025B4"),
    (Text
"uuarr", Text
"\x021C8"),
    (Text
"uuml", Text
"\x000FC"),
    (Text
"uwangle", Text
"\x029A7"),
    (Text
"vArr", Text
"\x021D5"),
    (Text
"vBar", Text
"\x02AE8"),
    (Text
"vBarv", Text
"\x02AE9"),
    (Text
"vDash", Text
"\x022A8"),
    (Text
"vangrt", Text
"\x0299C"),
    (Text
"varepsilon", Text
"\x003F5"),
    (Text
"varkappa", Text
"\x003F0"),
    (Text
"varnothing", Text
"\x02205"),
    (Text
"varphi", Text
"\x003D5"),
    (Text
"varpi", Text
"\x003D6"),
    (Text
"varpropto", Text
"\x0221D") ]

{-# NOINLINE reftab56 #-}
reftab56 :: [(Text,Text)]
reftab56 :: [(Text, Text)]
reftab56 =
  [ (Text
"varr", Text
"\x02195"),
    (Text
"varrho", Text
"\x003F1"),
    (Text
"varsigma", Text
"\x003C2"),
    (Text
"varsubsetneq", Text
"\x0228A\x0FE00"),
    (Text
"varsubsetneqq", Text
"\x02ACB\x0FE00"),
    (Text
"varsupsetneq", Text
"\x0228B\x0FE00"),
    (Text
"varsupsetneqq", Text
"\x02ACC\x0FE00"),
    (Text
"vartheta", Text
"\x003D1"),
    (Text
"vartriangleleft", Text
"\x022B2"),
    (Text
"vartriangleright", Text
"\x022B3"),
    (Text
"vcy", Text
"\x00432"),
    (Text
"vdash", Text
"\x022A2"),
    (Text
"vee", Text
"\x02228"),
    (Text
"veebar", Text
"\x022BB"),
    (Text
"veeeq", Text
"\x0225A"),
    (Text
"vellip", Text
"\x022EE"),
    (Text
"verbar", Text
"\x0007C"),
    (Text
"vert", Text
"\x0007C"),
    (Text
"vfr", Text
"\x1D533"),
    (Text
"vltri", Text
"\x022B2"),
    (Text
"vnsub", Text
"\x02282\x020D2"),
    (Text
"vnsup", Text
"\x02283\x020D2"),
    (Text
"vopf", Text
"\x1D567"),
    (Text
"vprop", Text
"\x0221D"),
    (Text
"vrtri", Text
"\x022B3"),
    (Text
"vscr", Text
"\x1D4CB"),
    (Text
"vsubnE", Text
"\x02ACB\x0FE00"),
    (Text
"vsubne", Text
"\x0228A\x0FE00"),
    (Text
"vsupnE", Text
"\x02ACC\x0FE00"),
    (Text
"vsupne", Text
"\x0228B\x0FE00"),
    (Text
"vzigzag", Text
"\x0299A"),
    (Text
"wcirc", Text
"\x00175"),
    (Text
"wedbar", Text
"\x02A5F"),
    (Text
"wedge", Text
"\x02227"),
    (Text
"wedgeq", Text
"\x02259"),
    (Text
"weierp", Text
"\x02118"),
    (Text
"wfr", Text
"\x1D534") ]

{-# NOINLINE reftab57 #-}
reftab57 :: [(Text,Text)]
reftab57 :: [(Text, Text)]
reftab57 =
  [ (Text
"wopf", Text
"\x1D568"),
    (Text
"wp", Text
"\x02118"),
    (Text
"wr", Text
"\x02240"),
    (Text
"wreath", Text
"\x02240"),
    (Text
"wscr", Text
"\x1D4CC"),
    (Text
"xcap", Text
"\x022C2"),
    (Text
"xcirc", Text
"\x025EF"),
    (Text
"xcup", Text
"\x022C3"),
    (Text
"xdtri", Text
"\x025BD"),
    (Text
"xfr", Text
"\x1D535"),
    (Text
"xhArr", Text
"\x027FA"),
    (Text
"xharr", Text
"\x027F7"),
    (Text
"xi", Text
"\x003BE"),
    (Text
"xlArr", Text
"\x027F8"),
    (Text
"xlarr", Text
"\x027F5"),
    (Text
"xmap", Text
"\x027FC"),
    (Text
"xnis", Text
"\x022FB"),
    (Text
"xodot", Text
"\x02A00"),
    (Text
"xopf", Text
"\x1D569"),
    (Text
"xoplus", Text
"\x02A01"),
    (Text
"xotime", Text
"\x02A02"),
    (Text
"xrArr", Text
"\x027F9"),
    (Text
"xrarr", Text
"\x027F6"),
    (Text
"xscr", Text
"\x1D4CD"),
    (Text
"xsqcup", Text
"\x02A06"),
    (Text
"xuplus", Text
"\x02A04"),
    (Text
"xutri", Text
"\x025B3"),
    (Text
"xvee", Text
"\x022C1"),
    (Text
"xwedge", Text
"\x022C0"),
    (Text
"yacute", Text
"\x000FD"),
    (Text
"yacy", Text
"\x0044F"),
    (Text
"ycirc", Text
"\x00177"),
    (Text
"ycy", Text
"\x0044B"),
    (Text
"yen", Text
"\x000A5"),
    (Text
"yfr", Text
"\x1D536"),
    (Text
"yicy", Text
"\x00457"),
    (Text
"yopf", Text
"\x1D56A") ]

{-# NOINLINE reftab58 #-}
reftab58 :: [(Text,Text)]
reftab58 :: [(Text, Text)]
reftab58 =
  [ (Text
"yscr", Text
"\x1D4CE"),
    (Text
"yucy", Text
"\x0044E"),
    (Text
"yuml", Text
"\x000FF"),
    (Text
"zacute", Text
"\x0017A"),
    (Text
"zcaron", Text
"\x0017E"),
    (Text
"zcy", Text
"\x00437"),
    (Text
"zdot", Text
"\x0017C"),
    (Text
"zeetrf", Text
"\x02128"),
    (Text
"zeta", Text
"\x003B6"),
    (Text
"zfr", Text
"\x1D537"),
    (Text
"zhcy", Text
"\x00436"),
    (Text
"zigrarr", Text
"\x021DD"),
    (Text
"zopf", Text
"\x1D56B"),
    (Text
"zscr", Text
"\x1D4CF"),
    (Text
"zwj", Text
"\x0200D"),
    (Text
"zwnj", Text
"\x0200C") ]


------------------------------------------------------------------------------
-- Reverse lookup of Html entities
reversePredefinedRefs :: Map Text Text
reversePredefinedRefs :: Map Text Text
reversePredefinedRefs = [(Text, Text)] -> Map Text Text
forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList ([(Text, Text)] -> Map Text Text)
-> ([(Text, Text)] -> [(Text, Text)])
-> [(Text, Text)]
-> Map Text Text
forall b c a. (b -> c) -> (a -> b) -> a -> c
. ((Text, Text) -> (Text, Text)) -> [(Text, Text)] -> [(Text, Text)]
forall a b. (a -> b) -> [a] -> [b]
map (\(Text
x,Text
y) -> (Text
y,Text
x)) ([(Text, Text)] -> Map Text Text)
-> [(Text, Text)] -> Map Text Text
forall a b. (a -> b) -> a -> b
$
                        Map Text Text -> [(Text, Text)]
forall k a. Map k a -> [(k, a)]
Map.toList Map Text Text
predefinedRefs