/*****************************************************************************/
/*
                                  HTML.c

Processing associated with reading and composing HTML-format messages.


COPYRIGHT
---------
Copyright (C) 2005-2025 Mark G.Daniel
This program, comes with ABSOLUTELY NO WARRANTY.
This is free software, and you are welcome to redistribute it under the
conditions of the GNU GENERAL PUBLIC LICENSE, version 3, or any later version.


VERSION HISTORY
---------------
01-JUL-2025  MGD  HtmlDeEntify() allow for UTF-8 charset
25-FEB-2010  MGD  HtmlToPlain() supply charset for UTF-8 deentify
                  HtmlCharacterDeEntify() allow for UTF-8 charset
04-JUL-2006  MGD  bugfix; HtmlSkipTagTo() quotes outside of tags
20-JUN-2006  MGD  HtmlInDisguise() is it really not plain but HTML text?
14-MAR-2006  MGD  refine HtmlNumericDeEntify() and HtmlCharacterDeEntify()
13-MAR-2006  MGD  HtmlSanitise() suppress "background-image"
01-FEB-2005  MGD  initial
*/

/*****************************************************************************/

#ifdef SOYMAIL_VMS_V7
#undef _VMS_V6_SOURCE
#define _VMS_V6_SOURCE
#undef __VMS_VER
#define __VMS_VER 70000000
#undef __CRTL_VER
#define __CRTL_VER 70000000
#endif

#pragma nomember_alignment

/* standard C header files */
#include <ctype.h>
#include <errno.h>
#include <stat.h>
#include <stdarg.h>
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <types.h>

/* VMS related header files */
#include <descrip.h>
#include <ssdef.h>
#include <stsdef.h>

/* application header file */
#include "soymail.h"
#include "cgilib.h"
#include "config.h"
#include "html.h"
#include "message.h"

#define FI_LI "HTML", __LINE__

/******************/
/* global storage */
/******************/

/********************/
/* external storage */
/********************/

extern BOOL  Debug,
             WatchEnabled;

extern CONFIG_DATA  SoyMailConfig;

/*****************************************************************************/
/*
Reduce HTML markup down to a semblance of plain-text.  Relies on the underlying
HTML to provide white-space, indenting, etc.  Essentially just strips the
markup out and adds carriage-control as necessary.  Will format ordered and
unordered lists.
*/

int HtmlToPlain
(
char *HtmlPtr,
char *CharSetPtr
)
{
#define MAX_LIST_DEPTH 16

   int  ListIndex;
   int  ListType [MAX_LIST_DEPTH+1];
   char  *cptr, *sptr, *tptr;

   /*********/
   /* begin */
   /*********/

   if (WatchEnabled) WatchThis (FI_LI, "HtmlToPlain()");

   /* ensure all potentially 'interesting' entities are revealed */
   HtmlDeEntify (HtmlPtr, CharSetPtr);

   ListIndex = 0;
   memset (&ListType, 0, sizeof(ListType));

   cptr = sptr = HtmlPtr;
   while (*cptr)
   {
      while (*cptr && *cptr != '<') *sptr++ = *cptr++;
      if (!*cptr) break;

      if (!memcmp (cptr, "<!--", 4))
      {
         /* absorb all comments */
         cptr += HtmlSkipTagTo (cptr, "-->");
         continue;
      }
      if (HtmlThisTag (cptr, "SCRIPT"))
      {
         cptr += HtmlSkipTagTo (cptr, "</script>");
         continue;
      }
      if (HtmlThisTag (cptr, "STYLE"))
      {
         cptr += HtmlSkipTagTo (cptr, "</style>");
         continue;
      }
      if (HtmlThisTag (cptr, "IMG"))
      {
         cptr += HtmlSkipTagTo (cptr, ">");
         continue;
      }

      if (HtmlThisTag (cptr, "P"))
         *sptr++ = '\n';
      else
      if (HtmlThisTag (cptr, "B"))
         *sptr++ = '*';
      else
      if (HtmlThisTag (cptr, "U"))
         *sptr++ = '_';
      else
      if (HtmlThisTag (cptr, "I"))
         *sptr++ = '/';
      else
      if (HtmlThisEndTag (cptr, "LI"))
         *sptr = '\0';
      else
      if (HtmlThisTag (cptr, "LI"))
      {
         if (ListType[ListIndex] < 0)
         {
            *sptr++ = ' ';
            *sptr++ = '*';
            *sptr++ = ' ';
            *sptr++ = ' ';
         }
         else
         {
            *sptr++ = ' ';
            *sptr++ = ListType[ListIndex];
            *sptr++ = '.';
            *sptr++ = ' ';
            if (ListType[ListIndex] < 'z') ListType[ListIndex]++;
            if (ListType[ListIndex] == '9' + 1) ListType[ListIndex] = 'a';
         }
      }
      else
      if (HtmlThisEndTag (cptr, "UL"))
      {
         if (ListIndex > 1) ListIndex--;
      }
      else
      if (HtmlThisTag (cptr, "UL"))
      {
         if (ListIndex < MAX_LIST_DEPTH) ListIndex++;
         ListType[ListIndex] = -1;
      }
      else
      if (HtmlThisEndTag (cptr, "OL"))
      {
         if (ListIndex > 1) ListIndex--;
      }
      else
      if (HtmlThisTag (cptr, "OL"))
      {
         if (ListIndex < MAX_LIST_DEPTH) ListIndex++;
         ListType[ListIndex] = '1';
      }

      cptr += HtmlSkipTagTo (cptr, ">");
   }
   *sptr = '\0';

   HtmlDeEntify (HtmlPtr, CharSetPtr);

   return (MessageCollapseLineBreaks (HtmlPtr, 2));
}

/*****************************************************************************/
/*
Remove all HTML tags except those (probably) harmless tags permitted in the
tests.  Ensure only known anchor HREFs schemes are permitted.  In particular
try to disable all scripting capabilities.  Bit rude and crude and with lots of
assumptions!  Done in situ because resultant text will always be smaller or the
same size.  Return number of characters remaining.

CAUTION!!  Sanitising anything is like skating on thin ice!
*/

int HtmlSanitise
(
char *HtmlPtr,
char *CharSetPtr
)
{
   char  *cptr, *sptr, *tptr;

   /*********/
   /* begin */
   /*********/

   if (WatchEnabled) WatchThis (FI_LI, "HtmlSanitise()");

   /* ensure all potentially 'interesting' entities are revealed */
   HtmlDeEntify (HtmlPtr, CharSetPtr);

   /* sanitise */
   cptr = sptr = HtmlPtr;
   while (*cptr)
   {
      while (*cptr && *cptr != '<') *sptr++ = *cptr++;
      if (!*cptr) break;

      if (!memcmp (cptr, "<!--", 4))
      {
         /* absorb all comments */
         cptr += HtmlSkipTagTo (cptr, "-->");
         continue;
      }

      if (HtmlThisTag (cptr, "TITLE"))
      {
         /* absorb the title */
         cptr += HtmlSkipTagTo (cptr, "</title>");
         continue;
      }

      if (HtmlThisTag (cptr, "SCRIPT"))
      {
         /**********/
         /* script */
         /**********/

         /* absorb and add the following warning to the displayed page */
         static char  ScriptHere [] = "<b>&lt;SCRIPT&gt;</b>";
         cptr += HtmlSkipTagTo (tptr = cptr, "</script>");
         if (cptr - tptr >= sizeof(ScriptHere))
            for (tptr = ScriptHere; *tptr; *sptr++ = *tptr++);
         continue;
      }

      if (HtmlThisTag (cptr, "IMG"))
      {
         /*********/
         /* image */
         /*********/

         /* absorb and add the following informational to the displayed page */
         static char  ImgHere [] = "<b>&lt;IMG&gt;</b>";
         cptr += HtmlSkipTagTo (tptr = cptr, ">");
         if (cptr - tptr >= sizeof(ImgHere))
            for (tptr = ImgHere; *tptr; *sptr++ = *tptr++);
         continue;
      }

      if (HtmlThisTag (cptr, "STYLE"))
      {
         /*********/
         /* style */
         /*********/

         /* lose all attributes other than what's specifically allowed */
         while (*cptr && *cptr != '>' && !isspace(*cptr)) *sptr++ = *cptr++;

         while (*cptr)
         {
            while (isspace (*cptr)) cptr++;
            if (!*cptr || *cptr == '>') break;

            if (strsame (cptr, "type=", 5)) 
            {
               *sptr++ = ' ';
               cptr += HtmlSpanAttrib (tptr = cptr);
               while (tptr < cptr) *sptr++ = *tptr++;
               continue;
            }

            /* absorb the attribute */
            cptr += HtmlSpanAttrib (cptr);
         }

         /* now, include any intervening embedded style */
         cptr += HtmlSkipTagTo (tptr = cptr, "</style>");
         while (tptr < cptr)
         {
            /* do not allow any importing of style sheets! */
            if (*tptr == '@' && strsame (tptr, "@import", 7))
            {
               memcpy (sptr, "_imp0rt", 7);
               sptr += 7;
               tptr += 7;
            }
            else
            if (tolower(*tptr) == 'b' &&
                strsame (tptr, "background-image", 16))
            {
               memcpy (sptr, "backgr0und_image", 16);
               sptr += 16;
               tptr += 16;
            }
            else
               *sptr++ = *tptr++;
         }
         continue;
      }

      if (HtmlThisTag (cptr, "A"))
      {
         /**********/
         /* anchor */
         /**********/

         /* lose all attributes other than what's specifically allowed */
         while (*cptr && *cptr != '>' && !isspace(*cptr)) *sptr++ = *cptr++;

         while (*cptr)
         {
            while (isspace (*cptr)) cptr++;
            if (!*cptr || *cptr == '>') break;

            /* lose everything but a known HREF */
            if (strsame (cptr, "href=", 5))
            {
               /* only allow this subset of known schemes to be specified */
               if (strsame (cptr+6, "http://", 7) ||
                   strsame (cptr+6, "https://", 8) ||
                   strsame (cptr+6, "ftp://", 6) ||
                   strsame (cptr+6, "mailto:", 7))
               {
                  *sptr++ = ' ';
                  cptr += HtmlSpanAttrib (tptr = cptr);
                  while (tptr < cptr) *sptr++ = *tptr++;
               }
               else
                  cptr += HtmlSpanAttrib (cptr);
               continue;
            }

            /* absorb the attribute */
            cptr += HtmlSpanAttrib (cptr);
         }

         continue;
      }

      if (HtmlThisTag (cptr, "B") ||
          HtmlThisTag (cptr, "BLOCKQUOTE") ||
          HtmlThisTag (cptr, "BODY") ||
          HtmlThisTag (cptr, "BR") ||
          HtmlThisTag (cptr, "EM") ||
          HtmlThisTag (cptr, "HR") ||
          HtmlThisTag (cptr, "I") ||
          HtmlThisTag (cptr, "LI") ||
          HtmlThisTag (cptr, "NOSCRIPT") ||
          HtmlThisTag (cptr, "OL") ||
          HtmlThisTag (cptr, "P") ||
          HtmlThisTag (cptr, "PRE") ||
          HtmlThisTag (cptr, "SPAN") ||
          HtmlThisTag (cptr, "STRONG") ||
          HtmlThisTag (cptr, "TABLE") ||
          HtmlThisTag (cptr, "TD") ||
          HtmlThisTag (cptr, "TH") ||
          HtmlThisTag (cptr, "TR") ||
          HtmlThisTag (cptr, "U") ||
          HtmlThisTag (cptr, "UL"))
      {
         /***********/
         /* allowed */
         /***********/

         /* lose all attributes other than what's specifically allowed */
         while (*cptr && *cptr != '>' && !isspace(*cptr)) *sptr++ = *cptr++;

         while (*cptr)
         {
            while (isspace (*cptr)) cptr++;
            if (!*cptr || *cptr == '>') break;

            /* of course not all of these apply to every tag! */
            if (strsame (cptr, "align=", 6) || 
                strsame (cptr, "Alink=", 6) || 
                strsame (cptr, "BGCOLOR=", 8) || 
                strsame (cptr, "border=", 7) || 
                strsame (cptr, "cellspacing=", 12) || 
                strsame (cptr, "cellpadding=", 12) || 
                strsame (cptr, "class=", 6) || 
                strsame (cptr, "colspan=", 8) || 
                strsame (cptr, "HEIGHT=", 7) || 
                strsame (cptr, "id=", 3) || 
                strsame (cptr, "link=", 5) || 
                strsame (cptr, "name=", 5) || 
                strsame (cptr, "nowrap", 6) || 
                strsame (cptr, "RULES=", 6) || 
                strsame (cptr, "rowspan=", 8) || 
                strsame (cptr, "style=", 6) || 
                strsame (cptr, "TEXT=", 5) || 
                strsame (cptr, "valign=", 7) || 
                strsame (cptr, "Vlink=", 6) || 
                strsame (cptr, "width=", 6)) 
            {
               *sptr++ = ' ';
               cptr += HtmlSpanAttrib (tptr = cptr);
               while (tptr < cptr) *sptr++ = *tptr++;
               continue;
            }

            /* absorb the attribute */
            cptr += HtmlSpanAttrib (cptr);
         }

         continue;
      }

      /**************/
      /* disallowed */
      /**************/

      cptr += HtmlSkipTagTo (cptr, ">");
   }
   *sptr = '\0';

   return (MessageCollapseLineBreaks (HtmlPtr, 1));
}

/*****************************************************************************/
/*
Return true if the next characters in the string represent the specified tag.
*/

int HtmlThisTag
(
char *sptr,
char *tagptr
)
{
   /*********/
   /* begin */
   /*********/

   /* if oops */
   if (*sptr++ != '<') return (FALSE);
   /* if end of tag */
   if (*sptr == '/') sptr++;
   while (*sptr && *tagptr)
      if (toupper (*sptr++) != toupper (*tagptr++)) return (FALSE);
   if (*tagptr || (*sptr != '>' && !isspace(*sptr))) return (FALSE);
   return (TRUE);
}

/*****************************************************************************/
/*
Return true if the next characters in the string represent the specified
end-of-tag.
*/

int HtmlThisEndTag
(
char *sptr,
char *tagptr
)
{
   /*********/
   /* begin */
   /*********/

   /* if oops */
   if (*sptr++ != '<') return (FALSE);
   /* if not end of tag */
   if (*sptr != '/') return (FALSE);
   sptr++;
   while (*sptr && *tagptr)
      if (toupper (*sptr++) != toupper (*tagptr++)) return (FALSE);
   if (*tagptr || (*sptr != '>' && !isspace(*sptr))) return (FALSE);
   return (TRUE);
}

/*****************************************************************************/
/*
Find the specified tag (to close a tag with intervening text) taking into
account quoting.  Return the number of characters consumed.
*/

int HtmlSkipTagTo
(
char *HtmlPtr,
char *CloseTag
)
{
   BOOL  InsideTag;
   int  taglen;
   char  *cptr;

   /*********/
   /* begin */
   /*********/

   if (WatchEnabled) WatchThis (FI_LI, "HtmlSkipTagTo() !AZ", CloseTag);

   InsideTag = FALSE;
   cptr = HtmlPtr;
   taglen = strlen(CloseTag);
   while (*cptr)
   {
      while (*cptr && *cptr != *CloseTag &&
             *cptr != '<' && *cptr != '>' &&
             *cptr != '\"' && *cptr != '\'') cptr++;
      if (*cptr == '\"')
      {
         cptr++;
         if (!InsideTag) continue;
         while (*cptr && *cptr != '\"') cptr++;
         if (*cptr) cptr++;
         continue;
      }
      if (*cptr == '\'')
      {
         cptr++;
         if (!InsideTag) continue;
         while (*cptr && *cptr != '\'') cptr++;
         if (*cptr) cptr++;
         continue;
      }
      if (*cptr == '<')
         InsideTag = TRUE;
      else
      if (*cptr == '>')
      {
         if (taglen == 1)
         {
            cptr += taglen;
            break;
         }
         InsideTag = FALSE;
      }
      if (taglen > 1 && strsame (cptr, CloseTag, taglen))
      {
         cptr += taglen;
         break;
      }
      cptr++;
   }
   return (cptr-HtmlPtr);
}

/*****************************************************************************/
/*
*/

int HtmlSpanAttrib (char *HtmlPtr)

{
   char  *cptr;

   /*********/
   /* begin */
   /*********/

   if (WatchEnabled) WatchThis (FI_LI, "HtmlSpanAttrib()");

   cptr = HtmlPtr;
   while (*cptr)
   {
      while (*cptr && !isspace(*cptr) && *cptr != '>' &&
             *cptr != '\"' && *cptr != '\'') cptr++;
      if (*cptr == '\"')
      {
         cptr++;
         while (*cptr && *cptr != '\"') cptr++;
         if (*cptr) cptr++;
         continue;
      }
      if (*cptr == '\'')
      {
         cptr++;
         while (*cptr && *cptr != '\'') cptr++;
         if (*cptr) cptr++;
         continue;
      }
      break;
   }
   return (cptr-HtmlPtr);
}

/*****************************************************************************/
/*
Convert numeric HTML entities in a string into their character equivalents
(e.g. "&#38" to '&', "&#00; to 0x00, etc.)  Also converts common alphabetic
entities (e.g. "&amp;", &nbsp;", &lt;", etc.) but not all (any that are not
recognised are left untouched).  Does not URL-decode!   Resultant string is
always the same size or smaller so it can be done in-situ!  Returns the size of
the resultant string.  Copied from CgiLibHtmlDeEntify() and modified so that
control characters (<=0x1f) are just absorbed.  Optional, elementary UTF-8
encoding.
*/

