{-# 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 = 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 = 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 forall a. (Eq a, Hashable a) => a -> HashSet a -> Bool
`S.member` HashSet Text
rawTextTags
    then (Text
"xmlhtmlNotRaw", Text
"") forall (t :: * -> *) a. (Foldable t, Eq a) => a -> t a -> Bool
`notElem` [(Text, Text)]
as
    else (Text
"xmlhtmlRaw", Text
"") 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 = 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 = forall k v. (Eq k, Hashable k) => [(k, v)] -> HashMap k v
M.fromList [
    (Text
"colgroup", 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",       forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"dd", Text
"dt"]),
    (Text
"dt",       forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"dd", Text
"dt"]),
    (Text
"head",     forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"body"]),
    (Text
"li",       forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"li"]),
    (Text
"optgroup", forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"optgroup"]),
    (Text
"option",   forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"optgroup", Text
"option"]),
    (Text
"p",        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",       forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"rp", Text
"rt"]),
    (Text
"rt",       forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"rp", Text
"rt"]),
    (Text
"tbody",    forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"tbody", Text
"tfoot", Text
"thead"]),
    (Text
"td",       forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"td", Text
"th"]),
    (Text
"tfoot",    forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"tbody", Text
"tfoot", Text
"thead"]),
    (Text
"th",       forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"td", Text
"th"]),
    (Text
"thead",    forall a. (Eq a, Hashable a) => [a] -> HashSet a
S.fromList [Text
"tbody", Text
"tfoot", Text
"thead"]),
    (Text
"tr",       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 = forall k v. (Eq k, Hashable k) => [(k, v)] -> HashMap k v
M.fromList [
    (Text
"a", 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 = forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList forall a b. (a -> b) -> a -> b
$ forall (t :: * -> *) a b. Foldable t => (a -> [b]) -> t a -> [b]
concatMap forall {t} {a}. (t, [a]) -> [(a, t)]
f [(Text, [Text])]
entNames
  where
    f :: (t, [a]) -> [(a, t)]
f (t
e,[a]
ns) = forall a b. (a -> b) -> [a] -> [b]
map (,t
e) [a]
ns


------------------------------------------------------------------------------
-- | Reverse lookup of Html entities. The values in this map should be the
-- "canonical" entity names that are most widely support by browsers, email
-- clients, etc. If you encounter a situation where the value in this map is
-- not the most widely supported, please open a pull request to change the
-- order in the appropriate ent2names table below.
reversePredefinedRefs :: Map Text Text
reversePredefinedRefs :: Map Text Text
reversePredefinedRefs = forall (f :: * -> *) a b. Functor f => (a -> b) -> f a -> f b
fmap forall a. [a] -> a
head forall a b. (a -> b) -> a -> b
$ forall k a. Ord k => [(k, a)] -> Map k a
Map.fromList [(Text, [Text])]
entNames


------------------------------------------------------------------------------
-- | This (Text, [Text]) formulation allows us to have a predictable canonical
-- entity reference. This version was derived from
-- https://dev.w3.org/html5/html-author/charref which has an ordering for the
-- names (along with a few additions that we had previously). We're assuming
-- that the first name in the list is the canonical name. This is important
-- because some names are less widely supported and we want xmlhtml to
-- predictably generate the name that has the widest support rather than
-- having the name decided implicitly by the ordering imposed by Map as had
-- previously been the case.
--
-- This list is split into a bunch of smaller lists because build times for
-- this module get really long (as in minutes) if we don't.
entNames :: [(Text,[Text])]
entNames :: [(Text, [Text])]
entNames = forall (t :: * -> *) a. Foldable t => t [a] -> [a]
concat
  [ [(Text, [Text])]
ent2names0
  , [(Text, [Text])]
ent2names1
  , [(Text, [Text])]
ent2names2
  , [(Text, [Text])]
ent2names3
  , [(Text, [Text])]
ent2names4
  , [(Text, [Text])]
ent2names5
  , [(Text, [Text])]
ent2names6
  , [(Text, [Text])]
ent2names7
  , [(Text, [Text])]
ent2names8
  , [(Text, [Text])]
ent2names9
  , [(Text, [Text])]
ent2names10
  , [(Text, [Text])]
ent2names11
  , [(Text, [Text])]
ent2names12
  , [(Text, [Text])]
ent2names13
  , [(Text, [Text])]
ent2names14
  , [(Text, [Text])]
ent2names15
  , [(Text, [Text])]
ent2names16
  , [(Text, [Text])]
ent2names17
  , [(Text, [Text])]
ent2names18
  , [(Text, [Text])]
ent2names19
  , [(Text, [Text])]
ent2names20
  , [(Text, [Text])]
ent2names21
  , [(Text, [Text])]
ent2names22
  , [(Text, [Text])]
ent2names23
  , [(Text, [Text])]
ent2names24
  , [(Text, [Text])]
ent2names25
  , [(Text, [Text])]
ent2names26
  , [(Text, [Text])]
ent2names27
  , [(Text, [Text])]
ent2names28
  , [(Text, [Text])]
ent2names29
  , [(Text, [Text])]
ent2names30
  , [(Text, [Text])]
ent2names31
  , [(Text, [Text])]
ent2names32
  , [(Text, [Text])]
ent2names33
  , [(Text, [Text])]
ent2names34
  , [(Text, [Text])]
ent2names35
  , [(Text, [Text])]
ent2names36
  , [(Text, [Text])]
ent2names37
  ]

{-# NOINLINE ent2names0 #-}
ent2names0 :: [(Text,[Text])]
ent2names0 :: [(Text, [Text])]
ent2names0 =
  [ (Text
"\x00009",[Text
"Tab"])
  , (Text
"\x0000A",[Text
"NewLine"])
  , (Text
"\x00021",[Text
"excl"])
  , (Text
"\x00022",[Text
"quot",Text
"QUOT"])
  , (Text
"\x00023",[Text
"num"])
  , (Text
"\x00024",[Text
"dollar"])
  , (Text
"\x00025",[Text
"percnt"])
  , (Text
"\x00026",[Text
"amp",Text
"AMP"])
  , (Text
"\x00027",[Text
"apos"])
  , (Text
"\x00028",[Text
"lpar"])
  , (Text
"\x00029",[Text
"rpar"])
  , (Text
"\x0002A",[Text
"ast",Text
"midast"])
  , (Text
"\x0002B",[Text
"plus"])
  , (Text
"\x0002C",[Text
"comma"])
  , (Text
"\x0002E",[Text
"period"])
  , (Text
"\x0002F",[Text
"sol"])
  , (Text
"\x0003A",[Text
"colon"])
  , (Text
"\x0003B",[Text
"semi"])
  , (Text
"\x0003C",[Text
"lt",Text
"LT"])
  , (Text
"\x0003D",[Text
"equals"])
  , (Text
"\x0003E",[Text
"gt",Text
"GT"])
  , (Text
"\x0003F",[Text
"quest"])
  , (Text
"\x00040",[Text
"commat"])
  , (Text
"\x0005B",[Text
"lsqb",Text
"lbrack"])
  , (Text
"\x0005C",[Text
"bsol"])
  , (Text
"\x0005D",[Text
"rsqb",Text
"rbrack"])
  , (Text
"\x0005E",[Text
"Hat"])
  , (Text
"\x0005F",[Text
"lowbar"])
  , (Text
"\x00060",[Text
"grave",Text
"DiacriticalGrave"])
  , (Text
"\x0007B",[Text
"lcub",Text
"lbrace"])
  , (Text
"\x0007C",[Text
"verbar",Text
"vert",Text
"VerticalLine"])
  , (Text
"\x0007D",[Text
"rcub",Text
"rbrace"])
  , (Text
"\x000A0",[Text
"nbsp",Text
"NonBreakingSpace"])
  , (Text
"\x000A1",[Text
"iexcl"])
  , (Text
"\x000A2",[Text
"cent"])
  , (Text
"\x000A3",[Text
"pound"])
  , (Text
"\x000A4",[Text
"curren"])
  , (Text
"\x000A5",[Text
"yen"])
  , (Text
"\x000A6",[Text
"brvbar"])
  , (Text
"\x000A7",[Text
"sect"])
  ]


{-# NOINLINE ent2names1 #-}
ent2names1 :: [(Text,[Text])]
ent2names1 :: [(Text, [Text])]
ent2names1 =
  [ (Text
"\x000A8",[Text
"Dot",Text
"die",Text
"DoubleDot",Text
"uml"])
  , (Text
"\x000A9",[Text
"copy",Text
"COPY"])
  , (Text
"\x000AA",[Text
"ordf"])
  , (Text
"\x000AB",[Text
"laquo"])
  , (Text
"\x000AC",[Text
"not"])
  , (Text
"\x000AD",[Text
"shy"])
  , (Text
"\x000AE",[Text
"reg",Text
"circledR",Text
"REG"])
  , (Text
"\x000AF",[Text
"macr",Text
"OverBar",Text
"strns"])
  , (Text
"\x000B0",[Text
"deg"])
  , (Text
"\x000B1",[Text
"plusmn",Text
"pm",Text
"PlusMinus"])
  , (Text
"\x000B2",[Text
"sup2"])
  , (Text
"\x000B3",[Text
"sup3"])
  , (Text
"\x000B4",[Text
"acute",Text
"DiacriticalAcute"])
  , (Text
"\x000B5",[Text
"micro"])
  , (Text
"\x000B6",[Text
"para"])
  , (Text
"\x000B7",[Text
"middot",Text
"centerdot",Text
"CenterDot"])
  , (Text
"\x000B8",[Text
"cedil",Text
"Cedilla"])
  , (Text
"\x000B9",[Text
"sup1"])
  , (Text
"\x000BA",[Text
"ordm"])
  , (Text
"\x000BB",[Text
"raquo"])
  , (Text
"\x000BC",[Text
"frac14"])
  , (Text
"\x000BD",[Text
"frac12",Text
"half"])
  , (Text
"\x000BE",[Text
"frac34"])
  , (Text
"\x000BF",[Text
"iquest"])
  , (Text
"\x000C0",[Text
"Agrave"])
  , (Text
"\x000C1",[Text
"Aacute"])
  , (Text
"\x000C2",[Text
"Acirc"])
  , (Text
"\x000C3",[Text
"Atilde"])
  , (Text
"\x000C4",[Text
"Auml"])
  , (Text
"\x000C5",[Text
"Aring"])
  , (Text
"\x000C6",[Text
"AElig"])
  , (Text
"\x000C7",[Text
"Ccedil"])
  , (Text
"\x000C8",[Text
"Egrave"])
  , (Text
"\x000C9",[Text
"Eacute"])
  , (Text
"\x000CA",[Text
"Ecirc"])
  , (Text
"\x000CB",[Text
"Euml"])
  , (Text
"\x000CC",[Text
"Igrave"])
  , (Text
"\x000CD",[Text
"Iacute"])
  , (Text
"\x000CE",[Text
"Icirc"])
  , (Text
"\x000CF",[Text
"Iuml"])
  ]


{-# NOINLINE ent2names2 #-}
ent2names2 :: [(Text,[Text])]
ent2names2 :: [(Text, [Text])]
ent2names2 =
  [ (Text
"\x000D0",[Text
"ETH"])
  , (Text
"\x000D1",[Text
"Ntilde"])
  , (Text
"\x000D2",[Text
"Ograve"])
  , (Text
"\x000D3",[Text
"Oacute"])
  , (Text
"\x000D4",[Text
"Ocirc"])
  , (Text
"\x000D5",[Text
"Otilde"])
  , (Text
"\x000D6",[Text
"Ouml"])
  , (Text
"\x000D7",[Text
"times"])
  , (Text
"\x000D8",[Text
"Oslash"])
  , (Text
"\x000D9",[Text
"Ugrave"])
  , (Text
"\x000DA",[Text
"Uacute"])
  , (Text
"\x000DB",[Text
"Ucirc"])
  , (Text
"\x000DC",[Text
"Uuml"])
  , (Text
"\x000DD",[Text
"Yacute"])
  , (Text
"\x000DE",[Text
"THORN"])
  , (Text
"\x000DF",[Text
"szlig"])
  , (Text
"\x000E0",[Text
"agrave"])
  , (Text
"\x000E1",[Text
"aacute"])
  , (Text
"\x000E2",[Text
"acirc"])
  , (Text
"\x000E3",[Text
"atilde"])
  , (Text
"\x000E4",[Text
"auml"])
  , (Text
"\x000E5",[Text
"aring"])
  , (Text
"\x000E6",[Text
"aelig"])
  , (Text
"\x000E7",[Text
"ccedil"])
  , (Text
"\x000E8",[Text
"egrave"])
  , (Text
"\x000E9",[Text
"eacute"])
  , (Text
"\x000EA",[Text
"ecirc"])
  , (Text
"\x000EB",[Text
"euml"])
  , (Text
"\x000EC",[Text
"igrave"])
  , (Text
"\x000ED",[Text
"iacute"])
  , (Text
"\x000EE",[Text
"icirc"])
  , (Text
"\x000EF",[Text
"iuml"])
  , (Text
"\x000F0",[Text
"eth"])
  , (Text
"\x000F1",[Text
"ntilde"])
  , (Text
"\x000F2",[Text
"ograve"])
  , (Text
"\x000F3",[Text
"oacute"])
  , (Text
"\x000F4",[Text
"ocirc"])
  , (Text
"\x000F5",[Text
"otilde"])
  , (Text
"\x000F6",[Text
"ouml"])
  , (Text
"\x000F7",[Text
"divide",Text
"div"])
  ]


{-# NOINLINE ent2names3 #-}
ent2names3 :: [(Text,[Text])]
ent2names3 :: [(Text, [Text])]
ent2names3 =
  [ (Text
"\x000F8",[Text
"oslash"])
  , (Text
"\x000F9",[Text
"ugrave"])
  , (Text
"\x000FA",[Text
"uacute"])
  , (Text
"\x000FB",[Text
"ucirc"])
  , (Text
"\x000FC",[Text
"uuml"])
  , (Text
"\x000FD",[Text
"yacute"])
  , (Text
"\x000FE",[Text
"thorn"])
  , (Text
"\x000FF",[Text
"yuml"])
  , (Text
"\x00100",[Text
"Amacr"])
  , (Text
"\x00101",[Text
"amacr"])
  , (Text
"\x00102",[Text
"Abreve"])
  , (Text
"\x00103",[Text
"abreve"])
  , (Text
"\x00104",[Text
"Aogon"])
  , (Text
"\x00105",[Text
"aogon"])
  , (Text
"\x00106",[Text
"Cacute"])
  , (Text
"\x00107",[Text
"cacute"])
  , (Text
"\x00108",[Text
"Ccirc"])
  , (Text
"\x00109",[Text
"ccirc"])
  , (Text
"\x0010A",[Text
"Cdot"])
  , (Text
"\x0010B",[Text
"cdot"])
  , (Text
"\x0010C",[Text
"Ccaron"])
  , (Text
"\x0010D",[Text
"ccaron"])
  , (Text
"\x0010E",[Text
"Dcaron"])
  , (Text
"\x0010F",[Text
"dcaron"])
  , (Text
"\x00110",[Text
"Dstrok"])
  , (Text
"\x00111",[Text
"dstrok"])
  , (Text
"\x00112",[Text
"Emacr"])
  , (Text
"\x00113",[Text
"emacr"])
  , (Text
"\x00116",[Text
"Edot"])
  , (Text
"\x00117",[Text
"edot"])
  , (Text
"\x00118",[Text
"Eogon"])
  , (Text
"\x00119",[Text
"eogon"])
  , (Text
"\x0011A",[Text
"Ecaron"])
  , (Text
"\x0011B",[Text
"ecaron"])
  , (Text
"\x0011C",[Text
"Gcirc"])
  , (Text
"\x0011D",[Text
"gcirc"])
  , (Text
"\x0011E",[Text
"Gbreve"])
  , (Text
"\x0011F",[Text
"gbreve"])
  , (Text
"\x00120",[Text
"Gdot"])
  , (Text
"\x00121",[Text
"gdot"])
  ]


{-# NOINLINE ent2names4 #-}
ent2names4 :: [(Text,[Text])]
ent2names4 :: [(Text, [Text])]
ent2names4 =
  [ (Text
"\x00122",[Text
"Gcedil"])
  , (Text
"\x00124",[Text
"Hcirc"])
  , (Text
"\x00125",[Text
"hcirc"])
  , (Text
"\x00126",[Text
"Hstrok"])
  , (Text
"\x00127",[Text
"hstrok"])
  , (Text
"\x00128",[Text
"Itilde"])
  , (Text
"\x00129",[Text
"itilde"])
  , (Text
"\x0012A",[Text
"Imacr"])
  , (Text
"\x0012B",[Text
"imacr"])
  , (Text
"\x0012E",[Text
"Iogon"])
  , (Text
"\x0012F",[Text
"iogon"])
  , (Text
"\x00130",[Text
"Idot"])
  , (Text
"\x00131",[Text
"imath",Text
"inodot"])
  , (Text
"\x00132",[Text
"IJlig"])
  , (Text
"\x00133",[Text
"ijlig"])
  , (Text
"\x00134",[Text
"Jcirc"])
  , (Text
"\x00135",[Text
"jcirc"])
  , (Text
"\x00136",[Text
"Kcedil"])
  , (Text
"\x00137",[Text
"kcedil"])
  , (Text
"\x00138",[Text
"kgreen"])
  , (Text
"\x00139",[Text
"Lacute"])
  , (Text
"\x0013A",[Text
"lacute"])
  , (Text
"\x0013B",[Text
"Lcedil"])
  , (Text
"\x0013C",[Text
"lcedil"])
  , (Text
"\x0013D",[Text
"Lcaron"])
  , (Text
"\x0013E",[Text
"lcaron"])
  , (Text
"\x0013F",[Text
"Lmidot"])
  , (Text
"\x00140",[Text
"lmidot"])
  , (Text
"\x00141",[Text
"Lstrok"])
  , (Text
"\x00142",[Text
"lstrok"])
  , (Text
"\x00143",[Text
"Nacute"])
  , (Text
"\x00144",[Text
"nacute"])
  , (Text
"\x00145",[Text
"Ncedil"])
  , (Text
"\x00146",[Text
"ncedil"])
  , (Text
"\x00147",[Text
"Ncaron"])
  , (Text
"\x00148",[Text
"ncaron"])
  , (Text
"\x00149",[Text
"napos"])
  , (Text
"\x0014A",[Text
"ENG"])
  , (Text
"\x0014B",[Text
"eng"])
  , (Text
"\x0014C",[Text
"Omacr"])
  ]


{-# NOINLINE ent2names5 #-}
ent2names5 :: [(Text,[Text])]
ent2names5 :: [(Text, [Text])]
ent2names5 =
  [ (Text
"\x0014D",[Text
"omacr"])
  , (Text
"\x00150",[Text
"Odblac"])
  , (Text
"\x00151",[Text
"odblac"])
  , (Text
"\x00152",[Text
"OElig"])
  , (Text
"\x00153",[Text
"oelig"])
  , (Text
"\x00154",[Text
"Racute"])
  , (Text
"\x00155",[Text
"racute"])
  , (Text
"\x00156",[Text
"Rcedil"])
  , (Text
"\x00157",[Text
"rcedil"])
  , (Text
"\x00158",[Text
"Rcaron"])
  , (Text
"\x00159",[Text
"rcaron"])
  , (Text
"\x0015A",[Text
"Sacute"])
  , (Text
"\x0015B",[Text
"sacute"])
  , (Text
"\x0015C",[Text
"Scirc"])
  , (Text
"\x0015D",[Text
"scirc"])
  , (Text
"\x0015E",[Text
"Scedil"])
  , (Text
"\x0015F",[Text
"scedil"])
  , (Text
"\x00160",[Text
"Scaron"])
  , (Text
"\x00161",[Text
"scaron"])
  , (Text
"\x00162",[Text
"Tcedil"])
  , (Text
"\x00163",[Text
"tcedil"])
  , (Text
"\x00164",[Text
"Tcaron"])
  , (Text
"\x00165",[Text
"tcaron"])
  , (Text
"\x00166",[Text
"Tstrok"])
  , (Text
"\x00167",[Text
"tstrok"])
  , (Text
"\x00168",[Text
"Utilde"])
  , (Text
"\x00169",[Text
"utilde"])
  , (Text
"\x0016A",[Text
"Umacr"])
  , (Text
"\x0016B",[Text
"umacr"])
  , (Text
"\x0016C",[Text
"Ubreve"])
  , (Text
"\x0016D",[Text
"ubreve"])
  , (Text
"\x0016E",[Text
"Uring"])
  , (Text
"\x0016F",[Text
"uring"])
  , (Text
"\x00170",[Text
"Udblac"])
  , (Text
"\x00171",[Text
"udblac"])
  , (Text
"\x00172",[Text
"Uogon"])
  , (Text
"\x00173",[Text
"uogon"])
  , (Text
"\x00174",[Text
"Wcirc"])
  , (Text
"\x00175",[Text
"wcirc"])
  , (Text
"\x00176",[Text
"Ycirc"])
  ]


{-# NOINLINE ent2names6 #-}
ent2names6 :: [(Text,[Text])]
ent2names6 :: [(Text, [Text])]
ent2names6 =
  [ (Text
"\x00177",[Text
"ycirc"])
  , (Text
"\x00178",[Text
"Yuml"])
  , (Text
"\x00179",[Text
"Zacute"])
  , (Text
"\x0017A",[Text
"zacute"])
  , (Text
"\x0017B",[Text
"Zdot"])
  , (Text
"\x0017C",[Text
"zdot"])
  , (Text
"\x0017D",[Text
"Zcaron"])
  , (Text
"\x0017E",[Text
"zcaron"])
  , (Text
"\x00192",[Text
"fnof"])
  , (Text
"\x001B5",[Text
"imped"])
  , (Text
"\x001F5",[Text
"gacute"])
  , (Text
"\x00237",[Text
"jmath"])
  , (Text
"\x002C6",[Text
"circ"])
  , (Text
"\x002C7",[Text
"caron",Text
"Hacek"])
  , (Text
"\x002D8",[Text
"breve",Text
"Breve"])
  , (Text
"\x002D9",[Text
"dot",Text
"DiacriticalDot"])
  , (Text
"\x002DA",[Text
"ring"])
  , (Text
"\x002DB",[Text
"ogon"])
  , (Text
"\x002DC",[Text
"tilde",Text
"DiacriticalTilde"])
  , (Text
"\x002DD",[Text
"dblac",Text
"DiacriticalDoubleAcute"])
  , (Text
"\x00311",[Text
"DownBreve"])
  , (Text
"\x00332",[Text
"UnderBar"])
  , (Text
"\x00391",[Text
"Alpha"])
  , (Text
"\x00392",[Text
"Beta"])
  , (Text
"\x00393",[Text
"Gamma"])
  , (Text
"\x00394",[Text
"Delta"])
  , (Text
"\x00395",[Text
"Epsilon"])
  , (Text
"\x00396",[Text
"Zeta"])
  , (Text
"\x00397",[Text
"Eta"])
  , (Text
"\x00398",[Text
"Theta"])
  , (Text
"\x00399",[Text
"Iota"])
  , (Text
"\x0039A",[Text
"Kappa"])
  , (Text
"\x0039B",[Text
"Lambda"])
  , (Text
"\x0039C",[Text
"Mu"])
  , (Text
"\x0039D",[Text
"Nu"])
  , (Text
"\x0039E",[Text
"Xi"])
  , (Text
"\x0039F",[Text
"Omicron"])
  , (Text
"\x003A0",[Text
"Pi"])
  , (Text
"\x003A1",[Text
"Rho"])
  , (Text
"\x003A3",[Text
"Sigma"])
  ]


{-# NOINLINE ent2names7 #-}
ent2names7 :: [(Text,[Text])]
ent2names7 :: [(Text, [Text])]
ent2names7 =
  [ (Text
"\x003A4",[Text
"Tau"])
  , (Text
"\x003A5",[Text
"Upsilon"])
  , (Text
"\x003A6",[Text
"Phi"])
  , (Text
"\x003A7",[Text
"Chi"])
  , (Text
"\x003A8",[Text
"Psi"])
  , (Text
"\x003A9",[Text
"Omega"])
  , (Text
"\x003B1",[Text
"alpha"])
  , (Text
"\x003B2",[Text
"beta"])
  , (Text
"\x003B3",[Text
"gamma"])
  , (Text
"\x003B4",[Text
"delta"])
  , (Text
"\x003B5",[Text
"epsiv",Text
"varepsilon",Text
"epsilon"])
  , (Text
"\x003B6",[Text
"zeta"])
  , (Text
"\x003B7",[Text
"eta"])
  , (Text
"\x003B8",[Text
"theta"])
  , (Text
"\x003B9",[Text
"iota"])
  , (Text
"\x003BA",[Text
"kappa"])
  , (Text
"\x003BB",[Text
"lambda"])
  , (Text
"\x003BC",[Text
"mu"])
  , (Text
"\x003BD",[Text
"nu"])
  , (Text
"\x003BE",[Text
"xi"])
  , (Text
"\x003BF",[Text
"omicron"])
  , (Text
"\x003C0",[Text
"pi"])
  , (Text
"\x003C1",[Text
"rho"])
  , (Text
"\x003C2",[Text
"sigmav",Text
"varsigma",Text
"sigmaf"])
  , (Text
"\x003C3",[Text
"sigma"])
  , (Text
"\x003C4",[Text
"tau"])
  , (Text
"\x003C5",[Text
"upsi",Text
"upsilon"])
  , (Text
"\x003C6",[Text
"phi",Text
"phiv",Text
"varphi"])
  , (Text
"\x003C7",[Text
"chi"])
  , (Text
"\x003C8",[Text
"psi"])
  , (Text
"\x003C9",[Text
"omega"])
  , (Text
"\x003D1",[Text
"thetav",Text
"vartheta",Text
"thetasym"])
  , (Text
"\x003D2",[Text
"Upsi",Text
"upsih"])
  , (Text
"\x003D5",[Text
"straightphi"])
  , (Text
"\x003D6",[Text
"piv",Text
"varpi"])
  , (Text
"\x003DC",[Text
"Gammad"])
  , (Text
"\x003DD",[Text
"gammad",Text
"digamma"])
  , (Text
"\x003F0",[Text
"kappav",Text
"varkappa"])
  , (Text
"\x003F1",[Text
"rhov",Text
"varrho"])
  , (Text
"\x003F5",[Text
"epsi",Text
"straightepsilon"])
  ]


{-# NOINLINE ent2names8 #-}
ent2names8 :: [(Text,[Text])]
ent2names8 :: [(Text, [Text])]
ent2names8 =
  [ (Text
"\x003F6",[Text
"bepsi",Text
"backepsilon"])
  , (Text
"\x00401",[Text
"IOcy"])
  , (Text
"\x00402",[Text
"DJcy"])
  , (Text
"\x00403",[Text
"GJcy"])
  , (Text
"\x00404",[Text
"Jukcy"])
  , (Text
"\x00405",[Text
"DScy"])
  , (Text
"\x00406",[Text
"Iukcy"])
  , (Text
"\x00407",[Text
"YIcy"])
  , (Text
"\x00408",[Text
"Jsercy"])
  , (Text
"\x00409",[Text
"LJcy"])
  , (Text
"\x0040A",[Text
"NJcy"])
  , (Text
"\x0040B",[Text
"TSHcy"])
  , (Text
"\x0040C",[Text
"KJcy"])
  , (Text
"\x0040E",[Text
"Ubrcy"])
  , (Text
"\x0040F",[Text
"DZcy"])
  , (Text
"\x00410",[Text
"Acy"])
  , (Text
"\x00411",[Text
"Bcy"])
  , (Text
"\x00412",[Text
"Vcy"])
  , (Text
"\x00413",[Text
"Gcy"])
  , (Text
"\x00414",[Text
"Dcy"])
  , (Text
"\x00415",[Text
"IEcy"])
  , (Text
"\x00416",[Text
"ZHcy"])
  , (Text
"\x00417",[Text
"Zcy"])
  , (Text
"\x00418",[Text
"Icy"])
  , (Text
"\x00419",[Text
"Jcy"])
  , (Text
"\x0041A",[Text
"Kcy"])
  , (Text
"\x0041B",[Text
"Lcy"])
  , (Text
"\x0041C",[Text
"Mcy"])
  , (Text
"\x0041D",[Text
"Ncy"])
  , (Text
"\x0041E",[Text
"Ocy"])
  , (Text
"\x0041F",[Text
"Pcy"])
  , (Text
"\x00420",[Text
"Rcy"])
  , (Text
"\x00421",[Text
"Scy"])
  , (Text
"\x00422",[Text
"Tcy"])
  , (Text
"\x00423",[Text
"Ucy"])
  , (Text
"\x00424",[Text
"Fcy"])
  , (Text
"\x00425",[Text
"KHcy"])
  , (Text
"\x00426",[Text
"TScy"])
  , (Text
"\x00427",[Text
"CHcy"])
  , (Text
"\x00428",[Text
"SHcy"])
  ]


{-# NOINLINE ent2names9 #-}
ent2names9 :: [(Text,[Text])]
ent2names9 :: [(Text, [Text])]
ent2names9 =
  [ (Text
"\x00429",[Text
"SHCHcy"])
  , (Text
"\x0042A",[Text
"HARDcy"])
  , (Text
"\x0042B",[Text
"Ycy"])
  , (Text
"\x0042C",[Text
"SOFTcy"])
  , (Text
"\x0042D",[Text
"Ecy"])
  , (Text
"\x0042E",[Text
"YUcy"])
  , (Text
"\x0042F",[Text
"YAcy"])
  , (Text
"\x00430",[Text
"acy"])
  , (Text
"\x00431",[Text
"bcy"])
  , (Text
"\x00432",[Text
"vcy"])
  , (Text
"\x00433",[Text
"gcy"])
  , (Text
"\x00434",[Text
"dcy"])
  , (Text
"\x00435",[Text
"iecy"])
  , (Text
"\x00436",[Text
"zhcy"])
  , (Text
"\x00437",[Text
"zcy"])
  , (Text
"\x00438",[Text
"icy"])
  , (Text
"\x00439",[Text
"jcy"])
  , (Text
"\x0043A",[Text
"kcy"])
  , (Text
"\x0043B",[Text
"lcy"])
  , (Text
"\x0043C",[Text
"mcy"])
  , (Text
"\x0043D",[Text
"ncy"])
  , (Text
"\x0043E",[Text
"ocy"])
  , (Text
"\x0043F",[Text
"pcy"])
  , (Text
"\x00440",[Text
"rcy"])
  , (Text
"\x00441",[Text
"scy"])
  , (Text
"\x00442",[Text
"tcy"])
  , (Text
"\x00443",[Text
"ucy"])
  , (Text
"\x00444",[Text
"fcy"])
  , (Text
"\x00445",[Text
"khcy"])
  , (Text
"\x00446",[Text
"tscy"])
  , (Text
"\x00447",[Text
"chcy"])
  , (Text
"\x00448",[Text
"shcy"])
  , (Text
"\x00449",[Text
"shchcy"])
  , (Text
"\x0044A",[Text
"hardcy"])
  , (Text
"\x0044B",[Text
"ycy"])
  , (Text
"\x0044C",[Text
"softcy"])
  , (Text
"\x0044D",[Text
"ecy"])
  , (Text
"\x0044E",[Text
"yucy"])
  , (Text
"\x0044F",[Text
"yacy"])
  , (Text
"\x00451",[Text
"iocy"])
  ]


{-# NOINLINE ent2names10 #-}
ent2names10 :: [(Text,[Text])]
ent2names10 :: [(Text, [Text])]
ent2names10 =
  [ (Text
"\x00452",[Text
"djcy"])
  , (Text
"\x00453",[Text
"gjcy"])
  , (Text
"\x00454",[Text
"jukcy"])
  , (Text
"\x00455",[Text
"dscy"])
  , (Text
"\x00456",[Text
"iukcy"])
  , (Text
"\x00457",[Text
"yicy"])
  , (Text
"\x00458",[Text
"jsercy"])
  , (Text
"\x00459",[Text
"ljcy"])
  , (Text
"\x0045A",[Text
"njcy"])
  , (Text
"\x0045B",[Text
"tshcy"])
  , (Text
"\x0045C",[Text
"kjcy"])
  , (Text
"\x0045E",[Text
"ubrcy"])
  , (Text
"\x0045F",[Text
"dzcy"])
  , (Text
"\x02002",[Text
"ensp"])
  , (Text
"\x02003",[Text
"emsp"])
  , (Text
"\x02004",[Text
"emsp13"])
  , (Text
"\x02005",[Text
"emsp14"])
  , (Text
"\x02007",[Text
"numsp"])
  , (Text
"\x02008",[Text
"puncsp"])
  , (Text
"\x02009",[Text
"thinsp",Text
"ThinSpace"])
  , (Text
"\x0200A",[Text
"hairsp",Text
"VeryThinSpace"])
  , (Text
"\x0200B",[Text
"ZeroWidthSpace",Text
"NegativeVeryThinSpace",Text
"NegativeThinSpace",Text
"NegativeMediumSpace",Text
"NegativeThickSpace"])
  , (Text
"\x0200C",[Text
"zwnj"])
  , (Text
"\x0200D",[Text
"zwj"])
  , (Text
"\x0200E",[Text
"lrm"])
  , (Text
"\x0200F",[Text
"rlm"])
  , (Text
"\x02010",[Text
"hyphen",Text
"dash"])
  , (Text
"\x02013",[Text
"ndash"])
  , (Text
"\x02014",[Text
"mdash"])
  , (Text
"\x02015",[Text
"horbar"])
  , (Text
"\x02016",[Text
"Verbar",Text
"Vert"])
  , (Text
"\x02018",[Text
"lsquo",Text
"OpenCurlyQuote"])
  , (Text
"\x02019",[Text
"rsquo",Text
"rsquor",Text
"CloseCurlyQuote"])
  , (Text
"\x0201A",[Text
"lsquor",Text
"sbquo"])
  , (Text
"\x0201C",[Text
"ldquo",Text
"OpenCurlyDoubleQuote"])
  , (Text
"\x0201D",[Text
"rdquo",Text
"rdquor",Text
"CloseCurlyDoubleQuote"])
  , (Text
"\x0201E",[Text
"ldquor",Text
"bdquo"])
  , (Text
"\x02020",[Text
"dagger"])
  , (Text
"\x02021",[Text
"Dagger",Text
"ddagger"])
  , (Text
"\x02022",[Text
"bull",Text
"bullet"])
  ]


{-# NOINLINE ent2names11 #-}
ent2names11 :: [(Text,[Text])]
ent2names11 :: [(Text, [Text])]
ent2names11 =
  [ (Text
"\x02025",[Text
"nldr"])
  , (Text
"\x02026",[Text
"hellip",Text
"mldr"])
  , (Text
"\x02030",[Text
"permil"])
  , (Text
"\x02031",[Text
"pertenk"])
  , (Text
"\x02032",[Text
"prime"])
  , (Text
"\x02033",[Text
"Prime"])
  , (Text
"\x02034",[Text
"tprime"])
  , (Text
"\x02035",[Text
"bprime",Text
"backprime"])
  , (Text
"\x02039",[Text
"lsaquo"])
  , (Text
"\x0203A",[Text
"rsaquo"])
  , (Text
"\x0203E",[Text
"oline"])
  , (Text
"\x02041",[Text
"caret"])
  , (Text
"\x02043",[Text
"hybull"])
  , (Text
"\x02044",[Text
"frasl"])
  , (Text
"\x0204F",[Text
"bsemi"])
  , (Text
"\x02057",[Text
"qprime"])
  , (Text
"\x0205F",[Text
"MediumSpace"])
  , (Text
"\x02060",[Text
"NoBreak"])
  , (Text
"\x02061",[Text
"ApplyFunction",Text
"af"])
  , (Text
"\x02062",[Text
"InvisibleTimes",Text
"it"])
  , (Text
"\x02063",[Text
"InvisibleComma",Text
"ic"])
  , (Text
"\x020AC",[Text
"euro"])
  , (Text
"\x020DB",[Text
"tdot",Text
"TripleDot"])
  , (Text
"\x020DC",[Text
"DotDot"])
  , (Text
"\x02102",[Text
"Copf",Text
"complexes"])
  , (Text
"\x02105",[Text
"incare"])
  , (Text
"\x0210A",[Text
"gscr"])
  , (Text
"\x0210B",[Text
"hamilt",Text
"HilbertSpace",Text
"Hscr"])
  , (Text
"\x0210C",[Text
"Hfr",Text
"Poincareplane"])
  , (Text
"\x0210D",[Text
"quaternions",Text
"Hopf"])
  , (Text
"\x0210E",[Text
"planckh"])
  , (Text
"\x0210F",[Text
"planck",Text
"hbar",Text
"plankv",Text
"hslash"])
  , (Text
"\x02110",[Text
"Iscr",Text
"imagline"])
  , (Text
"\x02111",[Text
"image",Text
"Im",Text
"imagpart",Text
"Ifr"])
  , (Text
"\x02112",[Text
"Lscr",Text
"lagran",Text
"Laplacetrf"])
  , (Text
"\x02113",[Text
"ell"])
  , (Text
"\x02115",[Text
"Nopf",Text
"naturals"])
  , (Text
"\x02116",[Text
"numero"])
  , (Text
"\x02117",[Text
"copysr"])
  , (Text
"\x02118",[Text
"weierp",Text
"wp"])
  ]


{-# NOINLINE ent2names12 #-}
ent2names12 :: [(Text,[Text])]
ent2names12 :: [(Text, [Text])]
ent2names12 =
  [ (Text
"\x02119",[Text
"Popf",Text
"primes"])
  , (Text
"\x0211A",[Text
"rationals",Text
"Qopf"])
  , (Text
"\x0211B",[Text
"Rscr",Text
"realine"])
  , (Text
"\x0211C",[Text
"real",Text
"Re",Text
"realpart",Text
"Rfr"])
  , (Text
"\x0211D",[Text
"reals",Text
"Ropf"])
  , (Text
"\x0211E",[Text
"rx"])
  , (Text
"\x02122",[Text
"trade",Text
"TRADE"])
  , (Text
"\x02124",[Text
"integers",Text
"Zopf"])
  , (Text
"\x02126",[Text
"ohm"])
  , (Text
"\x02127",[Text
"mho"])
  , (Text
"\x02128",[Text
"Zfr",Text
"zeetrf"])
  , (Text
"\x02129",[Text
"iiota"])
  , (Text
"\x0212B",[Text
"angst"])
  , (Text
"\x0212C",[Text
"bernou",Text
"Bernoullis",Text
"Bscr"])
  , (Text
"\x0212D",[Text
"Cfr",Text
"Cayleys"])
  , (Text
"\x0212F",[Text
"escr"])
  , (Text
"\x02130",[Text
"Escr",Text
"expectation"])
  , (Text
"\x02131",[Text
"Fscr",Text
"Fouriertrf"])
  , (Text
"\x02133",[Text
"phmmat",Text
"Mellintrf",Text
"Mscr"])
  , (Text
"\x02134",[Text
"order",Text
"orderof",Text
"oscr"])
  , (Text
"\x02135",[Text
"alefsym",Text
"aleph"])
  , (Text
"\x02136",[Text
"beth"])
  , (Text
"\x02137",[Text
"gimel"])
  , (Text
"\x02138",[Text
"daleth"])
  , (Text
"\x02145",[Text
"CapitalDifferentialD",Text
"DD"])
  , (Text
"\x02146",[Text
"DifferentialD",Text
"dd"])
  , (Text
"\x02147",[Text
"ExponentialE",Text
"exponentiale",Text
"ee"])
  , (Text
"\x02148",[Text
"ImaginaryI",Text
"ii"])
  , (Text
"\x02153",[Text
"frac13"])
  , (Text
"\x02154",[Text
"frac23"])
  , (Text
"\x02155",[Text
"frac15"])
  , (Text
"\x02156",[Text
"frac25"])
  , (Text
"\x02157",[Text
"frac35"])
  , (Text
"\x02158",[Text
"frac45"])
  , (Text
"\x02159",[Text
"frac16"])
  , (Text
"\x0215A",[Text
"frac56"])
  , (Text
"\x0215B",[Text
"frac18"])
  , (Text
"\x0215C",[Text
"frac38"])
  , (Text
"\x0215D",[Text
"frac58"])
  , (Text
"\x0215E",[Text
"frac78"])
  ]


{-# NOINLINE ent2names13 #-}
ent2names13 :: [(Text,[Text])]
ent2names13 :: [(Text, [Text])]
ent2names13 =
  [ (Text
"\x02190",[Text
"larr",Text
"leftarrow",Text
"LeftArrow",Text
"slarr",Text
"ShortLeftArrow"])
  , (Text
"\x02191",[Text
"uarr",Text
"uparrow",Text
"UpArrow",Text
"ShortUpArrow"])
  , (Text
"\x02192",[Text
"rarr",Text
"rightarrow",Text
"RightArrow",Text
"srarr",Text
"ShortRightArrow"])
  , (Text
"\x02193",[Text
"darr",Text
"downarrow",Text
"DownArrow",Text
"ShortDownArrow"])
  , (Text
"\x02194",[Text
"harr",Text
"leftrightarrow",Text
"LeftRightArrow"])
  , (Text
"\x02195",[Text
"varr",Text
"updownarrow",Text
"UpDownArrow"])
  , (Text
"\x02196",[Text
"nwarr",Text
"UpperLeftArrow",Text
"nwarrow"])
  , (Text
"\x02197",[Text
"nearr",Text
"UpperRightArrow",Text
"nearrow"])
  , (Text
"\x02198",[Text
"searr",Text
"searrow",Text
"LowerRightArrow"])
  , (Text
"\x02199",[Text
"swarr",Text
"swarrow",Text
"LowerLeftArrow"])
  , (Text
"\x0219A",[Text
"nlarr",Text
"nleftarrow"])
  , (Text
"\x0219B",[Text
"nrarr",Text
"nrightarrow"])
  , (Text
"\x0219D",[Text
"rarrw",Text
"rightsquigarrow"])
  , (Text
"\x0219E",[Text
"Larr",Text
"twoheadleftarrow"])
  , (Text
"\x0219F",[Text
"Uarr"])
  , (Text
"\x021A0",[Text
"Rarr",Text
"twoheadrightarrow"])
  , (Text
"\x021A1",[Text
"Darr"])
  , (Text
"\x021A2",[Text
"larrtl",Text
"leftarrowtail"])
  , (Text
"\x021A3",[Text
"rarrtl",Text
"rightarrowtail"])
  , (Text
"\x021A4",[Text
"LeftTeeArrow",Text
"mapstoleft"])
  , (Text
"\x021A5",[Text
"UpTeeArrow",Text
"mapstoup"])
  , (Text
"\x021A6",[Text
"map",Text
"RightTeeArrow",Text
"mapsto"])
  , (Text
"\x021A7",[Text
"DownTeeArrow",Text
"mapstodown"])
  , (Text
"\x021A9",[Text
"larrhk",Text
"hookleftarrow"])
  , (Text
"\x021AA",[Text
"rarrhk",Text
"hookrightarrow"])
  , (Text
"\x021AB",[Text
"larrlp",Text
"looparrowleft"])
  , (Text
"\x021AC",[Text
"rarrlp",Text
"looparrowright"])
  , (Text
"\x021AD",[Text
"harrw",Text
"leftrightsquigarrow"])
  , (Text
"\x021AE",[Text
"nharr",Text
"nleftrightarrow"])
  , (Text
"\x021B0",[Text
"lsh",Text
"Lsh"])
  , (Text
"\x021B1",[Text
"rsh",Text
"Rsh"])
  , (Text
"\x021B2",[Text
"ldsh"])
  , (Text
"\x021B3",[Text
"rdsh"])
  , (Text
"\x021B5",[Text
"crarr"])
  , (Text
"\x021B6",[Text
"cularr",Text
"curvearrowleft"])
  , (Text
"\x021B7",[Text
"curarr",Text
"curvearrowright"])
  , (Text
"\x021BA",[Text
"olarr",Text
"circlearrowleft"])
  , (Text
"\x021BB",[Text
"orarr",Text
"circlearrowright"])
  , (Text
"\x021BC",[Text
"lharu",Text
"LeftVector",Text
"leftharpoonup"])
  , (Text
"\x021BD",[Text
"lhard",Text
"leftharpoondown",Text
"DownLeftVector"])
  ]


{-# NOINLINE ent2names14 #-}
ent2names14 :: [(Text,[Text])]
ent2names14 :: [(Text, [Text])]
ent2names14 =
  [ (Text
"\x021BE",[Text
"uharr",Text
"upharpoonright",Text
"RightUpVector"])
  , (Text
"\x021BF",[Text
"uharl",Text
"upharpoonleft",Text
"LeftUpVector"])
  , (Text
"\x021C0",[Text
"rharu",Text
"RightVector",Text
"rightharpoonup"])
  , (Text
"\x021C1",[Text
"rhard",Text
"rightharpoondown",Text
"DownRightVector"])
  , (Text
"\x021C2",[Text
"dharr",Text
"RightDownVector",Text
"downharpoonright"])
  , (Text
"\x021C3",[Text
"dharl",Text
"LeftDownVector",Text
"downharpoonleft"])
  , (Text
"\x021C4",[Text
"rlarr",Text
"rightleftarrows",Text
"RightArrowLeftArrow"])
  , (Text
"\x021C5",[Text
"udarr",Text
"UpArrowDownArrow"])
  , (Text
"\x021C6",[Text
"lrarr",Text
"leftrightarrows",Text
"LeftArrowRightArrow"])
  , (Text
"\x021C7",[Text
"llarr",Text
"leftleftarrows"])
  , (Text
"\x021C8",[Text
"uuarr",Text
"upuparrows"])
  , (Text
"\x021C9",[Text
"rrarr",Text
"rightrightarrows"])
  , (Text
"\x021CA",[Text
"ddarr",Text
"downdownarrows"])
  , (Text
"\x021CB",[Text
"lrhar",Text
"ReverseEquilibrium",Text
"leftrightharpoons"])
  , (Text
"\x021CC",[Text
"rlhar",Text
"rightleftharpoons",Text
"Equilibrium"])
  , (Text
"\x021CD",[Text
"nlArr",Text
"nLeftarrow"])
  , (Text
"\x021CE",[Text
"nhArr",Text
"nLeftrightarrow"])
  , (Text
"\x021CF",[Text
"nrArr",Text
"nRightarrow"])
  , (Text
"\x021D0",[Text
"lArr",Text
"Leftarrow",Text
"DoubleLeftArrow"])
  , (Text
"\x021D1",[Text
"uArr",Text
"Uparrow",Text
"DoubleUpArrow"])
  , (Text
"\x021D2",[Text
"rArr",Text
"Rightarrow",Text
"Implies",Text
"DoubleRightArrow"])
  , (Text
"\x021D3",[Text
"dArr",Text
"Downarrow",Text
"DoubleDownArrow"])
  , (Text
"\x021D4",[Text
"hArr",Text
"Leftrightarrow",Text
"DoubleLeftRightArrow",Text
"iff"])
  , (Text
"\x021D5",[Text
"vArr",Text
"Updownarrow",Text
"DoubleUpDownArrow"])
  , (Text
"\x021D6",[Text
"nwArr"])
  , (Text
"\x021D7",[Text
"neArr"])
  , (Text
"\x021D8",[Text
"seArr"])
  , (Text
"\x021D9",[Text
"swArr"])
  , (Text
"\x021DA",[Text
"lAarr",Text
"Lleftarrow"])
  , (Text
"\x021DB",[Text
"rAarr",Text
"Rrightarrow"])
  , (Text
"\x021DD",[Text
"zigrarr"])
  , (Text
"\x021E4",[Text
"larrb",Text
"LeftArrowBar"])
  , (Text
"\x021E5",[Text
"rarrb",Text
"RightArrowBar"])
  , (Text
"\x021F5",[Text
"duarr",Text
"DownArrowUpArrow"])
  , (Text
"\x021FD",[Text
"loarr"])
  , (Text
"\x021FE",[Text
"roarr"])
  , (Text
"\x021FF",[Text
"hoarr"])
  , (Text
"\x02200",[Text
"forall",Text
"ForAll"])
  , (Text
"\x02201",[Text
"comp",Text
"complement"])
  , (Text
"\x02202",[Text
"part",Text
"PartialD"])
  ]


{-# NOINLINE ent2names15 #-}
ent2names15 :: [(Text,[Text])]
ent2names15 :: [(Text, [Text])]
ent2names15 =
  [ (Text
"\x02203",[Text
"exist",Text
"Exists"])
  , (Text
"\x02204",[Text
"nexist",Text
"NotExists",Text
"nexists"])
  , (Text
"\x02205",[Text
"empty",Text
"emptyset",Text
"emptyv",Text
"varnothing"])
  , (Text
"\x02207",[Text
"nabla",Text
"Del"])
  , (Text
"\x02208",[Text
"isin",Text
"isinv",Text
"Element",Text
"in"])
  , (Text
"\x02209",[Text
"notin",Text
"NotElement",Text
"notinva"])
  , (Text
"\x0220B",[Text
"niv",Text
"ReverseElement",Text
"ni",Text
"SuchThat"])
  , (Text
"\x0220C",[Text
"notni",Text
"notniva",Text
"NotReverseElement"])
  , (Text
"\x0220F",[Text
"prod",Text
"Product"])
  , (Text
"\x02210",[Text
"coprod",Text
"Coproduct"])
  , (Text
"\x02211",[Text
"sum",Text
"Sum"])
  , (Text
"\x02212",[Text
"minus"])
  , (Text
"\x02213",[Text
"mnplus",Text
"mp",Text
"MinusPlus"])
  , (Text
"\x02214",[Text
"plusdo",Text
"dotplus"])
  , (Text
"\x02216",[Text
"setmn",Text
"setminus",Text
"Backslash",Text
"ssetmn",Text
"smallsetminus"])
  , (Text
"\x02217",[Text
"lowast"])
  , (Text
"\x02218",[Text
"compfn",Text
"SmallCircle"])
  , (Text
"\x0221A",[Text
"radic",Text
"Sqrt"])
  , (Text
"\x0221D",[Text
"prop",Text
"propto",Text
"Proportional",Text
"vprop",Text
"varpropto"])
  , (Text
"\x0221E",[Text
"infin"])
  , (Text
"\x0221F",[Text
"angrt"])
  , (Text
"\x02220",[Text
"ang",Text
"angle"])
  , (Text
"\x02221",[Text
"angmsd",Text
"measuredangle"])
  , (Text
"\x02222",[Text
"angsph"])
  , (Text
"\x02223",[Text
"mid",Text
"VerticalBar",Text
"smid",Text
"shortmid"])
  , (Text
"\x02224",[Text
"nmid",Text
"NotVerticalBar",Text
"nsmid",Text
"nshortmid"])
  , (Text
"\x02225",[Text
"par",Text
"parallel",Text
"DoubleVerticalBar",Text
"spar",Text
"shortparallel"])
  , (Text
"\x02226",[Text
"npar",Text
"nparallel",Text
"NotDoubleVerticalBar",Text
"nspar",Text
"nshortparallel"])
  , (Text
"\x02227",[Text
"and",Text
"wedge"])
  , (Text
"\x02228",[Text
"or",Text
"vee"])
  , (Text
"\x02229",[Text
"cap"])
  , (Text
"\x0222A",[Text
"cup"])
  , (Text
"\x0222B",[Text
"int",Text
"Integral"])
  , (Text
"\x0222C",[Text
"Int"])
  , (Text
"\x0222D",[Text
"tint",Text
"iiint"])
  , (Text
"\x0222E",[Text
"conint",Text
"oint",Text
"ContourIntegral"])
  , (Text
"\x0222F",[Text
"Conint",Text
"DoubleContourIntegral"])
  , (Text
"\x02230",[Text
"Cconint"])
  , (Text
"\x02231",[Text
"cwint"])
  , (Text
"\x02232",[Text
"cwconint",Text
"ClockwiseContourIntegral"])
  ]


{-# NOINLINE ent2names16 #-}
ent2names16 :: [(Text,[Text])]
ent2names16 :: [(Text, [Text])]
ent2names16 =
  [ (Text
"\x02233",[Text
"awconint",Text
"CounterClockwiseContourIntegral"])
  , (Text
"\x02234",[Text
"there4",Text
"therefore",Text
"Therefore"])
  , (Text
"\x02235",[Text
"becaus",Text
"because",Text
"Because"])
  , (Text
"\x02236",[Text
"ratio"])
  , (Text
"\x02237",[Text
"Colon",Text
"Proportion"])
  , (Text
"\x02238",[Text
"minusd",Text
"dotminus"])
  , (Text
"\x0223A",[Text
"mDDot"])
  , (Text
"\x0223B",[Text
"homtht"])
  , (Text
"\x0223C",[Text
"sim",Text
"Tilde",Text
"thksim",Text
"thicksim"])
  , (Text
"\x0223D",[Text
"bsim",Text
"backsim"])
  , (Text
"\x0223E",[Text
"ac",Text
"mstpos"])
  , (Text
"\x0223F",[Text
"acd"])
  , (Text
"\x02240",[Text
"wreath",Text
"VerticalTilde",Text
"wr"])
  , (Text
"\x02241",[Text
"nsim",Text
"NotTilde"])
  , (Text
"\x02242",[Text
"esim",Text
"EqualTilde",Text
"eqsim"])
  , (Text
"\x02243",[Text
"sime",Text
"TildeEqual",Text
"simeq"])
  , (Text
"\x02244",[Text
"nsime",Text
"nsimeq",Text
"NotTildeEqual"])
  , (Text
"\x02245",[Text
"cong",Text
"TildeFullEqual"])
  , (Text
"\x02246",[Text
"simne"])
  , (Text
"\x02247",[Text
"ncong",Text
"NotTildeFullEqual"])
  , (Text
"\x02248",[Text
"asymp",Text
"ap",Text
"TildeTilde",Text
"approx",Text
"thkap",Text
"thickapprox"])
  , (Text
"\x02249",[Text
"nap",Text
"NotTildeTilde",Text
"napprox"])
  , (Text
"\x0224A",[Text
"ape",Text
"approxeq"])
  , (Text
"\x0224B",[Text
"apid"])
  , (Text
"\x0224C",[Text
"bcong",Text
"backcong"])
  , (Text
"\x0224D",[Text
"asympeq",Text
"CupCap"])
  , (Text
"\x0224E",[Text
"bump",Text
"HumpDownHump",Text
"Bumpeq"])
  , (Text
"\x0224F",[Text
"bumpe",Text
"HumpEqual",Text
"bumpeq"])
  , (Text
"\x02250",[Text
"esdot",Text
"DotEqual",Text
"doteq"])
  , (Text
"\x02251",[Text
"eDot",Text
"doteqdot"])
  , (Text
"\x02252",[Text
"efDot",Text
"fallingdotseq"])
  , (Text
"\x02253",[Text
"erDot",Text
"risingdotseq"])
  , (Text
"\x02254",[Text
"colone",Text
"coloneq",Text
"Assign"])
  , (Text
"\x02255",[Text
"ecolon",Text
"eqcolon"])
  , (Text
"\x02256",[Text
"ecir",Text
"eqcirc"])
  , (Text
"\x02257",[Text
"cire",Text
"circeq"])
  , (Text
"\x02259",[Text
"wedgeq"])
  , (Text
"\x0225A",[Text
"veeeq"])
  , (Text
"\x0225C",[Text
"trie",Text
"triangleq"])
  , (Text
"\x0225F",[Text
"equest",Text
"questeq"])
  ]


{-# NOINLINE ent2names17 #-}
ent2names17 :: [(Text,[Text])]
ent2names17 :: [(Text, [Text])]
ent2names17 =
  [ (Text
"\x02260",[Text
"ne",Text
"NotEqual"])
  , (Text
"\x02242\x00338", [Text
"NotEqualTilde"])
  , (Text
"\x02261",[Text
"equiv",Text
"Congruent"])
  , (Text
"\x02262",[Text
"nequiv",Text
"NotCongruent"])
  , (Text
"\x02264",[Text
"le",Text
"leq"])
  , (Text
"\x02265",[Text
"ge",Text
"GreaterEqual",Text
"geq"])
  , (Text
"\x02266",[Text
"lE",Text
"LessFullEqual",Text
"leqq"])
  , (Text
"\x02267",[Text
"gE",Text
"GreaterFullEqual",Text
"geqq"])
  , (Text
"\x02268",[Text
"lnE",Text
"lneqq"])
  , (Text
"\x02269",[Text
"gnE",Text
"gneqq"])
  , (Text
"\x0226A",[Text
"Lt",Text
"NestedLessLess",Text
"ll"])
  , (Text
"\x0226B",[Text
"Gt",Text
"NestedGreaterGreater",Text
"gg"])
  , (Text
"\x0226C",[Text
"twixt",Text
"between"])
  , (Text
"\x0226D",[Text
"NotCupCap"])
  , (Text
"\x0226E",[Text
"nlt",Text
"NotLess",Text
"nless"])
  , (Text
"\x0226F",[Text
"ngt",Text
"NotGreater",Text
"ngtr"])
  , (Text
"\x02270",[Text
"nle",Text
"NotLessEqual",Text
"nleq"])
  , (Text
"\x02271",[Text
"nge",Text
"NotGreaterEqual",Text
"ngeq"])
  , (Text
"\x02267\x00338",[Text
"NotGreaterFullEqual"])
  , (Text
"\x02272",[Text
"lsim",Text
"LessTilde",Text
"lesssim"])
  , (Text
"\x02273",[Text
"gsim",Text
"gtrsim",Text
"GreaterTilde"])
  , (Text
"\x02274",[Text
"nlsim",Text
"NotLessTilde"])
  , (Text
"\x02275",[Text
"ngsim",Text
"NotGreaterTilde"])
  , (Text
"\x02276",[Text
"lg",Text
"lessgtr",Text
"LessGreater"])
  , (Text
"\x02277",[Text
"gl",Text
"gtrless",Text
"GreaterLess"])
  , (Text
"\x02278",[Text
"ntlg",Text
"NotLessGreater"])
  , (Text
"\x02279",[Text
"ntgl",Text
"NotGreaterLess"])
  , (Text
"\x0227A",[Text
"pr",Text
"Precedes",Text
"prec"])
  , (Text
"\x0227B",[Text
"sc",Text
"Succeeds",Text
"succ"])
  , (Text
"\x0227C",[Text
"prcue",Text
"PrecedesSlantEqual",Text
"preccurlyeq"])
  , (Text
"\x0227D",[Text
"sccue",Text
"SucceedsSlantEqual",Text
"succcurlyeq"])
  , (Text
"\x0227E",[Text
"prsim",Text
"precsim",Text
"PrecedesTilde"])
  , (Text
"\x0227F",[Text
"scsim",Text
"succsim",Text
"SucceedsTilde"])
  , (Text
"\x02280",[Text
"npr",Text
"nprec",Text
"NotPrecedes"])
  , (Text
"\x02281",[Text
"nsc",Text
"nsucc",Text
"NotSucceeds"])
  , (Text
"\x02282",[Text
"sub",Text
"subset"])
  , (Text
"\x02283",[Text
"sup",Text
"supset",Text
"Superset"])
  , (Text
"\x02284",[Text
"nsub"])
  , (Text
"\x02285",[Text
"nsup"])
  , (Text
"\x02286",[Text
"sube",Text
"SubsetEqual",Text
"subseteq"])
  , (Text
"\x02287",[Text
"supe",Text
"supseteq",Text
"SupersetEqual"])
  , (Text
"\x02288",[Text
"nsube",Text
"nsubseteq",Text
"NotSubsetEqual"])
  ]


{-# NOINLINE ent2names18 #-}
ent2names18 :: [(Text,[Text])]
ent2names18 :: [(Text, [Text])]
ent2names18 =
  [ (Text
"\x02289",[Text
"nsupe",Text
"nsupseteq",Text
"NotSupersetEqual"])
  , (Text
"\x0228A",[Text
"subne",Text
"subsetneq"])
  , (Text
"\x0228B",[Text
"supne",Text
"supsetneq"])
  , (Text
"\x0228D",[Text
"cupdot"])
  , (Text
"\x0228E",[Text
"uplus",Text
"UnionPlus"])
  , (Text
"\x0228F",[Text
"sqsub",Text
"SquareSubset",Text
"sqsubset"])
  , (Text
"\x02290",[Text
"sqsup",Text
"SquareSuperset",Text
"sqsupset"])
  , (Text
"\x02291",[Text
"sqsube",Text
"SquareSubsetEqual",Text
"sqsubseteq"])
  , (Text
"\x02292",[Text
"sqsupe",Text
"SquareSupersetEqual",Text
"sqsupseteq"])
  , (Text
"\x02293",[Text
"sqcap",Text
"SquareIntersection"])
  , (Text
"\x02294",[Text
"sqcup",Text
"SquareUnion"])
  , (Text
"\x02295",[Text
"oplus",Text
"CirclePlus"])
  , (Text
"\x02296",[Text
"ominus",Text
"CircleMinus"])
  , (Text
"\x02297",[Text
"otimes",Text
"CircleTimes"])
  , (Text
"\x02298",[Text
"osol"])
  , (Text
"\x02299",[Text
"odot",Text
"CircleDot"])
  , (Text
"\x0229A",[Text
"ocir",Text
"circledcirc"])
  , (Text
"\x0229B",[Text
"oast",Text
"circledast"])
  , (Text
"\x0229D",[Text
"odash",Text
"circleddash"])
  , (Text
"\x0229E",[Text
"plusb",Text
"boxplus"])
  , (Text
"\x0229F",[Text
"minusb",Text
"boxminus"])
  , (Text
"\x022A0",[Text
"timesb",Text
"boxtimes"])
  , (Text
"\x022A1",[Text
"sdotb",Text
"dotsquare"])
  , (Text
"\x022A2",[Text
"vdash",Text
"RightTee"])
  , (Text
"\x022A3",[Text
"dashv",Text
"LeftTee"])
  , (Text
"\x022A4",[Text
"top",Text
"DownTee"])
  , (Text
"\x022A5",[Text
"bottom",Text
"bot",Text
"perp",Text
"UpTee"])
  , (Text
"\x022A7",[Text
"models"])
  , (Text
"\x022A8",[Text
"vDash",Text
"DoubleRightTee"])
  , (Text
"\x022A9",[Text
"Vdash"])
  , (Text
"\x022AA",[Text
"Vvdash"])
  , (Text
"\x022AB",[Text
"VDash"])
  , (Text
"\x022AC",[Text
"nvdash"])
  , (Text
"\x022AD",[Text
"nvDash"])
  , (Text
"\x022AE",[Text
"nVdash"])
  , (Text
"\x022AF",[Text
"nVDash"])
  , (Text
"\x022B0",[Text
"prurel"])
  , (Text
"\x022B2",[Text
"vltri",Text
"vartriangleleft",Text
"LeftTriangle"])
  , (Text
"\x022B3",[Text
"vrtri",Text
"vartriangleright",Text
"RightTriangle"])
  , (Text
"\x022B4",[Text
"ltrie",Text
"trianglelefteq",Text
"LeftTriangleEqual"])
  ]


{-# NOINLINE ent2names19 #-}
ent2names19 :: [(Text,[Text])]
ent2names19 :: [(Text, [Text])]
ent2names19 =
  [ (Text
"\x022B5",[Text
"rtrie",Text
"trianglerighteq",Text
"RightTriangleEqual"])
  , (Text
"\x022B6",[Text
"origof"])
  , (Text
"\x022B7",[Text
"imof"])
  , (Text
"\x022B8",[Text
"mumap",Text
"multimap"])
  , (Text
"\x022B9",[Text
"hercon"])
  , (Text
"\x022BA",[Text
"intcal",Text
"intercal"])
  , (Text
"\x022BB",[Text
"veebar"])
  , (Text
"\x022BD",[Text
"barvee"])
  , (Text
"\x022BE",[Text
"angrtvb"])
  , (Text
"\x022BF",[Text
"lrtri"])
  , (Text
"\x022C0",[Text
"xwedge",Text
"Wedge",Text
"bigwedge"])
  , (Text
"\x022C1",[Text
"xvee",Text
"Vee",Text
"bigvee"])
  , (Text
"\x022C2",[Text
"xcap",Text
"Intersection",Text
"bigcap"])
  , (Text
"\x022C3",[Text
"xcup",Text
"Union",Text
"bigcup"])
  , (Text
"\x022C4",[Text
"diam",Text
"diamond",Text
"Diamond"])
  , (Text
"\x022C5",[Text
"sdot"])
  , (Text
"\x022C6",[Text
"sstarf",Text
"Star"])
  , (Text
"\x022C7",[Text
"divonx",Text
"divideontimes"])
  , (Text
"\x022C8",[Text
"bowtie"])
  , (Text
"\x022C9",[Text
"ltimes"])
  , (Text
"\x022CA",[Text
"rtimes"])
  , (Text
"\x022CB",[Text
"lthree",Text
"leftthreetimes"])
  , (Text
"\x022CC",[Text
"rthree",Text
"rightthreetimes"])
  , (Text
"\x022CD",[Text
"bsime",Text
"backsimeq"])
  , (Text
"\x022CE",[Text
"cuvee",Text
"curlyvee"])
  , (Text
"\x022CF",[Text
"cuwed",Text
"curlywedge"])
  , (Text
"\x022D0",[Text
"Sub",Text
"Subset"])
  , (Text
"\x022D1",[Text
"Sup",Text
"Supset"])
  , (Text
"\x022D2",[Text
"Cap"])
  , (Text
"\x022D3",[Text
"Cup"])
  , (Text
"\x022D4",[Text
"fork",Text
"pitchfork"])
  , (Text
"\x022D5",[Text
"epar"])
  , (Text
"\x022D6",[Text
"ltdot",Text
"lessdot"])
  , (Text
"\x022D7",[Text
"gtdot",Text
"gtrdot"])
  , (Text
"\x022D8",[Text
"Ll"])
  , (Text
"\x022D9",[Text
"Gg",Text
"ggg"])
  , (Text
"\x022DA",[Text
"leg",Text
"LessEqualGreater",Text
"lesseqgtr"])
  , (Text
"\x022DB",[Text
"gel",Text
"gtreqless",Text
"GreaterEqualLess"])
  , (Text
"\x022DE",[Text
"cuepr",Text
"curlyeqprec"])
  , (Text
"\x022DF",[Text
"cuesc",Text
"curlyeqsucc"])
  ]


{-# NOINLINE ent2names20 #-}
ent2names20 :: [(Text,[Text])]
ent2names20 :: [(Text, [Text])]
ent2names20 =
  [ (Text
"\x022E0",[Text
"nprcue",Text
"NotPrecedesSlantEqual"])
  , (Text
"\x022E1",[Text
"nsccue",Text
"NotSucceedsSlantEqual"])
  , (Text
"\x022E2",[Text
"nsqsube",Text
"NotSquareSubsetEqual"])
  , (Text
"\x022E3",[Text
"nsqsupe",Text
"NotSquareSupersetEqual"])
  , (Text
"\x022E6",[Text
"lnsim"])
  , (Text
"\x022E7",[Text
"gnsim"])
  , (Text
"\x022E8",[Text
"prnsim",Text
"precnsim"])
  , (Text
"\x022E9",[Text
"scnsim",Text
"succnsim"])
  , (Text
"\x022EA",[Text
"nltri",Text
"ntriangleleft",Text
"NotLeftTriangle"])
  , (Text
"\x022EB",[Text
"nrtri",Text
"ntriangleright",Text
"NotRightTriangle"])
  , (Text
"\x022EC",[Text
"nltrie",Text
"ntrianglelefteq",Text
"NotLeftTriangleEqual"])
  , (Text
"\x022ED",[Text
"nrtrie",Text
"ntrianglerighteq",Text
"NotRightTriangleEqual"])
  , (Text
"\x022EE",[Text
"vellip"])
  , (Text
"\x022EF",[Text
"ctdot"])
  , (Text
"\x022F0",[Text
"utdot"])
  , (Text
"\x022F1",[Text
"dtdot"])
  , (Text
"\x022F2",[Text
"disin"])
  , (Text
"\x022F3",[Text
"isinsv"])
  , (Text
"\x022F4",[Text
"isins"])
  , (Text
"\x022F5",[Text
"isindot"])
  , (Text
"\x022F6",[Text
"notinvc"])
  , (Text
"\x022F7",[Text
"notinvb"])
  , (Text
"\x022F9",[Text
"isinE"])
  , (Text
"\x022FA",[Text
"nisd"])
  , (Text
"\x022FB",[Text
"xnis"])
  , (Text
"\x022FC",[Text
"nis"])
  , (Text
"\x022FD",[Text
"notnivc"])
  , (Text
"\x022FE",[Text
"notnivb"])
  , (Text
"\x02305",[Text
"barwed",Text
"barwedge"])
  , (Text
"\x02306",[Text
"Barwed",Text
"doublebarwedge"])
  , (Text
"\x02308",[Text
"lceil",Text
"LeftCeiling"])
  , (Text
"\x02309",[Text
"rceil",Text
"RightCeiling"])
  , (Text
"\x0230A",[Text
"lfloor",Text
"LeftFloor"])
  , (Text
"\x0230B",[Text
"rfloor",Text
"RightFloor"])
  , (Text
"\x0230C",[Text
"drcrop"])
  , (Text
"\x0230D",[Text
"dlcrop"])
  , (Text
"\x0230E",[Text
"urcrop"])
  , (Text
"\x0230F",[Text
"ulcrop"])
  , (Text
"\x02310",[Text
"bnot"])
  , (Text
"\x02312",[Text
"profline"])
  ]


{-# NOINLINE ent2names21 #-}
ent2names21 :: [(Text,[Text])]
ent2names21 :: [(Text, [Text])]
ent2names21 =
  [ (Text
"\x02313",[Text
"profsurf"])
  , (Text
"\x02315",[Text
"telrec"])
  , (Text
"\x02316",[Text
"target"])
  , (Text
"\x0231C",[Text
"ulcorn",Text
"ulcorner"])
  , (Text
"\x0231D",[Text
"urcorn",Text
"urcorner"])
  , (Text
"\x0231E",[Text
"dlcorn",Text
"llcorner"])
  , (Text
"\x0231F",[Text
"drcorn",Text
"lrcorner"])
  , (Text
"\x02322",[Text
"frown",Text
"sfrown"])
  , (Text
"\x02323",[Text
"smile",Text
"ssmile"])
  , (Text
"\x0232D",[Text
"cylcty"])
  , (Text
"\x0232E",[Text
"profalar"])
  , (Text
"\x02336",[Text
"topbot"])
  , (Text
"\x0233D",[Text
"ovbar"])
  , (Text
"\x0233F",[Text
"solbar"])
  , (Text
"\x0237C",[Text
"angzarr"])
  , (Text
"\x023B0",[Text
"lmoust",Text
"lmoustache"])
  , (Text
"\x023B1",[Text
"rmoust",Text
"rmoustache"])
  , (Text
"\x023B4",[Text
"tbrk",Text
"OverBracket"])
  , (Text
"\x023B5",[Text
"bbrk",Text
"UnderBracket"])
  , (Text
"\x023B6",[Text
"bbrktbrk"])
  , (Text
"\x023DC",[Text
"OverParenthesis"])
  , (Text
"\x023DD",[Text
"UnderParenthesis"])
  , (Text
"\x023DE",[Text
"OverBrace"])
  , (Text
"\x023DF",[Text
"UnderBrace"])
  , (Text
"\x023E2",[Text
"trpezium"])
  , (Text
"\x023E7",[Text
"elinters"])
  , (Text
"\x02423",[Text
"blank"])
  , (Text
"\x024C8",[Text
"oS",Text
"circledS"])
  , (Text
"\x02500",[Text
"boxh",Text
"HorizontalLine"])
  , (Text
"\x02502",[Text
"boxv"])
  , (Text
"\x0250C",[Text
"boxdr"])
  , (Text
"\x02510",[Text
"boxdl"])
  , (Text
"\x02514",[Text
"boxur"])
  , (Text
"\x02518",[Text
"boxul"])
  , (Text
"\x0251C",[Text
"boxvr"])
  , (Text
"\x02524",[Text
"boxvl"])
  , (Text
"\x0252C",[Text
"boxhd"])
  , (Text
"\x02534",[Text
"boxhu"])
  , (Text
"\x0253C",[Text
"boxvh"])
  , (Text
"\x02550",[Text
"boxH"])
  ]


{-# NOINLINE ent2names22 #-}
ent2names22 :: [(Text,[Text])]
ent2names22 :: [(Text, [Text])]
ent2names22 =
  [ (Text
"\x02551",[Text
"boxV"])
  , (Text
"\x02552",[Text
"boxdR"])
  , (Text
"\x02553",[Text
"boxDr"])
  , (Text
"\x02554",[Text
"boxDR"])
  , (Text
"\x02555",[Text
"boxdL"])
  , (Text
"\x02556",[Text
"boxDl"])
  , (Text
"\x02557",[Text
"boxDL"])
  , (Text
"\x02558",[Text
"boxuR"])
  , (Text
"\x02559",[Text
"boxUr"])
  , (Text
"\x0255A",[Text
"boxUR"])
  , (Text
"\x0255B",[Text
"boxuL"])
  , (Text
"\x0255C",[Text
"boxUl"])
  , (Text
"\x0255D",[Text
"boxUL"])
  , (Text
"\x0255E",[Text
"boxvR"])
  , (Text
"\x0255F",[Text
"boxVr"])
  , (Text
"\x02560",[Text
"boxVR"])
  , (Text
"\x02561",[Text
"boxvL"])
  , (Text
"\x02562",[Text
"boxVl"])
  , (Text
"\x02563",[Text
"boxVL"])
  , (Text
"\x02564",[Text
"boxHd"])
  , (Text
"\x02565",[Text
"boxhD"])
  , (Text
"\x02566",[Text
"boxHD"])
  , (Text
"\x02567",[Text
"boxHu"])
  , (Text
"\x02568",[Text
"boxhU"])
  , (Text
"\x02569",[Text
"boxHU"])
  , (Text
"\x0256A",[Text
"boxvH"])
  , (Text
"\x0256B",[Text
"boxVh"])
  , (Text
"\x0256C",[Text
"boxVH"])
  , (Text
"\x02580",[Text
"uhblk"])
  , (Text
"\x02584",[Text
"lhblk"])
  , (Text
"\x02588",[Text
"block"])
  , (Text
"\x02591",[Text
"blk14"])
  , (Text
"\x02592",[Text
"blk12"])
  , (Text
"\x02593",[Text
"blk34"])
  , (Text
"\x025A1",[Text
"squ",Text
"square",Text
"Square"])
  , (Text
"\x025AA",[Text
"squf",Text
"squarf",Text
"blacksquare",Text
"FilledVerySmallSquare"])
  , (Text
"\x025AB",[Text
"EmptyVerySmallSquare"])
  , (Text
"\x025AD",[Text
"rect"])
  , (Text
"\x025AE",[Text
"marker"])
  , (Text
"\x025B1",[Text
"fltns"])
  ]


{-# NOINLINE ent2names23 #-}
ent2names23 :: [(Text,[Text])]
ent2names23 :: [(Text, [Text])]
ent2names23 =
  [ (Text
"\x025B3",[Text
"xutri",Text
"bigtriangleup"])
  , (Text
"\x025B4",[Text
"utrif",Text
"blacktriangle"])
  , (Text
"\x025B5",[Text
"utri",Text
"triangle"])
  , (Text
"\x025B8",[Text
"rtrif",Text
"blacktriangleright"])
  , (Text
"\x025B9",[Text
"rtri",Text
"triangleright"])
  , (Text
"\x025BD",[Text
"xdtri",Text
"bigtriangledown"])
  , (Text
"\x025BE",[Text
"dtrif",Text
"blacktriangledown"])
  , (Text
"\x025BF",[Text
"dtri",Text
"triangledown"])
  , (Text
"\x025C2",[Text
"ltrif",Text
"blacktriangleleft"])
  , (Text
"\x025C3",[Text
"ltri",Text
"triangleleft"])
  , (Text
"\x025CA",[Text
"loz",Text
"lozenge"])
  , (Text
"\x025CB",[Text
"cir"])
  , (Text
"\x025EC",[Text
"tridot"])
  , (Text
"\x025EF",[Text
"xcirc",Text
"bigcirc"])
  , (Text
"\x025F8",[Text
"ultri"])
  , (Text
"\x025F9",[Text
"urtri"])
  , (Text
"\x025FA",[Text
"lltri"])
  , (Text
"\x025FB",[Text
"EmptySmallSquare"])
  , (Text
"\x025FC",[Text
"FilledSmallSquare"])
  , (Text
"\x02605",[Text
"starf",Text
"bigstar"])
  , (Text
"\x02606",[Text
"star"])
  , (Text
"\x0260E",[Text
"phone"])
  , (Text
"\x02640",[Text
"female"])
  , (Text
"\x02642",[Text
"male"])
  , (Text
"\x02660",[Text
"spades",Text
"spadesuit"])
  , (Text
"\x02663",[Text
"clubs",Text
"clubsuit"])
  , (Text
"\x02665",[Text
"hearts",Text
"heartsuit"])
  , (Text
"\x02666",[Text
"diams",Text
"diamondsuit"])
  , (Text
"\x0266A",[Text
"sung"])
  , (Text
"\x0266D",[Text
"flat"])
  , (Text
"\x0266E",[Text
"natur",Text
"natural"])
  , (Text
"\x0266F",[Text
"sharp"])
  , (Text
"\x02713",[Text
"check",Text
"checkmark"])
  , (Text
"\x02717",[Text
"cross"])
  , (Text
"\x02720",[Text
"malt",Text
"maltese"])
  , (Text
"\x02736",[Text
"sext"])
  , (Text
"\x02758",[Text
"VerticalSeparator"])
  , (Text
"\x02772",[Text
"lbbrk"])
  , (Text
"\x02773",[Text
"rbbrk"])
  , (Text
"\x027E6",[Text
"lobrk",Text
"LeftDoubleBracket"])
  ]


{-# NOINLINE ent2names24 #-}
ent2names24 :: [(Text,[Text])]
ent2names24 :: [(Text, [Text])]
ent2names24 =
  [ (Text
"\x027E7",[Text
"robrk",Text
"RightDoubleBracket"])
  , (Text
"\x027E8",[Text
"lang",Text
"LeftAngleBracket",Text
"langle"])
  , (Text
"\x027E9",[Text
"rang",Text
"RightAngleBracket",Text
"rangle"])
  , (Text
"\x027EA",[Text
"Lang"])
  , (Text
"\x027EB",[Text
"Rang"])
  , (Text
"\x027EC",[Text
"loang"])
  , (Text
"\x027ED",[Text
"roang"])
  , (Text
"\x027F5",[Text
"xlarr",Text
"longleftarrow",Text
"LongLeftArrow"])
  , (Text
"\x027F6",[Text
"xrarr",Text
"longrightarrow",Text
"LongRightArrow"])
  , (Text
"\x027F7",[Text
"xharr",Text
"longleftrightarrow",Text
"LongLeftRightArrow"])
  , (Text
"\x027F8",[Text
"xlArr",Text
"Longleftarrow",Text
"DoubleLongLeftArrow"])
  , (Text
"\x027F9",[Text
"xrArr",Text
"Longrightarrow",Text
"DoubleLongRightArrow"])
  , (Text
"\x027FA",[Text
"xhArr",Text
"Longleftrightarrow",Text
"DoubleLongLeftRightArrow"])
  , (Text
"\x027FC",[Text
"xmap",Text
"longmapsto"])
  , (Text
"\x027FF",[Text
"dzigrarr"])
  , (Text
"\x02902",[Text
"nvlArr"])
  , (Text
"\x02903",[Text
"nvrArr"])
  , (Text
"\x02904",[Text
"nvHarr"])
  , (Text
"\x02905",[Text
"Map"])
  , (Text
"\x0290C",[Text
"lbarr"])
  , (Text
"\x0290D",[Text
"rbarr",Text
"bkarow"])
  , (Text
"\x0290E",[Text
"lBarr"])
  , (Text
"\x0290F",[Text
"rBarr",Text
"dbkarow"])
  , (Text
"\x02910",[Text
"RBarr",Text
"drbkarow"])
  , (Text
"\x02911",[Text
"DDotrahd"])
  , (Text
"\x02912",[Text
"UpArrowBar"])
  , (Text
"\x02913",[Text
"DownArrowBar"])
  , (Text
"\x02916",[Text
"Rarrtl"])
  , (Text
"\x02919",[Text
"latail"])
  , (Text
"\x0291A",[Text
"ratail"])
  , (Text
"\x0291B",[Text
"lAtail"])
  , (Text
"\x0291C",[Text
"rAtail"])
  , (Text
"\x0291D",[Text
"larrfs"])
  , (Text
"\x0291E",[Text
"rarrfs"])
  , (Text
"\x0291F",[Text
"larrbfs"])
  , (Text
"\x02920",[Text
"rarrbfs"])
  , (Text
"\x02923",[Text
"nwarhk"])
  , (Text
"\x02924",[Text
"nearhk"])
  , (Text
"\x02925",[Text
"searhk",Text
"hksearow"])
  , (Text
"\x02926",[Text
"swarhk",Text
"hkswarow"])
  ]


{-# NOINLINE ent2names25 #-}
ent2names25 :: [(Text,[Text])]
ent2names25 :: [(Text, [Text])]
ent2names25 =
  [ (Text
"\x02927",[Text
"nwnear"])
  , (Text
"\x02928",[Text
"nesear",Text
"toea"])
  , (Text
"\x02929",[Text
"seswar",Text
"tosa"])
  , (Text
"\x0292A",[Text
"swnwar"])
  , (Text
"\x02933",[Text
"rarrc"])
  , (Text
"\x02935",[Text
"cudarrr"])
  , (Text
"\x02936",[Text
"ldca"])
  , (Text
"\x02937",[Text
"rdca"])
  , (Text
"\x02938",[Text
"cudarrl"])
  , (Text
"\x02939",[Text
"larrpl"])
  , (Text
"\x0293C",[Text
"curarrm"])
  , (Text
"\x0293D",[Text
"cularrp"])
  , (Text
"\x02945",[Text
"rarrpl"])
  , (Text
"\x02948",[Text
"harrcir"])
  , (Text
"\x02949",[Text
"Uarrocir"])
  , (Text
"\x0294A",[Text
"lurdshar"])
  , (Text
"\x0294B",[Text
"ldrushar"])
  , (Text
"\x0294E",[Text
"LeftRightVector"])
  , (Text
"\x0294F",[Text
"RightUpDownVector"])
  , (Text
"\x02950",[Text
"DownLeftRightVector"])
  , (Text
"\x02951",[Text
"LeftUpDownVector"])
  , (Text
"\x02952",[Text
"LeftVectorBar"])
  , (Text
"\x02953",[Text
"RightVectorBar"])
  , (Text
"\x02954",[Text
"RightUpVectorBar"])
  , (Text
"\x02955",[Text
"RightDownVectorBar"])
  , (Text
"\x02956",[Text
"DownLeftVectorBar"])
  , (Text
"\x02957",[Text
"DownRightVectorBar"])
  , (Text
"\x02958",[Text
"LeftUpVectorBar"])
  , (Text
"\x02959",[Text
"LeftDownVectorBar"])
  , (Text
"\x0295A",[Text
"LeftTeeVector"])
  , (Text
"\x0295B",[Text
"RightTeeVector"])
  , (Text
"\x0295C",[Text
"RightUpTeeVector"])
  , (Text
"\x0295D",[Text
"RightDownTeeVector"])
  , (Text
"\x0295E",[Text
"DownLeftTeeVector"])
  , (Text
"\x0295F",[Text
"DownRightTeeVector"])
  , (Text
"\x02960",[Text
"LeftUpTeeVector"])
  , (Text
"\x02961",[Text
"LeftDownTeeVector"])
  , (Text
"\x02962",[Text
"lHar"])
  , (Text
"\x02963",[Text
"uHar"])
  , (Text
"\x02964",[Text
"rHar"])
  ]


{-# NOINLINE ent2names26 #-}
ent2names26 :: [(Text,[Text])]
ent2names26 :: [(Text, [Text])]
ent2names26 =
  [ (Text
"\x02965",[Text
"dHar"])
  , (Text
"\x02966",[Text
"luruhar"])
  , (Text
"\x02967",[Text
"ldrdhar"])
  , (Text
"\x02968",[Text
"ruluhar"])
  , (Text
"\x02969",[Text
"rdldhar"])
  , (Text
"\x0296A",[Text
"lharul"])
  , (Text
"\x0296B",[Text
"llhard"])
  , (Text
"\x0296C",[Text
"rharul"])
  , (Text
"\x0296D",[Text
"lrhard"])
  , (Text
"\x0296E",[Text
"udhar",Text
"UpEquilibrium"])
  , (Text
"\x0296F",[Text
"duhar",Text
"ReverseUpEquilibrium"])
  , (Text
"\x02970",[Text
"RoundImplies"])
  , (Text
"\x02971",[Text
"erarr"])
  , (Text
"\x02972",[Text
"simrarr"])
  , (Text
"\x02973",[Text
"larrsim"])
  , (Text
"\x02974",[Text
"rarrsim"])
  , (Text
"\x02975",[Text
"rarrap"])
  , (Text
"\x02976",[Text
"ltlarr"])
  , (Text
"\x02978",[Text
"gtrarr"])
  , (Text
"\x02979",[Text
"subrarr"])
  , (Text
"\x0297B",[Text
"suplarr"])
  , (Text
"\x0297C",[Text
"lfisht"])
  , (Text
"\x0297D",[Text
"rfisht"])
  , (Text
"\x0297E",[Text
"ufisht"])
  , (Text
"\x0297F",[Text
"dfisht"])
  , (Text
"\x02985",[Text
"lopar"])
  , (Text
"\x02986",[Text
"ropar"])
  , (Text
"\x0298B",[Text
"lbrke"])
  , (Text
"\x0298C",[Text
"rbrke"])
  , (Text
"\x0298D",[Text
"lbrkslu"])
  , (Text
"\x0298E",[Text
"rbrksld"])
  , (Text
"\x0298F",[Text
"lbrksld"])
  , (Text
"\x02990",[Text
"rbrkslu"])
  , (Text
"\x02991",[Text
"langd"])
  , (Text
"\x02992",[Text
"rangd"])
  , (Text
"\x02993",[Text
"lparlt"])
  , (Text
"\x02994",[Text
"rpargt"])
  , (Text
"\x02995",[Text
"gtlPar"])
  , (Text
"\x02996",[Text
"ltrPar"])
  , (Text
"\x0299A",[Text
"vzigzag"])
  ]


{-# NOINLINE ent2names27 #-}
ent2names27 :: [(Text,[Text])]
ent2names27 :: [(Text, [Text])]
ent2names27 =
  [ (Text
"\x0299C",[Text
"vangrt"])
  , (Text
"\x0299D",[Text
"angrtvbd"])
  , (Text
"\x029A4",[Text
"ange"])
  , (Text
"\x029A5",[Text
"range"])
  , (Text
"\x029A6",[Text
"dwangle"])
  , (Text
"\x029A7",[Text
"uwangle"])
  , (Text
"\x029A8",[Text
"angmsdaa"])
  , (Text
"\x029A9",[Text
"angmsdab"])
  , (Text
"\x029AA",[Text
"angmsdac"])
  , (Text
"\x029AB",[Text
"angmsdad"])
  , (Text
"\x029AC",[Text
"angmsdae"])
  , (Text
"\x029AD",[Text
"angmsdaf"])
  , (Text
"\x029AE",[Text
"angmsdag"])
  , (Text
"\x029AF",[Text
"angmsdah"])
  , (Text
"\x029B0",[Text
"bemptyv"])
  , (Text
"\x029B1",[Text
"demptyv"])
  , (Text
"\x029B2",[Text
"cemptyv"])
  , (Text
"\x029B3",[Text
"raemptyv"])
  , (Text
"\x029B4",[Text
"laemptyv"])
  , (Text
"\x029B5",[Text
"ohbar"])
  , (Text
"\x029B6",[Text
"omid"])
  , (Text
"\x029B7",[Text
"opar"])
  , (Text
"\x029B9",[Text
"operp"])
  , (Text
"\x029BB",[Text
"olcross"])
  , (Text
"\x029BC",[Text
"odsold"])
  , (Text
"\x029BE",[Text
"olcir"])
  , (Text
"\x029BF",[Text
"ofcir"])
  , (Text
"\x029C0",[Text
"olt"])
  , (Text
"\x029C1",[Text
"ogt"])
  , (Text
"\x029C2",[Text
"cirscir"])
  , (Text
"\x029C3",[Text
"cirE"])
  , (Text
"\x029C4",[Text
"solb"])
  , (Text
"\x029C5",[Text
"bsolb"])
  , (Text
"\x029C9",[Text
"boxbox"])
  , (Text
"\x029CD",[Text
"trisb"])
  , (Text
"\x029CE",[Text
"rtriltri"])
  , (Text
"\x029CF",[Text
"LeftTriangleBar"])
  , (Text
"\x029D0",[Text
"RightTriangleBar"])
  , (Text
"\x029DA",[Text
"race"])
  , (Text
"\x029DC",[Text
"iinfin"])
  ]


{-# NOINLINE ent2names28 #-}
ent2names28 :: [(Text,[Text])]
ent2names28 :: [(Text, [Text])]
ent2names28 =
  [ (Text
"\x029DD",[Text
"infintie"])
  , (Text
"\x029DE",[Text
"nvinfin"])
  , (Text
"\x029E3",[Text
"eparsl"])
  , (Text
"\x029E4",[Text
"smeparsl"])
  , (Text
"\x029E5",[Text
"eqvparsl"])
  , (Text
"\x029EB",[Text
"lozf",Text
"blacklozenge"])
  , (Text
"\x029F4",[Text
"RuleDelayed"])
  , (Text
"\x029F6",[Text
"dsol"])
  , (Text
"\x02A00",[Text
"xodot",Text
"bigodot"])
  , (Text
"\x02A01",[Text
"xoplus",Text
"bigoplus"])
  , (Text
"\x02A02",[Text
"xotime",Text
"bigotimes"])
  , (Text
"\x02A04",[Text
"xuplus",Text
"biguplus"])
  , (Text
"\x02A06",[Text
"xsqcup",Text
"bigsqcup"])
  , (Text
"\x02A0C",[Text
"qint",Text
"iiiint"])
  , (Text
"\x02A0D",[Text
"fpartint"])
  , (Text
"\x02A10",[Text
"cirfnint"])
  , (Text
"\x02A11",[Text
"awint"])
  , (Text
"\x02A12",[Text
"rppolint"])
  , (Text
"\x02A13",[Text
"scpolint"])
  , (Text
"\x02A14",[Text
"npolint"])
  , (Text
"\x02A15",[Text
"pointint"])
  , (Text
"\x02A16",[Text
"quatint"])
  , (Text
"\x02A17",[Text
"intlarhk"])
  , (Text
"\x02A22",[Text
"pluscir"])
  , (Text
"\x02A23",[Text
"plusacir"])
  , (Text
"\x02A24",[Text
"simplus"])
  , (Text
"\x02A25",[Text
"plusdu"])
  , (Text
"\x02A26",[Text
"plussim"])
  , (Text
"\x02A27",[Text
"plustwo"])
  , (Text
"\x02A29",[Text
"mcomma"])
  , (Text
"\x02A2A",[Text
"minusdu"])
  , (Text
"\x02A2D",[Text
"loplus"])
  , (Text
"\x02A2E",[Text
"roplus"])
  , (Text
"\x02A2F",[Text
"Cross"])
  , (Text
"\x02A30",[Text
"timesd"])
  , (Text
"\x02A31",[Text
"timesbar"])
  , (Text
"\x02A33",[Text
"smashp"])
  , (Text
"\x02A34",[Text
"lotimes"])
  , (Text
"\x02A35",[Text
"rotimes"])
  , (Text
"\x02A36",[Text
"otimesas"])
  ]


{-# NOINLINE ent2names29 #-}
ent2names29 :: [(Text,[Text])]
ent2names29 :: [(Text, [Text])]
ent2names29 =
  [ (Text
"\x02A37",[Text
"Otimes"])
  , (Text
"\x02A38",[Text
"odiv"])
  , (Text
"\x02A39",[Text
"triplus"])
  , (Text
"\x02A3A",[Text
"triminus"])
  , (Text
"\x02A3B",[Text
"tritime"])
  , (Text
"\x02A3C",[Text
"iprod",Text
"intprod"])
  , (Text
"\x02A3F",[Text
"amalg"])
  , (Text
"\x02A40",[Text
"capdot"])
  , (Text
"\x02A42",[Text
"ncup"])
  , (Text
"\x02A43",[Text
"ncap"])
  , (Text
"\x02A44",[Text
"capand"])
  , (Text
"\x02A45",[Text
"cupor"])
  , (Text
"\x02A46",[Text
"cupcap"])
  , (Text
"\x02A47",[Text
"capcup"])
  , (Text
"\x02A48",[Text
"cupbrcap"])
  , (Text
"\x02A49",[Text
"capbrcup"])
  , (Text
"\x02A4A",[Text
"cupcup"])
  , (Text
"\x02A4B",[Text
"capcap"])
  , (Text
"\x02A4C",[Text
"ccups"])
  , (Text
"\x02A4D",[Text
"ccaps"])
  , (Text
"\x02A50",[Text
"ccupssm"])
  , (Text
"\x02A53",[Text
"And"])
  , (Text
"\x02A54",[Text
"Or"])
  , (Text
"\x02A55",[Text
"andand"])
  , (Text
"\x02A56",[Text
"oror"])
  , (Text
"\x02A57",[Text
"orslope"])
  , (Text
"\x02A58",[Text
"andslope"])
  , (Text
"\x02A5A",[Text
"andv"])
  , (Text
"\x02A5B",[Text
"orv"])
  , (Text
"\x02A5C",[Text
"andd"])
  , (Text
"\x02A5D",[Text
"ord"])
  , (Text
"\x02A5F",[Text
"wedbar"])
  , (Text
"\x02A66",[Text
"sdote"])
  , (Text
"\x02A6A",[Text
"simdot"])
  , (Text
"\x02A6D",[Text
"congdot"])
  , (Text
"\x02A6E",[Text
"easter"])
  , (Text
"\x02A6F",[Text
"apacir"])
  , (Text
"\x02A70",[Text
"apE"])
  , (Text
"\x02A71",[Text
"eplus"])
  , (Text
"\x02A72",[Text
"pluse"])
  ]


{-# NOINLINE ent2names30 #-}
ent2names30 :: [(Text,[Text])]
ent2names30 :: [(Text, [Text])]
ent2names30 =
  [ (Text
"\x02A73",[Text
"Esim"])
  , (Text
"\x02A74",[Text
"Colone"])
  , (Text
"\x02A75",[Text
"Equal"])
  , (Text
"\x02A77",[Text
"eDDot",Text
"ddotseq"])
  , (Text
"\x02A78",[Text
"equivDD"])
  , (Text
"\x02A79",[Text
"ltcir"])
  , (Text
"\x02A7A",[Text
"gtcir"])
  , (Text
"\x02A7B",[Text
"ltquest"])
  , (Text
"\x02A7C",[Text
"gtquest"])
  , (Text
"\x02A7D",[Text
"les",Text
"LessSlantEqual",Text
"leqslant"])
  , (Text
"\x02A7E",[Text
"ges",Text
"GreaterSlantEqual",Text
"geqslant"])
  , (Text
"\x02A7F",[Text
"lesdot"])
  , (Text
"\x02A80",[Text
"gesdot"])
  , (Text
"\x02A81",[Text
"lesdoto"])
  , (Text
"\x02A82",[Text
"gesdoto"])
  , (Text
"\x02A83",[Text
"lesdotor"])
  , (Text
"\x02A84",[Text
"gesdotol"])
  , (Text
"\x02A85",[Text
"lap",Text
"lessapprox"])
  , (Text
"\x02A86",[Text
"gap",Text
"gtrapprox"])
  , (Text
"\x02A87",[Text
"lne",Text
"lneq"])
  , (Text
"\x02A88",[Text
"gne",Text
"gneq"])
  , (Text
"\x02A89",[Text
"lnap",Text
"lnapprox"])
  , (Text
"\x02A8A",[Text
"gnap",Text
"gnapprox"])
  , (Text
"\x02A8B",[Text
"lEg",Text
"lesseqqgtr"])
  , (Text
"\x02A8C",[Text
"gEl",Text
"gtreqqless"])
  , (Text
"\x02A8D",[Text
"lsime"])
  , (Text
"\x02A8E",[Text
"gsime"])
  , (Text
"\x02A8F",[Text
"lsimg"])
  , (Text
"\x02A90",[Text
"gsiml"])
  , (Text
"\x02A91",[Text
"lgE"])
  , (Text
"\x02A92",[Text
"glE"])
  , (Text
"\x02A93",[Text
"lesges"])
  , (Text
"\x02A94",[Text
"gesles"])
  , (Text
"\x02A95",[Text
"els",Text
"eqslantless"])
  , (Text
"\x02A96",[Text
"egs",Text
"eqslantgtr"])
  , (Text
"\x02A97",[Text
"elsdot"])
  , (Text
"\x02A98",[Text
"egsdot"])
  , (Text
"\x02A99",[Text
"el"])
  , (Text
"\x02A9A",[Text
"eg"])
  , (Text
"\x02A9D",[Text
"siml"])
  ]


{-# NOINLINE ent2names31 #-}
ent2names31 :: [(Text,[Text])]
ent2names31 :: [(Text, [Text])]
ent2names31 =
  [ (Text
"\x02A9E",[Text
"simg"])
  , (Text
"\x02A9F",[Text
"simlE"])
  , (Text
"\x02AA0",[Text
"simgE"])
  , (Text
"\x02AA1",[Text
"LessLess"])
  , (Text
"\x02AA2",[Text
"GreaterGreater"])
  , (Text
"\x02AA4",[Text
"glj"])
  , (Text
"\x02AA5",[Text
"gla"])
  , (Text
"\x02AA6",[Text
"ltcc"])
  , (Text
"\x02AA7",[Text
"gtcc"])
  , (Text
"\x02AA8",[Text
"lescc"])
  , (Text
"\x02AA9",[Text
"gescc"])
  , (Text
"\x02AAA",[Text
"smt"])
  , (Text
"\x02AAB",[Text
"lat"])
  , (Text
"\x02AAC",[Text
"smte"])
  , (Text
"\x02AAD",[Text
"late"])
  , (Text
"\x02AAE",[Text
"bumpE"])
  , (Text
"\x02AAF",[Text
"pre",Text
"preceq",Text
"PrecedesEqual"])
  , (Text
"\x02AB0",[Text
"sce",Text
"succeq",Text
"SucceedsEqual"])
  , (Text
"\x02AB3",[Text
"prE"])
  , (Text
"\x02AB4",[Text
"scE"])
  , (Text
"\x02AB5",[Text
"prnE",Text
"precneqq"])
  , (Text
"\x02AB6",[Text
"scnE",Text
"succneqq"])
  , (Text
"\x02AB7",[Text
"prap",Text
"precapprox"])
  , (Text
"\x02AB8",[Text
"scap",Text
"succapprox"])
  , (Text
"\x02AB9",[Text
"prnap",Text
"precnapprox"])
  , (Text
"\x02ABA",[Text
"scnap",Text
"succnapprox"])
  , (Text
"\x02ABB",[Text
"Pr"])
  , (Text
"\x02ABC",[Text
"Sc"])
  , (Text
"\x02ABD",[Text
"subdot"])
  , (Text
"\x02ABE",[Text
"supdot"])
  , (Text
"\x02ABF",[Text
"subplus"])
  , (Text
"\x02AC0",[Text
"supplus"])
  , (Text
"\x02AC1",[Text
"submult"])
  , (Text
"\x02AC2",[Text
"supmult"])
  , (Text
"\x02AC3",[Text
"subedot"])
  , (Text
"\x02AC4",[Text
"supedot"])
  , (Text
"\x02AC5",[Text
"subE",Text
"subseteqq"])
  , (Text
"\x02AC6",[Text
"supE",Text
"supseteqq"])
  , (Text
"\x02AC7",[Text
"subsim"])
  , (Text
"\x02AC8",[Text
"supsim"])
  ]


{-# NOINLINE ent2names32 #-}
ent2names32 :: [(Text,[Text])]
ent2names32 :: [(Text, [Text])]
ent2names32 =
  [ (Text
"\x02ACB",[Text
"subnE",Text
"subsetneqq"])
  , (Text
"\x02ACC",[Text
"supnE",Text
"supsetneqq"])
  , (Text
"\x02ACF",[Text
"csub"])
  , (Text
"\x02AD0",[Text
"csup"])
  , (Text
"\x02AD1",[Text
"csube"])
  , (Text
"\x02AD2",[Text
"csupe"])
  , (Text
"\x02AD3",[Text
"subsup"])
  , (Text
"\x02AD4",[Text
"supsub"])
  , (Text
"\x02AD5",[Text
"subsub"])
  , (Text
"\x02AD6",[Text
"supsup"])
  , (Text
"\x02AD7",[Text
"suphsub"])
  , (Text
"\x02AD8",[Text
"supdsub"])
  , (Text
"\x02AD9",[Text
"forkv"])
  , (Text
"\x02ADA",[Text
"topfork"])
  , (Text
"\x02ADB",[Text
"mlcp"])
  , (Text
"\x02AE4",[Text
"Dashv",Text
"DoubleLeftTee"])
  , (Text
"\x02AE6",[Text
"Vdashl"])
  , (Text
"\x02AE7",[Text
"Barv"])
  , (Text
"\x02AE8",[Text
"vBar"])
  , (Text
"\x02AE9",[Text
"vBarv"])
  , (Text
"\x02AEB",[Text
"Vbar"])
  , (Text
"\x02AEC",[Text
"Not"])
  , (Text
"\x02AED",[Text
"bNot"])
  , (Text
"\x02AEE",[Text
"rnmid"])
  , (Text
"\x02AEF",[Text
"cirmid"])
  , (Text
"\x02AF0",[Text
"midcir"])
  , (Text
"\x02AF1",[Text
"topcir"])
  , (Text
"\x02AF2",[Text
"nhpar"])
  , (Text
"\x02AF3",[Text
"parsim"])
  , (Text
"\x02AFD",[Text
"parsl"])
  , (Text
"\x0FB00",[Text
"fflig"])
  , (Text
"\x0FB01",[Text
"filig"])
  , (Text
"\x0FB02",[Text
"fllig"])
  , (Text
"\x0FB03",[Text
"ffilig"])
  , (Text
"\x0FB04",[Text
"ffllig"])
  , (Text
"\x1D49C",[Text
"Ascr"])
  , (Text
"\x1D49E",[Text
"Cscr"])
  , (Text
"\x1D49F",[Text
"Dscr"])
  , (Text
"\x1D4A2",[Text
"Gscr"])
  , (Text
"\x1D4A5",[Text
"Jscr"])
  ]


{-# NOINLINE ent2names33 #-}
ent2names33 :: [(Text,[Text])]
ent2names33 :: [(Text, [Text])]
ent2names33 =
  [ (Text
"\x1D4A6",[Text
"Kscr"])
  , (Text
"\x1D4A9",[Text
"Nscr"])
  , (Text
"\x1D4AA",[Text
"Oscr"])
  , (Text
"\x1D4AB",[Text
"Pscr"])
  , (Text
"\x1D4AC",[Text
"Qscr"])
  , (Text
"\x1D4AE",[Text
"Sscr"])
  , (Text
"\x1D4AF",[Text
"Tscr"])
  , (Text
"\x1D4B0",[Text
"Uscr"])
  , (Text
"\x1D4B1",[Text
"Vscr"])
  , (Text
"\x1D4B2",[Text
"Wscr"])
  , (Text
"\x1D4B3",[Text
"Xscr"])
  , (Text
"\x1D4B4",[Text
"Yscr"])
  , (Text
"\x1D4B5",[Text
"Zscr"])
  , (Text
"\x1D4B6",[Text
"ascr"])
  , (Text
"\x1D4B7",[Text
"bscr"])
  , (Text
"\x1D4B8",[Text
"cscr"])
  , (Text
"\x1D4B9",[Text
"dscr"])
  , (Text
"\x1D4BB",[Text
"fscr"])
  , (Text
"\x1D4BD",[Text
"hscr"])
  , (Text
"\x1D4BE",[Text
"iscr"])
  , (Text
"\x1D4BF",[Text
"jscr"])
  , (Text
"\x1D4C0",[Text
"kscr"])
  , (Text
"\x1D4C1",[Text
"lscr"])
  , (Text
"\x1D4C2",[Text
"mscr"])
  , (Text
"\x1D4C3",[Text
"nscr"])
  , (Text
"\x1D4C5",[Text
"pscr"])
  , (Text
"\x1D4C6",[Text
"qscr"])
  , (Text
"\x1D4C7",[Text
"rscr"])
  , (Text
"\x1D4C8",[Text
"sscr"])
  , (Text
"\x1D4C9",[Text
"tscr"])
  , (Text
"\x1D4CA",[Text
"uscr"])
  , (Text
"\x1D4CB",[Text
"vscr"])
  , (Text
"\x1D4CC",[Text
"wscr"])
  , (Text
"\x1D4CD",[Text
"xscr"])
  , (Text
"\x1D4CE",[Text
"yscr"])
  , (Text
"\x1D4CF",[Text
"zscr"])
  , (Text
"\x1D504",[Text
"Afr"])
  , (Text
"\x1D505",[Text
"Bfr"])
  , (Text
"\x1D507",[Text
"Dfr"])
  , (Text
"\x1D508",[Text
"Efr"])
  ]


{-# NOINLINE ent2names34 #-}
ent2names34 :: [(Text,[Text])]
ent2names34 :: [(Text, [Text])]
ent2names34 =
  [ (Text
"\x1D509",[Text
"Ffr"])
  , (Text
"\x1D50A",[Text
"Gfr"])
  , (Text
"\x1D50D",[Text
"Jfr"])
  , (Text
"\x1D50E",[Text
"Kfr"])
  , (Text
"\x1D50F",[Text
"Lfr"])
  , (Text
"\x1D510",[Text
"Mfr"])
  , (Text
"\x1D511",[Text
"Nfr"])
  , (Text
"\x1D512",[Text
"Ofr"])
  , (Text
"\x1D513",[Text
"Pfr"])
  , (Text
"\x1D514",[Text
"Qfr"])
  , (Text
"\x1D516",[Text
"Sfr"])
  , (Text
"\x1D517",[Text
"Tfr"])
  , (Text
"\x1D518",[Text
"Ufr"])
  , (Text
"\x1D519",[Text
"Vfr"])
  , (Text
"\x1D51A",[Text
"Wfr"])
  , (Text
"\x1D51B",[Text
"Xfr"])
  , (Text
"\x1D51C",[Text
"Yfr"])
  , (Text
"\x1D51E",[Text
"afr"])
  , (Text
"\x1D51F",[Text
"bfr"])
  , (Text
"\x1D520",[Text
"cfr"])
  , (Text
"\x1D521",[Text
"dfr"])
  , (Text
"\x1D522",[Text
"efr"])
  , (Text
"\x1D523",[Text
"ffr"])
  , (Text
"\x1D524",[Text
"gfr"])
  , (Text
"\x1D525",[Text
"hfr"])
  , (Text
"\x1D526",[Text
"ifr"])
  , (Text
"\x1D527",[Text
"jfr"])
  , (Text
"\x1D528",[Text
"kfr"])
  , (Text
"\x1D529",[Text
"lfr"])
  , (Text
"\x1D52A",[Text
"mfr"])
  , (Text
"\x1D52B",[Text
"nfr"])
  , (Text
"\x1D52C",[Text
"ofr"])
  , (Text
"\x1D52D",[Text
"pfr"])
  , (Text
"\x1D52E",[Text
"qfr"])
  , (Text
"\x1D52F",[Text
"rfr"])
  , (Text
"\x1D530",[Text
"sfr"])
  , (Text
"\x1D531",[Text
"tfr"])
  , (Text
"\x1D532",[Text
"ufr"])
  , (Text
"\x1D533",[Text
"vfr"])
  , (Text
"\x1D534",[Text
"wfr"])
  ]


{-# NOINLINE ent2names35 #-}
ent2names35 :: [(Text,[Text])]
ent2names35 :: [(Text, [Text])]
ent2names35 =
  [ (Text
"\x1D535",[Text
"xfr"])
  , (Text
"\x1D536",[Text
"yfr"])
  , (Text
"\x1D537",[Text
"zfr"])
  , (Text
"\x1D538",[Text
"Aopf"])
  , (Text
"\x1D539",[Text
"Bopf"])
  , (Text
"\x1D53B",[Text
"Dopf"])
  , (Text
"\x1D53C",[Text
"Eopf"])
  , (Text
"\x1D53D",[Text
"Fopf"])
  , (Text
"\x1D53E",[Text
"Gopf"])
  , (Text
"\x1D540",[Text
"Iopf"])
  , (Text
"\x1D541",[Text
"Jopf"])
  , (Text
"\x1D542",[Text
"Kopf"])
  , (Text
"\x1D543",[Text
"Lopf"])
  , (Text
"\x1D544",[Text
"Mopf"])
  , (Text
"\x1D546",[Text
"Oopf"])
  , (Text
"\x1D54A",[Text
"Sopf"])
  , (Text
"\x1D54B",[Text
"Topf"])
  , (Text
"\x1D54C",[Text
"Uopf"])
  , (Text
"\x1D54D",[Text
"Vopf"])
  , (Text
"\x1D54E",[Text
"Wopf"])
  , (Text
"\x1D54F",[Text
"Xopf"])
  , (Text
"\x1D550",[Text
"Yopf"])
  , (Text
"\x1D552",[Text
"aopf"])
  , (Text
"\x1D553",[Text
"bopf"])
  , (Text
"\x1D554",[Text
"copf"])
  , (Text
"\x1D555",[Text
"dopf"])
  , (Text
"\x1D556",[Text
"eopf"])
  , (Text
"\x1D557",[Text
"fopf"])
  , (Text
"\x1D558",[Text
"gopf"])
  , (Text
"\x1D559",[Text
"hopf"])
  , (Text
"\x1D55A",[Text
"iopf"])
  , (Text
"\x1D55B",[Text
"jopf"])
  , (Text
"\x1D55C",[Text
"kopf"])
  , (Text
"\x1D55D",[Text
"lopf"])
  , (Text
"\x1D55E",[Text
"mopf"])
  , (Text
"\x1D55F",[Text
"nopf"])
  , (Text
"\x1D560",[Text
"oopf"])
  , (Text
"\x1D561",[Text
"popf"])
  , (Text
"\x1D562",[Text
"qopf"])
  , (Text
"\x1D563",[Text
"ropf"])
  ]


{-# NOINLINE ent2names36 #-}
ent2names36 :: [(Text,[Text])]
ent2names36 :: [(Text, [Text])]
ent2names36 =
  [ (Text
"\x1D564",[Text
"sopf"])
  , (Text
"\x1D565",[Text
"topf"])
  , (Text
"\x1D566",[Text
"uopf"])
  , (Text
"\x1D567",[Text
"vopf"])
  , (Text
"\x1D568",[Text
"wopf"])
  , (Text
"\x1D569",[Text
"xopf"])
  , (Text
"\x1D56A",[Text
"yopf"])
  , (Text
"\x1D56B",[Text
"zopf"])
  ]


{-# NOINLINE ent2names37 #-}
ent2names37 :: [(Text,[Text])]
ent2names37 :: [(Text, [Text])]
ent2names37 =
  [ (Text
"\8770\824",[Text
"NotEqualTilde"])
  , (Text
"\8807\824",[Text
"NotGreaterFullEqual"])
  , (Text
"\8811\824",[Text
"NotGreaterGreater"])
  , (Text
"\10878\824",[Text
"NotGreaterSlantEqual"])
  , (Text
"\8782\824",[Text
"NotHumpDownHump"])
  , (Text
"\8783\824",[Text
"NotHumpEqual"])
  , (Text
"\10703\824",[Text
"NotLeftTriangleBar"])
  , (Text
"\8810\824",[Text
"NotLessLess"])
  , (Text
"\10877\824",[Text
"NotLessSlantEqual"])
  , (Text
"\10914\824",[Text
"NotNestedGreaterGreater"])
  , (Text
"\10913\824",[Text
"NotNestedLessLess"])
  , (Text
"\10927\824",[Text
"NotPrecedesEqual"])
  , (Text
"\10704\824",[Text
"NotRightTriangleBar"])
  , (Text
"\8847\824",[Text
"NotSquareSubset"])
  , (Text
"\8848\824",[Text
"NotSquareSuperset"])
  , (Text
"\8834\8402",[Text
"NotSubset"])
  , (Text
"\10928\824",[Text
"NotSucceedsEqual"])
  , (Text
"\8831\824",[Text
"NotSucceedsTilde"])
  , (Text
"\8835\8402",[Text
"NotSuperset"])
  , (Text
"\8287\8202",[Text
"ThickSpace"])
  , (Text
"\8766\819",[Text
"acE"])
  , (Text
"=\8421",[Text
"bne"])
  , (Text
"\8801\8421",[Text
"bnequiv"])
  , (Text
"\10184",[Text
"bsolhsub"])
  , (Text
"\8745\65024",[Text
"caps"])
  , (Text
"\8746\65024",[Text
"cups"])
  , (Text
"fj",[Text
"fjlig"])
  , (Text
"\8923\65024",[Text
"gesl"])
  , (Text
"\8809\65024",[Text
"gvertneqq"])
  , (Text
"\8809\65024",[Text
"gvnE"])
  , (Text
"\10925\65024",[Text
"lates"])
  , (Text
"\8922\65024",[Text
"lesg"])
  , (Text
"\8808\65024",[Text
"lvertneqq"])
  , (Text
"\8808\65024",[Text
"lvnE"])
  , (Text
"\8921\824",[Text
"nGg"])
  , (Text
"\8811\8402",[Text
"nGt"])
  , (Text
"\8811\824",[Text
"nGtv"])
  , (Text
"\8920\824",[Text
"nLl"])
  , (Text
"\8810\8402",[Text
"nLt"])
  , (Text
"\8810\824",[Text
"nLtv"])
  , (Text
"\8736\8402",[Text
"nang"])
  , (Text
"\10864\824",[Text
"napE"])
  , (Text
"\8779\824",[Text
"napid"])
  , (Text
"\8782\824",[Text
"nbump"])
  , (Text
"\8783\824",[Text
"nbumpe"])
  , (Text
"\10861\824",[Text
"ncongdot"])
  , (Text
"\8784\824",[Text
"nedot"])
  , (Text
"\8770\824",[Text
"nesim"])
  , (Text
"\8807\824",[Text
"ngE"])
  , (Text
"\8807\824",[Text
"ngeqq"])
  , (Text
"\10878\824",[Text
"ngeqslant"])
  , (Text
"\10878\824",[Text
"nges"])
  , (Text
"\8806\824",[Text
"nlE"])
  , (Text
"\8806\824",[Text
"nleqq"])
  , (Text
"\10877\824",[Text
"nleqslant"])
  , (Text
"\10877\824",[Text
"nles"])
  , (Text
"\8953\824",[Text
"notinE"])
  , (Text
"\8949\824",[Text
"notindot"])
  , (Text
"\11005\8421",[Text
"nparsl"])
  , (Text
"\8706\824",[Text
"npart"])
  , (Text
"\10927\824",[Text
"npre"])
  , (Text
"\10927\824",[Text
"npreceq"])
  , (Text
"\10547\824",[Text
"nrarrc"])
  , (Text
"\8605\824",[Text
"nrarrw"])
  , (Text
"\10928\824",[Text
"nsce"])
  , (Text
"\10949\824",[Text
"nsubE"])
  , (Text
"\8834\8402",[Text
"nsubset"])
  , (Text
"\10949\824",[Text
"nsubseteqq"])
  , (Text
"\10928\824",[Text
"nsucceq"])
  , (Text
"\10950\824",[Text
"nsupE"])
  , (Text
"\8835\8402",[Text
"nsupset"])
  , (Text
"\10950\824",[Text
"nsupseteqq"])
  , (Text
"\8781\8402",[Text
"nvap"])
  , (Text
"\8805\8402",[Text
"nvge"])
  , (Text
">\8402",[Text
"nvgt"])
  , (Text
"\8804\8402",[Text
"nvle"])
  , (Text
"<\8402",[Text
"nvlt"])
  , (Text
"\8884\8402",[Text
"nvltrie"])
  , (Text
"\8885\8402",[Text
"nvrtrie"])
  , (Text
"\8764\8402",[Text
"nvsim"])
  , (Text
"\10924\65024",[Text
"smtes"])
  , (Text
"\8851\65024",[Text
"sqcaps"])
  , (Text
"\8852\65024",[Text
"sqcups"])
  , (Text
"\10185",[Text
"suphsol"])
  , (Text
"\8842\65024",[Text
"varsubsetneq"])
  , (Text
"\10955\65024",[Text
"varsubsetneqq"])
  , (Text
"\8843\65024",[Text
"varsupsetneq"])
  , (Text
"\10956\65024",[Text
"varsupsetneqq"])
  , (Text
"\8834\8402",[Text
"vnsub"])
  , (Text
"\8835\8402",[Text
"vnsup"])
  , (Text
"\10955\65024",[Text
"vsubnE"])
  , (Text
"\8842\65024",[Text
"vsubne"])
  , (Text
"\10956\65024",[Text
"vsupnE"])
  , (Text
"\8843\65024",[Text
"vsupne"])
  ]

{-
Discrepancies


old ("UnderBar","_")
new ("UnderBar","\818")

old ("angst","\197")
new ("angst","\8491")

old ("epsi","\949")
new ("epsi","\1013")

old ("epsiv","\1013")
new ("epsiv","\949")

old ("ohm","\937")
new ("ohm","\8486")

old ("phiv","\981")
new ("phiv","\966")

old ("race","\8765\817")
new ("race","\10714")

old ("varepsilon","\1013")
new ("varepsilon","\949")

old ("varphi","\981")
new ("varphi","\966")

old ("OverBar","\8254")
new ("OverBar","\175")
-}