int HtmlDeEntify
(
char *HtmlPtr,
char *CharsetPtr
)
{

// adapted from: https://html.spec.whatwg.org/entities.json

struct HtmlEntityStruct
{
   char  *ent;
   int  len,
        val;
} HtmlEntity [] =
{
//  { "&AElig", sizeof("&AElig")-1, 198 },
  { "&AElig;", sizeof("&AElig;")-1, 198 },
//  { "&AMP", sizeof("&AMP")-1, 38 },
  { "&AMP;", sizeof("&AMP;")-1, 38 },
//  { "&Aacute", sizeof("&Aacute")-1, 193 },
  { "&Aacute;", sizeof("&Aacute;")-1, 193 },
  { "&Abreve;", sizeof("&Abreve;")-1, 258 },
//  { "&Acirc", sizeof("&Acirc")-1, 194 },
  { "&Acirc;", sizeof("&Acirc;")-1, 194 },
  { "&Acy;", sizeof("&Acy;")-1, 1040 },
  { "&Afr;", sizeof("&Afr;")-1, 120068 },
//  { "&Agrave", sizeof("&Agrave")-1, 192 },
  { "&Agrave;", sizeof("&Agrave;")-1, 192 },
  { "&Alpha;", sizeof("&Alpha;")-1, 913 },
  { "&Amacr;", sizeof("&Amacr;")-1, 256 },
  { "&And;", sizeof("&And;")-1, 10835 },
  { "&Aogon;", sizeof("&Aogon;")-1, 260 },
  { "&Aopf;", sizeof("&Aopf;")-1, 120120 },
  { "&ApplyFunction;", sizeof("&ApplyFunction;")-1, 8289 },
//  { "&Aring", sizeof("&Aring")-1, 197 },
  { "&Aring;", sizeof("&Aring;")-1, 197 },
  { "&Ascr;", sizeof("&Ascr;")-1, 119964 },
  { "&Assign;", sizeof("&Assign;")-1, 8788 },
//  { "&Atilde", sizeof("&Atilde")-1, 195 },
  { "&Atilde;", sizeof("&Atilde;")-1, 195 },
//  { "&Auml", sizeof("&Auml")-1, 196 },
  { "&Auml;", sizeof("&Auml;")-1, 196 },
  { "&Backslash;", sizeof("&Backslash;")-1, 8726 },
  { "&Barv;", sizeof("&Barv;")-1, 10983 },
  { "&Barwed;", sizeof("&Barwed;")-1, 8966 },
  { "&Bcy;", sizeof("&Bcy;")-1, 1041 },
  { "&Because;", sizeof("&Because;")-1, 8757 },
  { "&Bernoullis;", sizeof("&Bernoullis;")-1, 8492 },
  { "&Beta;", sizeof("&Beta;")-1, 914 },
  { "&Bfr;", sizeof("&Bfr;")-1, 120069 },
  { "&Bopf;", sizeof("&Bopf;")-1, 120121 },
  { "&Breve;", sizeof("&Breve;")-1, 728 },
  { "&Bscr;", sizeof("&Bscr;")-1, 8492 },
  { "&Bumpeq;", sizeof("&Bumpeq;")-1, 8782 },
  { "&CHcy;", sizeof("&CHcy;")-1, 1063 },
//  { "&COPY", sizeof("&COPY")-1, 169 },
  { "&COPY;", sizeof("&COPY;")-1, 169 },
  { "&Cacute;", sizeof("&Cacute;")-1, 262 },
  { "&Cap;", sizeof("&Cap;")-1, 8914 },
  { "&CapitalDifferentialD;", sizeof("&CapitalDifferentialD;")-1, 8517 },
  { "&Cayleys;", sizeof("&Cayleys;")-1, 8493 },
  { "&Ccaron;", sizeof("&Ccaron;")-1, 268 },
//  { "&Ccedil", sizeof("&Ccedil")-1, 199 },
  { "&Ccedil;", sizeof("&Ccedil;")-1, 199 },
  { "&Ccirc;", sizeof("&Ccirc;")-1, 264 },
  { "&Cconint;", sizeof("&Cconint;")-1, 8752 },
  { "&Cdot;", sizeof("&Cdot;")-1, 266 },
  { "&Cedilla;", sizeof("&Cedilla;")-1, 184 },
  { "&CenterDot;", sizeof("&CenterDot;")-1, 183 },
  { "&Cfr;", sizeof("&Cfr;")-1, 8493 },
  { "&Chi;", sizeof("&Chi;")-1, 935 },
  { "&CircleDot;", sizeof("&CircleDot;")-1, 8857 },
  { "&CircleMinus;", sizeof("&CircleMinus;")-1, 8854 },
  { "&CirclePlus;", sizeof("&CirclePlus;")-1, 8853 },
  { "&CircleTimes;", sizeof("&CircleTimes;")-1, 8855 },
  { "&ClockwiseContourIntegral;", sizeof("&ClockwiseContourIntegral;")-1, 8754 },
  { "&CloseCurlyDoubleQuote;", sizeof("&CloseCurlyDoubleQuote;")-1, 8221 },
  { "&CloseCurlyQuote;", sizeof("&CloseCurlyQuote;")-1, 8217 },
  { "&Colon;", sizeof("&Colon;")-1, 8759 },
  { "&Colone;", sizeof("&Colone;")-1, 10868 },
  { "&Congruent;", sizeof("&Congruent;")-1, 8801 },
  { "&Conint;", sizeof("&Conint;")-1, 8751 },
  { "&ContourIntegral;", sizeof("&ContourIntegral;")-1, 8750 },
  { "&Copf;", sizeof("&Copf;")-1, 8450 },
  { "&Coproduct;", sizeof("&Coproduct;")-1, 8720 },
  { "&CounterClockwiseContourIntegral;", sizeof("&CounterClockwiseContourIntegral;")-1, 8755 },
  { "&Cross;", sizeof("&Cross;")-1, 10799 },
  { "&Cscr;", sizeof("&Cscr;")-1, 119966 },
  { "&Cup;", sizeof("&Cup;")-1, 8915 },
  { "&CupCap;", sizeof("&CupCap;")-1, 8781 },
  { "&DD;", sizeof("&DD;")-1, 8517 },
  { "&DDotrahd;", sizeof("&DDotrahd;")-1, 10513 },
  { "&DJcy;", sizeof("&DJcy;")-1, 1026 },
  { "&DScy;", sizeof("&DScy;")-1, 1029 },
  { "&DZcy;", sizeof("&DZcy;")-1, 1039 },
  { "&Dagger;", sizeof("&Dagger;")-1, 8225 },
  { "&Darr;", sizeof("&Darr;")-1, 8609 },
  { "&Dashv;", sizeof("&Dashv;")-1, 10980 },
  { "&Dcaron;", sizeof("&Dcaron;")-1, 270 },
  { "&Dcy;", sizeof("&Dcy;")-1, 1044 },
  { "&Del;", sizeof("&Del;")-1, 8711 },
  { "&Delta;", sizeof("&Delta;")-1, 916 },
  { "&Dfr;", sizeof("&Dfr;")-1, 120071 },
  { "&DiacriticalAcute;", sizeof("&DiacriticalAcute;")-1, 180 },
  { "&DiacriticalDot;", sizeof("&DiacriticalDot;")-1, 729 },
  { "&DiacriticalDoubleAcute;", sizeof("&DiacriticalDoubleAcute;")-1, 733 },
  { "&DiacriticalGrave;", sizeof("&DiacriticalGrave;")-1, 96 },
  { "&DiacriticalTilde;", sizeof("&DiacriticalTilde;")-1, 732 },
  { "&Diamond;", sizeof("&Diamond;")-1, 8900 },
  { "&DifferentialD;", sizeof("&DifferentialD;")-1, 8518 },
  { "&Dopf;", sizeof("&Dopf;")-1, 120123 },
  { "&Dot;", sizeof("&Dot;")-1, 168 },
  { "&DotDot;", sizeof("&DotDot;")-1, 8412 },
  { "&DotEqual;", sizeof("&DotEqual;")-1, 8784 },
  { "&DoubleContourIntegral;", sizeof("&DoubleContourIntegral;")-1, 8751 },
  { "&DoubleDot;", sizeof("&DoubleDot;")-1, 168 },
  { "&DoubleDownArrow;", sizeof("&DoubleDownArrow;")-1, 8659 },
  { "&DoubleLeftArrow;", sizeof("&DoubleLeftArrow;")-1, 8656 },
  { "&DoubleLeftRightArrow;", sizeof("&DoubleLeftRightArrow;")-1, 8660 },
  { "&DoubleLeftTee;", sizeof("&DoubleLeftTee;")-1, 10980 },
  { "&DoubleLongLeftArrow;", sizeof("&DoubleLongLeftArrow;")-1, 10232 },
  { "&DoubleLongLeftRightArrow;", sizeof("&DoubleLongLeftRightArrow;")-1, 10234 },
  { "&DoubleLongRightArrow;", sizeof("&DoubleLongRightArrow;")-1, 10233 },
  { "&DoubleRightArrow;", sizeof("&DoubleRightArrow;")-1, 8658 },
  { "&DoubleRightTee;", sizeof("&DoubleRightTee;")-1, 8872 },
  { "&DoubleUpArrow;", sizeof("&DoubleUpArrow;")-1, 8657 },
  { "&DoubleUpDownArrow;", sizeof("&DoubleUpDownArrow;")-1, 8661 },
  { "&DoubleVerticalBar;", sizeof("&DoubleVerticalBar;")-1, 8741 },
  { "&DownArrow;", sizeof("&DownArrow;")-1, 8595 },
  { "&DownArrowBar;", sizeof("&DownArrowBar;")-1, 10515 },
  { "&DownArrowUpArrow;", sizeof("&DownArrowUpArrow;")-1, 8693 },
  { "&DownBreve;", sizeof("&DownBreve;")-1, 785 },
  { "&DownLeftRightVector;", sizeof("&DownLeftRightVector;")-1, 10576 },
  { "&DownLeftTeeVector;", sizeof("&DownLeftTeeVector;")-1, 10590 },
  { "&DownLeftVector;", sizeof("&DownLeftVector;")-1, 8637 },
  { "&DownLeftVectorBar;", sizeof("&DownLeftVectorBar;")-1, 10582 },
  { "&DownRightTeeVector;", sizeof("&DownRightTeeVector;")-1, 10591 },
  { "&DownRightVector;", sizeof("&DownRightVector;")-1, 8641 },
  { "&DownRightVectorBar;", sizeof("&DownRightVectorBar;")-1, 10583 },
  { "&DownTee;", sizeof("&DownTee;")-1, 8868 },
  { "&DownTeeArrow;", sizeof("&DownTeeArrow;")-1, 8615 },
  { "&Downarrow;", sizeof("&Downarrow;")-1, 8659 },
  { "&Dscr;", sizeof("&Dscr;")-1, 119967 },
  { "&Dstrok;", sizeof("&Dstrok;")-1, 272 },
  { "&ENG;", sizeof("&ENG;")-1, 330 },
//  { "&ETH", sizeof("&ETH")-1, 208 },
  { "&ETH;", sizeof("&ETH;")-1, 208 },
//  { "&Eacute", sizeof("&Eacute")-1, 201 },
  { "&Eacute;", sizeof("&Eacute;")-1, 201 },
  { "&Ecaron;", sizeof("&Ecaron;")-1, 282 },
//  { "&Ecirc", sizeof("&Ecirc")-1, 202 },
  { "&Ecirc;", sizeof("&Ecirc;")-1, 202 },
  { "&Ecy;", sizeof("&Ecy;")-1, 1069 },
  { "&Edot;", sizeof("&Edot;")-1, 278 },
  { "&Efr;", sizeof("&Efr;")-1, 120072 },
//  { "&Egrave", sizeof("&Egrave")-1, 200 },
  { "&Egrave;", sizeof("&Egrave;")-1, 200 },
  { "&Element;", sizeof("&Element;")-1, 8712 },
  { "&Emacr;", sizeof("&Emacr;")-1, 274 },
  { "&EmptySmallSquare;", sizeof("&EmptySmallSquare;")-1, 9723 },
  { "&EmptyVerySmallSquare;", sizeof("&EmptyVerySmallSquare;")-1, 9643 },
  { "&Eogon;", sizeof("&Eogon;")-1, 280 },
  { "&Eopf;", sizeof("&Eopf;")-1, 120124 },
  { "&Epsilon;", sizeof("&Epsilon;")-1, 917 },
  { "&Equal;", sizeof("&Equal;")-1, 10869 },
  { "&EqualTilde;", sizeof("&EqualTilde;")-1, 8770 },
  { "&Equilibrium;", sizeof("&Equilibrium;")-1, 8652 },
  { "&Escr;", sizeof("&Escr;")-1, 8496 },
  { "&Esim;", sizeof("&Esim;")-1, 10867 },
  { "&Eta;", sizeof("&Eta;")-1, 919 },
//  { "&Euml", sizeof("&Euml")-1, 203 },
  { "&Euml;", sizeof("&Euml;")-1, 203 },
  { "&Exists;", sizeof("&Exists;")-1, 8707 },
  { "&ExponentialE;", sizeof("&ExponentialE;")-1, 8519 },
  { "&Fcy;", sizeof("&Fcy;")-1, 1060 },
  { "&Ffr;", sizeof("&Ffr;")-1, 120073 },
  { "&FilledSmallSquare;", sizeof("&FilledSmallSquare;")-1, 9724 },
  { "&FilledVerySmallSquare;", sizeof("&FilledVerySmallSquare;")-1, 9642 },
  { "&Fopf;", sizeof("&Fopf;")-1, 120125 },
  { "&ForAll;", sizeof("&ForAll;")-1, 8704 },
  { "&Fouriertrf;", sizeof("&Fouriertrf;")-1, 8497 },
  { "&Fscr;", sizeof("&Fscr;")-1, 8497 },
  { "&GJcy;", sizeof("&GJcy;")-1, 1027 },
//  { "&GT", sizeof("&GT")-1, 62 },
  { "&GT;", sizeof("&GT;")-1, 62 },
  { "&Gamma;", sizeof("&Gamma;")-1, 915 },
  { "&Gammad;", sizeof("&Gammad;")-1, 988 },
  { "&Gbreve;", sizeof("&Gbreve;")-1, 286 },
  { "&Gcedil;", sizeof("&Gcedil;")-1, 290 },
  { "&Gcirc;", sizeof("&Gcirc;")-1, 284 },
  { "&Gcy;", sizeof("&Gcy;")-1, 1043 },
  { "&Gdot;", sizeof("&Gdot;")-1, 288 },
  { "&Gfr;", sizeof("&Gfr;")-1, 120074 },
  { "&Gg;", sizeof("&Gg;")-1, 8921 },
  { "&Gopf;", sizeof("&Gopf;")-1, 120126 },
  { "&GreaterEqual;", sizeof("&GreaterEqual;")-1, 8805 },
  { "&GreaterEqualLess;", sizeof("&GreaterEqualLess;")-1, 8923 },
  { "&GreaterFullEqual;", sizeof("&GreaterFullEqual;")-1, 8807 },
  { "&GreaterGreater;", sizeof("&GreaterGreater;")-1, 10914 },
  { "&GreaterLess;", sizeof("&GreaterLess;")-1, 8823 },
  { "&GreaterSlantEqual;", sizeof("&GreaterSlantEqual;")-1, 10878 },
  { "&GreaterTilde;", sizeof("&GreaterTilde;")-1, 8819 },
  { "&Gscr;", sizeof("&Gscr;")-1, 119970 },
  { "&Gt;", sizeof("&Gt;")-1, 8811 },
  { "&HARDcy;", sizeof("&HARDcy;")-1, 1066 },
  { "&Hacek;", sizeof("&Hacek;")-1, 711 },
  { "&Hat;", sizeof("&Hat;")-1, 94 },
  { "&Hcirc;", sizeof("&Hcirc;")-1, 292 },
  { "&Hfr;", sizeof("&Hfr;")-1, 8460 },
  { "&HilbertSpace;", sizeof("&HilbertSpace;")-1, 8459 },
  { "&Hopf;", sizeof("&Hopf;")-1, 8461 },
  { "&HorizontalLine;", sizeof("&HorizontalLine;")-1, 9472 },
  { "&Hscr;", sizeof("&Hscr;")-1, 8459 },
  { "&Hstrok;", sizeof("&Hstrok;")-1, 294 },
  { "&HumpDownHump;", sizeof("&HumpDownHump;")-1, 8782 },
  { "&HumpEqual;", sizeof("&HumpEqual;")-1, 8783 },
  { "&IEcy;", sizeof("&IEcy;")-1, 1045 },
  { "&IJlig;", sizeof("&IJlig;")-1, 306 },
  { "&IOcy;", sizeof("&IOcy;")-1, 1025 },
//  { "&Iacute", sizeof("&Iacute")-1, 205 },
  { "&Iacute;", sizeof("&Iacute;")-1, 205 },
//  { "&Icirc", sizeof("&Icirc")-1, 206 },
  { "&Icirc;", sizeof("&Icirc;")-1, 206 },
  { "&Icy;", sizeof("&Icy;")-1, 1048 },
  { "&Idot;", sizeof("&Idot;")-1, 304 },
  { "&Ifr;", sizeof("&Ifr;")-1, 8465 },
//  { "&Igrave", sizeof("&Igrave")-1, 204 },
  { "&Igrave;", sizeof("&Igrave;")-1, 204 },
  { "&Im;", sizeof("&Im;")-1, 8465 },
  { "&Imacr;", sizeof("&Imacr;")-1, 298 },
  { "&ImaginaryI;", sizeof("&ImaginaryI;")-1, 8520 },
  { "&Implies;", sizeof("&Implies;")-1, 8658 },
  { "&Int;", sizeof("&Int;")-1, 8748 },
  { "&Integral;", sizeof("&Integral;")-1, 8747 },
  { "&Intersection;", sizeof("&Intersection;")-1, 8898 },
  { "&InvisibleComma;", sizeof("&InvisibleComma;")-1, 8291 },
  { "&InvisibleTimes;", sizeof("&InvisibleTimes;")-1, 8290 },
  { "&Iogon;", sizeof("&Iogon;")-1, 302 },
  { "&Iopf;", sizeof("&Iopf;")-1, 120128 },
  { "&Iota;", sizeof("&Iota;")-1, 921 },
  { "&Iscr;", sizeof("&Iscr;")-1, 8464 },
  { "&Itilde;", sizeof("&Itilde;")-1, 296 },
  { "&Iukcy;", sizeof("&Iukcy;")-1, 1030 },
//  { "&Iuml", sizeof("&Iuml")-1, 207 },
  { "&Iuml;", sizeof("&Iuml;")-1, 207 },
  { "&Jcirc;", sizeof("&Jcirc;")-1, 308 },
  { "&Jcy;", sizeof("&Jcy;")-1, 1049 },
  { "&Jfr;", sizeof("&Jfr;")-1, 120077 },
  { "&Jopf;", sizeof("&Jopf;")-1, 120129 },
  { "&Jscr;", sizeof("&Jscr;")-1, 119973 },
  { "&Jsercy;", sizeof("&Jsercy;")-1, 1032 },
  { "&Jukcy;", sizeof("&Jukcy;")-1, 1028 },
  { "&KHcy;", sizeof("&KHcy;")-1, 1061 },
  { "&KJcy;", sizeof("&KJcy;")-1, 1036 },
  { "&Kappa;", sizeof("&Kappa;")-1, 922 },
  { "&Kcedil;", sizeof("&Kcedil;")-1, 310 },
  { "&Kcy;", sizeof("&Kcy;")-1, 1050 },
  { "&Kfr;", sizeof("&Kfr;")-1, 120078 },
  { "&Kopf;", sizeof("&Kopf;")-1, 120130 },
  { "&Kscr;", sizeof("&Kscr;")-1, 119974 },
  { "&LJcy;", sizeof("&LJcy;")-1, 1033 },
//  { "&LT", sizeof("&LT")-1, 60 },
  { "&LT;", sizeof("&LT;")-1, 60 },
  { "&Lacute;", sizeof("&Lacute;")-1, 313 },
  { "&Lambda;", sizeof("&Lambda;")-1, 923 },
  { "&Lang;", sizeof("&Lang;")-1, 10218 },
  { "&Laplacetrf;", sizeof("&Laplacetrf;")-1, 8466 },
  { "&Larr;", sizeof("&Larr;")-1, 8606 },
  { "&Lcaron;", sizeof("&Lcaron;")-1, 317 },
  { "&Lcedil;", sizeof("&Lcedil;")-1, 315 },
  { "&Lcy;", sizeof("&Lcy;")-1, 1051 },
  { "&LeftAngleBracket;", sizeof("&LeftAngleBracket;")-1, 10216 },
  { "&LeftArrow;", sizeof("&LeftArrow;")-1, 8592 },
  { "&LeftArrowBar;", sizeof("&LeftArrowBar;")-1, 8676 },
  { "&LeftArrowRightArrow;", sizeof("&LeftArrowRightArrow;")-1, 8646 },
  { "&LeftCeiling;", sizeof("&LeftCeiling;")-1, 8968 },
  { "&LeftDoubleBracket;", sizeof("&LeftDoubleBracket;")-1, 10214 },
  { "&LeftDownTeeVector;", sizeof("&LeftDownTeeVector;")-1, 10593 },
  { "&LeftDownVector;", sizeof("&LeftDownVector;")-1, 8643 },
  { "&LeftDownVectorBar;", sizeof("&LeftDownVectorBar;")-1, 10585 },
  { "&LeftFloor;", sizeof("&LeftFloor;")-1, 8970 },
  { "&LeftRightArrow;", sizeof("&LeftRightArrow;")-1, 8596 },
  { "&LeftRightVector;", sizeof("&LeftRightVector;")-1, 10574 },
  { "&LeftTee;", sizeof("&LeftTee;")-1, 8867 },
  { "&LeftTeeArrow;", sizeof("&LeftTeeArrow;")-1, 8612 },
  { "&LeftTeeVector;", sizeof("&LeftTeeVector;")-1, 10586 },
  { "&LeftTriangle;", sizeof("&LeftTriangle;")-1, 8882 },
  { "&LeftTriangleBar;", sizeof("&LeftTriangleBar;")-1, 10703 },
  { "&LeftTriangleEqual;", sizeof("&LeftTriangleEqual;")-1, 8884 },
  { "&LeftUpDownVector;", sizeof("&LeftUpDownVector;")-1, 10577 },
  { "&LeftUpTeeVector;", sizeof("&LeftUpTeeVector;")-1, 10592 },
  { "&LeftUpVector;", sizeof("&LeftUpVector;")-1, 8639 },
  { "&LeftUpVectorBar;", sizeof("&LeftUpVectorBar;")-1, 10584 },
  { "&LeftVector;", sizeof("&LeftVector;")-1, 8636 },
  { "&LeftVectorBar;", sizeof("&LeftVectorBar;")-1, 10578 },
  { "&Leftarrow;", sizeof("&Leftarrow;")-1, 8656 },
  { "&Leftrightarrow;", sizeof("&Leftrightarrow;")-1, 8660 },
  { "&LessEqualGreater;", sizeof("&LessEqualGreater;")-1, 8922 },
  { "&LessFullEqual;", sizeof("&LessFullEqual;")-1, 8806 },
  { "&LessGreater;", sizeof("&LessGreater;")-1, 8822 },
  { "&LessLess;", sizeof("&LessLess;")-1, 10913 },
  { "&LessSlantEqual;", sizeof("&LessSlantEqual;")-1, 10877 },
  { "&LessTilde;", sizeof("&LessTilde;")-1, 8818 },
  { "&Lfr;", sizeof("&Lfr;")-1, 120079 },
  { "&Ll;", sizeof("&Ll;")-1, 8920 },
  { "&Lleftarrow;", sizeof("&Lleftarrow;")-1, 8666 },
  { "&Lmidot;", sizeof("&Lmidot;")-1, 319 },
  { "&LongLeftArrow;", sizeof("&LongLeftArrow;")-1, 10229 },
  { "&LongLeftRightArrow;", sizeof("&LongLeftRightArrow;")-1, 10231 },
  { "&LongRightArrow;", sizeof("&LongRightArrow;")-1, 10230 },
  { "&Longleftarrow;", sizeof("&Longleftarrow;")-1, 10232 },
  { "&Longleftrightarrow;", sizeof("&Longleftrightarrow;")-1, 10234 },
  { "&Longrightarrow;", sizeof("&Longrightarrow;")-1, 10233 },
  { "&Lopf;", sizeof("&Lopf;")-1, 120131 },
  { "&LowerLeftArrow;", sizeof("&LowerLeftArrow;")-1, 8601 },
  { "&LowerRightArrow;", sizeof("&LowerRightArrow;")-1, 8600 },
  { "&Lscr;", sizeof("&Lscr;")-1, 8466 },
  { "&Lsh;", sizeof("&Lsh;")-1, 8624 },
  { "&Lstrok;", sizeof("&Lstrok;")-1, 321 },
  { "&Lt;", sizeof("&Lt;")-1, 8810 },
  { "&Map;", sizeof("&Map;")-1, 10501 },
  { "&Mcy;", sizeof("&Mcy;")-1, 1052 },
  { "&MediumSpace;", sizeof("&MediumSpace;")-1, 8287 },
  { "&Mellintrf;", sizeof("&Mellintrf;")-1, 8499 },
  { "&Mfr;", sizeof("&Mfr;")-1, 120080 },
  { "&MinusPlus;", sizeof("&MinusPlus;")-1, 8723 },
  { "&Mopf;", sizeof("&Mopf;")-1, 120132 },
  { "&Mscr;", sizeof("&Mscr;")-1, 8499 },
  { "&Mu;", sizeof("&Mu;")-1, 924 },
  { "&NJcy;", sizeof("&NJcy;")-1, 1034 },
  { "&Nacute;", sizeof("&Nacute;")-1, 323 },
  { "&Ncaron;", sizeof("&Ncaron;")-1, 327 },
  { "&Ncedil;", sizeof("&Ncedil;")-1, 325 },
  { "&Ncy;", sizeof("&Ncy;")-1, 1053 },
  { "&NegativeMediumSpace;", sizeof("&NegativeMediumSpace;")-1, 8203 },
  { "&NegativeThickSpace;", sizeof("&NegativeThickSpace;")-1, 8203 },
  { "&NegativeThinSpace;", sizeof("&NegativeThinSpace;")-1, 8203 },
  { "&NegativeVeryThinSpace;", sizeof("&NegativeVeryThinSpace;")-1, 8203 },
  { "&NestedGreaterGreater;", sizeof("&NestedGreaterGreater;")-1, 8811 },
  { "&NestedLessLess;", sizeof("&NestedLessLess;")-1, 8810 },
  { "&NewLine;", sizeof("&NewLine;")-1, 10 },
  { "&Nfr;", sizeof("&Nfr;")-1, 120081 },
  { "&NoBreak;", sizeof("&NoBreak;")-1, 8288 },
  { "&NonBreakingSpace;", sizeof("&NonBreakingSpace;")-1, 160 },
  { "&Nopf;", sizeof("&Nopf;")-1, 8469 },
  { "&Not;", sizeof("&Not;")-1, 10988 },
  { "&NotCongruent;", sizeof("&NotCongruent;")-1, 8802 },
  { "&NotCupCap;", sizeof("&NotCupCap;")-1, 8813 },
  { "&NotDoubleVerticalBar;", sizeof("&NotDoubleVerticalBar;")-1, 8742 },
  { "&NotElement;", sizeof("&NotElement;")-1, 8713 },
  { "&NotEqual;", sizeof("&NotEqual;")-1, 8800 },
//  { "&NotEqualTilde;", sizeof("&NotEqualTilde;")-1, 8770, 824 },
  { "&NotExists;", sizeof("&NotExists;")-1, 8708 },
  { "&NotGreater;", sizeof("&NotGreater;")-1, 8815 },
  { "&NotGreaterEqual;", sizeof("&NotGreaterEqual;")-1, 8817 },
//  { "&NotGreaterFullEqual;", sizeof("&NotGreaterFullEqual;")-1, 8807, 824 },
//  { "&NotGreaterGreater;", sizeof("&NotGreaterGreater;")-1, 8811, 824 },
  { "&NotGreaterLess;", sizeof("&NotGreaterLess;")-1, 8825 },
//  { "&NotGreaterSlantEqual;", sizeof("&NotGreaterSlantEqual;")-1, 10878, 824 },
  { "&NotGreaterTilde;", sizeof("&NotGreaterTilde;")-1, 8821 },
//  { "&NotHumpDownHump;", sizeof("&NotHumpDownHump;")-1, 8782, 824 },
//  { "&NotHumpEqual;", sizeof("&NotHumpEqual;")-1, 8783, 824 },
  { "&NotLeftTriangle;", sizeof("&NotLeftTriangle;")-1, 8938 },
//  { "&NotLeftTriangleBar;", sizeof("&NotLeftTriangleBar;")-1, 10703, 824 },
  { "&NotLeftTriangleEqual;", sizeof("&NotLeftTriangleEqual;")-1, 8940 },
  { "&NotLess;", sizeof("&NotLess;")-1, 8814 },
  { "&NotLessEqual;", sizeof("&NotLessEqual;")-1, 8816 },
  { "&NotLessGreater;", sizeof("&NotLessGreater;")-1, 8824 },
//  { "&NotLessLess;", sizeof("&NotLessLess;")-1, 8810, 824 },
//  { "&NotLessSlantEqual;", sizeof("&NotLessSlantEqual;")-1, 10877, 824 },
  { "&NotLessTilde;", sizeof("&NotLessTilde;")-1, 8820 },
//  { "&NotNestedGreaterGreater;", sizeof("&NotNestedGreaterGreater;")-1, 10914, 824 },
//  { "&NotNestedLessLess;", sizeof("&NotNestedLessLess;")-1, 10913, 824 },
  { "&NotPrecedes;", sizeof("&NotPrecedes;")-1, 8832 },
//  { "&NotPrecedesEqual;", sizeof("&NotPrecedesEqual;")-1, 10927, 824 },
  { "&NotPrecedesSlantEqual;", sizeof("&NotPrecedesSlantEqual;")-1, 8928 },
  { "&NotReverseElement;", sizeof("&NotReverseElement;")-1, 8716 },
  { "&NotRightTriangle;", sizeof("&NotRightTriangle;")-1, 8939 },
//  { "&NotRightTriangleBar;", sizeof("&NotRightTriangleBar;")-1, 10704, 824 },
  { "&NotRightTriangleEqual;", sizeof("&NotRightTriangleEqual;")-1, 8941 },
//  { "&NotSquareSubset;", sizeof("&NotSquareSubset;")-1, 8847, 824 },
  { "&NotSquareSubsetEqual;", sizeof("&NotSquareSubsetEqual;")-1, 8930 },
//  { "&NotSquareSuperset;", sizeof("&NotSquareSuperset;")-1, 8848, 824 },
  { "&NotSquareSupersetEqual;", sizeof("&NotSquareSupersetEqual;")-1, 8931 },
//  { "&NotSubset;", sizeof("&NotSubset;")-1, 8834, 8402 },
  { "&NotSubsetEqual;", sizeof("&NotSubsetEqual;")-1, 8840 },
  { "&NotSucceeds;", sizeof("&NotSucceeds;")-1, 8833 },
//  { "&NotSucceedsEqual;", sizeof("&NotSucceedsEqual;")-1, 10928, 824 },
  { "&NotSucceedsSlantEqual;", sizeof("&NotSucceedsSlantEqual;")-1, 8929 },
//  { "&NotSucceedsTilde;", sizeof("&NotSucceedsTilde;")-1, 8831, 824 },
//  { "&NotSuperset;", sizeof("&NotSuperset;")-1, 8835, 8402 },
  { "&NotSupersetEqual;", sizeof("&NotSupersetEqual;")-1, 8841 },
  { "&NotTilde;", sizeof("&NotTilde;")-1, 8769 },
  { "&NotTildeEqual;", sizeof("&NotTildeEqual;")-1, 8772 },
  { "&NotTildeFullEqual;", sizeof("&NotTildeFullEqual;")-1, 8775 },
  { "&NotTildeTilde;", sizeof("&NotTildeTilde;")-1, 8777 },
  { "&NotVerticalBar;", sizeof("&NotVerticalBar;")-1, 8740 },
  { "&Nscr;", sizeof("&Nscr;")-1, 119977 },
//  { "&Ntilde", sizeof("&Ntilde")-1, 209 },
  { "&Ntilde;", sizeof("&Ntilde;")-1, 209 },
  { "&Nu;", sizeof("&Nu;")-1, 925 },
  { "&OElig;", sizeof("&OElig;")-1, 338 },
//  { "&Oacute", sizeof("&Oacute")-1, 211 },
  { "&Oacute;", sizeof("&Oacute;")-1, 211 },
//  { "&Ocirc", sizeof("&Ocirc")-1, 212 },
  { "&Ocirc;", sizeof("&Ocirc;")-1, 212 },
  { "&Ocy;", sizeof("&Ocy;")-1, 1054 },
  { "&Odblac;", sizeof("&Odblac;")-1, 336 },
  { "&Ofr;", sizeof("&Ofr;")-1, 120082 },
//  { "&Ograve", sizeof("&Ograve")-1, 210 },
  { "&Ograve;", sizeof("&Ograve;")-1, 210 },
  { "&Omacr;", sizeof("&Omacr;")-1, 332 },
  { "&Omega;", sizeof("&Omega;")-1, 937 },
  { "&Omicron;", sizeof("&Omicron;")-1, 927 },
  { "&Oopf;", sizeof("&Oopf;")-1, 120134 },
  { "&OpenCurlyDoubleQuote;", sizeof("&OpenCurlyDoubleQuote;")-1, 8220 },
  { "&OpenCurlyQuote;", sizeof("&OpenCurlyQuote;")-1, 8216 },
  { "&Or;", sizeof("&Or;")-1, 10836 },
  { "&Oscr;", sizeof("&Oscr;")-1, 119978 },
//  { "&Oslash", sizeof("&Oslash")-1, 216 },
  { "&Oslash;", sizeof("&Oslash;")-1, 216 },
//  { "&Otilde", sizeof("&Otilde")-1, 213 },
  { "&Otilde;", sizeof("&Otilde;")-1, 213 },
  { "&Otimes;", sizeof("&Otimes;")-1, 10807 },
//  { "&Ouml", sizeof("&Ouml")-1, 214 },
  { "&Ouml;", sizeof("&Ouml;")-1, 214 },
  { "&OverBar;", sizeof("&OverBar;")-1, 8254 },
  { "&OverBrace;", sizeof("&OverBrace;")-1, 9182 },
  { "&OverBracket;", sizeof("&OverBracket;")-1, 9140 },
  { "&OverParenthesis;", sizeof("&OverParenthesis;")-1, 9180 },
  { "&PartialD;", sizeof("&PartialD;")-1, 8706 },
  { "&Pcy;", sizeof("&Pcy;")-1, 1055 },
  { "&Pfr;", sizeof("&Pfr;")-1, 120083 },
  { "&Phi;", sizeof("&Phi;")-1, 934 },
  { "&Pi;", sizeof("&Pi;")-1, 928 },
  { "&PlusMinus;", sizeof("&PlusMinus;")-1, 177 },
  { "&Poincareplane;", sizeof("&Poincareplane;")-1, 8460 },
  { "&Popf;", sizeof("&Popf;")-1, 8473 },
  { "&Pr;", sizeof("&Pr;")-1, 10939 },
  { "&Precedes;", sizeof("&Precedes;")-1, 8826 },
  { "&PrecedesEqual;", sizeof("&PrecedesEqual;")-1, 10927 },
  { "&PrecedesSlantEqual;", sizeof("&PrecedesSlantEqual;")-1, 8828 },
  { "&PrecedesTilde;", sizeof("&PrecedesTilde;")-1, 8830 },
  { "&Prime;", sizeof("&Prime;")-1, 8243 },
  { "&Product;", sizeof("&Product;")-1, 8719 },
  { "&Proportion;", sizeof("&Proportion;")-1, 8759 },
  { "&Proportional;", sizeof("&Proportional;")-1, 8733 },
  { "&Pscr;", sizeof("&Pscr;")-1, 119979 },
  { "&Psi;", sizeof("&Psi;")-1, 936 },
//  { "&QUOT", sizeof("&QUOT")-1, 34 },
  { "&QUOT;", sizeof("&QUOT;")-1, 34 },
  { "&Qfr;", sizeof("&Qfr;")-1, 120084 },
  { "&Qopf;", sizeof("&Qopf;")-1, 8474 },
  { "&Qscr;", sizeof("&Qscr;")-1, 119980 },
  { "&RBarr;", sizeof("&RBarr;")-1, 10512 },
//  { "&REG", sizeof("&REG")-1, 174 },
  { "&REG;", sizeof("&REG;")-1, 174 },
  { "&Racute;", sizeof("&Racute;")-1, 340 },
  { "&Rang;", sizeof("&Rang;")-1, 10219 },
  { "&Rarr;", sizeof("&Rarr;")-1, 8608 },
  { "&Rarrtl;", sizeof("&Rarrtl;")-1, 10518 },
  { "&Rcaron;", sizeof("&Rcaron;")-1, 344 },
  { "&Rcedil;", sizeof("&Rcedil;")-1, 342 },
  { "&Rcy;", sizeof("&Rcy;")-1, 1056 },
  { "&Re;", sizeof("&Re;")-1, 8476 },
  { "&ReverseElement;", sizeof("&ReverseElement;")-1, 8715 },
  { "&ReverseEquilibrium;", sizeof("&ReverseEquilibrium;")-1, 8651 },
  { "&ReverseUpEquilibrium;", sizeof("&ReverseUpEquilibrium;")-1, 10607 },
  { "&Rfr;", sizeof("&Rfr;")-1, 8476 },
  { "&Rho;", sizeof("&Rho;")-1, 929 },
  { "&RightAngleBracket;", sizeof("&RightAngleBracket;")-1, 10217 },
  { "&RightArrow;", sizeof("&RightArrow;")-1, 8594 },
  { "&RightArrowBar;", sizeof("&RightArrowBar;")-1, 8677 },
  { "&RightArrowLeftArrow;", sizeof("&RightArrowLeftArrow;")-1, 8644 },
  { "&RightCeiling;", sizeof("&RightCeiling;")-1, 8969 },
  { "&RightDoubleBracket;", sizeof("&RightDoubleBracket;")-1, 10215 },
  { "&RightDownTeeVector;", sizeof("&RightDownTeeVector;")-1, 10589 },
  { "&RightDownVector;", sizeof("&RightDownVector;")-1, 8642 },
  { "&RightDownVectorBar;", sizeof("&RightDownVectorBar;")-1, 10581 },
  { "&RightFloor;", sizeof("&RightFloor;")-1, 8971 },
  { "&RightTee;", sizeof("&RightTee;")-1, 8866 },
  { "&RightTeeArrow;", sizeof("&RightTeeArrow;")-1, 8614 },
  { "&RightTeeVector;", sizeof("&RightTeeVector;")-1, 10587 },
  { "&RightTriangle;", sizeof("&RightTriangle;")-1, 8883 },
  { "&RightTriangleBar;", sizeof("&RightTriangleBar;")-1, 10704 },
  { "&RightTriangleEqual;", sizeof("&RightTriangleEqual;")-1, 8885 },
  { "&RightUpDownVector;", sizeof("&RightUpDownVector;")-1, 10575 },
  { "&RightUpTeeVector;", sizeof("&RightUpTeeVector;")-1, 10588 },
  { "&RightUpVector;", sizeof("&RightUpVector;")-1, 8638 },
  { "&RightUpVectorBar;", sizeof("&RightUpVectorBar;")-1, 10580 },
  { "&RightVector;", sizeof("&RightVector;")-1, 8640 },
  { "&RightVectorBar;", sizeof("&RightVectorBar;")-1, 10579 },
  { "&Rightarrow;", sizeof("&Rightarrow;")-1, 8658 },
  { "&Ropf;", sizeof("&Ropf;")-1, 8477 },
  { "&RoundImplies;", sizeof("&RoundImplies;")-1, 10608 },
  { "&Rrightarrow;", sizeof("&Rrightarrow;")-1, 8667 },
  { "&Rscr;", sizeof("&Rscr;")-1, 8475 },
  { "&Rsh;", sizeof("&Rsh;")-1, 8625 },
  { "&RuleDelayed;", sizeof("&RuleDelayed;")-1, 10740 },
  { "&SHCHcy;", sizeof("&SHCHcy;")-1, 1065 },
  { "&SHcy;", sizeof("&SHcy;")-1, 1064 },
  { "&SOFTcy;", sizeof("&SOFTcy;")-1, 1068 },
  { "&Sacute;", sizeof("&Sacute;")-1, 346 },
  { "&Sc;", sizeof("&Sc;")-1, 10940 },
  { "&Scaron;", sizeof("&Scaron;")-1, 352 },
  { "&Scedil;", sizeof("&Scedil;")-1, 350 },
  { "&Scirc;", sizeof("&Scirc;")-1, 348 },
  { "&Scy;", sizeof("&Scy;")-1, 1057 },
  { "&Sfr;", sizeof("&Sfr;")-1, 120086 },
  { "&ShortDownArrow;", sizeof("&ShortDownArrow;")-1, 8595 },
  { "&ShortLeftArrow;", sizeof("&ShortLeftArrow;")-1, 8592 },
  { "&ShortRightArrow;", sizeof("&ShortRightArrow;")-1, 8594 },
  { "&ShortUpArrow;", sizeof("&ShortUpArrow;")-1, 8593 },
  { "&Sigma;", sizeof("&Sigma;")-1, 931 },
  { "&SmallCircle;", sizeof("&SmallCircle;")-1, 8728 },
  { "&Sopf;", sizeof("&Sopf;")-1, 120138 },
  { "&Sqrt;", sizeof("&Sqrt;")-1, 8730 },
  { "&Square;", sizeof("&Square;")-1, 9633 },
  { "&SquareIntersection;", sizeof("&SquareIntersection;")-1, 8851 },
  { "&SquareSubset;", sizeof("&SquareSubset;")-1, 8847 },
  { "&SquareSubsetEqual;", sizeof("&SquareSubsetEqual;")-1, 8849 },
  { "&SquareSuperset;", sizeof("&SquareSuperset;")-1, 8848 },
  { "&SquareSupersetEqual;", sizeof("&SquareSupersetEqual;")-1, 8850 },
  { "&SquareUnion;", sizeof("&SquareUnion;")-1, 8852 },
  { "&Sscr;", sizeof("&Sscr;")-1, 119982 },
  { "&Star;", sizeof("&Star;")-1, 8902 },
  { "&Sub;", sizeof("&Sub;")-1, 8912 },
  { "&Subset;", sizeof("&Subset;")-1, 8912 },
  { "&SubsetEqual;", sizeof("&SubsetEqual;")-1, 8838 },
  { "&Succeeds;", sizeof("&Succeeds;")-1, 8827 },
  { "&SucceedsEqual;", sizeof("&SucceedsEqual;")-1, 10928 },
  { "&SucceedsSlantEqual;", sizeof("&SucceedsSlantEqual;")-1, 8829 },
  { "&SucceedsTilde;", sizeof("&SucceedsTilde;")-1, 8831 },
  { "&SuchThat;", sizeof("&SuchThat;")-1, 8715 },
  { "&Sum;", sizeof("&Sum;")-1, 8721 },
  { "&Sup;", sizeof("&Sup;")-1, 8913 },
  { "&Superset;", sizeof("&Superset;")-1, 8835 },
  { "&SupersetEqual;", sizeof("&SupersetEqual;")-1, 8839 },
  { "&Supset;", sizeof("&Supset;")-1, 8913 },
//  { "&THORN", sizeof("&THORN")-1, 222 },
  { "&THORN;", sizeof("&THORN;")-1, 222 },
  { "&TRADE;", sizeof("&TRADE;")-1, 8482 },
  { "&TSHcy;", sizeof("&TSHcy;")-1, 1035 },
  { "&TScy;", sizeof("&TScy;")-1, 1062 },
  { "&Tab;", sizeof("&Tab;")-1, 9 },
  { "&Tau;", sizeof("&Tau;")-1, 932 },
  { "&Tcaron;", sizeof("&Tcaron;")-1, 356 },
  { "&Tcedil;", sizeof("&Tcedil;")-1, 354 },
  { "&Tcy;", sizeof("&Tcy;")-1, 1058 },
  { "&Tfr;", sizeof("&Tfr;")-1, 120087 },
  { "&Therefore;", sizeof("&Therefore;")-1, 8756 },
  { "&Theta;", sizeof("&Theta;")-1, 920 },
//  { "&ThickSpace;", sizeof("&ThickSpace;")-1, 8287, 8202 },
  { "&ThinSpace;", sizeof("&ThinSpace;")-1, 8201 },
  { "&Tilde;", sizeof("&Tilde;")-1, 8764 },
  { "&TildeEqual;", sizeof("&TildeEqual;")-1, 8771 },
  { "&TildeFullEqual;", sizeof("&TildeFullEqual;")-1, 8773 },
  { "&TildeTilde;", sizeof("&TildeTilde;")-1, 8776 },
  { "&Topf;", sizeof("&Topf;")-1, 120139 },
  { "&TripleDot;", sizeof("&TripleDot;")-1, 8411 },
  { "&Tscr;", sizeof("&Tscr;")-1, 119983 },
  { "&Tstrok;", sizeof("&Tstrok;")-1, 358 },
//  { "&Uacute", sizeof("&Uacute")-1, 218 },
  { "&Uacute;", sizeof("&Uacute;")-1, 218 },
  { "&Uarr;", sizeof("&Uarr;")-1, 8607 },
  { "&Uarrocir;", sizeof("&Uarrocir;")-1, 10569 },
  { "&Ubrcy;", sizeof("&Ubrcy;")-1, 1038 },
  { "&Ubreve;", sizeof("&Ubreve;")-1, 364 },
//  { "&Ucirc", sizeof("&Ucirc")-1, 219 },
  { "&Ucirc;", sizeof("&Ucirc;")-1, 219 },
  { "&Ucy;", sizeof("&Ucy;")-1, 1059 },
  { "&Udblac;", sizeof("&Udblac;")-1, 368 },
  { "&Ufr;", sizeof("&Ufr;")-1, 120088 },
//  { "&Ugrave", sizeof("&Ugrave")-1, 217 },
  { "&Ugrave;", sizeof("&Ugrave;")-1, 217 },
  { "&Umacr;", sizeof("&Umacr;")-1, 362 },
  { "&UnderBar;", sizeof("&UnderBar;")-1, 95 },
  { "&UnderBrace;", sizeof("&UnderBrace;")-1, 9183 },
  { "&UnderBracket;", sizeof("&UnderBracket;")-1, 9141 },
  { "&UnderParenthesis;", sizeof("&UnderParenthesis;")-1, 9181 },
  { "&Union;", sizeof("&Union;")-1, 8899 },
  { "&UnionPlus;", sizeof("&UnionPlus;")-1, 8846 },
  { "&Uogon;", sizeof("&Uogon;")-1, 370 },
  { "&Uopf;", sizeof("&Uopf;")-1, 120140 },
  { "&UpArrow;", sizeof("&UpArrow;")-1, 8593 },
  { "&UpArrowBar;", sizeof("&UpArrowBar;")-1, 10514 },
  { "&UpArrowDownArrow;", sizeof("&UpArrowDownArrow;")-1, 8645 },
  { "&UpDownArrow;", sizeof("&UpDownArrow;")-1, 8597 },
  { "&UpEquilibrium;", sizeof("&UpEquilibrium;")-1, 10606 },
  { "&UpTee;", sizeof("&UpTee;")-1, 8869 },
  { "&UpTeeArrow;", sizeof("&UpTeeArrow;")-1, 8613 },
  { "&Uparrow;", sizeof("&Uparrow;")-1, 8657 },
  { "&Updownarrow;", sizeof("&Updownarrow;")-1, 8661 },
  { "&UpperLeftArrow;", sizeof("&UpperLeftArrow;")-1, 8598 },
  { "&UpperRightArrow;", sizeof("&UpperRightArrow;")-1, 8599 },
  { "&Upsi;", sizeof("&Upsi;")-1, 978 },
  { "&Upsilon;", sizeof("&Upsilon;")-1, 933 },
  { "&Uring;", sizeof("&Uring;")-1, 366 },
  { "&Uscr;", sizeof("&Uscr;")-1, 119984 },
  { "&Utilde;", sizeof("&Utilde;")-1, 360 },
//  { "&Uuml", sizeof("&Uuml")-1, 220 },
  { "&Uuml;", sizeof("&Uuml;")-1, 220 },
  { "&VDash;", sizeof("&VDash;")-1, 8875 },
  { "&Vbar;", sizeof("&Vbar;")-1, 10987 },
  { "&Vcy;", sizeof("&Vcy;")-1, 1042 },
  { "&Vdash;", sizeof("&Vdash;")-1, 8873 },
  { "&Vdashl;", sizeof("&Vdashl;")-1, 10982 },
  { "&Vee;", sizeof("&Vee;")-1, 8897 },
  { "&Verbar;", sizeof("&Verbar;")-1, 8214 },
  { "&Vert;", sizeof("&Vert;")-1, 8214 },
  { "&VerticalBar;", sizeof("&VerticalBar;")-1, 8739 },
  { "&VerticalLine;", sizeof("&VerticalLine;")-1, 124 },
  { "&VerticalSeparator;", sizeof("&VerticalSeparator;")-1, 10072 },
  { "&VerticalTilde;", sizeof("&VerticalTilde;")-1, 8768 },
  { "&VeryThinSpace;", sizeof("&VeryThinSpace;")-1, 8202 },
  { "&Vfr;", sizeof("&Vfr;")-1, 120089 },
  { "&Vopf;", sizeof("&Vopf;")-1, 120141 },
  { "&Vscr;", sizeof("&Vscr;")-1, 119985 },
  { "&Vvdash;", sizeof("&Vvdash;")-1, 8874 },
  { "&Wcirc;", sizeof("&Wcirc;")-1, 372 },
  { "&Wedge;", sizeof("&Wedge;")-1, 8896 },
  { "&Wfr;", sizeof("&Wfr;")-1, 120090 },
  { "&Wopf;", sizeof("&Wopf;")-1, 120142 },
  { "&Wscr;", sizeof("&Wscr;")-1, 119986 },
  { "&Xfr;", sizeof("&Xfr;")-1, 120091 },
  { "&Xi;", sizeof("&Xi;")-1, 926 },
  { "&Xopf;", sizeof("&Xopf;")-1, 120143 },
  { "&Xscr;", sizeof("&Xscr;")-1, 119987 },
  { "&YAcy;", sizeof("&YAcy;")-1, 1071 },
  { "&YIcy;", sizeof("&YIcy;")-1, 1031 },
  { "&YUcy;", sizeof("&YUcy;")-1, 1070 },
//  { "&Yacute", sizeof("&Yacute")-1, 221 },
  { "&Yacute;", sizeof("&Yacute;")-1, 221 },
  { "&Ycirc;", sizeof("&Ycirc;")-1, 374 },
  { "&Ycy;", sizeof("&Ycy;")-1, 1067 },
  { "&Yfr;", sizeof("&Yfr;")-1, 120092 },
  { "&Yopf;", sizeof("&Yopf;")-1, 120144 },
  { "&Yscr;", sizeof("&Yscr;")-1, 119988 },
  { "&Yuml;", sizeof("&Yuml;")-1, 376 },
  { "&ZHcy;", sizeof("&ZHcy;")-1, 1046 },
  { "&Zacute;", sizeof("&Zacute;")-1, 377 },
  { "&Zcaron;", sizeof("&Zcaron;")-1, 381 },
  { "&Zcy;", sizeof("&Zcy;")-1, 1047 },
  { "&Zdot;", sizeof("&Zdot;")-1, 379 },
  { "&ZeroWidthSpace;", sizeof("&ZeroWidthSpace;")-1, 8203 },
  { "&Zeta;", sizeof("&Zeta;")-1, 918 },
  { "&Zfr;", sizeof("&Zfr;")-1, 8488 },
  { "&Zopf;", sizeof("&Zopf;")-1, 8484 },
  { "&Zscr;", sizeof("&Zscr;")-1, 119989 },
//  { "&aacute", sizeof("&aacute")-1, 225 },
  { "&aacute;", sizeof("&aacute;")-1, 225 },
  { "&abreve;", sizeof("&abreve;")-1, 259 },
  { "&ac;", sizeof("&ac;")-1, 8766 },
//  { "&acE;", sizeof("&acE;")-1, 8766, 819 },
  { "&acd;", sizeof("&acd;")-1, 8767 },
//  { "&acirc", sizeof("&acirc")-1, 226 },
  { "&acirc;", sizeof("&acirc;")-1, 226 },
//  { "&acute", sizeof("&acute")-1, 180 },
  { "&acute;", sizeof("&acute;")-1, 180 },
  { "&acy;", sizeof("&acy;")-1, 1072 },
//  { "&aelig", sizeof("&aelig")-1, 230 },
  { "&aelig;", sizeof("&aelig;")-1, 230 },
  { "&af;", sizeof("&af;")-1, 8289 },
  { "&afr;", sizeof("&afr;")-1, 120094 },
//  { "&agrave", sizeof("&agrave")-1, 224 },
  { "&agrave;", sizeof("&agrave;")-1, 224 },
  { "&alefsym;", sizeof("&alefsym;")-1, 8501 },
  { "&aleph;", sizeof("&aleph;")-1, 8501 },
  { "&alpha;", sizeof("&alpha;")-1, 945 },
  { "&amacr;", sizeof("&amacr;")-1, 257 },
  { "&amalg;", sizeof("&amalg;")-1, 10815 },
//  { "&amp", sizeof("&amp")-1, 38 },
  { "&amp;", sizeof("&amp;")-1, 38 },
  { "&and;", sizeof("&and;")-1, 8743 },
  { "&andand;", sizeof("&andand;")-1, 10837 },
  { "&andd;", sizeof("&andd;")-1, 10844 },
  { "&andslope;", sizeof("&andslope;")-1, 10840 },
  { "&andv;", sizeof("&andv;")-1, 10842 },
  { "&ang;", sizeof("&ang;")-1, 8736 },
  { "&ange;", sizeof("&ange;")-1, 10660 },
  { "&angle;", sizeof("&angle;")-1, 8736 },
  { "&angmsd;", sizeof("&angmsd;")-1, 8737 },
  { "&angmsdaa;", sizeof("&angmsdaa;")-1, 10664 },
  { "&angmsdab;", sizeof("&angmsdab;")-1, 10665 },
  { "&angmsdac;", sizeof("&angmsdac;")-1, 10666 },
  { "&angmsdad;", sizeof("&angmsdad;")-1, 10667 },
  { "&angmsdae;", sizeof("&angmsdae;")-1, 10668 },
  { "&angmsdaf;", sizeof("&angmsdaf;")-1, 10669 },
  { "&angmsdag;", sizeof("&angmsdag;")-1, 10670 },
  { "&angmsdah;", sizeof("&angmsdah;")-1, 10671 },
  { "&angrt;", sizeof("&angrt;")-1, 8735 },
  { "&angrtvb;", sizeof("&angrtvb;")-1, 8894 },
  { "&angrtvbd;", sizeof("&angrtvbd;")-1, 10653 },
  { "&angsph;", sizeof("&angsph;")-1, 8738 },
  { "&angst;", sizeof("&angst;")-1, 197 },
  { "&angzarr;", sizeof("&angzarr;")-1, 9084 },
  { "&aogon;", sizeof("&aogon;")-1, 261 },
  { "&aopf;", sizeof("&aopf;")-1, 120146 },
  { "&ap;", sizeof("&ap;")-1, 8776 },
  { "&apE;", sizeof("&apE;")-1, 10864 },
  { "&apacir;", sizeof("&apacir;")-1, 10863 },
  { "&ape;", sizeof("&ape;")-1, 8778 },
  { "&apid;", sizeof("&apid;")-1, 8779 },
  { "&apos;", sizeof("&apos;")-1, 39 },
  { "&approx;", sizeof("&approx;")-1, 8776 },
  { "&approxeq;", sizeof("&approxeq;")-1, 8778 },
//  { "&aring", sizeof("&aring")-1, 229 },
  { "&aring;", sizeof("&aring;")-1, 229 },
  { "&ascr;", sizeof("&ascr;")-1, 119990 },
  { "&ast;", sizeof("&ast;")-1, 42 },
  { "&asymp;", sizeof("&asymp;")-1, 8776 },
  { "&asympeq;", sizeof("&asympeq;")-1, 8781 },
//  { "&atilde", sizeof("&atilde")-1, 227 },
  { "&atilde;", sizeof("&atilde;")-1, 227 },
//  { "&auml", sizeof("&auml")-1, 228 },
  { "&auml;", sizeof("&auml;")-1, 228 },
  { "&awconint;", sizeof("&awconint;")-1, 8755 },
  { "&awint;", sizeof("&awint;")-1, 10769 },
  { "&bNot;", sizeof("&bNot;")-1, 10989 },
  { "&backcong;", sizeof("&backcong;")-1, 8780 },
  { "&backepsilon;", sizeof("&backepsilon;")-1, 1014 },
  { "&backprime;", sizeof("&backprime;")-1, 8245 },
  { "&backsim;", sizeof("&backsim;")-1, 8765 },
  { "&backsimeq;", sizeof("&backsimeq;")-1, 8909 },
  { "&barvee;", sizeof("&barvee;")-1, 8893 },
  { "&barwed;", sizeof("&barwed;")-1, 8965 },
  { "&barwedge;", sizeof("&barwedge;")-1, 8965 },
  { "&bbrk;", sizeof("&bbrk;")-1, 9141 },
  { "&bbrktbrk;", sizeof("&bbrktbrk;")-1, 9142 },
  { "&bcong;", sizeof("&bcong;")-1, 8780 },
  { "&bcy;", sizeof("&bcy;")-1, 1073 },
  { "&bdquo;", sizeof("&bdquo;")-1, 8222 },
  { "&becaus;", sizeof("&becaus;")-1, 8757 },
  { "&because;", sizeof("&because;")-1, 8757 },
  { "&bemptyv;", sizeof("&bemptyv;")-1, 10672 },
  { "&bepsi;", sizeof("&bepsi;")-1, 1014 },
  { "&bernou;", sizeof("&bernou;")-1, 8492 },
  { "&beta;", sizeof("&beta;")-1, 946 },
  { "&beth;", sizeof("&beth;")-1, 8502 },
  { "&between;", sizeof("&between;")-1, 8812 },
  { "&bfr;", sizeof("&bfr;")-1, 120095 },
  { "&bigcap;", sizeof("&bigcap;")-1, 8898 },
  { "&bigcirc;", sizeof("&bigcirc;")-1, 9711 },
  { "&bigcup;", sizeof("&bigcup;")-1, 8899 },
  { "&bigodot;", sizeof("&bigodot;")-1, 10752 },
  { "&bigoplus;", sizeof("&bigoplus;")-1, 10753 },
  { "&bigotimes;", sizeof("&bigotimes;")-1, 10754 },
  { "&bigsqcup;", sizeof("&bigsqcup;")-1, 10758 },
  { "&bigstar;", sizeof("&bigstar;")-1, 9733 },
  { "&bigtriangledown;", sizeof("&bigtriangledown;")-1, 9661 },
  { "&bigtriangleup;", sizeof("&bigtriangleup;")-1, 9651 },
  { "&biguplus;", sizeof("&biguplus;")-1, 10756 },
  { "&bigvee;", sizeof("&bigvee;")-1, 8897 },
  { "&bigwedge;", sizeof("&bigwedge;")-1, 8896 },
  { "&bkarow;", sizeof("&bkarow;")-1, 10509 },
  { "&blacklozenge;", sizeof("&blacklozenge;")-1, 10731 },
  { "&blacksquare;", sizeof("&blacksquare;")-1, 9642 },
  { "&blacktriangle;", sizeof("&blacktriangle;")-1, 9652 },
  { "&blacktriangledown;", sizeof("&blacktriangledown;")-1, 9662 },
  { "&blacktriangleleft;", sizeof("&blacktriangleleft;")-1, 9666 },
  { "&blacktriangleright;", sizeof("&blacktriangleright;")-1, 9656 },
  { "&blank;", sizeof("&blank;")-1, 9251 },
  { "&blk12;", sizeof("&blk12;")-1, 9618 },
  { "&blk14;", sizeof("&blk14;")-1, 9617 },
  { "&blk34;", sizeof("&blk34;")-1, 9619 },
  { "&block;", sizeof("&block;")-1, 9608 },
//  { "&bne;", sizeof("&bne;")-1, 61, 8421 },
//  { "&bnequiv;", sizeof("&bnequiv;")-1, 8801, 8421 },
  { "&bnot;", sizeof("&bnot;")-1, 8976 },
  { "&bopf;", sizeof("&bopf;")-1, 120147 },
  { "&bot;", sizeof("&bot;")-1, 8869 },
  { "&bottom;", sizeof("&bottom;")-1, 8869 },
  { "&bowtie;", sizeof("&bowtie;")-1, 8904 },
  { "&boxDL;", sizeof("&boxDL;")-1, 9559 },
  { "&boxDR;", sizeof("&boxDR;")-1, 9556 },
  { "&boxDl;", sizeof("&boxDl;")-1, 9558 },
  { "&boxDr;", sizeof("&boxDr;")-1, 9555 },
  { "&boxH;", sizeof("&boxH;")-1, 9552 },
  { "&boxHD;", sizeof("&boxHD;")-1, 9574 },
  { "&boxHU;", sizeof("&boxHU;")-1, 9577 },
  { "&boxHd;", sizeof("&boxHd;")-1, 9572 },
  { "&boxHu;", sizeof("&boxHu;")-1, 9575 },
  { "&boxUL;", sizeof("&boxUL;")-1, 9565 },
  { "&boxUR;", sizeof("&boxUR;")-1, 9562 },
  { "&boxUl;", sizeof("&boxUl;")-1, 9564 },
  { "&boxUr;", sizeof("&boxUr;")-1, 9561 },
  { "&boxV;", sizeof("&boxV;")-1, 9553 },
  { "&boxVH;", sizeof("&boxVH;")-1, 9580 },
  { "&boxVL;", sizeof("&boxVL;")-1, 9571 },
  { "&boxVR;", sizeof("&boxVR;")-1, 9568 },
  { "&boxVh;", sizeof("&boxVh;")-1, 9579 },
  { "&boxVl;", sizeof("&boxVl;")-1, 9570 },
  { "&boxVr;", sizeof("&boxVr;")-1, 9567 },
  { "&boxbox;", sizeof("&boxbox;")-1, 10697 },
  { "&boxdL;", sizeof("&boxdL;")-1, 9557 },
  { "&boxdR;", sizeof("&boxdR;")-1, 9554 },
  { "&boxdl;", sizeof("&boxdl;")-1, 9488 },
  { "&boxdr;", sizeof("&boxdr;")-1, 9484 },
  { "&boxh;", sizeof("&boxh;")-1, 9472 },
  { "&boxhD;", sizeof("&boxhD;")-1, 9573 },
  { "&boxhU;", sizeof("&boxhU;")-1, 9576 },
  { "&boxhd;", sizeof("&boxhd;")-1, 9516 },
  { "&boxhu;", sizeof("&boxhu;")-1, 9524 },
  { "&boxminus;", sizeof("&boxminus;")-1, 8863 },
  { "&boxplus;", sizeof("&boxplus;")-1, 8862 },
  { "&boxtimes;", sizeof("&boxtimes;")-1, 8864 },
  { "&boxuL;", sizeof("&boxuL;")-1, 9563 },
  { "&boxuR;", sizeof("&boxuR;")-1, 9560 },
  { "&boxul;", sizeof("&boxul;")-1, 9496 },
  { "&boxur;", sizeof("&boxur;")-1, 9492 },
  { "&boxv;", sizeof("&boxv;")-1, 9474 },
  { "&boxvH;", sizeof("&boxvH;")-1, 9578 },
  { "&boxvL;", sizeof("&boxvL;")-1, 9569 },
  { "&boxvR;", sizeof("&boxvR;")-1, 9566 },
  { "&boxvh;", sizeof("&boxvh;")-1, 9532 },
  { "&boxvl;", sizeof("&boxvl;")-1, 9508 },
  { "&boxvr;", sizeof("&boxvr;")-1, 9500 },
  { "&bprime;", sizeof("&bprime;")-1, 8245 },
  { "&breve;", sizeof("&breve;")-1, 728 },
//  { "&brvbar", sizeof("&brvbar")-1, 166 },
  { "&brvbar;", sizeof("&brvbar;")-1, 166 },
  { "&bscr;", sizeof("&bscr;")-1, 119991 },
  { "&bsemi;", sizeof("&bsemi;")-1, 8271 },
  { "&bsim;", sizeof("&bsim;")-1, 8765 },
  { "&bsime;", sizeof("&bsime;")-1, 8909 },
  { "&bsol;", sizeof("&bsol;")-1, 92 },
  { "&bsolb;", sizeof("&bsolb;")-1, 10693 },
  { "&bsolhsub;", sizeof("&bsolhsub;")-1, 10184 },
  { "&bull;", sizeof("&bull;")-1, 8226 },
  { "&bullet;", sizeof("&bullet;")-1, 8226 },
  { "&bump;", sizeof("&bump;")-1, 8782 },
  { "&bumpE;", sizeof("&bumpE;")-1, 10926 },
  { "&bumpe;", sizeof("&bumpe;")-1, 8783 },
  { "&bumpeq;", sizeof("&bumpeq;")-1, 8783 },
  { "&cacute;", sizeof("&cacute;")-1, 263 },
  { "&cap;", sizeof("&cap;")-1, 8745 },
  { "&capand;", sizeof("&capand;")-1, 10820 },
  { "&capbrcup;", sizeof("&capbrcup;")-1, 10825 },
  { "&capcap;", sizeof("&capcap;")-1, 10827 },
  { "&capcup;", sizeof("&capcup;")-1, 10823 },
  { "&capdot;", sizeof("&capdot;")-1, 10816 },
//  { "&caps;", sizeof("&caps;")-1, 8745, 65024 },
  { "&caret;", sizeof("&caret;")-1, 8257 },
  { "&caron;", sizeof("&caron;")-1, 711 },
  { "&ccaps;", sizeof("&ccaps;")-1, 10829 },
  { "&ccaron;", sizeof("&ccaron;")-1, 269 },
//  { "&ccedil", sizeof("&ccedil")-1, 231 },
  { "&ccedil;", sizeof("&ccedil;")-1, 231 },
  { "&ccirc;", sizeof("&ccirc;")-1, 265 },
  { "&ccups;", sizeof("&ccups;")-1, 10828 },
  { "&ccupssm;", sizeof("&ccupssm;")-1, 10832 },
  { "&cdot;", sizeof("&cdot;")-1, 267 },
//  { "&cedil", sizeof("&cedil")-1, 184 },
  { "&cedil;", sizeof("&cedil;")-1, 184 },
  { "&cemptyv;", sizeof("&cemptyv;")-1, 10674 },
//  { "&cent", sizeof("&cent")-1, 162 },
  { "&cent;", sizeof("&cent;")-1, 162 },
  { "&centerdot;", sizeof("&centerdot;")-1, 183 },
  { "&cfr;", sizeof("&cfr;")-1, 120096 },
  { "&chcy;", sizeof("&chcy;")-1, 1095 },
  { "&check;", sizeof("&check;")-1, 10003 },
  { "&checkmark;", sizeof("&checkmark;")-1, 10003 },
  { "&chi;", sizeof("&chi;")-1, 967 },
  { "&cir;", sizeof("&cir;")-1, 9675 },
  { "&cirE;", sizeof("&cirE;")-1, 10691 },
  { "&circ;", sizeof("&circ;")-1, 710 },
  { "&circeq;", sizeof("&circeq;")-1, 8791 },
  { "&circlearrowleft;", sizeof("&circlearrowleft;")-1, 8634 },
  { "&circlearrowright;", sizeof("&circlearrowright;")-1, 8635 },
  { "&circledR;", sizeof("&circledR;")-1, 174 },
  { "&circledS;", sizeof("&circledS;")-1, 9416 },
  { "&circledast;", sizeof("&circledast;")-1, 8859 },
  { "&circledcirc;", sizeof("&circledcirc;")-1, 8858 },
  { "&circleddash;", sizeof("&circleddash;")-1, 8861 },
  { "&cire;", sizeof("&cire;")-1, 8791 },
  { "&cirfnint;", sizeof("&cirfnint;")-1, 10768 },
  { "&cirmid;", sizeof("&cirmid;")-1, 10991 },
  { "&cirscir;", sizeof("&cirscir;")-1, 10690 },
  { "&clubs;", sizeof("&clubs;")-1, 9827 },
  { "&clubsuit;", sizeof("&clubsuit;")-1, 9827 },
  { "&colon;", sizeof("&colon;")-1, 58 },
  { "&colone;", sizeof("&colone;")-1, 8788 },
  { "&coloneq;", sizeof("&coloneq;")-1, 8788 },
  { "&comma;", sizeof("&comma;")-1, 44 },
  { "&commat;", sizeof("&commat;")-1, 64 },
  { "&comp;", sizeof("&comp;")-1, 8705 },
  { "&compfn;", sizeof("&compfn;")-1, 8728 },
  { "&complement;", sizeof("&complement;")-1, 8705 },
  { "&complexes;", sizeof("&complexes;")-1, 8450 },
  { "&cong;", sizeof("&cong;")-1, 8773 },
  { "&congdot;", sizeof("&congdot;")-1, 10861 },
  { "&conint;", sizeof("&conint;")-1, 8750 },
  { "&copf;", sizeof("&copf;")-1, 120148 },
  { "&coprod;", sizeof("&coprod;")-1, 8720 },
//  { "&copy", sizeof("&copy")-1, 169 },
  { "&copy;", sizeof("&copy;")-1, 169 },
  { "&copysr;", sizeof("&copysr;")-1, 8471 },
  { "&crarr;", sizeof("&crarr;")-1, 8629 },
  { "&cross;", sizeof("&cross;")-1, 10007 },
  { "&cscr;", sizeof("&cscr;")-1, 119992 },
  { "&csub;", sizeof("&csub;")-1, 10959 },
  { "&csube;", sizeof("&csube;")-1, 10961 },
  { "&csup;", sizeof("&csup;")-1, 10960 },
  { "&csupe;", sizeof("&csupe;")-1, 10962 },
  { "&ctdot;", sizeof("&ctdot;")-1, 8943 },
  { "&cudarrl;", sizeof("&cudarrl;")-1, 10552 },
  { "&cudarrr;", sizeof("&cudarrr;")-1, 10549 },
  { "&cuepr;", sizeof("&cuepr;")-1, 8926 },
  { "&cuesc;", sizeof("&cuesc;")-1, 8927 },
  { "&cularr;", sizeof("&cularr;")-1, 8630 },
  { "&cularrp;", sizeof("&cularrp;")-1, 10557 },
  { "&cup;", sizeof("&cup;")-1, 8746 },
  { "&cupbrcap;", sizeof("&cupbrcap;")-1, 10824 },
  { "&cupcap;", sizeof("&cupcap;")-1, 10822 },
  { "&cupcup;", sizeof("&cupcup;")-1, 10826 },
  { "&cupdot;", sizeof("&cupdot;")-1, 8845 },
  { "&cupor;", sizeof("&cupor;")-1, 10821 },
//  { "&cups;", sizeof("&cups;")-1, 8746, 65024 },
  { "&curarr;", sizeof("&curarr;")-1, 8631 },
  { "&curarrm;", sizeof("&curarrm;")-1, 10556 },
  { "&curlyeqprec;", sizeof("&curlyeqprec;")-1, 8926 },
  { "&curlyeqsucc;", sizeof("&curlyeqsucc;")-1, 8927 },
  { "&curlyvee;", sizeof("&curlyvee;")-1, 8910 },
  { "&curlywedge;", sizeof("&curlywedge;")-1, 8911 },
//  { "&curren", sizeof("&curren")-1, 164 },
  { "&curren;", sizeof("&curren;")-1, 164 },
  { "&curvearrowleft;", sizeof("&curvearrowleft;")-1, 8630 },
  { "&curvearrowright;", sizeof("&curvearrowright;")-1, 8631 },
  { "&cuvee;", sizeof("&cuvee;")-1, 8910 },
  { "&cuwed;", sizeof("&cuwed;")-1, 8911 },
  { "&cwconint;", sizeof("&cwconint;")-1, 8754 },
  { "&cwint;", sizeof("&cwint;")-1, 8753 },
  { "&cylcty;", sizeof("&cylcty;")-1, 9005 },
  { "&dArr;", sizeof("&dArr;")-1, 8659 },
  { "&dHar;", sizeof("&dHar;")-1, 10597 },
  { "&dagger;", sizeof("&dagger;")-1, 8224 },
  { "&daleth;", sizeof("&daleth;")-1, 8504 },
  { "&darr;", sizeof("&darr;")-1, 8595 },
  { "&dash;", sizeof("&dash;")-1, 8208 },
  { "&dashv;", sizeof("&dashv;")-1, 8867 },
  { "&dbkarow;", sizeof("&dbkarow;")-1, 10511 },
  { "&dblac;", sizeof("&dblac;")-1, 733 },
  { "&dcaron;", sizeof("&dcaron;")-1, 271 },
  { "&dcy;", sizeof("&dcy;")-1, 1076 },
  { "&dd;", sizeof("&dd;")-1, 8518 },
  { "&ddagger;", sizeof("&ddagger;")-1, 8225 },
  { "&ddarr;", sizeof("&ddarr;")-1, 8650 },
  { "&ddotseq;", sizeof("&ddotseq;")-1, 10871 },
//  { "&deg", sizeof("&deg")-1, 176 },
  { "&deg;", sizeof("&deg;")-1, 176 },
  { "&delta;", sizeof("&delta;")-1, 948 },
  { "&demptyv;", sizeof("&demptyv;")-1, 10673 },
  { "&dfisht;", sizeof("&dfisht;")-1, 10623 },
  { "&dfr;", sizeof("&dfr;")-1, 120097 },
  { "&dharl;", sizeof("&dharl;")-1, 8643 },
  { "&dharr;", sizeof("&dharr;")-1, 8642 },
  { "&diam;", sizeof("&diam;")-1, 8900 },
  { "&diamond;", sizeof("&diamond;")-1, 8900 },
  { "&diamondsuit;", sizeof("&diamondsuit;")-1, 9830 },
  { "&diams;", sizeof("&diams;")-1, 9830 },
  { "&die;", sizeof("&die;")-1, 168 },
  { "&digamma;", sizeof("&digamma;")-1, 989 },
  { "&disin;", sizeof("&disin;")-1, 8946 },
  { "&div;", sizeof("&div;")-1, 247 },
//  { "&divide", sizeof("&divide")-1, 247 },
  { "&divide;", sizeof("&divide;")-1, 247 },
  { "&divideontimes;", sizeof("&divideontimes;")-1, 8903 },
  { "&divonx;", sizeof("&divonx;")-1, 8903 },
  { "&djcy;", sizeof("&djcy;")-1, 1106 },
  { "&dlcorn;", sizeof("&dlcorn;")-1, 8990 },
  { "&dlcrop;", sizeof("&dlcrop;")-1, 8973 },
  { "&dollar;", sizeof("&dollar;")-1, 36 },
  { "&dopf;", sizeof("&dopf;")-1, 120149 },
  { "&dot;", sizeof("&dot;")-1, 729 },
  { "&doteq;", sizeof("&doteq;")-1, 8784 },
  { "&doteqdot;", sizeof("&doteqdot;")-1, 8785 },
  { "&dotminus;", sizeof("&dotminus;")-1, 8760 },
  { "&dotplus;", sizeof("&dotplus;")-1, 8724 },
  { "&dotsquare;", sizeof("&dotsquare;")-1, 8865 },
  { "&doublebarwedge;", sizeof("&doublebarwedge;")-1, 8966 },
  { "&downarrow;", sizeof("&downarrow;")-1, 8595 },
  { "&downdownarrows;", sizeof("&downdownarrows;")-1, 8650 },
  { "&downharpoonleft;", sizeof("&downharpoonleft;")-1, 8643 },
  { "&downharpoonright;", sizeof("&downharpoonright;")-1, 8642 },
  { "&drbkarow;", sizeof("&drbkarow;")-1, 10512 },
  { "&drcorn;", sizeof("&drcorn;")-1, 8991 },
  { "&drcrop;", sizeof("&drcrop;")-1, 8972 },
  { "&dscr;", sizeof("&dscr;")-1, 119993 },
  { "&dscy;", sizeof("&dscy;")-1, 1109 },
  { "&dsol;", sizeof("&dsol;")-1, 10742 },
  { "&dstrok;", sizeof("&dstrok;")-1, 273 },
  { "&dtdot;", sizeof("&dtdot;")-1, 8945 },
  { "&dtri;", sizeof("&dtri;")-1, 9663 },
  { "&dtrif;", sizeof("&dtrif;")-1, 9662 },
  { "&duarr;", sizeof("&duarr;")-1, 8693 },
  { "&duhar;", sizeof("&duhar;")-1, 10607 },
  { "&dwangle;", sizeof("&dwangle;")-1, 10662 },
  { "&dzcy;", sizeof("&dzcy;")-1, 1119 },
  { "&dzigrarr;", sizeof("&dzigrarr;")-1, 10239 },
  { "&eDDot;", sizeof("&eDDot;")-1, 10871 },
  { "&eDot;", sizeof("&eDot;")-1, 8785 },
//  { "&eacute", sizeof("&eacute")-1, 233 },
  { "&eacute;", sizeof("&eacute;")-1, 233 },
  { "&easter;", sizeof("&easter;")-1, 10862 },
  { "&ecaron;", sizeof("&ecaron;")-1, 283 },
  { "&ecir;", sizeof("&ecir;")-1, 8790 },
//  { "&ecirc", sizeof("&ecirc")-1, 234 },
  { "&ecirc;", sizeof("&ecirc;")-1, 234 },
  { "&ecolon;", sizeof("&ecolon;")-1, 8789 },
  { "&ecy;", sizeof("&ecy;")-1, 1101 },
  { "&edot;", sizeof("&edot;")-1, 279 },
  { "&ee;", sizeof("&ee;")-1, 8519 },
  { "&efDot;", sizeof("&efDot;")-1, 8786 },
  { "&efr;", sizeof("&efr;")-1, 120098 },
  { "&eg;", sizeof("&eg;")-1, 10906 },
//  { "&egrave", sizeof("&egrave")-1, 232 },
  { "&egrave;", sizeof("&egrave;")-1, 232 },
  { "&egs;", sizeof("&egs;")-1, 10902 },
  { "&egsdot;", sizeof("&egsdot;")-1, 10904 },
  { "&el;", sizeof("&el;")-1, 10905 },
  { "&elinters;", sizeof("&elinters;")-1, 9191 },
  { "&ell;", sizeof("&ell;")-1, 8467 },
  { "&els;", sizeof("&els;")-1, 10901 },
  { "&elsdot;", sizeof("&elsdot;")-1, 10903 },
  { "&emacr;", sizeof("&emacr;")-1, 275 },
  { "&empty;", sizeof("&empty;")-1, 8709 },
  { "&emptyset;", sizeof("&emptyset;")-1, 8709 },
  { "&emptyv;", sizeof("&emptyv;")-1, 8709 },
  { "&emsp13;", sizeof("&emsp13;")-1, 8196 },
  { "&emsp14;", sizeof("&emsp14;")-1, 8197 },
  { "&emsp;", sizeof("&emsp;")-1, 8195 },
  { "&eng;", sizeof("&eng;")-1, 331 },
  { "&ensp;", sizeof("&ensp;")-1, 8194 },
  { "&eogon;", sizeof("&eogon;")-1, 281 },
  { "&eopf;", sizeof("&eopf;")-1, 120150 },
  { "&epar;", sizeof("&epar;")-1, 8917 },
  { "&eparsl;", sizeof("&eparsl;")-1, 10723 },
  { "&eplus;", sizeof("&eplus;")-1, 10865 },
  { "&epsi;", sizeof("&epsi;")-1, 949 },
  { "&epsilon;", sizeof("&epsilon;")-1, 949 },
  { "&epsiv;", sizeof("&epsiv;")-1, 1013 },
  { "&eqcirc;", sizeof("&eqcirc;")-1, 8790 },
  { "&eqcolon;", sizeof("&eqcolon;")-1, 8789 },
  { "&eqsim;", sizeof("&eqsim;")-1, 8770 },
  { "&eqslantgtr;", sizeof("&eqslantgtr;")-1, 10902 },
  { "&eqslantless;", sizeof("&eqslantless;")-1, 10901 },
  { "&equals;", sizeof("&equals;")-1, 61 },
  { "&equest;", sizeof("&equest;")-1, 8799 },
  { "&equiv;", sizeof("&equiv;")-1, 8801 },
  { "&equivDD;", sizeof("&equivDD;")-1, 10872 },
  { "&eqvparsl;", sizeof("&eqvparsl;")-1, 10725 },
  { "&erDot;", sizeof("&erDot;")-1, 8787 },
  { "&erarr;", sizeof("&erarr;")-1, 10609 },
  { "&escr;", sizeof("&escr;")-1, 8495 },
  { "&esdot;", sizeof("&esdot;")-1, 8784 },
  { "&esim;", sizeof("&esim;")-1, 8770 },
  { "&eta;", sizeof("&eta;")-1, 951 },
//  { "&eth", sizeof("&eth")-1, 240 },
  { "&eth;", sizeof("&eth;")-1, 240 },
//  { "&euml", sizeof("&euml")-1, 235 },
  { "&euml;", sizeof("&euml;")-1, 235 },
  { "&euro;", sizeof("&euro;")-1, 8364 },
  { "&excl;", sizeof("&excl;")-1, 33 },
  { "&exist;", sizeof("&exist;")-1, 8707 },
  { "&expectation;", sizeof("&expectation;")-1, 8496 },
  { "&exponentiale;", sizeof("&exponentiale;")-1, 8519 },
  { "&fallingdotseq;", sizeof("&fallingdotseq;")-1, 8786 },
  { "&fcy;", sizeof("&fcy;")-1, 1092 },
  { "&female;", sizeof("&female;")-1, 9792 },
  { "&ffilig;", sizeof("&ffilig;")-1, 64259 },
  { "&fflig;", sizeof("&fflig;")-1, 64256 },
  { "&ffllig;", sizeof("&ffllig;")-1, 64260 },
  { "&ffr;", sizeof("&ffr;")-1, 120099 },
  { "&filig;", sizeof("&filig;")-1, 64257 },
//  { "&fjlig;", sizeof("&fjlig;")-1, 102, 106 },
  { "&flat;", sizeof("&flat;")-1, 9837 },
  { "&fllig;", sizeof("&fllig;")-1, 64258 },
  { "&fltns;", sizeof("&fltns;")-1, 9649 },
  { "&fnof;", sizeof("&fnof;")-1, 402 },
  { "&fopf;", sizeof("&fopf;")-1, 120151 },
  { "&forall;", sizeof("&forall;")-1, 8704 },
  { "&fork;", sizeof("&fork;")-1, 8916 },
  { "&forkv;", sizeof("&forkv;")-1, 10969 },
  { "&fpartint;", sizeof("&fpartint;")-1, 10765 },
//  { "&frac12", sizeof("&frac12")-1, 189 },
  { "&frac12;", sizeof("&frac12;")-1, 189 },
  { "&frac13;", sizeof("&frac13;")-1, 8531 },
//  { "&frac14", sizeof("&frac14")-1, 188 },
  { "&frac14;", sizeof("&frac14;")-1, 188 },
  { "&frac15;", sizeof("&frac15;")-1, 8533 },
  { "&frac16;", sizeof("&frac16;")-1, 8537 },
  { "&frac18;", sizeof("&frac18;")-1, 8539 },
  { "&frac23;", sizeof("&frac23;")-1, 8532 },
  { "&frac25;", sizeof("&frac25;")-1, 8534 },
//  { "&frac34", sizeof("&frac34")-1, 190 },
  { "&frac34;", sizeof("&frac34;")-1, 190 },
  { "&frac35;", sizeof("&frac35;")-1, 8535 },
  { "&frac38;", sizeof("&frac38;")-1, 8540 },
  { "&frac45;", sizeof("&frac45;")-1, 8536 },
  { "&frac56;", sizeof("&frac56;")-1, 8538 },
  { "&frac58;", sizeof("&frac58;")-1, 8541 },
  { "&frac78;", sizeof("&frac78;")-1, 8542 },
  { "&frasl;", sizeof("&frasl;")-1, 8260 },
  { "&frown;", sizeof("&frown;")-1, 8994 },
  { "&fscr;", sizeof("&fscr;")-1, 119995 },
  { "&gE;", sizeof("&gE;")-1, 8807 },
  { "&gEl;", sizeof("&gEl;")-1, 10892 },
  { "&gacute;", sizeof("&gacute;")-1, 501 },
  { "&gamma;", sizeof("&gamma;")-1, 947 },
  { "&gammad;", sizeof("&gammad;")-1, 989 },
  { "&gap;", sizeof("&gap;")-1, 10886 },
  { "&gbreve;", sizeof("&gbreve;")-1, 287 },
  { "&gcirc;", sizeof("&gcirc;")-1, 285 },
  { "&gcy;", sizeof("&gcy;")-1, 1075 },
  { "&gdot;", sizeof("&gdot;")-1, 289 },
  { "&ge;", sizeof("&ge;")-1, 8805 },
  { "&gel;", sizeof("&gel;")-1, 8923 },
  { "&geq;", sizeof("&geq;")-1, 8805 },
  { "&geqq;", sizeof("&geqq;")-1, 8807 },
  { "&geqslant;", sizeof("&geqslant;")-1, 10878 },
  { "&ges;", sizeof("&ges;")-1, 10878 },
  { "&gescc;", sizeof("&gescc;")-1, 10921 },
  { "&gesdot;", sizeof("&gesdot;")-1, 10880 },
  { "&gesdoto;", sizeof("&gesdoto;")-1, 10882 },
  { "&gesdotol;", sizeof("&gesdotol;")-1, 10884 },
//  { "&gesl;", sizeof("&gesl;")-1, 8923, 65024 },
  { "&gesles;", sizeof("&gesles;")-1, 10900 },
  { "&gfr;", sizeof("&gfr;")-1, 120100 },
  { "&gg;", sizeof("&gg;")-1, 8811 },
  { "&ggg;", sizeof("&ggg;")-1, 8921 },
  { "&gimel;", sizeof("&gimel;")-1, 8503 },
  { "&gjcy;", sizeof("&gjcy;")-1, 1107 },
  { "&gl;", sizeof("&gl;")-1, 8823 },
  { "&glE;", sizeof("&glE;")-1, 10898 },
  { "&gla;", sizeof("&gla;")-1, 10917 },
  { "&glj;", sizeof("&glj;")-1, 10916 },
  { "&gnE;", sizeof("&gnE;")-1, 8809 },
  { "&gnap;", sizeof("&gnap;")-1, 10890 },
  { "&gnapprox;", sizeof("&gnapprox;")-1, 10890 },
  { "&gne;", sizeof("&gne;")-1, 10888 },
  { "&gneq;", sizeof("&gneq;")-1, 10888 },
  { "&gneqq;", sizeof("&gneqq;")-1, 8809 },
  { "&gnsim;", sizeof("&gnsim;")-1, 8935 },
  { "&gopf;", sizeof("&gopf;")-1, 120152 },
  { "&grave;", sizeof("&grave;")-1, 96 },
  { "&gscr;", sizeof("&gscr;")-1, 8458 },
  { "&gsim;", sizeof("&gsim;")-1, 8819 },
  { "&gsime;", sizeof("&gsime;")-1, 10894 },
  { "&gsiml;", sizeof("&gsiml;")-1, 10896 },
//  { "&gt", sizeof("&gt")-1, 62 },
  { "&gt;", sizeof("&gt;")-1, 62 },
  { "&gtcc;", sizeof("&gtcc;")-1, 10919 },
  { "&gtcir;", sizeof("&gtcir;")-1, 10874 },
  { "&gtdot;", sizeof("&gtdot;")-1, 8919 },
  { "&gtlPar;", sizeof("&gtlPar;")-1, 10645 },
  { "&gtquest;", sizeof("&gtquest;")-1, 10876 },
  { "&gtrapprox;", sizeof("&gtrapprox;")-1, 10886 },
  { "&gtrarr;", sizeof("&gtrarr;")-1, 10616 },
  { "&gtrdot;", sizeof("&gtrdot;")-1, 8919 },
  { "&gtreqless;", sizeof("&gtreqless;")-1, 8923 },
  { "&gtreqqless;", sizeof("&gtreqqless;")-1, 10892 },
  { "&gtrless;", sizeof("&gtrless;")-1, 8823 },
  { "&gtrsim;", sizeof("&gtrsim;")-1, 8819 },
//  { "&gvertneqq;", sizeof("&gvertneqq;")-1, 8809, 65024 },
//  { "&gvnE;", sizeof("&gvnE;")-1, 8809, 65024 },
  { "&hArr;", sizeof("&hArr;")-1, 8660 },
  { "&hairsp;", sizeof("&hairsp;")-1, 8202 },
  { "&half;", sizeof("&half;")-1, 189 },
  { "&hamilt;", sizeof("&hamilt;")-1, 8459 },
  { "&hardcy;", sizeof("&hardcy;")-1, 1098 },
  { "&harr;", sizeof("&harr;")-1, 8596 },
  { "&harrcir;", sizeof("&harrcir;")-1, 10568 },
  { "&harrw;", sizeof("&harrw;")-1, 8621 },
  { "&hbar;", sizeof("&hbar;")-1, 8463 },
  { "&hcirc;", sizeof("&hcirc;")-1, 293 },
  { "&hearts;", sizeof("&hearts;")-1, 9829 },
  { "&heartsuit;", sizeof("&heartsuit;")-1, 9829 },
  { "&hellip;", sizeof("&hellip;")-1, 8230 },
  { "&hercon;", sizeof("&hercon;")-1, 8889 },
  { "&hfr;", sizeof("&hfr;")-1, 120101 },
  { "&hksearow;", sizeof("&hksearow;")-1, 10533 },
  { "&hkswarow;", sizeof("&hkswarow;")-1, 10534 },
  { "&hoarr;", sizeof("&hoarr;")-1, 8703 },
  { "&homtht;", sizeof("&homtht;")-1, 8763 },
  { "&hookleftarrow;", sizeof("&hookleftarrow;")-1, 8617 },
  { "&hookrightarrow;", sizeof("&hookrightarrow;")-1, 8618 },
  { "&hopf;", sizeof("&hopf;")-1, 120153 },
  { "&horbar;", sizeof("&horbar;")-1, 8213 },
  { "&hscr;", sizeof("&hscr;")-1, 119997 },
  { "&hslash;", sizeof("&hslash;")-1, 8463 },
  { "&hstrok;", sizeof("&hstrok;")-1, 295 },
  { "&hybull;", sizeof("&hybull;")-1, 8259 },
  { "&hyphen;", sizeof("&hyphen;")-1, 8208 },
//  { "&iacute", sizeof("&iacute")-1, 237 },
  { "&iacute;", sizeof("&iacute;")-1, 237 },
  { "&ic;", sizeof("&ic;")-1, 8291 },
//  { "&icirc", sizeof("&icirc")-1, 238 },
  { "&icirc;", sizeof("&icirc;")-1, 238 },
  { "&icy;", sizeof("&icy;")-1, 1080 },
  { "&iecy;", sizeof("&iecy;")-1, 1077 },
//  { "&iexcl", sizeof("&iexcl")-1, 161 },
  { "&iexcl;", sizeof("&iexcl;")-1, 161 },
  { "&iff;", sizeof("&iff;")-1, 8660 },
  { "&ifr;", sizeof("&ifr;")-1, 120102 },
//  { "&igrave", sizeof("&igrave")-1, 236 },
  { "&igrave;", sizeof("&igrave;")-1, 236 },
  { "&ii;", sizeof("&ii;")-1, 8520 },
  { "&iiiint;", sizeof("&iiiint;")-1, 10764 },
  { "&iiint;", sizeof("&iiint;")-1, 8749 },
  { "&iinfin;", sizeof("&iinfin;")-1, 10716 },
  { "&iiota;", sizeof("&iiota;")-1, 8489 },
  { "&ijlig;", sizeof("&ijlig;")-1, 307 },
  { "&imacr;", sizeof("&imacr;")-1, 299 },
  { "&image;", sizeof("&image;")-1, 8465 },
  { "&imagline;", sizeof("&imagline;")-1, 8464 },
  { "&imagpart;", sizeof("&imagpart;")-1, 8465 },
  { "&imath;", sizeof("&imath;")-1, 305 },
  { "&imof;", sizeof("&imof;")-1, 8887 },
  { "&imped;", sizeof("&imped;")-1, 437 },
  { "&in;", sizeof("&in;")-1, 8712 },
  { "&incare;", sizeof("&incare;")-1, 8453 },
  { "&infin;", sizeof("&infin;")-1, 8734 },
  { "&infintie;", sizeof("&infintie;")-1, 10717 },
  { "&inodot;", sizeof("&inodot;")-1, 305 },
  { "&int;", sizeof("&int;")-1, 8747 },
  { "&intcal;", sizeof("&intcal;")-1, 8890 },
  { "&integers;", sizeof("&integers;")-1, 8484 },
  { "&intercal;", sizeof("&intercal;")-1, 8890 },
  { "&intlarhk;", sizeof("&intlarhk;")-1, 10775 },
  { "&intprod;", sizeof("&intprod;")-1, 10812 },
  { "&iocy;", sizeof("&iocy;")-1, 1105 },
  { "&iogon;", sizeof("&iogon;")-1, 303 },
  { "&iopf;", sizeof("&iopf;")-1, 120154 },
  { "&iota;", sizeof("&iota;")-1, 953 },
  { "&iprod;", sizeof("&iprod;")-1, 10812 },
//  { "&iquest", sizeof("&iquest")-1, 191 },
  { "&iquest;", sizeof("&iquest;")-1, 191 },
  { "&iscr;", sizeof("&iscr;")-1, 119998 },
  { "&isin;", sizeof("&isin;")-1, 8712 },
  { "&isinE;", sizeof("&isinE;")-1, 8953 },
  { "&isindot;", sizeof("&isindot;")-1, 8949 },
  { "&isins;", sizeof("&isins;")-1, 8948 },
  { "&isinsv;", sizeof("&isinsv;")-1, 8947 },
  { "&isinv;", sizeof("&isinv;")-1, 8712 },
  { "&it;", sizeof("&it;")-1, 8290 },
  { "&itilde;", sizeof("&itilde;")-1, 297 },
  { "&iukcy;", sizeof("&iukcy;")-1, 1110 },
//  { "&iuml", sizeof("&iuml")-1, 239 },
  { "&iuml;", sizeof("&iuml;")-1, 239 },
  { "&jcirc;", sizeof("&jcirc;")-1, 309 },
  { "&jcy;", sizeof("&jcy;")-1, 1081 },
  { "&jfr;", sizeof("&jfr;")-1, 120103 },
  { "&jmath;", sizeof("&jmath;")-1, 567 },
  { "&jopf;", sizeof("&jopf;")-1, 120155 },
  { "&jscr;", sizeof("&jscr;")-1, 119999 },
  { "&jsercy;", sizeof("&jsercy;")-1, 1112 },
  { "&jukcy;", sizeof("&jukcy;")-1, 1108 },
  { "&kappa;", sizeof("&kappa;")-1, 954 },
  { "&kappav;", sizeof("&kappav;")-1, 1008 },
  { "&kcedil;", sizeof("&kcedil;")-1, 311 },
  { "&kcy;", sizeof("&kcy;")-1, 1082 },
  { "&kfr;", sizeof("&kfr;")-1, 120104 },
  { "&kgreen;", sizeof("&kgreen;")-1, 312 },
  { "&khcy;", sizeof("&khcy;")-1, 1093 },
  { "&kjcy;", sizeof("&kjcy;")-1, 1116 },
  { "&kopf;", sizeof("&kopf;")-1, 120156 },
  { "&kscr;", sizeof("&kscr;")-1, 120000 },
  { "&lAarr;", sizeof("&lAarr;")-1, 8666 },
  { "&lArr;", sizeof("&lArr;")-1, 8656 },
  { "&lAtail;", sizeof("&lAtail;")-1, 10523 },
  { "&lBarr;", sizeof("&lBarr;")-1, 10510 },
  { "&lE;", sizeof("&lE;")-1, 8806 },
  { "&lEg;", sizeof("&lEg;")-1, 10891 },
  { "&lHar;", sizeof("&lHar;")-1, 10594 },
  { "&lacute;", sizeof("&lacute;")-1, 314 },
  { "&laemptyv;", sizeof("&laemptyv;")-1, 10676 },
  { "&lagran;", sizeof("&lagran;")-1, 8466 },
  { "&lambda;", sizeof("&lambda;")-1, 955 },
  { "&lang;", sizeof("&lang;")-1, 10216 },
  { "&langd;", sizeof("&langd;")-1, 10641 },
  { "&langle;", sizeof("&langle;")-1, 10216 },
  { "&lap;", sizeof("&lap;")-1, 10885 },
//  { "&laquo", sizeof("&laquo")-1, 171 },
  { "&laquo;", sizeof("&laquo;")-1, 171 },
  { "&larr;", sizeof("&larr;")-1, 8592 },
  { "&larrb;", sizeof("&larrb;")-1, 8676 },
  { "&larrbfs;", sizeof("&larrbfs;")-1, 10527 },
  { "&larrfs;", sizeof("&larrfs;")-1, 10525 },
  { "&larrhk;", sizeof("&larrhk;")-1, 8617 },
  { "&larrlp;", sizeof("&larrlp;")-1, 8619 },
  { "&larrpl;", sizeof("&larrpl;")-1, 10553 },
  { "&larrsim;", sizeof("&larrsim;")-1, 10611 },
  { "&larrtl;", sizeof("&larrtl;")-1, 8610 },
  { "&lat;", sizeof("&lat;")-1, 10923 },
  { "&latail;", sizeof("&latail;")-1, 10521 },
  { "&late;", sizeof("&late;")-1, 10925 },
//  { "&lates;", sizeof("&lates;")-1, 10925, 65024 },
  { "&lbarr;", sizeof("&lbarr;")-1, 10508 },
  { "&lbbrk;", sizeof("&lbbrk;")-1, 10098 },
  { "&lbrace;", sizeof("&lbrace;")-1, 123 },
  { "&lbrack;", sizeof("&lbrack;")-1, 91 },
  { "&lbrke;", sizeof("&lbrke;")-1, 10635 },
  { "&lbrksld;", sizeof("&lbrksld;")-1, 10639 },
  { "&lbrkslu;", sizeof("&lbrkslu;")-1, 10637 },
  { "&lcaron;", sizeof("&lcaron;")-1, 318 },
  { "&lcedil;", sizeof("&lcedil;")-1, 316 },
  { "&lceil;", sizeof("&lceil;")-1, 8968 },
  { "&lcub;", sizeof("&lcub;")-1, 123 },
  { "&lcy;", sizeof("&lcy;")-1, 1083 },
  { "&ldca;", sizeof("&ldca;")-1, 10550 },
  { "&ldquo;", sizeof("&ldquo;")-1, 8220 },
  { "&ldquor;", sizeof("&ldquor;")-1, 8222 },
  { "&ldrdhar;", sizeof("&ldrdhar;")-1, 10599 },
  { "&ldrushar;", sizeof("&ldrushar;")-1, 10571 },
  { "&ldsh;", sizeof("&ldsh;")-1, 8626 },
  { "&le;", sizeof("&le;")-1, 8804 },
  { "&leftarrow;", sizeof("&leftarrow;")-1, 8592 },
  { "&leftarrowtail;", sizeof("&leftarrowtail;")-1, 8610 },
  { "&leftharpoondown;", sizeof("&leftharpoondown;")-1, 8637 },
  { "&leftharpoonup;", sizeof("&leftharpoonup;")-1, 8636 },
  { "&leftleftarrows;", sizeof("&leftleftarrows;")-1, 8647 },
  { "&leftrightarrow;", sizeof("&leftrightarrow;")-1, 8596 },
  { "&leftrightarrows;", sizeof("&leftrightarrows;")-1, 8646 },
  { "&leftrightharpoons;", sizeof("&leftrightharpoons;")-1, 8651 },
  { "&leftrightsquigarrow;", sizeof("&leftrightsquigarrow;")-1, 8621 },
  { "&leftthreetimes;", sizeof("&leftthreetimes;")-1, 8907 },
  { "&leg;", sizeof("&leg;")-1, 8922 },
  { "&leq;", sizeof("&leq;")-1, 8804 },
  { "&leqq;", sizeof("&leqq;")-1, 8806 },
  { "&leqslant;", sizeof("&leqslant;")-1, 10877 },
  { "&les;", sizeof("&les;")-1, 10877 },
  { "&lescc;", sizeof("&lescc;")-1, 10920 },
  { "&lesdot;", sizeof("&lesdot;")-1, 10879 },
  { "&lesdoto;", sizeof("&lesdoto;")-1, 10881 },
  { "&lesdotor;", sizeof("&lesdotor;")-1, 10883 },
//  { "&lesg;", sizeof("&lesg;")-1, 8922, 65024 },
  { "&lesges;", sizeof("&lesges;")-1, 10899 },
  { "&lessapprox;", sizeof("&lessapprox;")-1, 10885 },
  { "&lessdot;", sizeof("&lessdot;")-1, 8918 },
  { "&lesseqgtr;", sizeof("&lesseqgtr;")-1, 8922 },
  { "&lesseqqgtr;", sizeof("&lesseqqgtr;")-1, 10891 },
  { "&lessgtr;", sizeof("&lessgtr;")-1, 8822 },
  { "&lesssim;", sizeof("&lesssim;")-1, 8818 },
  { "&lfisht;", sizeof("&lfisht;")-1, 10620 },
  { "&lfloor;", sizeof("&lfloor;")-1, 8970 },
  { "&lfr;", sizeof("&lfr;")-1, 120105 },
  { "&lg;", sizeof("&lg;")-1, 8822 },
  { "&lgE;", sizeof("&lgE;")-1, 10897 },
  { "&lhard;", sizeof("&lhard;")-1, 8637 },
  { "&lharu;", sizeof("&lharu;")-1, 8636 },
  { "&lharul;", sizeof("&lharul;")-1, 10602 },
  { "&lhblk;", sizeof("&lhblk;")-1, 9604 },
  { "&ljcy;", sizeof("&ljcy;")-1, 1113 },
  { "&ll;", sizeof("&ll;")-1, 8810 },
  { "&llarr;", sizeof("&llarr;")-1, 8647 },
  { "&llcorner;", sizeof("&llcorner;")-1, 8990 },
  { "&llhard;", sizeof("&llhard;")-1, 10603 },
  { "&lltri;", sizeof("&lltri;")-1, 9722 },
  { "&lmidot;", sizeof("&lmidot;")-1, 320 },
  { "&lmoust;", sizeof("&lmoust;")-1, 9136 },
  { "&lmoustache;", sizeof("&lmoustache;")-1, 9136 },
  { "&lnE;", sizeof("&lnE;")-1, 8808 },
  { "&lnap;", sizeof("&lnap;")-1, 10889 },
  { "&lnapprox;", sizeof("&lnapprox;")-1, 10889 },
  { "&lne;", sizeof("&lne;")-1, 10887 },
  { "&lneq;", sizeof("&lneq;")-1, 10887 },
  { "&lneqq;", sizeof("&lneqq;")-1, 8808 },
  { "&lnsim;", sizeof("&lnsim;")-1, 8934 },
  { "&loang;", sizeof("&loang;")-1, 10220 },
  { "&loarr;", sizeof("&loarr;")-1, 8701 },
  { "&lobrk;", sizeof("&lobrk;")-1, 10214 },
  { "&longleftarrow;", sizeof("&longleftarrow;")-1, 10229 },
  { "&longleftrightarrow;", sizeof("&longleftrightarrow;")-1, 10231 },
  { "&longmapsto;", sizeof("&longmapsto;")-1, 10236 },
  { "&longrightarrow;", sizeof("&longrightarrow;")-1, 10230 },
  { "&looparrowleft;", sizeof("&looparrowleft;")-1, 8619 },
  { "&looparrowright;", sizeof("&looparrowright;")-1, 8620 },
  { "&lopar;", sizeof("&lopar;")-1, 10629 },
  { "&lopf;", sizeof("&lopf;")-1, 120157 },
  { "&loplus;", sizeof("&loplus;")-1, 10797 },
  { "&lotimes;", sizeof("&lotimes;")-1, 10804 },
  { "&lowast;", sizeof("&lowast;")-1, 8727 },
  { "&lowbar;", sizeof("&lowbar;")-1, 95 },
  { "&loz;", sizeof("&loz;")-1, 9674 },
  { "&lozenge;", sizeof("&lozenge;")-1, 9674 },
  { "&lozf;", sizeof("&lozf;")-1, 10731 },
  { "&lpar;", sizeof("&lpar;")-1, 40 },
  { "&lparlt;", sizeof("&lparlt;")-1, 10643 },
  { "&lrarr;", sizeof("&lrarr;")-1, 8646 },
  { "&lrcorner;", sizeof("&lrcorner;")-1, 8991 },
  { "&lrhar;", sizeof("&lrhar;")-1, 8651 },
  { "&lrhard;", sizeof("&lrhard;")-1, 10605 },
  { "&lrm;", sizeof("&lrm;")-1, 8206 },
  { "&lrtri;", sizeof("&lrtri;")-1, 8895 },
  { "&lsaquo;", sizeof("&lsaquo;")-1, 8249 },
  { "&lscr;", sizeof("&lscr;")-1, 120001 },
  { "&lsh;", sizeof("&lsh;")-1, 8624 },
  { "&lsim;", sizeof("&lsim;")-1, 8818 },
  { "&lsime;", sizeof("&lsime;")-1, 10893 },
  { "&lsimg;", sizeof("&lsimg;")-1, 10895 },
  { "&lsqb;", sizeof("&lsqb;")-1, 91 },
  { "&lsquo;", sizeof("&lsquo;")-1, 8216 },
  { "&lsquor;", sizeof("&lsquor;")-1, 8218 },
  { "&lstrok;", sizeof("&lstrok;")-1, 322 },
//  { "&lt", sizeof("&lt")-1, 60 },
  { "&lt;", sizeof("&lt;")-1, 60 },
  { "&ltcc;", sizeof("&ltcc;")-1, 10918 },
  { "&ltcir;", sizeof("&ltcir;")-1, 10873 },
  { "&ltdot;", sizeof("&ltdot;")-1, 8918 },
  { "&lthree;", sizeof("&lthree;")-1, 8907 },
  { "&ltimes;", sizeof("&ltimes;")-1, 8905 },
  { "&ltlarr;", sizeof("&ltlarr;")-1, 10614 },
  { "&ltquest;", sizeof("&ltquest;")-1, 10875 },
  { "&ltrPar;", sizeof("&ltrPar;")-1, 10646 },
  { "&ltri;", sizeof("&ltri;")-1, 9667 },
  { "&ltrie;", sizeof("&ltrie;")-1, 8884 },
  { "&ltrif;", sizeof("&ltrif;")-1, 9666 },
  { "&lurdshar;", sizeof("&lurdshar;")-1, 10570 },
  { "&luruhar;", sizeof("&luruhar;")-1, 10598 },
//  { "&lvertneqq;", sizeof("&lvertneqq;")-1, 8808, 65024 },
//  { "&lvnE;", sizeof("&lvnE;")-1, 8808, 65024 },
  { "&mDDot;", sizeof("&mDDot;")-1, 8762 },
//  { "&macr", sizeof("&macr")-1, 175 },
  { "&macr;", sizeof("&macr;")-1, 175 },
  { "&male;", sizeof("&male;")-1, 9794 },
  { "&malt;", sizeof("&malt;")-1, 10016 },
  { "&maltese;", sizeof("&maltese;")-1, 10016 },
  { "&map;", sizeof("&map;")-1, 8614 },
  { "&mapsto;", sizeof("&mapsto;")-1, 8614 },
  { "&mapstodown;", sizeof("&mapstodown;")-1, 8615 },
  { "&mapstoleft;", sizeof("&mapstoleft;")-1, 8612 },
  { "&mapstoup;", sizeof("&mapstoup;")-1, 8613 },
  { "&marker;", sizeof("&marker;")-1, 9646 },
  { "&mcomma;", sizeof("&mcomma;")-1, 10793 },
  { "&mcy;", sizeof("&mcy;")-1, 1084 },
  { "&mdash;", sizeof("&mdash;")-1, 8212 },
  { "&measuredangle;", sizeof("&measuredangle;")-1, 8737 },
  { "&mfr;", sizeof("&mfr;")-1, 120106 },
  { "&mho;", sizeof("&mho;")-1, 8487 },
//  { "&micro", sizeof("&micro")-1, 181 },
  { "&micro;", sizeof("&micro;")-1, 181 },
  { "&mid;", sizeof("&mid;")-1, 8739 },
  { "&midast;", sizeof("&midast;")-1, 42 },
  { "&midcir;", sizeof("&midcir;")-1, 10992 },
//  { "&middot", sizeof("&middot")-1, 183 },
  { "&middot;", sizeof("&middot;")-1, 183 },
  { "&minus;", sizeof("&minus;")-1, 8722 },
  { "&minusb;", sizeof("&minusb;")-1, 8863 },
  { "&minusd;", sizeof("&minusd;")-1, 8760 },
  { "&minusdu;", sizeof("&minusdu;")-1, 10794 },
  { "&mlcp;", sizeof("&mlcp;")-1, 10971 },
  { "&mldr;", sizeof("&mldr;")-1, 8230 },
  { "&mnplus;", sizeof("&mnplus;")-1, 8723 },
  { "&models;", sizeof("&models;")-1, 8871 },
  { "&mopf;", sizeof("&mopf;")-1, 120158 },
  { "&mp;", sizeof("&mp;")-1, 8723 },
  { "&mscr;", sizeof("&mscr;")-1, 120002 },
  { "&mstpos;", sizeof("&mstpos;")-1, 8766 },
  { "&mu;", sizeof("&mu;")-1, 956 },
  { "&multimap;", sizeof("&multimap;")-1, 8888 },
  { "&mumap;", sizeof("&mumap;")-1, 8888 },
//  { "&nGg;", sizeof("&nGg;")-1, 8921, 824 },
//  { "&nGt;", sizeof("&nGt;")-1, 8811, 8402 },
//  { "&nGtv;", sizeof("&nGtv;")-1, 8811, 824 },
  { "&nLeftarrow;", sizeof("&nLeftarrow;")-1, 8653 },
  { "&nLeftrightarrow;", sizeof("&nLeftrightarrow;")-1, 8654 },
//  { "&nLl;", sizeof("&nLl;")-1, 8920, 824 },
//  { "&nLt;", sizeof("&nLt;")-1, 8810, 8402 },
//  { "&nLtv;", sizeof("&nLtv;")-1, 8810, 824 },
  { "&nRightarrow;", sizeof("&nRightarrow;")-1, 8655 },
  { "&nVDash;", sizeof("&nVDash;")-1, 8879 },
  { "&nVdash;", sizeof("&nVdash;")-1, 8878 },
  { "&nabla;", sizeof("&nabla;")-1, 8711 },
  { "&nacute;", sizeof("&nacute;")-1, 324 },
//  { "&nang;", sizeof("&nang;")-1, 8736, 8402 },
  { "&nap;", sizeof("&nap;")-1, 8777 },
//  { "&napE;", sizeof("&napE;")-1, 10864, 824 },
//  { "&napid;", sizeof("&napid;")-1, 8779, 824 },
  { "&napos;", sizeof("&napos;")-1, 329 },
  { "&napprox;", sizeof("&napprox;")-1, 8777 },
  { "&natur;", sizeof("&natur;")-1, 9838 },
  { "&natural;", sizeof("&natural;")-1, 9838 },
  { "&naturals;", sizeof("&naturals;")-1, 8469 },
//  { "&nbsp", sizeof("&nbsp")-1, 160 },
  { "&nbsp;", sizeof("&nbsp;")-1, 160 },
//  { "&nbump;", sizeof("&nbump;")-1, 8782, 824 },
//  { "&nbumpe;", sizeof("&nbumpe;")-1, 8783, 824 },
  { "&ncap;", sizeof("&ncap;")-1, 10819 },
  { "&ncaron;", sizeof("&ncaron;")-1, 328 },
  { "&ncedil;", sizeof("&ncedil;")-1, 326 },
  { "&ncong;", sizeof("&ncong;")-1, 8775 },
//  { "&ncongdot;", sizeof("&ncongdot;")-1, 10861, 824 },
  { "&ncup;", sizeof("&ncup;")-1, 10818 },
  { "&ncy;", sizeof("&ncy;")-1, 1085 },
  { "&ndash;", sizeof("&ndash;")-1, 8211 },
  { "&ne;", sizeof("&ne;")-1, 8800 },
  { "&neArr;", sizeof("&neArr;")-1, 8663 },
  { "&nearhk;", sizeof("&nearhk;")-1, 10532 },
  { "&nearr;", sizeof("&nearr;")-1, 8599 },
  { "&nearrow;", sizeof("&nearrow;")-1, 8599 },
//  { "&nedot;", sizeof("&nedot;")-1, 8784, 824 },
  { "&nequiv;", sizeof("&nequiv;")-1, 8802 },
  { "&nesear;", sizeof("&nesear;")-1, 10536 },
//  { "&nesim;", sizeof("&nesim;")-1, 8770, 824 },
  { "&nexist;", sizeof("&nexist;")-1, 8708 },
  { "&nexists;", sizeof("&nexists;")-1, 8708 },
  { "&nfr;", sizeof("&nfr;")-1, 120107 },
//  { "&ngE;", sizeof("&ngE;")-1, 8807, 824 },
  { "&nge;", sizeof("&nge;")-1, 8817 },
  { "&ngeq;", sizeof("&ngeq;")-1, 8817 },
//  { "&ngeqq;", sizeof("&ngeqq;")-1, 8807, 824 },
//  { "&ngeqslant;", sizeof("&ngeqslant;")-1, 10878, 824 },
//  { "&nges;", sizeof("&nges;")-1, 10878, 824 },
  { "&ngsim;", sizeof("&ngsim;")-1, 8821 },
  { "&ngt;", sizeof("&ngt;")-1, 8815 },
  { "&ngtr;", sizeof("&ngtr;")-1, 8815 },
  { "&nhArr;", sizeof("&nhArr;")-1, 8654 },
  { "&nharr;", sizeof("&nharr;")-1, 8622 },
  { "&nhpar;", sizeof("&nhpar;")-1, 10994 },
  { "&ni;", sizeof("&ni;")-1, 8715 },
  { "&nis;", sizeof("&nis;")-1, 8956 },
  { "&nisd;", sizeof("&nisd;")-1, 8954 },
  { "&niv;", sizeof("&niv;")-1, 8715 },
  { "&njcy;", sizeof("&njcy;")-1, 1114 },
  { "&nlArr;", sizeof("&nlArr;")-1, 8653 },
//  { "&nlE;", sizeof("&nlE;")-1, 8806, 824 },
  { "&nlarr;", sizeof("&nlarr;")-1, 8602 },
  { "&nldr;", sizeof("&nldr;")-1, 8229 },
  { "&nle;", sizeof("&nle;")-1, 8816 },
  { "&nleftarrow;", sizeof("&nleftarrow;")-1, 8602 },
  { "&nleftrightarrow;", sizeof("&nleftrightarrow;")-1, 8622 },
  { "&nleq;", sizeof("&nleq;")-1, 8816 },
//  { "&nleqq;", sizeof("&nleqq;")-1, 8806, 824 },
//  { "&nleqslant;", sizeof("&nleqslant;")-1, 10877, 824 },
//  { "&nles;", sizeof("&nles;")-1, 10877, 824 },
  { "&nless;", sizeof("&nless;")-1, 8814 },
  { "&nlsim;", sizeof("&nlsim;")-1, 8820 },
  { "&nlt;", sizeof("&nlt;")-1, 8814 },
  { "&nltri;", sizeof("&nltri;")-1, 8938 },
  { "&nltrie;", sizeof("&nltrie;")-1, 8940 },
  { "&nmid;", sizeof("&nmid;")-1, 8740 },
  { "&nopf;", sizeof("&nopf;")-1, 120159 },
//  { "&not", sizeof("&not")-1, 172 },
  { "&not;", sizeof("&not;")-1, 172 },
  { "&notin;", sizeof("&notin;")-1, 8713 },
//  { "&notinE;", sizeof("&notinE;")-1, 8953, 824 },
//  { "&notindot;", sizeof("&notindot;")-1, 8949, 824 },
  { "&notinva;", sizeof("&notinva;")-1, 8713 },
  { "&notinvb;", sizeof("&notinvb;")-1, 8951 },
  { "&notinvc;", sizeof("&notinvc;")-1, 8950 },
  { "&notni;", sizeof("&notni;")-1, 8716 },
  { "&notniva;", sizeof("&notniva;")-1, 8716 },
  { "&notnivb;", sizeof("&notnivb;")-1, 8958 },
  { "&notnivc;", sizeof("&notnivc;")-1, 8957 },
  { "&npar;", sizeof("&npar;")-1, 8742 },
  { "&nparallel;", sizeof("&nparallel;")-1, 8742 },
//  { "&nparsl;", sizeof("&nparsl;")-1, 11005, 8421 },
//  { "&npart;", sizeof("&npart;")-1, 8706, 824 },
  { "&npolint;", sizeof("&npolint;")-1, 10772 },
  { "&npr;", sizeof("&npr;")-1, 8832 },
  { "&nprcue;", sizeof("&nprcue;")-1, 8928 },
//  { "&npre;", sizeof("&npre;")-1, 10927, 824 },
  { "&nprec;", sizeof("&nprec;")-1, 8832 },
//  { "&npreceq;", sizeof("&npreceq;")-1, 10927, 824 },
  { "&nrArr;", sizeof("&nrArr;")-1, 8655 },
  { "&nrarr;", sizeof("&nrarr;")-1, 8603 },
//  { "&nrarrc;", sizeof("&nrarrc;")-1, 10547, 824 },
//  { "&nrarrw;", sizeof("&nrarrw;")-1, 8605, 824 },
  { "&nrightarrow;", sizeof("&nrightarrow;")-1, 8603 },
  { "&nrtri;", sizeof("&nrtri;")-1, 8939 },
  { "&nrtrie;", sizeof("&nrtrie;")-1, 8941 },
  { "&nsc;", sizeof("&nsc;")-1, 8833 },
  { "&nsccue;", sizeof("&nsccue;")-1, 8929 },
//  { "&nsce;", sizeof("&nsce;")-1, 10928, 824 },
  { "&nscr;", sizeof("&nscr;")-1, 120003 },
  { "&nshortmid;", sizeof("&nshortmid;")-1, 8740 },
  { "&nshortparallel;", sizeof("&nshortparallel;")-1, 8742 },
  { "&nsim;", sizeof("&nsim;")-1, 8769 },
  { "&nsime;", sizeof("&nsime;")-1, 8772 },
  { "&nsimeq;", sizeof("&nsimeq;")-1, 8772 },
  { "&nsmid;", sizeof("&nsmid;")-1, 8740 },
  { "&nspar;", sizeof("&nspar;")-1, 8742 },
  { "&nsqsube;", sizeof("&nsqsube;")-1, 8930 },
  { "&nsqsupe;", sizeof("&nsqsupe;")-1, 8931 },
  { "&nsub;", sizeof("&nsub;")-1, 8836 },
//  { "&nsubE;", sizeof("&nsubE;")-1, 10949, 824 },
  { "&nsube;", sizeof("&nsube;")-1, 8840 },
//  { "&nsubset;", sizeof("&nsubset;")-1, 8834, 8402 },
  { "&nsubseteq;", sizeof("&nsubseteq;")-1, 8840 },
//  { "&nsubseteqq;", sizeof("&nsubseteqq;")-1, 10949, 824 },
  { "&nsucc;", sizeof("&nsucc;")-1, 8833 },
//  { "&nsucceq;", sizeof("&nsucceq;")-1, 10928, 824 },
  { "&nsup;", sizeof("&nsup;")-1, 8837 },
//  { "&nsupE;", sizeof("&nsupE;")-1, 10950, 824 },
  { "&nsupe;", sizeof("&nsupe;")-1, 8841 },
//  { "&nsupset;", sizeof("&nsupset;")-1, 8835, 8402 },
  { "&nsupseteq;", sizeof("&nsupseteq;")-1, 8841 },
//  { "&nsupseteqq;", sizeof("&nsupseteqq;")-1, 10950, 824 },
  { "&ntgl;", sizeof("&ntgl;")-1, 8825 },
//  { "&ntilde", sizeof("&ntilde")-1, 241 },
  { "&ntilde;", sizeof("&ntilde;")-1, 241 },
  { "&ntlg;", sizeof("&ntlg;")-1, 8824 },
  { "&ntriangleleft;", sizeof("&ntriangleleft;")-1, 8938 },
  { "&ntrianglelefteq;", sizeof("&ntrianglelefteq;")-1, 8940 },
  { "&ntriangleright;", sizeof("&ntriangleright;")-1, 8939 },
  { "&ntrianglerighteq;", sizeof("&ntrianglerighteq;")-1, 8941 },
  { "&nu;", sizeof("&nu;")-1, 957 },
  { "&num;", sizeof("&num;")-1, 35 },
  { "&numero;", sizeof("&numero;")-1, 8470 },
  { "&numsp;", sizeof("&numsp;")-1, 8199 },
  { "&nvDash;", sizeof("&nvDash;")-1, 8877 },
  { "&nvHarr;", sizeof("&nvHarr;")-1, 10500 },
//  { "&nvap;", sizeof("&nvap;")-1, 8781, 8402 },
  { "&nvdash;", sizeof("&nvdash;")-1, 8876 },
//  { "&nvge;", sizeof("&nvge;")-1, 8805, 8402 },
//  { "&nvgt;", sizeof("&nvgt;")-1, 62, 8402 },
  { "&nvinfin;", sizeof("&nvinfin;")-1, 10718 },
  { "&nvlArr;", sizeof("&nvlArr;")-1, 10498 },
//  { "&nvle;", sizeof("&nvle;")-1, 8804, 8402 },
//  { "&nvlt;", sizeof("&nvlt;")-1, 60, 8402 },
//  { "&nvltrie;", sizeof("&nvltrie;")-1, 8884, 8402 },
  { "&nvrArr;", sizeof("&nvrArr;")-1, 10499 },
//  { "&nvrtrie;", sizeof("&nvrtrie;")-1, 8885, 8402 },
//  { "&nvsim;", sizeof("&nvsim;")-1, 8764, 8402 },
  { "&nwArr;", sizeof("&nwArr;")-1, 8662 },
  { "&nwarhk;", sizeof("&nwarhk;")-1, 10531 },
  { "&nwarr;", sizeof("&nwarr;")-1, 8598 },
  { "&nwarrow;", sizeof("&nwarrow;")-1, 8598 },
  { "&nwnear;", sizeof("&nwnear;")-1, 10535 },
  { "&oS;", sizeof("&oS;")-1, 9416 },
//  { "&oacute", sizeof("&oacute")-1, 243 },
  { "&oacute;", sizeof("&oacute;")-1, 243 },
  { "&oast;", sizeof("&oast;")-1, 8859 },
  { "&ocir;", sizeof("&ocir;")-1, 8858 },
//  { "&ocirc", sizeof("&ocirc")-1, 244 },
  { "&ocirc;", sizeof("&ocirc;")-1, 244 },
  { "&ocy;", sizeof("&ocy;")-1, 1086 },
  { "&odash;", sizeof("&odash;")-1, 8861 },
  { "&odblac;", sizeof("&odblac;")-1, 337 },
  { "&odiv;", sizeof("&odiv;")-1, 10808 },
  { "&odot;", sizeof("&odot;")-1, 8857 },
  { "&odsold;", sizeof("&odsold;")-1, 10684 },
  { "&oelig;", sizeof("&oelig;")-1, 339 },
  { "&ofcir;", sizeof("&ofcir;")-1, 10687 },
  { "&ofr;", sizeof("&ofr;")-1, 120108 },
  { "&ogon;", sizeof("&ogon;")-1, 731 },
//  { "&ograve", sizeof("&ograve")-1, 242 },
  { "&ograve;", sizeof("&ograve;")-1, 242 },
  { "&ogt;", sizeof("&ogt;")-1, 10689 },
  { "&ohbar;", sizeof("&ohbar;")-1, 10677 },
  { "&ohm;", sizeof("&ohm;")-1, 937 },
  { "&oint;", sizeof("&oint;")-1, 8750 },
  { "&olarr;", sizeof("&olarr;")-1, 8634 },
  { "&olcir;", sizeof("&olcir;")-1, 10686 },
  { "&olcross;", sizeof("&olcross;")-1, 10683 },
  { "&oline;", sizeof("&oline;")-1, 8254 },
  { "&olt;", sizeof("&olt;")-1, 10688 },
  { "&omacr;", sizeof("&omacr;")-1, 333 },
  { "&omega;", sizeof("&omega;")-1, 969 },
  { "&omicron;", sizeof("&omicron;")-1, 959 },
  { "&omid;", sizeof("&omid;")-1, 10678 },
  { "&ominus;", sizeof("&ominus;")-1, 8854 },
  { "&oopf;", sizeof("&oopf;")-1, 120160 },
  { "&opar;", sizeof("&opar;")-1, 10679 },
  { "&operp;", sizeof("&operp;")-1, 10681 },
  { "&oplus;", sizeof("&oplus;")-1, 8853 },
  { "&or;", sizeof("&or;")-1, 8744 },
  { "&orarr;", sizeof("&orarr;")-1, 8635 },
  { "&ord;", sizeof("&ord;")-1, 10845 },
  { "&order;", sizeof("&order;")-1, 8500 },
  { "&orderof;", sizeof("&orderof;")-1, 8500 },
//  { "&ordf", sizeof("&ordf")-1, 170 },
  { "&ordf;", sizeof("&ordf;")-1, 170 },
//  { "&ordm", sizeof("&ordm")-1, 186 },
  { "&ordm;", sizeof("&ordm;")-1, 186 },
  { "&origof;", sizeof("&origof;")-1, 8886 },
  { "&oror;", sizeof("&oror;")-1, 10838 },
  { "&orslope;", sizeof("&orslope;")-1, 10839 },
  { "&orv;", sizeof("&orv;")-1, 10843 },
  { "&oscr;", sizeof("&oscr;")-1, 8500 },
//  { "&oslash", sizeof("&oslash")-1, 248 },
  { "&oslash;", sizeof("&oslash;")-1, 248 },
  { "&osol;", sizeof("&osol;")-1, 8856 },
//  { "&otilde", sizeof("&otilde")-1, 245 },
  { "&otilde;", sizeof("&otilde;")-1, 245 },
  { "&otimes;", sizeof("&otimes;")-1, 8855 },
  { "&otimesas;", sizeof("&otimesas;")-1, 10806 },
//  { "&ouml", sizeof("&ouml")-1, 246 },
  { "&ouml;", sizeof("&ouml;")-1, 246 },
  { "&ovbar;", sizeof("&ovbar;")-1, 9021 },
  { "&par;", sizeof("&par;")-1, 8741 },
//  { "&para", sizeof("&para")-1, 182 },
  { "&para;", sizeof("&para;")-1, 182 },
  { "&parallel;", sizeof("&parallel;")-1, 8741 },
  { "&parsim;", sizeof("&parsim;")-1, 10995 },
  { "&parsl;", sizeof("&parsl;")-1, 11005 },
  { "&part;", sizeof("&part;")-1, 8706 },
  { "&pcy;", sizeof("&pcy;")-1, 1087 },
  { "&percnt;", sizeof("&percnt;")-1, 37 },
  { "&period;", sizeof("&period;")-1, 46 },
  { "&permil;", sizeof("&permil;")-1, 8240 },
  { "&perp;", sizeof("&perp;")-1, 8869 },
  { "&pertenk;", sizeof("&pertenk;")-1, 8241 },
  { "&pfr;", sizeof("&pfr;")-1, 120109 },
  { "&phi;", sizeof("&phi;")-1, 966 },
  { "&phiv;", sizeof("&phiv;")-1, 981 },
  { "&phmmat;", sizeof("&phmmat;")-1, 8499 },
  { "&phone;", sizeof("&phone;")-1, 9742 },
  { "&pi;", sizeof("&pi;")-1, 960 },
  { "&pitchfork;", sizeof("&pitchfork;")-1, 8916 },
  { "&piv;", sizeof("&piv;")-1, 982 },
  { "&planck;", sizeof("&planck;")-1, 8463 },
  { "&planckh;", sizeof("&planckh;")-1, 8462 },
  { "&plankv;", sizeof("&plankv;")-1, 8463 },
  { "&plus;", sizeof("&plus;")-1, 43 },
  { "&plusacir;", sizeof("&plusacir;")-1, 10787 },
  { "&plusb;", sizeof("&plusb;")-1, 8862 },
  { "&pluscir;", sizeof("&pluscir;")-1, 10786 },
  { "&plusdo;", sizeof("&plusdo;")-1, 8724 },
  { "&plusdu;", sizeof("&plusdu;")-1, 10789 },
  { "&pluse;", sizeof("&pluse;")-1, 10866 },
//  { "&plusmn", sizeof("&plusmn")-1, 177 },
  { "&plusmn;", sizeof("&plusmn;")-1, 177 },
  { "&plussim;", sizeof("&plussim;")-1, 10790 },
  { "&plustwo;", sizeof("&plustwo;")-1, 10791 },
  { "&pm;", sizeof("&pm;")-1, 177 },
  { "&pointint;", sizeof("&pointint;")-1, 10773 },
  { "&popf;", sizeof("&popf;")-1, 120161 },
//  { "&pound", sizeof("&pound")-1, 163 },
  { "&pound;", sizeof("&pound;")-1, 163 },
  { "&pr;", sizeof("&pr;")-1, 8826 },
  { "&prE;", sizeof("&prE;")-1, 10931 },
  { "&prap;", sizeof("&prap;")-1, 10935 },
  { "&prcue;", sizeof("&prcue;")-1, 8828 },
  { "&pre;", sizeof("&pre;")-1, 10927 },
  { "&prec;", sizeof("&prec;")-1, 8826 },
  { "&precapprox;", sizeof("&precapprox;")-1, 10935 },
  { "&preccurlyeq;", sizeof("&preccurlyeq;")-1, 8828 },
  { "&preceq;", sizeof("&preceq;")-1, 10927 },
  { "&precnapprox;", sizeof("&precnapprox;")-1, 10937 },
  { "&precneqq;", sizeof("&precneqq;")-1, 10933 },
  { "&precnsim;", sizeof("&precnsim;")-1, 8936 },
  { "&precsim;", sizeof("&precsim;")-1, 8830 },
  { "&prime;", sizeof("&prime;")-1, 8242 },
  { "&primes;", sizeof("&primes;")-1, 8473 },
  { "&prnE;", sizeof("&prnE;")-1, 10933 },
  { "&prnap;", sizeof("&prnap;")-1, 10937 },
  { "&prnsim;", sizeof("&prnsim;")-1, 8936 },
  { "&prod;", sizeof("&prod;")-1, 8719 },
  { "&profalar;", sizeof("&profalar;")-1, 9006 },
  { "&profline;", sizeof("&profline;")-1, 8978 },
  { "&profsurf;", sizeof("&profsurf;")-1, 8979 },
  { "&prop;", sizeof("&prop;")-1, 8733 },
  { "&propto;", sizeof("&propto;")-1, 8733 },
  { "&prsim;", sizeof("&prsim;")-1, 8830 },
  { "&prurel;", sizeof("&prurel;")-1, 8880 },
  { "&pscr;", sizeof("&pscr;")-1, 120005 },
  { "&psi;", sizeof("&psi;")-1, 968 },
  { "&puncsp;", sizeof("&puncsp;")-1, 8200 },
  { "&qfr;", sizeof("&qfr;")-1, 120110 },
  { "&qint;", sizeof("&qint;")-1, 10764 },
  { "&qopf;", sizeof("&qopf;")-1, 120162 },
  { "&qprime;", sizeof("&qprime;")-1, 8279 },
  { "&qscr;", sizeof("&qscr;")-1, 120006 },
  { "&quaternions;", sizeof("&quaternions;")-1, 8461 },
  { "&quatint;", sizeof("&quatint;")-1, 10774 },
  { "&quest;", sizeof("&quest;")-1, 63 },
  { "&questeq;", sizeof("&questeq;")-1, 8799 },
//  { "&quot", sizeof("&quot")-1, 34 },
  { "&quot;", sizeof("&quot;")-1, 34 },
  { "&rAarr;", sizeof("&rAarr;")-1, 8667 },
  { "&rArr;", sizeof("&rArr;")-1, 8658 },
  { "&rAtail;", sizeof("&rAtail;")-1, 10524 },
  { "&rBarr;", sizeof("&rBarr;")-1, 10511 },
  { "&rHar;", sizeof("&rHar;")-1, 10596 },
//  { "&race;", sizeof("&race;")-1, 8765, 817 },
  { "&racute;", sizeof("&racute;")-1, 341 },
  { "&radic;", sizeof("&radic;")-1, 8730 },
  { "&raemptyv;", sizeof("&raemptyv;")-1, 10675 },
  { "&rang;", sizeof("&rang;")-1, 10217 },
  { "&rangd;", sizeof("&rangd;")-1, 10642 },
  { "&range;", sizeof("&range;")-1, 10661 },
  { "&rangle;", sizeof("&rangle;")-1, 10217 },
//  { "&raquo", sizeof("&raquo")-1, 187 },
  { "&raquo;", sizeof("&raquo;")-1, 187 },
  { "&rarr;", sizeof("&rarr;")-1, 8594 },
  { "&rarrap;", sizeof("&rarrap;")-1, 10613 },
  { "&rarrb;", sizeof("&rarrb;")-1, 8677 },
  { "&rarrbfs;", sizeof("&rarrbfs;")-1, 10528 },
  { "&rarrc;", sizeof("&rarrc;")-1, 10547 },
  { "&rarrfs;", sizeof("&rarrfs;")-1, 10526 },
  { "&rarrhk;", sizeof("&rarrhk;")-1, 8618 },
  { "&rarrlp;", sizeof("&rarrlp;")-1, 8620 },
  { "&rarrpl;", sizeof("&rarrpl;")-1, 10565 },
  { "&rarrsim;", sizeof("&rarrsim;")-1, 10612 },
  { "&rarrtl;", sizeof("&rarrtl;")-1, 8611 },
  { "&rarrw;", sizeof("&rarrw;")-1, 8605 },
  { "&ratail;", sizeof("&ratail;")-1, 10522 },
  { "&ratio;", sizeof("&ratio;")-1, 8758 },
  { "&rationals;", sizeof("&rationals;")-1, 8474 },
  { "&rbarr;", sizeof("&rbarr;")-1, 10509 },
  { "&rbbrk;", sizeof("&rbbrk;")-1, 10099 },
  { "&rbrace;", sizeof("&rbrace;")-1, 125 },
  { "&rbrack;", sizeof("&rbrack;")-1, 93 },
  { "&rbrke;", sizeof("&rbrke;")-1, 10636 },
  { "&rbrksld;", sizeof("&rbrksld;")-1, 10638 },
  { "&rbrkslu;", sizeof("&rbrkslu;")-1, 10640 },
  { "&rcaron;", sizeof("&rcaron;")-1, 345 },
  { "&rcedil;", sizeof("&rcedil;")-1, 343 },
  { "&rceil;", sizeof("&rceil;")-1, 8969 },
  { "&rcub;", sizeof("&rcub;")-1, 125 },
  { "&rcy;", sizeof("&rcy;")-1, 1088 },
  { "&rdca;", sizeof("&rdca;")-1, 10551 },
  { "&rdldhar;", sizeof("&rdldhar;")-1, 10601 },
  { "&rdquo;", sizeof("&rdquo;")-1, 8221 },
  { "&rdquor;", sizeof("&rdquor;")-1, 8221 },
  { "&rdsh;", sizeof("&rdsh;")-1, 8627 },
  { "&real;", sizeof("&real;")-1, 8476 },
  { "&realine;", sizeof("&realine;")-1, 8475 },
  { "&realpart;", sizeof("&realpart;")-1, 8476 },
  { "&reals;", sizeof("&reals;")-1, 8477 },
  { "&rect;", sizeof("&rect;")-1, 9645 },
//  { "&reg", sizeof("&reg")-1, 174 },
  { "&reg;", sizeof("&reg;")-1, 174 },
  { "&rfisht;", sizeof("&rfisht;")-1, 10621 },
  { "&rfloor;", sizeof("&rfloor;")-1, 8971 },
  { "&rfr;", sizeof("&rfr;")-1, 120111 },
  { "&rhard;", sizeof("&rhard;")-1, 8641 },
  { "&rharu;", sizeof("&rharu;")-1, 8640 },
  { "&rharul;", sizeof("&rharul;")-1, 10604 },
  { "&rho;", sizeof("&rho;")-1, 961 },
  { "&rhov;", sizeof("&rhov;")-1, 1009 },
  { "&rightarrow;", sizeof("&rightarrow;")-1, 8594 },
  { "&rightarrowtail;", sizeof("&rightarrowtail;")-1, 8611 },
  { "&rightharpoondown;", sizeof("&rightharpoondown;")-1, 8641 },
  { "&rightharpoonup;", sizeof("&rightharpoonup;")-1, 8640 },
  { "&rightleftarrows;", sizeof("&rightleftarrows;")-1, 8644 },
  { "&rightleftharpoons;", sizeof("&rightleftharpoons;")-1, 8652 },
  { "&rightrightarrows;", sizeof("&rightrightarrows;")-1, 8649 },
  { "&rightsquigarrow;", sizeof("&rightsquigarrow;")-1, 8605 },
  { "&rightthreetimes;", sizeof("&rightthreetimes;")-1, 8908 },
  { "&ring;", sizeof("&ring;")-1, 730 },
  { "&risingdotseq;", sizeof("&risingdotseq;")-1, 8787 },
  { "&rlarr;", sizeof("&rlarr;")-1, 8644 },
  { "&rlhar;", sizeof("&rlhar;")-1, 8652 },
  { "&rlm;", sizeof("&rlm;")-1, 8207 },
  { "&rmoust;", sizeof("&rmoust;")-1, 9137 },
  { "&rmoustache;", sizeof("&rmoustache;")-1, 9137 },
  { "&rnmid;", sizeof("&rnmid;")-1, 10990 },
  { "&roang;", sizeof("&roang;")-1, 10221 },
  { "&roarr;", sizeof("&roarr;")-1, 8702 },
  { "&robrk;", sizeof("&robrk;")-1, 10215 },
  { "&ropar;", sizeof("&ropar;")-1, 10630 },
  { "&ropf;", sizeof("&ropf;")-1, 120163 },
  { "&roplus;", sizeof("&roplus;")-1, 10798 },
  { "&rotimes;", sizeof("&rotimes;")-1, 10805 },
  { "&rpar;", sizeof("&rpar;")-1, 41 },
  { "&rpargt;", sizeof("&rpargt;")-1, 10644 },
  { "&rppolint;", sizeof("&rppolint;")-1, 10770 },
  { "&rrarr;", sizeof("&rrarr;")-1, 8649 },
  { "&rsaquo;", sizeof("&rsaquo;")-1, 8250 },
  { "&rscr;", sizeof("&rscr;")-1, 120007 },
  { "&rsh;", sizeof("&rsh;")-1, 8625 },
  { "&rsqb;", sizeof("&rsqb;")-1, 93 },
  { "&rsquo;", sizeof("&rsquo;")-1, 8217 },
  { "&rsquor;", sizeof("&rsquor;")-1, 8217 },
  { "&rthree;", sizeof("&rthree;")-1, 8908 },
  { "&rtimes;", sizeof("&rtimes;")-1, 8906 },
  { "&rtri;", sizeof("&rtri;")-1, 9657 },
  { "&rtrie;", sizeof("&rtrie;")-1, 8885 },
  { "&rtrif;", sizeof("&rtrif;")-1, 9656 },
  { "&rtriltri;", sizeof("&rtriltri;")-1, 10702 },
  { "&ruluhar;", sizeof("&ruluhar;")-1, 10600 },
  { "&rx;", sizeof("&rx;")-1, 8478 },
  { "&sacute;", sizeof("&sacute;")-1, 347 },
  { "&sbquo;", sizeof("&sbquo;")-1, 8218 },
  { "&sc;", sizeof("&sc;")-1, 8827 },
  { "&scE;", sizeof("&scE;")-1, 10932 },
  { "&scap;", sizeof("&scap;")-1, 10936 },
  { "&scaron;", sizeof("&scaron;")-1, 353 },
  { "&sccue;", sizeof("&sccue;")-1, 8829 },
  { "&sce;", sizeof("&sce;")-1, 10928 },
  { "&scedil;", sizeof("&scedil;")-1, 351 },
  { "&scirc;", sizeof("&scirc;")-1, 349 },
  { "&scnE;", sizeof("&scnE;")-1, 10934 },
  { "&scnap;", sizeof("&scnap;")-1, 10938 },
  { "&scnsim;", sizeof("&scnsim;")-1, 8937 },
  { "&scpolint;", sizeof("&scpolint;")-1, 10771 },
  { "&scsim;", sizeof("&scsim;")-1, 8831 },
  { "&scy;", sizeof("&scy;")-1, 1089 },
  { "&sdot;", sizeof("&sdot;")-1, 8901 },
  { "&sdotb;", sizeof("&sdotb;")-1, 8865 },
  { "&sdote;", sizeof("&sdote;")-1, 10854 },
  { "&seArr;", sizeof("&seArr;")-1, 8664 },
  { "&searhk;", sizeof("&searhk;")-1, 10533 },
  { "&searr;", sizeof("&searr;")-1, 8600 },
  { "&searrow;", sizeof("&searrow;")-1, 8600 },
//  { "&sect", sizeof("&sect")-1, 167 },
  { "&sect;", sizeof("&sect;")-1, 167 },
  { "&semi;", sizeof("&semi;")-1, 59 },
  { "&seswar;", sizeof("&seswar;")-1, 10537 },
  { "&setminus;", sizeof("&setminus;")-1, 8726 },
  { "&setmn;", sizeof("&setmn;")-1, 8726 },
  { "&sext;", sizeof("&sext;")-1, 10038 },
  { "&sfr;", sizeof("&sfr;")-1, 120112 },
  { "&sfrown;", sizeof("&sfrown;")-1, 8994 },
  { "&sharp;", sizeof("&sharp;")-1, 9839 },
  { "&shchcy;", sizeof("&shchcy;")-1, 1097 },
  { "&shcy;", sizeof("&shcy;")-1, 1096 },
  { "&shortmid;", sizeof("&shortmid;")-1, 8739 },
  { "&shortparallel;", sizeof("&shortparallel;")-1, 8741 },
//  { "&shy", sizeof("&shy")-1, 173 },
  { "&shy;", sizeof("&shy;")-1, 173 },
  { "&sigma;", sizeof("&sigma;")-1, 963 },
  { "&sigmaf;", sizeof("&sigmaf;")-1, 962 },
  { "&sigmav;", sizeof("&sigmav;")-1, 962 },
  { "&sim;", sizeof("&sim;")-1, 8764 },
  { "&simdot;", sizeof("&simdot;")-1, 10858 },
  { "&sime;", sizeof("&sime;")-1, 8771 },
  { "&simeq;", sizeof("&simeq;")-1, 8771 },
  { "&simg;", sizeof("&simg;")-1, 10910 },
  { "&simgE;", sizeof("&simgE;")-1, 10912 },
  { "&siml;", sizeof("&siml;")-1, 10909 },
  { "&simlE;", sizeof("&simlE;")-1, 10911 },
  { "&simne;", sizeof("&simne;")-1, 8774 },
  { "&simplus;", sizeof("&simplus;")-1, 10788 },
  { "&simrarr;", sizeof("&simrarr;")-1, 10610 },
  { "&slarr;", sizeof("&slarr;")-1, 8592 },
  { "&smallsetminus;", sizeof("&smallsetminus;")-1, 8726 },
  { "&smashp;", sizeof("&smashp;")-1, 10803 },
  { "&smeparsl;", sizeof("&smeparsl;")-1, 10724 },
  { "&smid;", sizeof("&smid;")-1, 8739 },
  { "&smile;", sizeof("&smile;")-1, 8995 },
  { "&smt;", sizeof("&smt;")-1, 10922 },
  { "&smte;", sizeof("&smte;")-1, 10924 },
//  { "&smtes;", sizeof("&smtes;")-1, 10924, 65024 },
  { "&softcy;", sizeof("&softcy;")-1, 1100 },
  { "&sol;", sizeof("&sol;")-1, 47 },
  { "&solb;", sizeof("&solb;")-1, 10692 },
  { "&solbar;", sizeof("&solbar;")-1, 9023 },
  { "&sopf;", sizeof("&sopf;")-1, 120164 },
  { "&spades;", sizeof("&spades;")-1, 9824 },
  { "&spadesuit;", sizeof("&spadesuit;")-1, 9824 },
  { "&spar;", sizeof("&spar;")-1, 8741 },
  { "&sqcap;", sizeof("&sqcap;")-1, 8851 },
//  { "&sqcaps;", sizeof("&sqcaps;")-1, 8851, 65024 },
  { "&sqcup;", sizeof("&sqcup;")-1, 8852 },
//  { "&sqcups;", sizeof("&sqcups;")-1, 8852, 65024 },
  { "&sqsub;", sizeof("&sqsub;")-1, 8847 },
  { "&sqsube;", sizeof("&sqsube;")-1, 8849 },
  { "&sqsubset;", sizeof("&sqsubset;")-1, 8847 },
  { "&sqsubseteq;", sizeof("&sqsubseteq;")-1, 8849 },
  { "&sqsup;", sizeof("&sqsup;")-1, 8848 },
  { "&sqsupe;", sizeof("&sqsupe;")-1, 8850 },
  { "&sqsupset;", sizeof("&sqsupset;")-1, 8848 },
  { "&sqsupseteq;", sizeof("&sqsupseteq;")-1, 8850 },
  { "&squ;", sizeof("&squ;")-1, 9633 },
  { "&square;", sizeof("&square;")-1, 9633 },
  { "&squarf;", sizeof("&squarf;")-1, 9642 },
  { "&squf;", sizeof("&squf;")-1, 9642 },
  { "&srarr;", sizeof("&srarr;")-1, 8594 },
  { "&sscr;", sizeof("&sscr;")-1, 120008 },
  { "&ssetmn;", sizeof("&ssetmn;")-1, 8726 },
  { "&ssmile;", sizeof("&ssmile;")-1, 8995 },
  { "&sstarf;", sizeof("&sstarf;")-1, 8902 },
  { "&star;", sizeof("&star;")-1, 9734 },
  { "&starf;", sizeof("&starf;")-1, 9733 },
  { "&straightepsilon;", sizeof("&straightepsilon;")-1, 1013 },
  { "&straightphi;", sizeof("&straightphi;")-1, 981 },
  { "&strns;", sizeof("&strns;")-1, 175 },
  { "&sub;", sizeof("&sub;")-1, 8834 },
  { "&subE;", sizeof("&subE;")-1, 10949 },
  { "&subdot;", sizeof("&subdot;")-1, 10941 },
  { "&sube;", sizeof("&sube;")-1, 8838 },
  { "&subedot;", sizeof("&subedot;")-1, 10947 },
  { "&submult;", sizeof("&submult;")-1, 10945 },
  { "&subnE;", sizeof("&subnE;")-1, 10955 },
  { "&subne;", sizeof("&subne;")-1, 8842 },
  { "&subplus;", sizeof("&subplus;")-1, 10943 },
  { "&subrarr;", sizeof("&subrarr;")-1, 10617 },
  { "&subset;", sizeof("&subset;")-1, 8834 },
  { "&subseteq;", sizeof("&subseteq;")-1, 8838 },
  { "&subseteqq;", sizeof("&subseteqq;")-1, 10949 },
  { "&subsetneq;", sizeof("&subsetneq;")-1, 8842 },
  { "&subsetneqq;", sizeof("&subsetneqq;")-1, 10955 },
  { "&subsim;", sizeof("&subsim;")-1, 10951 },
  { "&subsub;", sizeof("&subsub;")-1, 10965 },
  { "&subsup;", sizeof("&subsup;")-1, 10963 },
  { "&succ;", sizeof("&succ;")-1, 8827 },
  { "&succapprox;", sizeof("&succapprox;")-1, 10936 },
  { "&succcurlyeq;", sizeof("&succcurlyeq;")-1, 8829 },
  { "&succeq;", sizeof("&succeq;")-1, 10928 },
  { "&succnapprox;", sizeof("&succnapprox;")-1, 10938 },
  { "&succneqq;", sizeof("&succneqq;")-1, 10934 },
  { "&succnsim;", sizeof("&succnsim;")-1, 8937 },
  { "&succsim;", sizeof("&succsim;")-1, 8831 },
  { "&sum;", sizeof("&sum;")-1, 8721 },
  { "&sung;", sizeof("&sung;")-1, 9834 },
//  { "&sup1", sizeof("&sup1")-1, 185 },
  { "&sup1;", sizeof("&sup1;")-1, 185 },
//  { "&sup2", sizeof("&sup2")-1, 178 },
  { "&sup2;", sizeof("&sup2;")-1, 178 },
//  { "&sup3", sizeof("&sup3")-1, 179 },
  { "&sup3;", sizeof("&sup3;")-1, 179 },
  { "&sup;", sizeof("&sup;")-1, 8835 },
  { "&supE;", sizeof("&supE;")-1, 10950 },
  { "&supdot;", sizeof("&supdot;")-1, 10942 },
  { "&supdsub;", sizeof("&supdsub;")-1, 10968 },
  { "&supe;", sizeof("&supe;")-1, 8839 },
  { "&supedot;", sizeof("&supedot;")-1, 10948 },
  { "&suphsol;", sizeof("&suphsol;")-1, 10185 },
  { "&suphsub;", sizeof("&suphsub;")-1, 10967 },
  { "&suplarr;", sizeof("&suplarr;")-1, 10619 },
  { "&supmult;", sizeof("&supmult;")-1, 10946 },
  { "&supnE;", sizeof("&supnE;")-1, 10956 },
  { "&supne;", sizeof("&supne;")-1, 8843 },
  { "&supplus;", sizeof("&supplus;")-1, 10944 },
  { "&supset;", sizeof("&supset;")-1, 8835 },
  { "&supseteq;", sizeof("&supseteq;")-1, 8839 },
  { "&supseteqq;", sizeof("&supseteqq;")-1, 10950 },
  { "&supsetneq;", sizeof("&supsetneq;")-1, 8843 },
  { "&supsetneqq;", sizeof("&supsetneqq;")-1, 10956 },
  { "&supsim;", sizeof("&supsim;")-1, 10952 },
  { "&supsub;", sizeof("&supsub;")-1, 10964 },
  { "&supsup;", sizeof("&supsup;")-1, 10966 },
  { "&swArr;", sizeof("&swArr;")-1, 8665 },
  { "&swarhk;", sizeof("&swarhk;")-1, 10534 },
  { "&swarr;", sizeof("&swarr;")-1, 8601 },
  { "&swarrow;", sizeof("&swarrow;")-1, 8601 },
  { "&swnwar;", sizeof("&swnwar;")-1, 10538 },
//  { "&szlig", sizeof("&szlig")-1, 223 },
  { "&szlig;", sizeof("&szlig;")-1, 223 },
  { "&target;", sizeof("&target;")-1, 8982 },
  { "&tau;", sizeof("&tau;")-1, 964 },
  { "&tbrk;", sizeof("&tbrk;")-1, 9140 },
  { "&tcaron;", sizeof("&tcaron;")-1, 357 },
  { "&tcedil;", sizeof("&tcedil;")-1, 355 },
  { "&tcy;", sizeof("&tcy;")-1, 1090 },
  { "&tdot;", sizeof("&tdot;")-1, 8411 },
  { "&telrec;", sizeof("&telrec;")-1, 8981 },
  { "&tfr;", sizeof("&tfr;")-1, 120113 },
  { "&there4;", sizeof("&there4;")-1, 8756 },
  { "&therefore;", sizeof("&therefore;")-1, 8756 },
  { "&theta;", sizeof("&theta;")-1, 952 },
  { "&thetasym;", sizeof("&thetasym;")-1, 977 },
  { "&thetav;", sizeof("&thetav;")-1, 977 },
  { "&thickapprox;", sizeof("&thickapprox;")-1, 8776 },
  { "&thicksim;", sizeof("&thicksim;")-1, 8764 },
  { "&thinsp;", sizeof("&thinsp;")-1, 8201 },
  { "&thkap;", sizeof("&thkap;")-1, 8776 },
  { "&thksim;", sizeof("&thksim;")-1, 8764 },
//  { "&thorn", sizeof("&thorn")-1, 254 },
  { "&thorn;", sizeof("&thorn;")-1, 254 },
  { "&tilde;", sizeof("&tilde;")-1, 732 },
//  { "&times", sizeof("&times")-1, 215 },
  { "&times;", sizeof("&times;")-1, 215 },
  { "&timesb;", sizeof("&timesb;")-1, 8864 },
  { "&timesbar;", sizeof("&timesbar;")-1, 10801 },
  { "&timesd;", sizeof("&timesd;")-1, 10800 },
  { "&tint;", sizeof("&tint;")-1, 8749 },
  { "&toea;", sizeof("&toea;")-1, 10536 },
  { "&top;", sizeof("&top;")-1, 8868 },
  { "&topbot;", sizeof("&topbot;")-1, 9014 },
  { "&topcir;", sizeof("&topcir;")-1, 10993 },
  { "&topf;", sizeof("&topf;")-1, 120165 },
  { "&topfork;", sizeof("&topfork;")-1, 10970 },
  { "&tosa;", sizeof("&tosa;")-1, 10537 },
  { "&tprime;", sizeof("&tprime;")-1, 8244 },
  { "&trade;", sizeof("&trade;")-1, 8482 },
  { "&triangle;", sizeof("&triangle;")-1, 9653 },
  { "&triangledown;", sizeof("&triangledown;")-1, 9663 },
  { "&triangleleft;", sizeof("&triangleleft;")-1, 9667 },
  { "&trianglelefteq;", sizeof("&trianglelefteq;")-1, 8884 },
  { "&triangleq;", sizeof("&triangleq;")-1, 8796 },
  { "&triangleright;", sizeof("&triangleright;")-1, 9657 },
  { "&trianglerighteq;", sizeof("&trianglerighteq;")-1, 8885 },
  { "&tridot;", sizeof("&tridot;")-1, 9708 },
  { "&trie;", sizeof("&trie;")-1, 8796 },
  { "&triminus;", sizeof("&triminus;")-1, 10810 },
  { "&triplus;", sizeof("&triplus;")-1, 10809 },
  { "&trisb;", sizeof("&trisb;")-1, 10701 },
  { "&tritime;", sizeof("&tritime;")-1, 10811 },
  { "&trpezium;", sizeof("&trpezium;")-1, 9186 },
  { "&tscr;", sizeof("&tscr;")-1, 120009 },
  { "&tscy;", sizeof("&tscy;")-1, 1094 },
  { "&tshcy;", sizeof("&tshcy;")-1, 1115 },
  { "&tstrok;", sizeof("&tstrok;")-1, 359 },
  { "&twixt;", sizeof("&twixt;")-1, 8812 },
  { "&twoheadleftarrow;", sizeof("&twoheadleftarrow;")-1, 8606 },
  { "&twoheadrightarrow;", sizeof("&twoheadrightarrow;")-1, 8608 },
  { "&uArr;", sizeof("&uArr;")-1, 8657 },
  { "&uHar;", sizeof("&uHar;")-1, 10595 },
//  { "&uacute", sizeof("&uacute")-1, 250 },
  { "&uacute;", sizeof("&uacute;")-1, 250 },
  { "&uarr;", sizeof("&uarr;")-1, 8593 },
  { "&ubrcy;", sizeof("&ubrcy;")-1, 1118 },
  { "&ubreve;", sizeof("&ubreve;")-1, 365 },
//  { "&ucirc", sizeof("&ucirc")-1, 251 },
  { "&ucirc;", sizeof("&ucirc;")-1, 251 },
  { "&ucy;", sizeof("&ucy;")-1, 1091 },
  { "&udarr;", sizeof("&udarr;")-1, 8645 },
  { "&udblac;", sizeof("&udblac;")-1, 369 },
  { "&udhar;", sizeof("&udhar;")-1, 10606 },
  { "&ufisht;", sizeof("&ufisht;")-1, 10622 },
  { "&ufr;", sizeof("&ufr;")-1, 120114 },
//  { "&ugrave", sizeof("&ugrave")-1, 249 },
  { "&ugrave;", sizeof("&ugrave;")-1, 249 },
  { "&uharl;", sizeof("&uharl;")-1, 8639 },
  { "&uharr;", sizeof("&uharr;")-1, 8638 },
  { "&uhblk;", sizeof("&uhblk;")-1, 9600 },
  { "&ulcorn;", sizeof("&ulcorn;")-1, 8988 },
  { "&ulcorner;", sizeof("&ulcorner;")-1, 8988 },
  { "&ulcrop;", sizeof("&ulcrop;")-1, 8975 },
  { "&ultri;", sizeof("&ultri;")-1, 9720 },
  { "&umacr;", sizeof("&umacr;")-1, 363 },
//  { "&uml", sizeof("&uml")-1, 168 },
  { "&uml;", sizeof("&uml;")-1, 168 },
  { "&uogon;", sizeof("&uogon;")-1, 371 },
  { "&uopf;", sizeof("&uopf;")-1, 120166 },
  { "&uparrow;", sizeof("&uparrow;")-1, 8593 },
  { "&updownarrow;", sizeof("&updownarrow;")-1, 8597 },
  { "&upharpoonleft;", sizeof("&upharpoonleft;")-1, 8639 },
  { "&upharpoonright;", sizeof("&upharpoonright;")-1, 8638 },
  { "&uplus;", sizeof("&uplus;")-1, 8846 },
  { "&upsi;", sizeof("&upsi;")-1, 965 },
  { "&upsih;", sizeof("&upsih;")-1, 978 },
  { "&upsilon;", sizeof("&upsilon;")-1, 965 },
  { "&upuparrows;", sizeof("&upuparrows;")-1, 8648 },
  { "&urcorn;", sizeof("&urcorn;")-1, 8989 },
  { "&urcorner;", sizeof("&urcorner;")-1, 8989 },
  { "&urcrop;", sizeof("&urcrop;")-1, 8974 },
  { "&uring;", sizeof("&uring;")-1, 367 },
  { "&urtri;", sizeof("&urtri;")-1, 9721 },
  { "&uscr;", sizeof("&uscr;")-1, 120010 },
  { "&utdot;", sizeof("&utdot;")-1, 8944 },
  { "&utilde;", sizeof("&utilde;")-1, 361 },
  { "&utri;", sizeof("&utri;")-1, 9653 },
  { "&utrif;", sizeof("&utrif;")-1, 9652 },
  { "&uuarr;", sizeof("&uuarr;")-1, 8648 },
//  { "&uuml", sizeof("&uuml")-1, 252 },
  { "&uuml;", sizeof("&uuml;")-1, 252 },
  { "&uwangle;", sizeof("&uwangle;")-1, 10663 },
  { "&vArr;", sizeof("&vArr;")-1, 8661 },
  { "&vBar;", sizeof("&vBar;")-1, 10984 },
  { "&vBarv;", sizeof("&vBarv;")-1, 10985 },
  { "&vDash;", sizeof("&vDash;")-1, 8872 },
  { "&vangrt;", sizeof("&vangrt;")-1, 10652 },
  { "&varepsilon;", sizeof("&varepsilon;")-1, 1013 },
  { "&varkappa;", sizeof("&varkappa;")-1, 1008 },
  { "&varnothing;", sizeof("&varnothing;")-1, 8709 },
  { "&varphi;", sizeof("&varphi;")-1, 981 },
  { "&varpi;", sizeof("&varpi;")-1, 982 },
  { "&varpropto;", sizeof("&varpropto;")-1, 8733 },
  { "&varr;", sizeof("&varr;")-1, 8597 },
  { "&varrho;", sizeof("&varrho;")-1, 1009 },
  { "&varsigma;", sizeof("&varsigma;")-1, 962 },
//  { "&varsubsetneq;", sizeof("&varsubsetneq;")-1, 8842, 65024 },
//  { "&varsubsetneqq;", sizeof("&varsubsetneqq;")-1, 10955, 65024 },
//  { "&varsupsetneq;", sizeof("&varsupsetneq;")-1, 8843, 65024 },
//  { "&varsupsetneqq;", sizeof("&varsupsetneqq;")-1, 10956, 65024 },
  { "&vartheta;", sizeof("&vartheta;")-1, 977 },
  { "&vartriangleleft;", sizeof("&vartriangleleft;")-1, 8882 },
  { "&vartriangleright;", sizeof("&vartriangleright;")-1, 8883 },
  { "&vcy;", sizeof("&vcy;")-1, 1074 },
  { "&vdash;", sizeof("&vdash;")-1, 8866 },
  { "&vee;", sizeof("&vee;")-1, 8744 },
  { "&veebar;", sizeof("&veebar;")-1, 8891 },
  { "&veeeq;", sizeof("&veeeq;")-1, 8794 },
  { "&vellip;", sizeof("&vellip;")-1, 8942 },
  { "&verbar;", sizeof("&verbar;")-1, 124 },
  { "&vert;", sizeof("&vert;")-1, 124 },
  { "&vfr;", sizeof("&vfr;")-1, 120115 },
  { "&vltri;", sizeof("&vltri;")-1, 8882 },
//  { "&vnsub;", sizeof("&vnsub;")-1, 8834, 8402 },
//  { "&vnsup;", sizeof("&vnsup;")-1, 8835, 8402 },
  { "&vopf;", sizeof("&vopf;")-1, 120167 },
  { "&vprop;", sizeof("&vprop;")-1, 8733 },
  { "&vrtri;", sizeof("&vrtri;")-1, 8883 },
  { "&vscr;", sizeof("&vscr;")-1, 120011 },
//  { "&vsubnE;", sizeof("&vsubnE;")-1, 10955, 65024 },
//  { "&vsubne;", sizeof("&vsubne;")-1, 8842, 65024 },
//  { "&vsupnE;", sizeof("&vsupnE;")-1, 10956, 65024 },
//  { "&vsupne;", sizeof("&vsupne;")-1, 8843, 65024 },
  { "&vzigzag;", sizeof("&vzigzag;")-1, 10650 },
  { "&wcirc;", sizeof("&wcirc;")-1, 373 },
  { "&wedbar;", sizeof("&wedbar;")-1, 10847 },
  { "&wedge;", sizeof("&wedge;")-1, 8743 },
  { "&wedgeq;", sizeof("&wedgeq;")-1, 8793 },
  { "&weierp;", sizeof("&weierp;")-1, 8472 },
  { "&wfr;", sizeof("&wfr;")-1, 120116 },
  { "&wopf;", sizeof("&wopf;")-1, 120168 },
  { "&wp;", sizeof("&wp;")-1, 8472 },
  { "&wr;", sizeof("&wr;")-1, 8768 },
  { "&wreath;", sizeof("&wreath;")-1, 8768 },
  { "&wscr;", sizeof("&wscr;")-1, 120012 },
  { "&xcap;", sizeof("&xcap;")-1, 8898 },
  { "&xcirc;", sizeof("&xcirc;")-1, 9711 },
  { "&xcup;", sizeof("&xcup;")-1, 8899 },
  { "&xdtri;", sizeof("&xdtri;")-1, 9661 },
  { "&xfr;", sizeof("&xfr;")-1, 120117 },
  { "&xhArr;", sizeof("&xhArr;")-1, 10234 },
  { "&xharr;", sizeof("&xharr;")-1, 10231 },
  { "&xi;", sizeof("&xi;")-1, 958 },
  { "&xlArr;", sizeof("&xlArr;")-1, 10232 },
  { "&xlarr;", sizeof("&xlarr;")-1, 10229 },
  { "&xmap;", sizeof("&xmap;")-1, 10236 },
  { "&xnis;", sizeof("&xnis;")-1, 8955 },
  { "&xodot;", sizeof("&xodot;")-1, 10752 },
  { "&xopf;", sizeof("&xopf;")-1, 120169 },
  { "&xoplus;", sizeof("&xoplus;")-1, 10753 },
  { "&xotime;", sizeof("&xotime;")-1, 10754 },
  { "&xrArr;", sizeof("&xrArr;")-1, 10233 },
  { "&xrarr;", sizeof("&xrarr;")-1, 10230 },
  { "&xscr;", sizeof("&xscr;")-1, 120013 },
  { "&xsqcup;", sizeof("&xsqcup;")-1, 10758 },
  { "&xuplus;", sizeof("&xuplus;")-1, 10756 },
  { "&xutri;", sizeof("&xutri;")-1, 9651 },
  { "&xvee;", sizeof("&xvee;")-1, 8897 },
  { "&xwedge;", sizeof("&xwedge;")-1, 8896 },
//  { "&yacute", sizeof("&yacute")-1, 253 },
  { "&yacute;", sizeof("&yacute;")-1, 253 },
  { "&yacy;", sizeof("&yacy;")-1, 1103 },
  { "&ycirc;", sizeof("&ycirc;")-1, 375 },
  { "&ycy;", sizeof("&ycy;")-1, 1099 },
//  { "&yen", sizeof("&yen")-1, 165 },
  { "&yen;", sizeof("&yen;")-1, 165 },
  { "&yfr;", sizeof("&yfr;")-1, 120118 },
  { "&yicy;", sizeof("&yicy;")-1, 1111 },
  { "&yopf;", sizeof("&yopf;")-1, 120170 },
  { "&yscr;", sizeof("&yscr;")-1, 120014 },
  { "&yucy;", sizeof("&yucy;")-1, 1102 },
//  { "&yuml", sizeof("&yuml")-1, 255 },
  { "&yuml;", sizeof("&yuml;")-1, 255 },
  { "&zacute;", sizeof("&zacute;")-1, 378 },
  { "&zcaron;", sizeof("&zcaron;")-1, 382 },
  { "&zcy;", sizeof("&zcy;")-1, 1079 },
  { "&zdot;", sizeof("&zdot;")-1, 380 },
  { "&zeetrf;", sizeof("&zeetrf;")-1, 8488 },
  { "&zeta;", sizeof("&zeta;")-1, 950 },
  { "&zfr;", sizeof("&zfr;")-1, 120119 },
  { "&zhcy;", sizeof("&zhcy;")-1, 1078 },
  { "&zigrarr;", sizeof("&zigrarr;")-1, 8669 },
  { "&zopf;", sizeof("&zopf;")-1, 120171 },
  { "&zscr;", sizeof("&zscr;")-1, 120015 },
  { "&zwj;", sizeof("&zwj;")-1, 8205 },
  { "&zwnj;", sizeof("&zwnj;")-1, 8204 },
  { "&", 1, 0 }
};

   int  ch, idx, utf8;
   char  *cptr, *sptr;

   /*********/
   /* begin */
   /*********/

   if (Debug) WatchThis (FI_LI, "HtmlDeEntify() !AZ |!AZ|", 
                         CharsetPtr, HtmlPtr);

   if (CharsetPtr)
      utf8 = !strstr (CharsetPtr, "UTF-8");
   else
      utf8 = FALSE;

   cptr = sptr = HtmlPtr;
   while (*cptr)
   {
      if (*cptr != '&')
      {
         *sptr++ = *cptr++;
         continue;
      }

      /* entity */
      cptr++;

      if (*cptr == '#')
      {
         /* convert a numeric entity to it's character equivalent */
         cptr++;
         if (*cptr == 'x')
            ch = (uint)strtol(cptr+1, NULL, 16);
         else
            ch = (uint)atol(cptr);
         while (*cptr && *cptr != ';') cptr++;
         /* if badly formed entity */
         if (!*cptr) break;
         cptr++;
         if (ch < 32) continue;
         if (!utf8)
         {
            if (ch > 255) continue;
            *sptr++ = (ch & 0xff);
            continue;
         }
         /* drop thru to UTF-8 encode */
      }
      else                                                             
      {
         ch = 0;
         /* find the first instance of the alaphabetic list */
         for (idx = 0; HtmlEntity[idx].ent[1]; idx++)
            if (HtmlEntity[idx].ent[1] == cptr[0]) break;
         /* check each instance of the alphabetic */
         for (; HtmlEntity[idx].ent[1]; idx++)
         {
            /* break on the first non-natching alphabetic */
            if (HtmlEntity[idx].ent[1] != cptr[0]) break;
            if (strncmp (cptr, HtmlEntity[idx].ent+1, HtmlEntity[idx].len-1)) continue;
            /* some entries are not terminated with a ';' */
            if (HtmlEntity[idx].ent[HtmlEntity[idx].len-1] != ';') continue;
            ch = HtmlEntity[idx].val;
            break;
         }
         while (*cptr && *cptr != ';') cptr++;
         if (*cptr) cptr++;
         if (!ch)
         {
            /* unknown entity */
            continue;
         }
         if (!utf8)
         {
            *sptr++ = (ch & 0xff);
            continue;
         }
         /* drop thru to UTF-8 encode */
      }

      /* UTF-8 */
      if (ch > 255)
      {
         *sptr++ = 0xe0 | ((ch & 0xf000) >> 12);
         *sptr++ = 0x80 | ((ch & 0x0f00) >> 6) | ((ch & 0xc0) >> 6);
         *sptr++ = 0x80 | (ch & 0x3f);
      }
      else
      if (ch > 127)
      {
         *sptr++ = 0xc0 | ((ch & 0xc0) >> 6);
         *sptr++ = 0x80 | (ch & 0x3f);
      }
      else
         *sptr++ = ch;
   }
   *sptr = '\0';

   return (sptr-HtmlPtr);
}

/*****************************************************************************/
/*
Elementary UTF-8 encoding for characters > 127.
*/

char* HtmlUtf8Encode (char *TextPtr)

{
   int  ch, cnt;
   uchar  *cptr, *sptr, *tptr;

   /*********/
   /* begin */
   /*********/

   if (Debug) WatchThis (FI_LI, "HtmlUtf8Encode() |!AZ|", TextPtr);

   for (cptr = (uchar*)TextPtr; *cptr && *cptr <= 127; cptr++);
   if (!*cptr) return (TextPtr);

   cnt = cptr - (uchar*)TextPtr;
   /* worst case for UTF-8 is plus 3 chars */
   for (cptr = (uchar*)TextPtr; *cptr && *cptr > 127; cptr++) cnt += 3;
   tptr =  CgiLibVeeMemCalloc (cnt+4);
   if (!tptr) ErrorExit (vaxc$errno, FI_LI);

   sptr = tptr;
   cptr = (uchar*)TextPtr;
   for (cptr = (uchar*)TextPtr; *cptr; cptr++)
   {
      if (*cptr <= 127)
         *sptr++ = *cptr;
      else
         sptr += HtmlUtf8EncodeChar (sptr, (uint)*cptr);
   }
   *sptr = '\0';

   if (Debug) WatchThis (FI_LI, "!UL |!AZ|", sptr-tptr, tptr);

   return ((char*)tptr);
}

/*****************************************************************************/
/*
UTF-8 encode a single character.  Return the number of chars generated.
*/

int HtmlUtf8EncodeChar (uchar *out, uint utf)

{
   /*********/
   /* begin */
   /*********/

   if (utf <= 0x7F)
   {
      /* plain ASCII */
      out[0] = (char) utf;
      out[1] = 0;
      return (1);
   }
   else
   if (utf <= 0x07FF)
   {
      /* 2-byte unicode */
      out[0] = (char) (((utf >> 6) & 0x1F) | 0xC0);
      out[1] = (char) (((utf >> 0) & 0x3F) | 0x80);
      out[2] = 0;
      return (2);
   }
   else
   if (utf <= 0xFFFF)
   {
      /* 3-byte unicode */
      out[0] = (char) (((utf >> 12) & 0x0F) | 0xE0);
      out[1] = (char) (((utf >>  6) & 0x3F) | 0x80);
      out[2] = (char) (((utf >>  0) & 0x3F) | 0x80);
      out[3] = 0;
      return (3);
   }
   else
   if (utf <= 0x10FFFF)
   {
     /* 4-byte unicode */
     out[0] = (char) (((utf >> 18) & 0x07) | 0xF0);
     out[1] = (char) (((utf >> 12) & 0x3F) | 0x80);
     out[2] = (char) (((utf >>  6) & 0x3F) | 0x80);
     out[3] = (char) (((utf >>  0) & 0x3F) | 0x80);
     out[4] = 0;
     return (4);
   }
   else
   { 
      /* error - use replacement character */
      out[0] = (char) 0xEF;  
      out[1] = (char) 0xBF;
      out[2] = (char) 0xBD;
      out[3] = 0;
      return (0);
   }
}

/*****************************************************************************/
/*
Check the leading text for what looks like a common HTML tag.
*/

BOOL HtmlInDisguise (char *TextPtr)

{
   char  *cptr;

   /*********/
   /* begin */
   /*********/

   if (Debug) fprintf (stdout, "HtmlInDisguise()\n");

   if (!TextPtr) return (FALSE);
   for (cptr = TextPtr; *cptr && isspace(*cptr); cptr++);
   if (WatchEnabled) WatchThis (FI_LI, "!8AZ", cptr);
   if (*cptr != '<') return (FALSE);
   if (!memcmp (cptr, "<!--", 4)) return (TRUE);
   if (strsame (cptr, "<!DOCTYPE", 9)) return (TRUE);
   if (strsame (cptr, "<html", 5)) return (TRUE);
   if (strsame (cptr, "<head", 5)) return (TRUE);
   if (strsame (cptr, "<body", 5)) return (TRUE);
   if (strsame (cptr, "<table", 6)) return (TRUE);
   if (strsame (cptr, "<font", 5)) return (TRUE);
   return (FALSE);
}

/*****************************************************************************/