File:  [LON-CAPA] / loncom / cgi / mimeTeX / mimetex.h
Revision 1.4: download - view: text, annotated - select for diffs
Thu Dec 4 12:17:13 2008 UTC (15 years, 5 months ago) by riegler
Branches: MAIN
CVS tags: version_2_9_X, version_2_9_99_0, version_2_9_1, version_2_9_0, version_2_8_X, version_2_8_99_1, version_2_8_99_0, version_2_8_2, version_2_8_1, version_2_8_0, version_2_7_99_1, version_2_7_99_0, version_2_10_X, version_2_10_1, version_2_10_0_RC2, version_2_10_0_RC1, version_2_10_0, loncapaMITrelate_1, language_hyphenation_merge, language_hyphenation, bz6209-base, bz6209, bz5969, bz2851, PRINT_INCOMPLETE_base, PRINT_INCOMPLETE, HEAD, GCI_3, GCI_2, GCI_1, BZ5971-printing-apage, BZ5434-fox, BZ4492-merge, BZ4492-feature_horizontal_radioresponse, BZ4492-feature_Support_horizontal_radioresponse, BZ4492-Support_horizontal_radioresponse
upgrade to mimetex version 1.7
This version will be needed in order to align formulas neatly.
noticable change is the % in the path specified in "commands".

    1: #ifndef	_MIMETEX
    2: #define	_MIMETEX
    3: /****************************************************************************
    4:  *
    5:  * Copyright(c) 2002-2008, John Forkosh Associates, Inc. All rights reserved.
    6:  *           http://www.forkosh.com   mailto: john@forkosh.com
    7:  * --------------------------------------------------------------------------
    8:  * This file is part of mimeTeX, which is free software. You may redistribute
    9:  * and/or modify it under the terms of the GNU General Public License,
   10:  * version 3 or later, as published by the Free Software Foundation.
   11:  *      MimeTeX is distributed in the hope that it will be useful, but
   12:  * WITHOUT ANY WARRANTY, not even the implied warranty of MERCHANTABILITY.
   13:  * See the GNU General Public License for specific details.
   14:  *      By using mimeTeX, you warrant that you have read, understood and
   15:  * agreed to these terms and conditions, and that you possess the legal
   16:  * right and ability to enter into this agreement and to use mimeTeX
   17:  * in accordance with it.
   18:  *      Your mimetex.zip distribution file should contain the file COPYING,
   19:  * an ascii text copy of the GNU General Public License, version 3.
   20:  * If not, point your browser to  http://www.gnu.org/licenses/
   21:  * or write to the Free Software Foundation, Inc.,
   22:  * 59 Temple Place, Suite 330,  Boston, MA 02111-1307 USA.
   23:  * --------------------------------------------------------------------------
   24:  *
   25:  * Purpose:	Structures, macros, symbols,
   26:  *		and static font data for mimetex (and friends)
   27:  * 
   28:  * Source:	mimetex.h
   29:  *
   30:  * Notes:     o	#define TEXFONTS before #include "mimetex.h"
   31:  *		if you need the fonttable[] (of fontfamily's) set up.
   32:  *		mimetex.c needs this; other modules probably don't
   33:  *		because they'll call access functions from mimetex.c
   34:  *		that hide the underlying font data
   35:  *
   36:  * --------------------------------------------------------------------------
   37:  * Revision History:
   38:  * 09/18/02	J.Forkosh	Installation.
   39:  * 12/11/02	J.Forkosh	Version 1.00 released.
   40:  * 07/04/03	J.Forkosh	Version 1.01 released.
   41:  * ---
   42:  * 09/06/08	J.Forkosh	Version 1.70 released.
   43:  *
   44:  ***************************************************************************/
   45: 
   46: 
   47: /* --------------------------------------------------------------------------
   48: check for compilation by parts (not supported yet)
   49: -------------------------------------------------------------------------- */
   50: /* --- check for (up to) five parts --- */
   51: #if defined(PART1) || defined(PART2) || defined(PART3) \
   52: ||  defined(PART4) || defined(PART5)
   53:   #define PARTS
   54: #endif
   55: /* --- default STATIC=static, else set up static for parts --- */
   56: #if defined(PARTS)
   57:   #if defined(PART1)
   58:     #define INITVALS
   59:     #define STATIC /* not static */
   60:   #else
   61:     #define STATIC extern
   62:   #endif
   63: #else
   64:   #define INITVALS
   65:   #if defined(DRIVER)
   66:     #define STATIC static
   67:   #else
   68:     #define STATIC static /* not static (won't work) */
   69:   #endif
   70: #endif
   71: /* --- declare global symbol --- */
   72: #ifdef INITVALS
   73:   #define GLOBAL(type,variable,value) STATIC type variable = value
   74:   /* #define GLOBAL(type,variable,value) STATIC type variable = (value) */
   75:   /* #define SHARED(type,variable,value) type variable = (value) */
   76: #else
   77:   #define GLOBAL(type,variable,value) STATIC type variable
   78:   /* #define SHARED(type,variable,value) STATIC type variable */
   79: #endif
   80: 
   81: 
   82: /* --------------------------------------------------------------------------
   83: macros to get/set/unset a single bit (in rasters), and some bitfield macros
   84: -------------------------------------------------------------------------- */
   85: /* --- single-bit operations on a scalar argument (x) --- */
   86: #define get1bit(x,bit)   ( ((x)>>(bit)) & 1 )	/* get the bit-th bit of x */
   87: #define set1bit(x,bit)   ( (x) |=  (1<<(bit)) )	/* set the bit-th bit of x */
   88: #define unset1bit(x,bit) ( (x) &= ~(1<<(bit)) )	/*unset the bit-th bit of x*/
   89: /* --- single-bit operations on a byte-addressable argument (x) --- */
   90: #define getlongbit(x,bit) get1bit(*((x)+(bit)/8),(bit)%8)	/* get bit */
   91: #define setlongbit(x,bit) set1bit(*((x)+(bit)/8),(bit)%8)	/* set bit */
   92: #define unsetlongbit(x,bit) unset1bit(*((x)+(bit)/8),(bit)%8)	/*unset bit*/
   93: /* --- a few bitfield macros --- */
   94: #define	bitmask(nbits)	((1<<(nbits))-1)	/* a mask of nbits 1's */
   95: #define getbitfld(x,bit1,nbits)	(((x)>>(bit1)) & (bitmask(nbits)))
   96: 
   97: /* --------------------------------------------------------------------------
   98: macros to get/clear/set a single 4-bit nibble (in rasters)
   99: -------------------------------------------------------------------------- */
  100: #define	getnibble(x,i)				/* get i-th 4-bit nibble */ \
  101: 	( (i)%2==0? ((x)[(i)/2] & 0xF0) >> 4:	/* left/high nibble */      \
  102: 	(x)[(i)/2] & 0x0F )			/* right/low-order nibble */
  103: #define	clearnibble(x,i) ((x)[(i)/2] &= ((i)%2==0?0x0F:0xF0)) /*clear ith*/
  104: #define	setnibble(x,i,n)			/*set ith nibble of x to n*/\
  105: 	if ( (i)%2 == 0 )			/* setting left nibble */   \
  106: 	  { clearnibble(x,i);			/* first clear the nibble*/ \
  107: 	    (x)[(i)/2] |= ((n)&0x0F)<<4; }	/* set high-order 4 bits */ \
  108: 	else					/* setting right nibble */  \
  109: 	 if ( 1 )				/* dummy -- always true */  \
  110: 	  { clearnibble(x,i);			/* first clear the nibble*/ \
  111: 	    (x)[(i)/2] |= (n)&0x0F; }		/* set low-order 4 bits */  \
  112: 	 else					/* let user supply final ;*/
  113: /* --- macros to get/set/clear byte (format=2) or nibble (format=3) --- */
  114: #define	getbyfmt(fmt,x,i)			/*byte(fmt=2) or nibble(3)*/\
  115: 	( ((fmt)==2? ((int)((x)[(i)])) :	/* get full 8-bit byte */   \
  116: 	   ((fmt)==3? getnibble(x,i) : 0)) )	/* or 4-bit nibble (err=0)*/
  117: #define	clearbyfmt(fmt,x,i)			/*byte(fmt=2) or nibble(3)*/\
  118: 	if((fmt)==2) (x)[(i)] = ((unsigned char)0); /* clear 8-bit byte */  \
  119: 	else if((fmt)==3) clearnibble(x,i)	/* or clear 4-bit nibble */
  120: #define	setbyfmt(fmt,x,i,n)			/*byte(fmt=2) or nibble(3)*/\
  121: 	if((fmt)==2) (x)[(i)] = ((unsigned char)n); /*set full 8-bit byte*/ \
  122: 	else if((fmt)==3) setnibble(x,i,n); else /* or set 4-bit nibble */
  123: 
  124: /* -------------------------------------------------------------------------
  125: Raster structure (bitmap or bytemap, along with its width and height in bits)
  126: -------------------------------------------------------------------------- */
  127: /* --- 8-bit datatype (always unsigned) --- */
  128: #define intbyte  unsigned char
  129: /* --- datatype for pixels --- */
  130: /* --- #if !defined(UNSIGNEDCHAR) && !defined(SIGNEDCHAR)
  131:           #define SIGNEDCHAR
  132:        #endif --- */
  133: #ifndef	SIGNEDCHAR
  134:   #define pixbyte  unsigned char
  135: #else
  136:   #define pixbyte  char
  137: #endif
  138: /* --- raster structure --- */
  139: #define	raster	struct raster_struct	/* "typedef" for raster_struct*/
  140: raster
  141:   {
  142:   /* -----------------------------------------------------------------------
  143:   dimensions of raster
  144:   ------------------------------------------------------------------------ */
  145:   int	width;				/* #pixels wide */
  146:   int	height;				/* #pixels high */
  147:   int	format;				/* 1=bitmap, 2=gf/8bits,3=gf/4bits */
  148:   int	pixsz;				/* #bits per pixel, 1 or 8 */
  149:   /* -----------------------------------------------------------------------
  150:   memory for raster
  151:   ------------------------------------------------------------------------ */
  152:   pixbyte *pixmap;		/* memory for width*height bits or bytes */
  153:   } ; /* --- end-of-raster_struct --- */
  154: 
  155: /* ---
  156:  * associated raster constants and macros
  157:  * -------------------------------------- */
  158: #define	maxraster 1048576 /*99999*/	/* max #pixels for raster pixmap */
  159: /* --- #bytes in pixmap raster needed to contain width x height pixels --- */
  160: #define	bitmapsz(width,height) (((width)*(height)+7)/8) /*#bytes if a bitmap*/
  161: #define	pixmapsz(rp) (((rp)->pixsz)*bitmapsz((rp)->width,(rp)->height))
  162: /* --- #bytes in raster struct, by its format --- */
  163: #define	pixbytes(rp) ((rp)->format==1? pixmapsz(rp) : /*#bytes in bitmap*/  \
  164: 	((rp)->format==2? (rp)->pixsz : (1+(rp)->pixsz)/2) ) /*gf-formatted*/
  165: /* --- pixel index calculation used by getpixel() and setpixel() below --- */
  166: #define	PIXDEX(rp,irow,icol) (((irow)*((rp)->width))+(icol))/*irow,icol indx*/
  167: /* --- get value of pixel, either one bit or one byte, at (irow,icol) --- */
  168: #define	getpixel(rp,irow,icol)		/*get bit or byte based on pixsz*/  \
  169: 	((rp)->pixsz==1? getlongbit((rp)->pixmap,PIXDEX(rp,(irow),(icol))) :\
  170: 	 ((rp)->pixsz==8? ((rp)->pixmap)[PIXDEX(rp,(irow),(icol))] : (-1)) )
  171: /* --- set value of pixel, either one bit or one byte, at (irow,icol) --- */
  172: #define	setpixel(rp,irow,icol,value)	/*set bit or byte based on pixsz*/  \
  173: 	if ( (rp)->pixsz == 1 )		/*set pixel to 1 or 0 for bitmap*/  \
  174: 	 if ( (value) != 0 )		/* turn bit pixel on */             \
  175: 	  { setlongbit((rp)->pixmap,PIXDEX(rp,(irow),(icol))); }            \
  176: 	 else				/* or turn bit pixel 0ff */         \
  177: 	  { unsetlongbit((rp)->pixmap,PIXDEX(rp,(irow),(icol))); }	    \
  178: 	else				/* set 8-bit bytemap pixel value */ \
  179: 	  if ( (rp)->pixsz == 8 )	/* check pixsz=8 for bytemap */	    \
  180: 	     ((rp)->pixmap)[PIXDEX(rp,(irow),(icol))]=(pixbyte)(value);     \
  181: 	  else				/* let user supply final ; */
  182: 
  183: /* --------------------------------------------------------------------------
  184: some char classes tokenizer needs to recognize, and macros to check for them
  185: -------------------------------------------------------------------------- */
  186: /* --- some character classes --- */
  187: #define	istextmode	(fontinfo[fontnum].istext==1) /* true for text font*/
  188: #define	WHITEMATH	"~ \t\n\r\f\v"	/* white chars in display/math mode*/
  189: #define	WHITETEXT	"\t\n\r\f\v"	/* white chars in text mode */
  190: #define	WHITEDELIM	"~ "		/*always ignored following \sequence*/
  191: #define	WHITESPACE	(istextmode?WHITETEXT:WHITEMATH) /*whitespace chars*/
  192: #define	LEFTBRACES	"{([<|-="	/* opening delims are left{([< |,|| */
  193: #define	RIGHTBRACES	"})]>|-="	/* corresponding closing delims */
  194: #define	ESCAPE		"\\"		/* introduce escape sequence */
  195: #define	SUPERSCRIPT	"^"		/* introduce superscript */
  196: #define	SUBSCRIPT	"_"		/* introduce subscript */
  197: #define	SCRIPTS		SUPERSCRIPT SUBSCRIPT /* either "script" */
  198: /* --- macros to check for them --- */
  199: #define	isthischar(thischar,accept) \
  200: 	( (thischar)!='\000' && *(accept)!='\000' \
  201: 	&& strchr(accept,(thischar))!=(char *)NULL )
  202: #define	isthisstr(thisstr,accept) \
  203: 	((*(thisstr))!='\000' && strspn(thisstr,accept)==strlen(thisstr))
  204: #define	skipwhite(thisstr)  if ( (thisstr) != NULL ) \
  205: 	while ( isthischar(*(thisstr),WHITESPACE) ) (thisstr)++
  206: #define	isnextchar(thisstr,accept) \
  207: 	({skipwhite(thisstr);},isthischar(*thisstr,accept))
  208: 
  209: /* -------------------------------------------------------------------------
  210: character definition struct (font info from .gf file describing a char)
  211: -------------------------------------------------------------------------- */
  212: #define	chardef	struct chardef_struct	/* "typedef" for chardef_struct*/
  213: chardef
  214:   {
  215:   /* -----------------------------------------------------------------------
  216:   character description
  217:   ------------------------------------------------------------------------ */
  218:   /* --- character identification as given in .gf font file --- */
  219:   int	charnum;			/*different gf files resuse same num*/
  220:   int	location;			/* location in font */
  221:   /* --- upper-left and lower-left corners of char (topcol=botcol?) --- */
  222:   int	toprow, topleftcol;		/* upper-left corner */
  223:   int	botrow, botleftcol;		/* lower-left corner */
  224:   /* -----------------------------------------------------------------------
  225:   character bitmap raster (image.width is character width, ditto height)
  226:   ------------------------------------------------------------------------ */
  227:   raster  image;			/* bitmap image of character */
  228:   } ; /* --- end-of-chardef_struct --- */
  229: 
  230: 
  231: /* -------------------------------------------------------------------------
  232: Font info corresponding to TeX \matchardef, see TeXbook Appendix F (page 431)
  233: -------------------------------------------------------------------------- */
  234: typedef void *((*HANDLER)());		/* ptr to function returning void* */
  235: #define	mathchardef	struct mathchardef_struct /*typedef for mathchardef*/
  236: mathchardef
  237:   {
  238:   /* -----------------------------------------------------------------------
  239:   symbol name ("a", "\alpha", "1", etc)
  240:   ------------------------------------------------------------------------ */
  241:   char	*symbol;			/* as it appears in a source file */
  242:   /* -----------------------------------------------------------------------
  243:   components of \mathchardef hexadecimal code assigned to this symbol
  244:   ------------------------------------------------------------------------ */
  245:   int	charnum;			/* char# (as given in .gf file) */
  246:   int	family;				/* font family e.g., 2=math symbol */
  247:   int	class;				/* e.g., 3=relation, TexBook pg.154*/
  248:   /* ------------------------------------------------------------------------
  249:   Extra info: some math "functions" require special processing (e.g., \frac)
  250:   ------------------------------------------------------------------------ */
  251:   /* --- function that performs special processing required by symbol --- */
  252:   /* subraster *((*handler)()); -- handler is ultimately recast like this */
  253:   HANDLER handler;			/* e.g., rastfrac() for \frac's */
  254:   } ; /* --- end-of-mathchardef_struct --- */
  255: 
  256: /* ---
  257:  * classes for mathchardef (TeXbook pg.154)
  258:  * ---------------------------------------- */
  259: #define	ORDINARY	(0)		/* e.g., /    */
  260: #define	OPERATOR	(1)		/* e.g., \sum */
  261: #define	BINARYOP	(2)		/* e.g., +    */
  262: #define	RELATION	(3)		/* e.g., =    */
  263: #define	OPENING		(4)		/* e.g., (    */
  264: #define	CLOSING		(5)		/* e.g., }    */
  265: #define	PUNCTION	(6)		/* e.g., , (punctuation) */
  266: #define	VARIABLE	(7)		/* e.g., x    */
  267: #define	DISPOPER	(8)		/* e.g., Bigint (displaymath opers)*/
  268: #define	SPACEOPER	(9)		/* e.g., \hspace{} */
  269: #define	MAXCLASS	(9)		/* just for index checks */
  270: #define	UPPERBIG	DISPOPER	/*how to interpret Bigxxx operators*/
  271: #define	LOWERBIG	DISPOPER	/*how to interpret bigxxx operators*/
  272: /* --- class aliases --- */
  273: #define	ARROW		RELATION
  274: /* --- families for mathchardef (TeXbook, top of pg.431) --- */
  275: #define	CMR10		(1)		/* normal roman */
  276: #define	CMMI10		(2)		/* math italic */
  277: #define	CMMIB10		(3)		/* math italic bold */
  278: #define	CMSY10		(4)		/* math symbol */
  279: #define	CMEX10		(5)		/* math extension */
  280: #define	RSFS10		(6)		/* rsfs \scrA ... \scrZ */
  281: #define	BBOLD10		(7)		/* blackboard bold \mathbb A ... */
  282: #define	STMARY10	(8)		/* stmaryrd math symbols */
  283: #define	CYR10		(9)		/* cyrillic (wncyr10.mf) */
  284: #define	NOTACHAR	(99)		/* e.g., \frac */
  285: /* --- dummy argument value for handlers --- */
  286: #define	NOVALUE		(-989898)	/*charnum,family,class used as args*/
  287: 
  288: /* ---
  289:  * font family information
  290:  * ----------------------- */
  291: STATIC	int  nfontinfo			/* legal font#'s are 1...nfontinfo */
  292: #ifdef INITVALS
  293:   = 8
  294: #endif
  295:   ;
  296: STATIC	struct {char *name; int family; int istext; int class;}
  297:   /* note: class(1=upper,2=alpha,3=alnum,4=lower,5=digit,9=all) now unused */
  298:   fontinfo[]
  299: #ifdef INITVALS
  300:   = {/* --- name family istext class --- */
  301:     { "\\math",	   0,       0,  0 }, /*(0) default math mode */
  302:     { "\\mathcal", CMSY10,  0,  1 }, /*(1) calligraphic, uppercase */
  303:     { "\\mathscr", RSFS10,  0,  1 }, /*(2) rsfs/script, uppercase */
  304:     { "\\textrm",  CMR10,   1, -1 }, /*(3) \rm,\text{abc} --> {\textrm~abc}*/
  305:     { "\\textit",  CMMI10,  1, -1 }, /*(4) \it,\textit{abc}-->{\textit~abc}*/
  306:     { "\\mathbb",  BBOLD10, 0, -1 }, /*(5) \bb,\mathbb{abc}-->{\mathbb~abc}*/
  307:     { "\\mathbf",  CMMIB10, 0, -1 }, /*(6) \bf,\mathbf{abc}-->{\mathbf~abc}*/
  308:     { "\\mathrm",  CMR10,   0, -1 }, /*(7) \mathrm */
  309:     { "\\cyr",     CYR10,   1, -1 }, /*(8) \cyr (defaults as text mode) */
  310:     {  NULL,	   0,       0,  0 } }
  311: #endif
  312:   ; /* --- end-of-fonts[] --- */
  313: 
  314: /* ---
  315:  * additional font attributes (only size is implemented)
  316:  * ----------------------------------------------------- */
  317: /* --- font sizes 0-7 = tiny,small,normal,large,Large,LARGE,huge,Huge --- */
  318: #define	LARGESTSIZE	(7)
  319: #ifdef DEFAULTSIZE
  320:   #ifndef NORMALSIZE
  321:     #define NORMALSIZE (DEFAULTSIZE)
  322:   #endif
  323: #endif
  324: #ifndef	NORMALSIZE
  325:   /*#define NORMALSIZE	(2)*/
  326:   #define NORMALSIZE	(3)
  327: #endif
  328: #ifndef	DISPLAYSIZE
  329:   /* --- automatically sets scripts in \displaystyle when fontsize>= --- */
  330:   /*#define DISPLAYSIZE	(NORMALSIZE+1)*/
  331:   #define DISPLAYSIZE	(3)
  332: #endif
  333: 
  334: /* ---
  335: aspect ratio is width/height of the displayed image of a pixel
  336: -------------------------------------------------------------- */
  337: #define	ASPECTRATIO	1.0 /*(16.0/9.0)*/
  338: #define	SQRTWIDTH(sqrtht) ((int)(.5*((double)(sqrtht+1))*ASPECTRATIO + 0.5))
  339: 
  340: /* ---
  341:  * space between adjacent symbols, e.g., symspace[RELATION][VARIABLE]
  342:  * ------------------------------------------------------------------ */
  343: STATIC	int symspace[11][11]
  344: #ifdef INITVALS
  345:  =
  346:  { /* -----------------------------------------------------------------------
  347:          Right... ORD OPER  BIN  REL OPEN CLOS PUNC  VAR DISP SPACE unused
  348:     Left... -------------------------------------------------------------- */
  349:   /*ORDINARY*/	{  2,   3,   3,   5,   3,   2,   2,   2,   3,   0,    0 },
  350:   /*OPERATOR*/	{  3,   1,   1,   5,   3,   2,   2,   2,   3,   0,    0 },
  351:   /*BINARYOP*/	{  2,   1,   1,   5,   3,   2,   2,   2,   3,   0,    0 },
  352:   /*RELATION*/	{  5,   5,   5,   2,   5,   5,   2,   5,   5,   0,    0 },
  353:    /*OPENING*/	{  2,   2,   2,   5,   2,   4,   2,   2,   3,   0,    0 },
  354:    /*CLOSING*/	{  2,   3,   3,   5,   4,   2,   1,   2,   3,   0,    0 },
  355:   /*PUNCTION*/	{  2,   2,   2,   5,   2,   2,   1,   2,   2,   0,    0 },
  356:   /*VARIABLE*/	{  2,   2,   2,   5,   2,   2,   1,   2,   2,   0,    0 },
  357:   /*DISPOPER*/	{  2,   3,   3,   5,   2,   3,   2,   2,   2,   0,    0 },
  358:  /*SPACEOPER*/	{  0,   0,   0,   0,   0,   0,   0,   0,   0,   0,    0 },
  359:     /*unused*/	{  0,   0,   0,   0,   0,   0,   0,   0,   0,   0,    0 }
  360:  }
  361: #endif
  362:  ; /* --- end-of-symspace[][] --- */
  363: 
  364: 
  365: /* -------------------------------------------------------------------------
  366: subraster (bitmap image, its attributes, overlaid position in raster, etc)
  367: -------------------------------------------------------------------------- */
  368: #define	subraster struct subraster_struct /* "typedef" for subraster_struct*/
  369: subraster
  370:   {
  371:   /* --- subraster type --- */
  372:   int	type;				/* charcter or image raster */
  373:   /* --- character info (if subraster represents a character) --- */
  374:   mathchardef *symdef;			/* mathchardef identifying image */
  375:   int	baseline;			/*0 if image is entirely descending*/
  376:   int	size;				/* font size 0-4 */
  377:   /* --- upper-left corner for bitmap (as overlaid on a larger raster) --- */
  378:   int	toprow, leftcol;		/* upper-left corner of subraster */
  379:   /* --- pointer to raster bitmap image of subraster --- */
  380:   raster *image;			/*ptr to bitmap image of subraster*/
  381:   } ; /* --- end-of-subraster_struct --- */
  382: 
  383: /* --- subraster types --- */
  384: #define	CHARASTER	(1)		/* character */
  385: #define	STRINGRASTER	(2)		/* string of characters */
  386: #define	IMAGERASTER	(3)		/* image */
  387: #define	FRACRASTER	(4)		/* image of \frac{}{} */
  388: #define	ASCIISTRING	(5)		/* ascii string (not a raster) */
  389: 
  390: /* ---
  391:  * issue rasterize() call end extract embedded raster from returned subraster
  392:  * -------------------------------------------------------------------------- */
  393: subraster *rasterize();			/* declare rasterize */
  394: #define	make_raster(expression,size)	((rasterize(expression,size))->image)
  395: 
  396: 
  397: /* -------------------------------------------------------------------------
  398: font family
  399: -------------------------------------------------------------------------- */
  400: #define	fontfamily	struct fontfamily_struct /* typedef for fontfamily */
  401: fontfamily
  402:   {
  403:   /* -----------------------------------------------------------------------
  404:   several sizes, fontdef[0-7]=tiny,small,normal,large,Large,LARGE,huge,HUGE
  405:   ------------------------------------------------------------------------ */
  406:   int	family;				/* font family e.g., 2=math symbol */
  407:   chardef *fontdef[LARGESTSIZE+2];	/*small=(fontdef[1])[charnum].image*/
  408:   } ; /* --- end-of-fontfamily_struct --- */
  409: /* --- dummy font table (for contexts requiring const) --- */
  410: #define dummyfonttable \
  411:   { \
  412:    {   -999, {  NULL, NULL, NULL, NULL, NULL, NULL, NULL, NULL  } } \
  413:   }
  414: 
  415: 
  416: /* -------------------------------------------------------------------------
  417: S t a t i c   F o n t   D a t a   u s e d   b y   M i m e t e x
  418: -------------------------------------------------------------------------- */
  419: #ifdef TEXFONTS
  420: /* ---
  421:  * font info generated for us by gfuntype
  422:  * -------------------------------------- */
  423: #ifdef INITVALS
  424:   #include "texfonts.h"
  425: #endif
  426: 
  427: /* ---
  428:  * font families (by size), just a table of preceding font info
  429:  * ------------------------------------------------------------ */
  430: /* --- for low-pass anti-aliasing --- */
  431: STATIC	fontfamily aafonttable[]
  432: #ifdef INITVALS
  433:  =
  434:  {/* -----------------------------------------------------------------------------------------
  435:     family     size=0,        1,        2,        3,        4,        5,        6,        7
  436:   ----------------------------------------------------------------------------------------- */
  437:   {   CMR10,{   cmr83,   cmr100,   cmr118,   cmr131,   cmr160,   cmr180,   cmr210,   cmr250}},
  438:   {  CMMI10,{  cmmi83,  cmmi100,  cmmi118,  cmmi131,  cmmi160,  cmmi180,  cmmi210,  cmmi250}},
  439:   { CMMIB10,{ cmmib83, cmmib100, cmmib118, cmmib131, cmmib160, cmmib180, cmmib210, cmmib250}},
  440:   {  CMSY10,{  cmsy83,  cmsy100,  cmsy118,  cmsy131,  cmsy160,  cmsy180,  cmsy210,  cmsy250}},
  441:   {  CMEX10,{  cmex83,  cmex100,  cmex118,  cmex131,  cmex160,  cmex180,  cmex210,  cmex250}},
  442:   {  RSFS10,{  rsfs83,  rsfs100,  rsfs118,  rsfs131,  rsfs160,  rsfs180,  rsfs210,  rsfs250}},
  443:   { BBOLD10,{ bbold83, bbold100, bbold118, bbold131, bbold160, bbold180, bbold210, bbold250}},
  444:   {STMARY10,{stmary83,stmary100,stmary118,stmary131,stmary160,stmary180,stmary210,stmary250}},
  445:   {   CYR10,{ wncyr83, wncyr100, wncyr118, wncyr131, wncyr160, wncyr180, wncyr210, wncyr250}},
  446:   {    -999,{    NULL,     NULL,     NULL,     NULL,     NULL,     NULL,     NULL,     NULL}}
  447:  }
  448: #endif
  449:  ; /* --- end-of-aafonttable[] --- */
  450: 
  451: /* --- for super-sampling anti-aliasing --- */
  452: #ifdef SSFONTS
  453:  STATIC fontfamily ssfonttable[]
  454:  #ifdef INITVALS
  455:   =
  456:   {/* -----------------------------------------------------------------------------------------
  457:     family     size=0,        1,        2,        3,        4,        5,        6,        7
  458:    ----------------------------------------------------------------------------------------- */
  459:    {  CMR10,{  cmr250,  cmr1200,  cmr1200,  cmr1200,  cmr1200,  cmr1200,  cmr1200,  cmr1200}},
  460:    { CMMI10,{ cmmi250,  cmmi100,  cmmi118,  cmmi131,  cmmi160,  cmmi180,  cmmi210,  cmmi250}},
  461:    {CMMIB10,{cmmib250, cmmib100, cmmib118, cmmib131, cmmib160, cmmib180, cmmib210, cmmib250}},
  462:    { CMSY10,{ cmsy250,  cmsy100,  cmsy118,  cmsy131,  cmsy160,  cmsy180,  cmsy210,  cmsy250}},
  463:    { CMEX10,{ cmex250,  cmex100,  cmex118,  cmex131,  cmex160,  cmex180,  cmex210,  cmex250}},
  464:    { RSFS10,{ rsfs250,  rsfs100,  rsfs118,  rsfs131,  rsfs160,  rsfs180,  rsfs210,  rsfs250}},
  465:   { BBOLD10,{bbold250, bbold100, bbold118, bbold131, bbold160, bbold180, bbold210, bbold250}},
  466:  {STMARY10,{stmary250,stmary100,stmary118,stmary131,stmary160,stmary180,stmary210,stmary250}},
  467:   {   CYR10,{ wncyr83, wncyr100, wncyr118, wncyr131, wncyr160, wncyr180, wncyr210, wncyr250}},
  468:    {   -999,{    NULL,     NULL,     NULL,     NULL,     NULL,     NULL,     NULL,     NULL}}
  469:   }
  470:  #endif
  471:   ; /* --- end-of-ssfonttable[] --- */
  472: #else
  473:  /*GLOBAL(fontfamily,ssfonttable[],dummyfonttable);*/
  474:  STATIC fontfamily ssfonttable[]
  475:  #ifdef INITVALS
  476:   = dummyfonttable
  477:  #endif
  478:   ;
  479: #endif  /* #ifdef SSFONTS */
  480: #else
  481:  /*GLOBAL(fontfamily,aafonttable[],dummyfonttable);*/
  482:  /*GLOBAL(fontfamily,ssfonttable[],dummyfonttable);*/
  483:  STATIC fontfamily
  484: 	aafonttable[]
  485: 	#ifdef INITVALS
  486: 	 = dummyfonttable
  487: 	#endif
  488: 	,
  489: 	ssfonttable[]
  490: 	#ifdef INITVALS
  491: 	 = dummyfonttable
  492: 	#endif
  493: 	;
  494: #endif  /* #ifdef TEXFONTS */
  495: 
  496: /* --- select current font table (for lowpass or supersampling) --- */
  497: #ifndef ISSUPERSAMPLING
  498:   #define ISSUPERSAMPLING 0
  499: #endif
  500: GLOBAL(fontfamily,*fonttable,(ISSUPERSAMPLING?ssfonttable:aafonttable));
  501: 
  502: /* --- supersampling shrink factors corresponding to displayed sizes --- */
  503: STATIC	int shrinkfactors[]		/*supersampling shrinkfactor by size*/
  504: #ifdef INITVALS
  505:  =
  506:     {  3, 3, 3, 3, 3, 3, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1 }
  507:   /*{ 15,13,11, 9, 7, 5, 3, 1 }*/
  508: #endif
  509:  ;
  510: 
  511: /* ---
  512:  * handler functions for math operations
  513:  * ------------------------------------- */
  514: subraster *rastflags();			/* set flags, e.g., for \rm */
  515: subraster *rastfrac();			/* handle \frac \atop expressions */
  516: subraster *rastackrel();		/* handle \stackrel expressions */
  517: subraster *rastmathfunc();		/* handle \lim,\log,etc expressions*/
  518: subraster *rastoverlay();		/* handle \not */
  519: subraster *rastspace();			/* handle math space, \hspace,\hfill*/
  520: subraster *rastnewline();		/* handle \\ newline */
  521: subraster *rastarrow();			/* handle \longrightarrow, etc */
  522: subraster *rastuparrow();		/* handle \longuparrow, etc */
  523: subraster *rastsqrt();			/* handle \sqrt */
  524: subraster *rastaccent();		/* handle \hat \vec \braces, etc */
  525: subraster *rastfont();			/* handle \cal{} \scr{}, etc */
  526: subraster *rastbegin();			/* handle \begin{}...\end{} */
  527: subraster *rastleft();			/* handle \left...\right */
  528: subraster *rastmiddle();		/* handle \left...\middle...\right */
  529: subraster *rastarray();			/* handle \array{...} */
  530: subraster *rastpicture();		/* handle \picture(,){...} */
  531: subraster *rastline();			/* handle \line(xinc,yinc){xlen} */
  532: subraster *rastrule();			/* handle \rule[lift]{width}{height}*/
  533: subraster *rastcircle();		/* handle \circle(xdiam[,ydiam]) */
  534: subraster *rastbezier();		/*handle\bezier(c0,r0)(c1,r1)(ct,rt)*/
  535: subraster *rastraise();			/* handle \raisebox{lift}{expr} */
  536: subraster *rastrotate();		/* handle \rotatebox{degs}{expr} */
  537: subraster *rastreflect();		/* handle \reflectbox[axis]{expr} */
  538: subraster *rastfbox();			/* handle \fbox{expr} */
  539: subraster *rastinput();			/* handle \input{filename} */
  540: subraster *rastcounter();		/* handle \counter{filename} */
  541: subraster *rasttoday();			/* handle \today[+/-tzdelta,ifmt] */
  542: subraster *rastcalendar();		/* handle \calendar[yaer,month] */
  543: subraster *rastnoop();			/* handle \escape's to be flushed */
  544: 
  545: /* --- sqrt --- */
  546: #define	SQRTACCENT	(1)		/* \sqrt */
  547: /* --- accents --- */
  548: #define	BARACCENT	(11)		/* \bar \overline*/
  549: #define	UNDERBARACCENT	(12)		/* \underline */
  550: #define	HATACCENT	(13)		/* \hat */
  551: #define	DOTACCENT	(14)		/* \dot */
  552: #define	DDOTACCENT	(15)		/* \ddot */
  553: #define	VECACCENT	(16)		/* \vec */
  554: #define	TILDEACCENT	(17)		/* \tilde */
  555: #define	OVERBRACE	(18)		/* \overbrace */
  556: #define	UNDERBRACE	(19)		/* \underbrace */
  557: /* --- flags/modes --- */
  558: #define	ISFONTFAM	(1)		/* set font family */
  559: #define	ISDISPLAYSTYLE	(2)		/* set isdisplaystyle */
  560: #define	ISDISPLAYSIZE	(21)		/* set displaysize */
  561: #define	ISFONTSIZE	(3)		/* set fontsize */
  562: #define	ISWEIGHT	(4)		/* set aa params */
  563: #define	ISOPAQUE	(5)		/* set background opaque */
  564: #define	ISSUPER		(6)		/* set supersampling/lowpass */
  565: #define	ISAAALGORITHM	(61)		/* set anti-aliasing algorithm */
  566: #define	ISCENTERWT	(62)		/* set anti-aliasing center weight */
  567: #define	ISADJACENTWT	(63)		/* set anti-aliasing adjacent weight*/
  568: #define	ISCORNERWT	(64)		/* set anti-aliasing adjacent weight*/
  569: #define	PNMPARAMS	(65)		/* set fgalias,fgonly,bgalias,bgonly*/
  570: #define	ISGAMMA		(66)		/* set gamma correction */
  571: #define	ISSHRINK	(7)		/* set supersampling shrinkfactor */
  572: #define	UNITLENGTH	(8)		/* set unitlength */
  573: #define	ISCOLOR		(9)		/* set color */
  574: #define	ISREVERSE	(10)		/* set reverse video colors */
  575: #define	ISSTRING	(11)		/* set ascii string mode */
  576: #define	ISSMASH		(12)		/* set (minimum) "smash" margin */
  577: #define	ISCONTENTTYPE	(13)		/*enable/disable Content-type lines*/
  578: 
  579: /* ---
  580:  * mathchardefs for symbols recognized by mimetex
  581:  * ---------------------------------------------- */
  582: STATIC	mathchardef symtable[]
  583: #ifdef INITVALS
  584:  =
  585:  {
  586:     /* ---------- c o m m a n d  h a n d l e r s --------------
  587:           symbol    arg1     arg2     arg3       function
  588:     -------------------------------------------------------- */
  589:     /* --- commands --- */
  590:     { "\\left", NOVALUE,NOVALUE,NOVALUE,  (HANDLER)(rastleft) },
  591:     { "\\middle",NOVALUE,NOVALUE,NOVALUE, (HANDLER)(rastmiddle) },
  592:     { "\\frac",   1,	NOVALUE,NOVALUE,  (HANDLER)(rastfrac) },
  593:     { "\\over",   1,	NOVALUE,NOVALUE,  (HANDLER)(rastfrac) },
  594:     { "\\atop",   0,	NOVALUE,NOVALUE,  (HANDLER)(rastfrac) },
  595:     { "\\choose", 0,	NOVALUE,NOVALUE,  (HANDLER)(rastfrac) },
  596:     { "\\not",    1,          0,NOVALUE,  (HANDLER)(rastoverlay) },
  597:     { "\\Not",    2,          0,NOVALUE,  (HANDLER)(rastoverlay) },
  598:     { "\\widenot",2,          0,NOVALUE,  (HANDLER)(rastoverlay) },
  599:     { "\\sout",   3,    NOVALUE,NOVALUE,  (HANDLER)(rastoverlay) },
  600:     { "\\strikeout",3,  NOVALUE,NOVALUE,  (HANDLER)(rastoverlay) },
  601:     { "\\compose",NOVALUE,NOVALUE,NOVALUE,(HANDLER)(rastoverlay) },
  602:     { "\\stackrel", 2,	NOVALUE,NOVALUE,  (HANDLER)(rastackrel) },
  603:     { "\\relstack", 1,	NOVALUE,NOVALUE,  (HANDLER)(rastackrel) },
  604:     { "\\sqrt",	NOVALUE,NOVALUE,NOVALUE,  (HANDLER)(rastsqrt) },
  605:     { "\\overbrace",  OVERBRACE,1,    1,  (HANDLER)(rastaccent) },
  606:     { "\\underbrace",UNDERBRACE,0,    1,  (HANDLER)(rastaccent) },
  607:     { "\\overline",   BARACCENT,1,    0,  (HANDLER)(rastaccent) },
  608:     { "\\underline",UNDERBARACCENT,0, 0,  (HANDLER)(rastaccent) },
  609:     { "\\begin",NOVALUE,NOVALUE,NOVALUE,  (HANDLER)(rastbegin) },
  610:     { "\\array",NOVALUE,NOVALUE,NOVALUE,  (HANDLER)(rastarray) },
  611:     { "\\matrix",NOVALUE,NOVALUE,NOVALUE, (HANDLER)(rastarray) },
  612:     { "\\tabular",NOVALUE,NOVALUE,NOVALUE,(HANDLER)(rastarray) },
  613:     { "\\picture",NOVALUE,NOVALUE,NOVALUE,(HANDLER)(rastpicture) },
  614:     { "\\line", NOVALUE,NOVALUE,NOVALUE,  (HANDLER)(rastline) },
  615:     { "\\rule", NOVALUE,NOVALUE,NOVALUE,  (HANDLER)(rastrule) },
  616:     { "\\circle", NOVALUE,NOVALUE,NOVALUE,(HANDLER)(rastcircle) },
  617:     { "\\bezier", NOVALUE,NOVALUE,NOVALUE,(HANDLER)(rastbezier) },
  618:     { "\\qbezier",NOVALUE,NOVALUE,NOVALUE,(HANDLER)(rastbezier) },
  619:     { "\\raisebox",NOVALUE,NOVALUE,NOVALUE,(HANDLER)(rastraise) },
  620:     { "\\rotatebox",NOVALUE,NOVALUE,NOVALUE,(HANDLER)(rastrotate) },
  621:     { "\\reflectbox",NOVALUE,NOVALUE,NOVALUE,(HANDLER)(rastreflect) },
  622:     { "\\fbox", NOVALUE,NOVALUE,NOVALUE,  (HANDLER)(rastfbox) },
  623:     { "\\input",NOVALUE,NOVALUE,NOVALUE,  (HANDLER)(rastinput) },
  624:     { "\\today",NOVALUE,NOVALUE,NOVALUE,  (HANDLER)(rasttoday) },
  625:     { "\\calendar",NOVALUE,NOVALUE,NOVALUE,(HANDLER)(rastcalendar) },
  626:     { "\\counter",NOVALUE,NOVALUE,NOVALUE,(HANDLER)(rastcounter) },
  627:     /* --- spaces --- */
  628:     { "\\/",	1,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  629:     { "\\,",	2,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  630:     { "\\:",	4,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  631:     { "\\;",	6,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  632:     { "\\\n",	3,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  633:     { "\\\r",	3,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  634:     { "\\\t",	3,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  635:       /*{ "\\~",5,NOVALUE,NOVALUE,(HANDLER)(rastspace) },*/
  636:     { "~",	5,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  637:     { "\\ ",	5,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  638:     { " ",	5,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  639:     { "\\!",	-2,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  640:     /*{ "\\!*",	-2,	     99,NOVALUE,  (HANDLER)(rastspace) },*/
  641:     { "\\quad",	6,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  642:     { "\\qquad",10,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  643:     { "\\hspace",0,	NOVALUE,NOVALUE,  (HANDLER)(rastspace) },
  644:     { "\\hspace*",0,	     99,NOVALUE,  (HANDLER)(rastspace) },
  645:     { "\\vspace",0,	NOVALUE,      1,  (HANDLER)(rastspace) },
  646:     { "\\hfill",0,	      1,NOVALUE,  (HANDLER)(rastspace) },
  647:     /* --- newline --- */
  648:     { "\\\\",   NOVALUE,NOVALUE,NOVALUE,  (HANDLER)(rastnewline) },
  649:     /* --- arrows --- */
  650:     { "\\longrightarrow",   1,0,NOVALUE,  (HANDLER)(rastarrow) },
  651:     { "\\Longrightarrow",   1,1,NOVALUE,  (HANDLER)(rastarrow) },
  652:     { "\\longleftarrow",   -1,0,NOVALUE,  (HANDLER)(rastarrow) },
  653:     { "\\Longleftarrow",   -1,1,NOVALUE,  (HANDLER)(rastarrow) },
  654:     { "\\longleftrightarrow",0,0,NOVALUE, (HANDLER)(rastarrow) },
  655:     { "\\Longleftrightarrow",0,1,NOVALUE, (HANDLER)(rastarrow) },
  656:     { "\\longuparrow",      1,0,NOVALUE, (HANDLER)(rastuparrow) },
  657:     { "\\Longuparrow",      1,1,NOVALUE, (HANDLER)(rastuparrow) },
  658:     { "\\longdownarrow",   -1,0,NOVALUE, (HANDLER)(rastuparrow) },
  659:     { "\\Longdownarrow",   -1,1,NOVALUE, (HANDLER)(rastuparrow) },
  660:     { "\\longupdownarrow",  0,0,NOVALUE, (HANDLER)(rastuparrow) },
  661:     { "\\Longupdownarrow",  0,1,NOVALUE, (HANDLER)(rastuparrow) },
  662:     /* --- modes and values --- */
  663:     { "\\cal",		  1,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  664:     { "\\mathcal",	  1,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  665:     { "\\scr",		  2,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  666:     { "\\mathscr",	  2,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  667:     { "\\mathfrak",	  2,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  668:     { "\\mathbb",	  5,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  669:     { "\\rm",		  3,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  670:     { "\\text",		  3,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  671:     { "\\textrm",	  3,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  672:     { "\\mathrm",	  7,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  673:     { "\\cyr",		  8,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  674:     { "\\mathbf",	  6,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  675:     { "\\bf",		  6,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  676:     { "\\mathtt",	  3,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  677:     { "\\mathsf",	  3,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  678:     { "\\mbox",		  3,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  679:     { "\\operatorname",	  3,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  680:     { "\\it",		  4,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  681:     { "\\textit",	  4,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  682:     { "\\mathit",	  4,	 NOVALUE,NOVALUE, (HANDLER)(rastfont) },
  683:     { "\\rm",	  ISFONTFAM,           3,NOVALUE, (HANDLER)(rastflags) },
  684:     { "\\it",	  ISFONTFAM,           4,NOVALUE, (HANDLER)(rastflags) },
  685:     { "\\sl",	  ISFONTFAM,           4,NOVALUE, (HANDLER)(rastflags) },
  686:     { "\\bb",	  ISFONTFAM,           5,NOVALUE, (HANDLER)(rastflags) },
  687:     { "\\bf",	  ISFONTFAM,           6,NOVALUE, (HANDLER)(rastflags) },
  688:     { "\\text",	  ISFONTFAM,           3,NOVALUE, (HANDLER)(rastflags) },
  689:     { "\\math",	  ISFONTFAM,           0,NOVALUE, (HANDLER)(rastflags) },
  690:     { "\\ascii",     ISSTRING,         1,NOVALUE, (HANDLER)(rastflags) },
  691:     { "\\image",     ISSTRING,         0,NOVALUE, (HANDLER)(rastflags) },
  692:     { "\\limits",    ISDISPLAYSTYLE,   2,NOVALUE, (HANDLER)(rastflags) },
  693:     { "\\nolimits",  ISDISPLAYSTYLE,   0,NOVALUE, (HANDLER)(rastflags) },
  694:     { "\\displaystyle",ISDISPLAYSTYLE, 2,NOVALUE, (HANDLER)(rastflags) },
  695:     { "\\textstyle", ISDISPLAYSTYLE,   0,NOVALUE, (HANDLER)(rastflags) },
  696:     { "\\displaysize",ISDISPLAYSIZE,NOVALUE,NOVALUE,(HANDLER)(rastflags)},
  697:     { "\\tiny",      ISFONTSIZE,       0,NOVALUE, (HANDLER)(rastflags) },
  698:     { "\\scriptsize",ISFONTSIZE,       0,NOVALUE, (HANDLER)(rastflags) },
  699:     { "\\footnotesize",ISFONTSIZE,     1,NOVALUE, (HANDLER)(rastflags) },
  700:     { "\\small",     ISFONTSIZE,       1,NOVALUE, (HANDLER)(rastflags) },
  701:     { "\\normalsize",ISFONTSIZE,       2,NOVALUE, (HANDLER)(rastflags) },
  702:     { "\\large",     ISFONTSIZE,       3,NOVALUE, (HANDLER)(rastflags) },
  703:     { "\\Large",     ISFONTSIZE,       4,NOVALUE, (HANDLER)(rastflags) },
  704:     { "\\LARGE",     ISFONTSIZE,       5,NOVALUE, (HANDLER)(rastflags) },
  705:     { "\\huge",      ISFONTSIZE,       6,NOVALUE, (HANDLER)(rastflags) },
  706:     { "\\Huge",      ISFONTSIZE,       7,NOVALUE, (HANDLER)(rastflags) },
  707:     { "\\HUGE",      ISFONTSIZE,       7,NOVALUE, (HANDLER)(rastflags) },
  708:     { "\\fontsize",  ISFONTSIZE, NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  709:     { "\\fs",        ISFONTSIZE, NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  710:     { "\\shrinkfactor",ISSHRINK, NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  711:     { "\\sf",        ISSHRINK,   NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  712:     { "\\light",     ISWEIGHT,         0,NOVALUE, (HANDLER)(rastflags) },
  713:     { "\\regular",   ISWEIGHT,         1,NOVALUE, (HANDLER)(rastflags) },
  714:     { "\\semibold",  ISWEIGHT,         2,NOVALUE, (HANDLER)(rastflags) },
  715:     { "\\bold",      ISWEIGHT,         3,NOVALUE, (HANDLER)(rastflags) },
  716:     { "\\fontweight",ISWEIGHT,   NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  717:     { "\\fw",        ISWEIGHT,   NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  718:     { "\\centerwt",  ISCENTERWT, NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  719:     { "\\adjacentwt",ISADJACENTWT,NOVALUE,NOVALUE,(HANDLER)(rastflags) },
  720:     { "\\cornerwt",  ISCORNERWT, NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  721:     { "\\ssampling",  ISSUPER,         1,NOVALUE, (HANDLER)(rastflags) },
  722:     { "\\lowpass",    ISSUPER,         0,NOVALUE, (HANDLER)(rastflags) },
  723:     { "\\aaalg",ISAAALGORITHM,   NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  724:     { "\\pnmparams",PNMPARAMS,   NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  725:     { "\\gammacorrection",ISGAMMA,NOVALUE,NOVALUE,(HANDLER)(rastflags) },
  726:     { "\\nocontenttype",ISCONTENTTYPE, 0,NOVALUE, (HANDLER)(rastflags) },
  727:     { "\\opaque",    ISOPAQUE,         0,NOVALUE, (HANDLER)(rastflags) },
  728:     { "\\transparent",ISOPAQUE,        1,NOVALUE, (HANDLER)(rastflags) },
  729:     { "\\squash",    ISSMASH,          3,1,       (HANDLER)(rastflags) },
  730:     { "\\smash",     ISSMASH,          3,1,       (HANDLER)(rastflags) },
  731:     { "\\nosquash",  ISSMASH,          0,NOVALUE, (HANDLER)(rastflags) },
  732:     { "\\nosmash",   ISSMASH,          0,NOVALUE, (HANDLER)(rastflags) },
  733:     { "\\squashmargin",ISSMASH,  NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  734:     { "\\smashmargin", ISSMASH,  NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  735:     { "\\unitlength",UNITLENGTH, NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  736:     { "\\reverse",   ISREVERSE,  NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  737:     { "\\reversefg", ISREVERSE,        1,NOVALUE, (HANDLER)(rastflags) },
  738:     { "\\reversebg", ISREVERSE,        2,NOVALUE, (HANDLER)(rastflags) },
  739:     { "\\color",     ISCOLOR,    NOVALUE,NOVALUE, (HANDLER)(rastflags) },
  740:     { "\\red",       ISCOLOR,          1,NOVALUE, (HANDLER)(rastflags) },
  741:     { "\\green",     ISCOLOR,          2,NOVALUE, (HANDLER)(rastflags) },
  742:     { "\\blue",      ISCOLOR,          3,NOVALUE, (HANDLER)(rastflags) },
  743:     { "\\black",     ISCOLOR,          0,NOVALUE, (HANDLER)(rastflags) },
  744:     { "\\white",     ISCOLOR,          7,NOVALUE, (HANDLER)(rastflags) },
  745:     /* --- accents --- */
  746:     { "\\vec",	VECACCENT,    1,      0,  (HANDLER)(rastaccent) },
  747:     { "\\widevec", VECACCENT, 1,      0,  (HANDLER)(rastaccent) },
  748:     { "\\bar",	BARACCENT,    1,      0,  (HANDLER)(rastaccent) },
  749:     { "\\widebar", BARACCENT, 1,      0,  (HANDLER)(rastaccent) },
  750:     { "\\hat",	HATACCENT,    1,      0,  (HANDLER)(rastaccent) },
  751:     { "\\widehat", HATACCENT, 1,      0,  (HANDLER)(rastaccent) },
  752:     { "\\tilde", TILDEACCENT, 1,      0,  (HANDLER)(rastaccent) },
  753:     { "\\widetilde",TILDEACCENT,1,    0,  (HANDLER)(rastaccent) },
  754:     { "\\dot",	DOTACCENT,    1,      0,  (HANDLER)(rastaccent) },
  755:     { "\\widedot", DOTACCENT, 1,      0,  (HANDLER)(rastaccent) },
  756:     { "\\ddot",	DDOTACCENT,   1,      0,  (HANDLER)(rastaccent) },
  757:     { "\\wideddot",DDOTACCENT,1,      0,  (HANDLER)(rastaccent) },
  758:     /* --- math functions --- */
  759:     { "\\arccos",	1,   0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  760:     { "\\arcsin",	2,   0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  761:     { "\\arctan",	3,   0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  762:     { "\\arg",		4,   0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  763:     { "\\cos",		5,   0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  764:     { "\\cosh",		6,   0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  765:     { "\\cot",		7,   0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  766:     { "\\coth",		8,   0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  767:     { "\\csc",		9,   0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  768:     { "\\deg",		10,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  769:     { "\\det",		11,  1,	NOVALUE,  (HANDLER)(rastmathfunc) },
  770:     { "\\dim",		12,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  771:     { "\\exp",		13,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  772:     { "\\gcd",		14,  1,	NOVALUE,  (HANDLER)(rastmathfunc) },
  773:     { "\\hom",		15,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  774:     { "\\inf",		16,  1,	NOVALUE,  (HANDLER)(rastmathfunc) },
  775:     { "\\ker",		17,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  776:     { "\\lg",		18,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  777:     { "\\lim",		19,  1,	NOVALUE,  (HANDLER)(rastmathfunc) },
  778:     { "\\liminf",	20,  1,	NOVALUE,  (HANDLER)(rastmathfunc) },
  779:     { "\\limsup",	21,  1,	NOVALUE,  (HANDLER)(rastmathfunc) },
  780:     { "\\ln",		22,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  781:     { "\\log",		23,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  782:     { "\\max",		24,  1,	NOVALUE,  (HANDLER)(rastmathfunc) },
  783:     { "\\min",		25,  1,	NOVALUE,  (HANDLER)(rastmathfunc) },
  784:     { "\\Pr",		26,  1,	NOVALUE,  (HANDLER)(rastmathfunc) },
  785:     { "\\sec",		27,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  786:     { "\\sin",		28,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  787:     { "\\sinh",		29,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  788:     { "\\sup",		30,  1,	NOVALUE,  (HANDLER)(rastmathfunc) },
  789:     { "\\tan",		31,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  790:     { "\\tanh",		32,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  791:     { "\\tr",		33,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  792:     { "\\pmod",		34,  0,	NOVALUE,  (HANDLER)(rastmathfunc) },
  793:     /* --- flush -- recognized but not yet handled by mimeTeX --- */
  794:     { "\\nooperation",0,NOVALUE,NOVALUE,  (HANDLER)(rastnoop) },
  795:     { "\\bigskip",   0, NOVALUE,NOVALUE,  (HANDLER)(rastnoop) },
  796:     { "\\phantom",   1, NOVALUE,NOVALUE,  (HANDLER)(rastnoop) },
  797:     { "\\nocaching", 0, NOVALUE,NOVALUE,  (HANDLER)(rastnoop) },
  798:     { "\\noconten",  0, NOVALUE,NOVALUE,  (HANDLER)(rastnoop) },
  799:     { "\\nonumber",  0, NOVALUE,NOVALUE,  (HANDLER)(rastnoop) },
  800:     /* { "\\!",      0, NOVALUE,NOVALUE,  (HANDLER)(rastnoop) }, */
  801:     { "\\cydot",     0, NOVALUE,NOVALUE,  (HANDLER)(rastnoop) },
  802:     /* --------------------- C M M I --------------------------
  803:           symbol     charnum    family    class	    function
  804:     -------------------------------------------------------- */
  805:     /* --- uppercase greek letters --- */
  806:     { "\\Gamma",	0,	CMMI10,   VARIABLE,	NULL },
  807:     { "\\Delta",	1,	CMMI10,   VARIABLE,	NULL },
  808:     { "\\Theta",	2,	CMMI10,   VARIABLE,	NULL },
  809:     { "\\Lambda",	3,	CMMI10,   VARIABLE,	NULL },
  810:     { "\\Xi",		4,	CMMI10,   VARIABLE,	NULL },
  811:     { "\\Pi",		5,	CMMI10,   VARIABLE,	NULL },
  812:     { "\\Sigma",	6,	CMMI10,   VARIABLE,	NULL },
  813:     { "\\smallsum",	6,	CMMI10,   OPERATOR,	NULL },
  814:     { "\\Upsilon",	7,	CMMI10,   VARIABLE,	NULL },
  815:     { "\\Phi",		8,	CMMI10,   VARIABLE,	NULL },
  816:     { "\\Psi",		9,	CMMI10,   VARIABLE,	NULL },
  817:     { "\\Omega",	10,	CMMI10,   VARIABLE,	NULL },
  818:     /* --- lowercase greek letters --- */
  819:     { "\\alpha",	11,	CMMI10,   VARIABLE,	NULL },
  820:     { "\\beta",		12,	CMMI10,   VARIABLE,	NULL },
  821:     { "\\gamma",	13,	CMMI10,   VARIABLE,	NULL },
  822:     { "\\delta",	14,	CMMI10,   VARIABLE,	NULL },
  823:     { "\\epsilon",	15,	CMMI10,   VARIABLE,	NULL },
  824:     { "\\zeta",		16,	CMMI10,   VARIABLE,	NULL },
  825:     { "\\eta",		17,	CMMI10,   VARIABLE,	NULL },
  826:     { "\\theta",	18,	CMMI10,   VARIABLE,	NULL },
  827:     { "\\iota",		19,	CMMI10,   VARIABLE,	NULL },
  828:     { "\\kappa",	20,	CMMI10,   VARIABLE,	NULL },
  829:     { "\\lambda",	21,	CMMI10,   VARIABLE,	NULL },
  830:     { "\\mu",		22,	CMMI10,   VARIABLE,	NULL },
  831:     { "\\nu",		23,	CMMI10,   VARIABLE,	NULL },
  832:     { "\\xi",		24,	CMMI10,   VARIABLE,	NULL },
  833:     { "\\pi",		25,	CMMI10,   VARIABLE,	NULL },
  834:     { "\\rho",		26,	CMMI10,   VARIABLE,	NULL },
  835:     { "\\sigma",	27,	CMMI10,   VARIABLE,	NULL },
  836:     { "\\tau",		28,	CMMI10,   VARIABLE,	NULL },
  837:     { "\\upsilon",	29,	CMMI10,   VARIABLE,	NULL },
  838:     { "\\phi",		30,	CMMI10,   VARIABLE,	NULL },
  839:     { "\\chi",		31,	CMMI10,   VARIABLE,	NULL },
  840:     { "\\psi",		32,	CMMI10,   VARIABLE,	NULL },
  841:     { "\\omega",	33,	CMMI10,   VARIABLE,	NULL },
  842:     { "\\varepsilon",	34,	CMMI10,   VARIABLE,	NULL },
  843:     { "\\vartheta",	35,	CMMI10,   VARIABLE,	NULL },
  844:     { "\\varpi",	36,	CMMI10,   VARIABLE,	NULL },
  845:     { "\\varrho",	37,	CMMI10,   VARIABLE,	NULL },
  846:     { "\\varsigma",	38,	CMMI10,   VARIABLE,	NULL },
  847:     { "\\varphi",	39,	CMMI10,   VARIABLE,	NULL },
  848:     /* --- arrow relations --- */
  849:     { "\\leftharpoonup",    40,	CMMI10,   ARROW,	NULL },
  850:     { "\\leftharpoondown",  41,	CMMI10,   ARROW,	NULL },
  851:     { "\\rightharpoonup",   42,	CMMI10,   ARROW,	NULL },
  852:     { "\\rightharpoondown", 43,	CMMI10,   ARROW,	NULL },
  853:     /* --- punctuation --- */
  854:     { "`",		44,	CMMI10,   PUNCTION,	NULL },
  855:     { "\'",		45,	CMMI10,   PUNCTION,	NULL },
  856:     /* --- triangle binary relations --- */
  857:     { "\\triangleright",    46,	CMMI10,   RELATION,	NULL },
  858:     { "\\triangleleft",     47,	CMMI10,   RELATION,	NULL },
  859:     /* --- digits 0-9 --- */
  860:     { "\\0",		48,	CMMI10,   ORDINARY,	NULL },
  861:     { "\\1",		49,	CMMI10,   ORDINARY,	NULL },
  862:     { "\\2",		50,	CMMI10,   ORDINARY,	NULL },
  863:     { "\\3",		51,	CMMI10,   ORDINARY,	NULL },
  864:     { "\\4",		52,	CMMI10,   ORDINARY,	NULL },
  865:     { "\\5",		53,	CMMI10,   ORDINARY,	NULL },
  866:     { "\\6",		54,	CMMI10,   ORDINARY,	NULL },
  867:     { "\\7",		55,	CMMI10,   ORDINARY,	NULL },
  868:     { "\\8",		56,	CMMI10,   ORDINARY,	NULL },
  869:     { "\\9",		57,	CMMI10,   ORDINARY,	NULL },
  870:     /* --- punctuation --- */
  871:     { ".",		58,	CMMI10,   PUNCTION,	NULL },
  872:     { ",",		59,	CMMI10,   PUNCTION,	NULL },
  873:     /* --- operations (some ordinary) --- */
  874:     { "<",		60,	CMMI10,   OPENING,	NULL },
  875:     { "\\<",		60,	CMMI10,   OPENING,	NULL },
  876:     { "\\lt",		60,	CMMI10,   OPENING,	NULL },
  877:     { "/",		61,	CMMI10,   BINARYOP,	NULL },
  878:     { ">",		62,	CMMI10,   CLOSING,	NULL },
  879:     { "\\>",		62,	CMMI10,   CLOSING,	NULL },
  880:     { "\\gt",		62,	CMMI10,   CLOSING,	NULL },
  881:     { "\\star",		63,	CMMI10,   BINARYOP,	NULL },
  882:     { "\\partial",	64,	CMMI10,   VARIABLE,	NULL },
  883:     /* --- uppercase letters --- */
  884:     { "A",		65,	CMMI10,   VARIABLE,	NULL },
  885:     { "B",		66,	CMMI10,   VARIABLE,	NULL },
  886:     { "C",		67,	CMMI10,   VARIABLE,	NULL },
  887:     { "D",		68,	CMMI10,   VARIABLE,	NULL },
  888:     { "E",		69,	CMMI10,   VARIABLE,	NULL },
  889:     { "F",		70,	CMMI10,   VARIABLE,	NULL },
  890:     { "G",		71,	CMMI10,   VARIABLE,	NULL },
  891:     { "H",		72,	CMMI10,   VARIABLE,	NULL },
  892:     { "I",		73,	CMMI10,   VARIABLE,	NULL },
  893:     { "J",		74,	CMMI10,   VARIABLE,	NULL },
  894:     { "K",		75,	CMMI10,   VARIABLE,	NULL },
  895:     { "L",		76,	CMMI10,   VARIABLE,	NULL },
  896:     { "M",		77,	CMMI10,   VARIABLE,	NULL },
  897:     { "N",		78,	CMMI10,   VARIABLE,	NULL },
  898:     { "O",		79,	CMMI10,   VARIABLE,	NULL },
  899:     { "P",		80,	CMMI10,   VARIABLE,	NULL },
  900:     { "Q",		81,	CMMI10,   VARIABLE,	NULL },
  901:     { "R",		82,	CMMI10,   VARIABLE,	NULL },
  902:     { "S",		83,	CMMI10,   VARIABLE,	NULL },
  903:     { "T",		84,	CMMI10,   VARIABLE,	NULL },
  904:     { "U",		85,	CMMI10,   VARIABLE,	NULL },
  905:     { "V",		86,	CMMI10,   VARIABLE,	NULL },
  906:     { "W",		87,	CMMI10,   VARIABLE,	NULL },
  907:     { "X",		88,	CMMI10,   VARIABLE,	NULL },
  908:     { "Y",		89,	CMMI10,   VARIABLE,	NULL },
  909:     { "Z",		90,	CMMI10,   VARIABLE,	NULL },
  910:     /* --- miscellaneous symbols and relations --- */
  911:     { "\\flat",		91,	CMMI10,   ORDINARY,	NULL },
  912:     { "\\natural",	92,	CMMI10,   ORDINARY,	NULL },
  913:     { "\\sharp",	93,	CMMI10,   ORDINARY,	NULL },
  914:     { "\\smile",	94,	CMMI10,   RELATION,	NULL },
  915:     { "\\frown",	95,	CMMI10,   RELATION,	NULL },
  916:     { "\\ell",		96,	CMMI10,   ORDINARY,	NULL },
  917:     /* --- lowercase letters --- */
  918:     { "a",		97,	CMMI10,   VARIABLE,	NULL },
  919:     { "b",		98,	CMMI10,   VARIABLE,	NULL },
  920:     { "c",		99,	CMMI10,   VARIABLE,	NULL },
  921:     { "d",		100,	CMMI10,   VARIABLE,	NULL },
  922:     { "e",		101,	CMMI10,   VARIABLE,	NULL },
  923:     { "f",		102,	CMMI10,   VARIABLE,	NULL },
  924:     { "g",		103,	CMMI10,   VARIABLE,	NULL },
  925:     { "h",		104,	CMMI10,   VARIABLE,	NULL },
  926:     { "i",		105,	CMMI10,   VARIABLE,	NULL },
  927:     { "j",		106,	CMMI10,   VARIABLE,	NULL },
  928:     { "k",		107,	CMMI10,   VARIABLE,	NULL },
  929:     { "l",		108,	CMMI10,   VARIABLE,	NULL },
  930:     { "m",		109,	CMMI10,   VARIABLE,	NULL },
  931:     { "n",		110,	CMMI10,   VARIABLE,	NULL },
  932:     { "o",		111,	CMMI10,   VARIABLE,	NULL },
  933:     { "p",		112,	CMMI10,   VARIABLE,	NULL },
  934:     { "q",		113,	CMMI10,   VARIABLE,	NULL },
  935:     { "r",		114,	CMMI10,   VARIABLE,	NULL },
  936:     { "s",		115,	CMMI10,   VARIABLE,	NULL },
  937:     { "t",		116,	CMMI10,   VARIABLE,	NULL },
  938:     { "u",		117,	CMMI10,   VARIABLE,	NULL },
  939:     { "v",		118,	CMMI10,   VARIABLE,	NULL },
  940:     { "w",		119,	CMMI10,   VARIABLE,	NULL },
  941:     { "x",		120,	CMMI10,   VARIABLE,	NULL },
  942:     { "y",		121,	CMMI10,   VARIABLE,	NULL },
  943:     { "z",		122,	CMMI10,   VARIABLE,	NULL },
  944:     /* --- miscellaneous symbols and relations --- */
  945:     { "\\imath",	123,	CMMI10,   VARIABLE,	NULL },
  946:     { "\\jmath",	124,	CMMI10,   VARIABLE,	NULL },
  947:     { "\\wp",		125,	CMMI10,   ORDINARY,	NULL },
  948:     { "\\vec",		126,	CMMI10,   ORDINARY,	NULL },
  949:     /* --------------------- C M M I B ------------------------
  950:           symbol     charnum    family    class	    function
  951:     -------------------------------------------------------- */
  952:     /* --- uppercase greek letters --- */
  953:     { "\\Gamma",	0,	CMMIB10,  VARIABLE,	NULL },
  954:     { "\\Delta",	1,	CMMIB10,  VARIABLE,	NULL },
  955:     { "\\Theta",	2,	CMMIB10,  VARIABLE,	NULL },
  956:     { "\\Lambda",	3,	CMMIB10,  VARIABLE,	NULL },
  957:     { "\\Xi",		4,	CMMIB10,  VARIABLE,	NULL },
  958:     { "\\Pi",		5,	CMMIB10,  VARIABLE,	NULL },
  959:     { "\\Sigma",	6,	CMMIB10,  VARIABLE,	NULL },
  960:     { "\\smallsum",	6,	CMMIB10,  OPERATOR,	NULL },
  961:     { "\\Upsilon",	7,	CMMIB10,  VARIABLE,	NULL },
  962:     { "\\Phi",		8,	CMMIB10,  VARIABLE,	NULL },
  963:     { "\\Psi",		9,	CMMIB10,  VARIABLE,	NULL },
  964:     { "\\Omega",	10,	CMMIB10,  VARIABLE,	NULL },
  965:     /* --- lowercase greek letters --- */
  966:     { "\\alpha",	11,	CMMIB10,  VARIABLE,	NULL },
  967:     { "\\beta",		12,	CMMIB10,  VARIABLE,	NULL },
  968:     { "\\gamma",	13,	CMMIB10,  VARIABLE,	NULL },
  969:     { "\\delta",	14,	CMMIB10,  VARIABLE,	NULL },
  970:     { "\\epsilon",	15,	CMMIB10,  VARIABLE,	NULL },
  971:     { "\\zeta",		16,	CMMIB10,  VARIABLE,	NULL },
  972:     { "\\eta",		17,	CMMIB10,  VARIABLE,	NULL },
  973:     { "\\theta",	18,	CMMIB10,  VARIABLE,	NULL },
  974:     { "\\iota",		19,	CMMIB10,  VARIABLE,	NULL },
  975:     { "\\kappa",	20,	CMMIB10,  VARIABLE,	NULL },
  976:     { "\\lambda",	21,	CMMIB10,  VARIABLE,	NULL },
  977:     { "\\mu",		22,	CMMIB10,  VARIABLE,	NULL },
  978:     { "\\nu",		23,	CMMIB10,  VARIABLE,	NULL },
  979:     { "\\xi",		24,	CMMIB10,  VARIABLE,	NULL },
  980:     { "\\pi",		25,	CMMIB10,  VARIABLE,	NULL },
  981:     { "\\rho",		26,	CMMIB10,  VARIABLE,	NULL },
  982:     { "\\sigma",	27,	CMMIB10,  VARIABLE,	NULL },
  983:     { "\\tau",		28,	CMMIB10,  VARIABLE,	NULL },
  984:     { "\\upsilon",	29,	CMMIB10,  VARIABLE,	NULL },
  985:     { "\\phi",		30,	CMMIB10,  VARIABLE,	NULL },
  986:     { "\\chi",		31,	CMMIB10,  VARIABLE,	NULL },
  987:     { "\\psi",		32,	CMMIB10,  VARIABLE,	NULL },
  988:     { "\\omega",	33,	CMMIB10,  VARIABLE,	NULL },
  989:     { "\\varepsilon",	34,	CMMIB10,  VARIABLE,	NULL },
  990:     { "\\vartheta",	35,	CMMIB10,  VARIABLE,	NULL },
  991:     { "\\varpi",	36,	CMMIB10,  VARIABLE,	NULL },
  992:     { "\\varrho",	37,	CMMIB10,  VARIABLE,	NULL },
  993:     { "\\varsigma",	38,	CMMIB10,  VARIABLE,	NULL },
  994:     { "\\varphi",	39,	CMMIB10,  VARIABLE,	NULL },
  995:     /* --- arrow relations --- */
  996:     { "\\bfleftharpoonup",  40,	CMMIB10,  ARROW,	NULL },
  997:     { "\\bfleftharpoondown",41,	CMMIB10,  ARROW,	NULL },
  998:     { "\\bfrightharpoonup", 42,	CMMIB10,  ARROW,	NULL },
  999:     { "\\bfrightharpoondown",43,CMMIB10,  ARROW,	NULL },
 1000:     /* --- punctuation --- */
 1001:     { "`",		44,	CMMIB10,  PUNCTION,	NULL },
 1002:     { "\'",		45,	CMMIB10,  PUNCTION,	NULL },
 1003:     /* --- triangle binary relations --- */
 1004:     { "\\triangleright",    46,	CMMIB10,  RELATION,	NULL },
 1005:     { "\\triangleleft",     47,	CMMIB10,  RELATION,	NULL },
 1006:     /* --- digits 0-9 --- */
 1007:     { "\\0",		48,	CMMIB10,  ORDINARY,	NULL },
 1008:     { "\\1",		49,	CMMIB10,  ORDINARY,	NULL },
 1009:     { "\\2",		50,	CMMIB10,  ORDINARY,	NULL },
 1010:     { "\\3",		51,	CMMIB10,  ORDINARY,	NULL },
 1011:     { "\\4",		52,	CMMIB10,  ORDINARY,	NULL },
 1012:     { "\\5",		53,	CMMIB10,  ORDINARY,	NULL },
 1013:     { "\\6",		54,	CMMIB10,  ORDINARY,	NULL },
 1014:     { "\\7",		55,	CMMIB10,  ORDINARY,	NULL },
 1015:     { "\\8",		56,	CMMIB10,  ORDINARY,	NULL },
 1016:     { "\\9",		57,	CMMIB10,  ORDINARY,	NULL },
 1017:     /* --- punctuation --- */
 1018:     { ".",		58,	CMMIB10,  PUNCTION,	NULL },
 1019:     { ",",		59,	CMMIB10,  PUNCTION,	NULL },
 1020:     /* --- operations (some ordinary) --- */
 1021:     { "<",		60,	CMMIB10,  OPENING,	NULL },
 1022:     { "\\lt",		60,	CMMIB10,  OPENING,	NULL },
 1023:     { "/",		61,	CMMIB10,  BINARYOP,	NULL },
 1024:     { ">",		62,	CMMIB10,  CLOSING,	NULL },
 1025:     { "\\gt",		62,	CMMIB10,  CLOSING,	NULL },
 1026:     { "\\star",		63,	CMMIB10,  BINARYOP,	NULL },
 1027:     { "\\partial",	64,	CMMIB10,  VARIABLE,	NULL },
 1028:     /* --- uppercase letters --- */
 1029:     { "A",		65,	CMMIB10,  VARIABLE,	NULL },
 1030:     { "B",		66,	CMMIB10,  VARIABLE,	NULL },
 1031:     { "C",		67,	CMMIB10,  VARIABLE,	NULL },
 1032:     { "D",		68,	CMMIB10,  VARIABLE,	NULL },
 1033:     { "E",		69,	CMMIB10,  VARIABLE,	NULL },
 1034:     { "F",		70,	CMMIB10,  VARIABLE,	NULL },
 1035:     { "G",		71,	CMMIB10,  VARIABLE,	NULL },
 1036:     { "H",		72,	CMMIB10,  VARIABLE,	NULL },
 1037:     { "I",		73,	CMMIB10,  VARIABLE,	NULL },
 1038:     { "J",		74,	CMMIB10,  VARIABLE,	NULL },
 1039:     { "K",		75,	CMMIB10,  VARIABLE,	NULL },
 1040:     { "L",		76,	CMMIB10,  VARIABLE,	NULL },
 1041:     { "M",		77,	CMMIB10,  VARIABLE,	NULL },
 1042:     { "N",		78,	CMMIB10,  VARIABLE,	NULL },
 1043:     { "O",		79,	CMMIB10,  VARIABLE,	NULL },
 1044:     { "P",		80,	CMMIB10,  VARIABLE,	NULL },
 1045:     { "Q",		81,	CMMIB10,  VARIABLE,	NULL },
 1046:     { "R",		82,	CMMIB10,  VARIABLE,	NULL },
 1047:     { "S",		83,	CMMIB10,  VARIABLE,	NULL },
 1048:     { "T",		84,	CMMIB10,  VARIABLE,	NULL },
 1049:     { "U",		85,	CMMIB10,  VARIABLE,	NULL },
 1050:     { "V",		86,	CMMIB10,  VARIABLE,	NULL },
 1051:     { "W",		87,	CMMIB10,  VARIABLE,	NULL },
 1052:     { "X",		88,	CMMIB10,  VARIABLE,	NULL },
 1053:     { "Y",		89,	CMMIB10,  VARIABLE,	NULL },
 1054:     { "Z",		90,	CMMIB10,  VARIABLE,	NULL },
 1055:     /* --- miscellaneous symbols and relations --- */
 1056:     { "\\flat",		91,	CMMIB10,  ORDINARY,	NULL },
 1057:     { "\\natural",	92,	CMMIB10,  ORDINARY,	NULL },
 1058:     { "\\sharp",	93,	CMMIB10,  ORDINARY,	NULL },
 1059:     { "\\smile",	94,	CMMIB10,  RELATION,	NULL },
 1060:     { "\\frown",	95,	CMMIB10,  RELATION,	NULL },
 1061:     { "\\ell",		96,	CMMIB10,  ORDINARY,	NULL },
 1062:     /* --- lowercase letters --- */
 1063:     { "a",		97,	CMMIB10,  VARIABLE,	NULL },
 1064:     { "b",		98,	CMMIB10,  VARIABLE,	NULL },
 1065:     { "c",		99,	CMMIB10,  VARIABLE,	NULL },
 1066:     { "d",		100,	CMMIB10,  VARIABLE,	NULL },
 1067:     { "e",		101,	CMMIB10,  VARIABLE,	NULL },
 1068:     { "f",		102,	CMMIB10,  VARIABLE,	NULL },
 1069:     { "g",		103,	CMMIB10,  VARIABLE,	NULL },
 1070:     { "h",		104,	CMMIB10,  VARIABLE,	NULL },
 1071:     { "i",		105,	CMMIB10,  VARIABLE,	NULL },
 1072:     { "j",		106,	CMMIB10,  VARIABLE,	NULL },
 1073:     { "k",		107,	CMMIB10,  VARIABLE,	NULL },
 1074:     { "l",		108,	CMMIB10,  VARIABLE,	NULL },
 1075:     { "m",		109,	CMMIB10,  VARIABLE,	NULL },
 1076:     { "n",		110,	CMMIB10,  VARIABLE,	NULL },
 1077:     { "o",		111,	CMMIB10,  VARIABLE,	NULL },
 1078:     { "p",		112,	CMMIB10,  VARIABLE,	NULL },
 1079:     { "q",		113,	CMMIB10,  VARIABLE,	NULL },
 1080:     { "r",		114,	CMMIB10,  VARIABLE,	NULL },
 1081:     { "s",		115,	CMMIB10,  VARIABLE,	NULL },
 1082:     { "t",		116,	CMMIB10,  VARIABLE,	NULL },
 1083:     { "u",		117,	CMMIB10,  VARIABLE,	NULL },
 1084:     { "v",		118,	CMMIB10,  VARIABLE,	NULL },
 1085:     { "w",		119,	CMMIB10,  VARIABLE,	NULL },
 1086:     { "x",		120,	CMMIB10,  VARIABLE,	NULL },
 1087:     { "y",		121,	CMMIB10,  VARIABLE,	NULL },
 1088:     { "z",		122,	CMMIB10,  VARIABLE,	NULL },
 1089:     /* --- miscellaneous symbols and relations --- */
 1090:     { "\\imath",	123,	CMMIB10,  VARIABLE,	NULL },
 1091:     { "\\jmath",	124,	CMMIB10,  VARIABLE,	NULL },
 1092:     { "\\wp",		125,	CMMIB10,  ORDINARY,	NULL },
 1093:     { "\\bfvec",	126,	CMMIB10,  ORDINARY,	NULL },
 1094:     /* --------------------- C M S Y --------------------------
 1095:           symbol     charnum    family    class	    function
 1096:     -------------------------------------------------------- */
 1097:     /* --- operations --- */
 1098:     { "-",		0,	CMSY10,   BINARYOP,	NULL },
 1099:     { "\\cdot",		1,	CMSY10,   BINARYOP,	NULL },
 1100:     { "\\times",	2,	CMSY10,   BINARYOP,	NULL },
 1101:     { "\\ast",		3,	CMSY10,   BINARYOP,	NULL },
 1102:     { "\\div",		4,	CMSY10,   BINARYOP,	NULL },
 1103:     { "\\diamond",	5,	CMSY10,   BINARYOP,	NULL },
 1104:     { "\\pm",		6,	CMSY10,   BINARYOP,	NULL },
 1105:     { "\\mp",		7,	CMSY10,   BINARYOP,	NULL },
 1106:     { "\\oplus",	8,	CMSY10,   BINARYOP,	NULL },
 1107:     { "\\ominus",	9,	CMSY10,   BINARYOP,	NULL },
 1108:     { "\\otimes",	10,	CMSY10,   BINARYOP,	NULL },
 1109:     { "\\oslash",	11,	CMSY10,   BINARYOP,	NULL },
 1110:     { "\\odot",		12,	CMSY10,   BINARYOP,	NULL },
 1111:     { "\\bigcirc",	13,	CMSY10,   BINARYOP,	NULL },
 1112:     { "\\circ",		14,	CMSY10,   BINARYOP,	NULL },
 1113:     { "\\bullet",	15,	CMSY10,   BINARYOP,	NULL },
 1114:     /* --- relations --- */
 1115:     { "\\asymp",	16,	CMSY10,   RELATION,	NULL },
 1116:     { "\\equiv",	17,	CMSY10,   RELATION,	NULL },
 1117:     { "\\subseteq",	18,	CMSY10,   RELATION,	NULL },
 1118:     { "\\supseteq",	19,	CMSY10,   RELATION,	NULL },
 1119:     { "\\leq",		20,	CMSY10,   RELATION,	NULL },
 1120:     { "\\geq",		21,	CMSY10,   RELATION,	NULL },
 1121:     { "\\preceq",	22,	CMSY10,   RELATION,	NULL },
 1122:     { "\\succeq",	23,	CMSY10,   RELATION,	NULL },
 1123:     { "\\sim",		24,	CMSY10,   RELATION,	NULL },
 1124:     { "\\approx",	25,	CMSY10,   RELATION,	NULL },
 1125:     { "\\subset",	26,	CMSY10,   RELATION,	NULL },
 1126:     { "\\supset",	27,	CMSY10,   RELATION,	NULL },
 1127:     { "\\ll",		28,	CMSY10,   RELATION,	NULL },
 1128:     { "\\gg",		29,	CMSY10,   RELATION,	NULL },
 1129:     { "\\prec",		30,	CMSY10,   RELATION,	NULL },
 1130:     { "\\succ",		31,	CMSY10,   RELATION,	NULL },
 1131:     /* --- (mostly) arrows --- */
 1132:     { "\\leftarrow",	32,	CMSY10,   ARROW,	NULL },
 1133:     { "\\rightarrow",	33,	CMSY10,   ARROW,	NULL },
 1134:     { "\\to",		33,	CMSY10,   ARROW,	NULL },
 1135:     { "\\mapsto",	33,	CMSY10,   ARROW,	NULL },
 1136:     { "\\uparrow",	34,	CMSY10,   ARROW,	NULL },
 1137:     { "\\downarrow",	35,	CMSY10,   ARROW,	NULL },
 1138:     { "\\leftrightarrow",   36,	CMSY10,   ARROW,	NULL },
 1139:     { "\\nearrow",	37,	CMSY10,   ARROW,	NULL },
 1140:     { "\\searrow",	38,	CMSY10,   ARROW,	NULL },
 1141:     { "\\simeq",	39,	CMSY10,   RELATION,	NULL },
 1142:     { "\\Leftarrow",	40,	CMSY10,   ARROW,	NULL },
 1143:     { "\\Rightarrow",	41,	CMSY10,   ARROW,	NULL },
 1144:     { "\\Uparrow",	42,	CMSY10,   ARROW,	NULL },
 1145:     { "\\Downarrow",	43,	CMSY10,   ARROW,	NULL },
 1146:     { "\\Leftrightarrow",   44,	CMSY10,   ARROW,	NULL },
 1147:     { "\\nwarrow",	45,	CMSY10,   ARROW,	NULL },
 1148:     { "\\swarrow",	46,	CMSY10,   ARROW,	NULL },
 1149:     { "\\propto",	47,	CMSY10,   RELATION,	NULL },
 1150:     /* --- symbols --- */
 1151:     { "\\prime",	48,	CMSY10,   ORDINARY,	NULL },
 1152:     { "\\infty",	49,	CMSY10,   ORDINARY,	NULL },
 1153:     /* --- relations --- */
 1154:     { "\\in",		50,	CMSY10,   RELATION,	NULL },
 1155:     { "\\ni",		51,	CMSY10,   RELATION,	NULL },
 1156:     /* --- symbols --- */
 1157:     { "\\triangle",	    52,	CMSY10,   ORDINARY,	NULL },
 1158:     { "\\bigtriangleup",    52,	CMSY10,   ORDINARY,	NULL },
 1159:     { "\\bigtriangledown",  53,	CMSY10,   ORDINARY,	NULL },
 1160:     { "\\boldslash",	54,	CMSY10,   BINARYOP,	NULL },
 1161:     { "\\'",		55,	CMSY10,   ORDINARY,	NULL },
 1162:     { "\\forall",	56,	CMSY10,   OPERATOR,	NULL },
 1163:     { "\\exists",	57,	CMSY10,   OPERATOR,	NULL },
 1164:     { "\\neg",		58,	CMSY10,   OPERATOR,	NULL },
 1165:     { "\\emptyset",	59,	CMSY10,   ORDINARY,	NULL },
 1166:     { "\\Re",		60,	CMSY10,   ORDINARY,	NULL },
 1167:     { "\\Im",		61,	CMSY10,   ORDINARY,	NULL },
 1168:     { "\\top",		62,	CMSY10,   ORDINARY,	NULL },
 1169:     { "\\bot",		63,	CMSY10,   ORDINARY,	NULL },
 1170:     { "\\perp",		63,	CMSY10,   BINARYOP,	NULL },
 1171:     { "\\aleph",	64,	CMSY10,   ORDINARY,	NULL },
 1172:     /* --- calligraphic letters (we use \\calA...\\calZ --- */
 1173:     { "\\calA",		65,	CMSY10,   VARIABLE,	NULL },
 1174:     { "\\calB",		66,	CMSY10,   VARIABLE,	NULL },
 1175:     { "\\calC",		67,	CMSY10,   VARIABLE,	NULL },
 1176:     { "\\calD",		68,	CMSY10,   VARIABLE,	NULL },
 1177:     { "\\calE",		69,	CMSY10,   VARIABLE,	NULL },
 1178:     { "\\calF",		70,	CMSY10,   VARIABLE,	NULL },
 1179:     { "\\calG",		71,	CMSY10,   VARIABLE,	NULL },
 1180:     { "\\calH",		72,	CMSY10,   VARIABLE,	NULL },
 1181:     { "\\calI",		73,	CMSY10,   VARIABLE,	NULL },
 1182:     { "\\calJ",		74,	CMSY10,   VARIABLE,	NULL },
 1183:     { "\\calK",		75,	CMSY10,   VARIABLE,	NULL },
 1184:     { "\\calL",		76,	CMSY10,   VARIABLE,	NULL },
 1185:     { "\\calM",		77,	CMSY10,   VARIABLE,	NULL },
 1186:     { "\\calN",		78,	CMSY10,   VARIABLE,	NULL },
 1187:     { "\\calO",		79,	CMSY10,   VARIABLE,	NULL },
 1188:     { "\\calP",		80,	CMSY10,   VARIABLE,	NULL },
 1189:     { "\\calQ",		81,	CMSY10,   VARIABLE,	NULL },
 1190:     { "\\calR",		82,	CMSY10,   VARIABLE,	NULL },
 1191:     { "\\calS",		83,	CMSY10,   VARIABLE,	NULL },
 1192:     { "\\calT",		84,	CMSY10,   VARIABLE,	NULL },
 1193:     { "\\calU",		85,	CMSY10,   VARIABLE,	NULL },
 1194:     { "\\calV",		86,	CMSY10,   VARIABLE,	NULL },
 1195:     { "\\calW",		87,	CMSY10,   VARIABLE,	NULL },
 1196:     { "\\calX",		88,	CMSY10,   VARIABLE,	NULL },
 1197:     { "\\calY",		89,	CMSY10,   VARIABLE,	NULL },
 1198:     { "\\calZ",		90,	CMSY10,   VARIABLE,	NULL },
 1199:     { "A",		65,	CMSY10,   VARIABLE,	NULL },
 1200:     { "B",		66,	CMSY10,   VARIABLE,	NULL },
 1201:     { "C",		67,	CMSY10,   VARIABLE,	NULL },
 1202:     { "D",		68,	CMSY10,   VARIABLE,	NULL },
 1203:     { "E",		69,	CMSY10,   VARIABLE,	NULL },
 1204:     { "F",		70,	CMSY10,   VARIABLE,	NULL },
 1205:     { "G",		71,	CMSY10,   VARIABLE,	NULL },
 1206:     { "H",		72,	CMSY10,   VARIABLE,	NULL },
 1207:     { "I",		73,	CMSY10,   VARIABLE,	NULL },
 1208:     { "J",		74,	CMSY10,   VARIABLE,	NULL },
 1209:     { "K",		75,	CMSY10,   VARIABLE,	NULL },
 1210:     { "L",		76,	CMSY10,   VARIABLE,	NULL },
 1211:     { "M",		77,	CMSY10,   VARIABLE,	NULL },
 1212:     { "N",		78,	CMSY10,   VARIABLE,	NULL },
 1213:     { "O",		79,	CMSY10,   VARIABLE,	NULL },
 1214:     { "P",		80,	CMSY10,   VARIABLE,	NULL },
 1215:     { "Q",		81,	CMSY10,   VARIABLE,	NULL },
 1216:     { "R",		82,	CMSY10,   VARIABLE,	NULL },
 1217:     { "S",		83,	CMSY10,   VARIABLE,	NULL },
 1218:     { "T",		84,	CMSY10,   VARIABLE,	NULL },
 1219:     { "U",		85,	CMSY10,   VARIABLE,	NULL },
 1220:     { "V",		86,	CMSY10,   VARIABLE,	NULL },
 1221:     { "W",		87,	CMSY10,   VARIABLE,	NULL },
 1222:     { "X",		88,	CMSY10,   VARIABLE,	NULL },
 1223:     { "Y",		89,	CMSY10,   VARIABLE,	NULL },
 1224:     { "Z",		90,	CMSY10,   VARIABLE,	NULL },
 1225:     /* --- operations and relations --- */
 1226:     { "\\cup",		91,	CMSY10,   OPERATOR,	NULL },
 1227:     { "\\cap",		92,	CMSY10,   OPERATOR,	NULL },
 1228:     { "\\uplus",	93,	CMSY10,   OPERATOR,	NULL },
 1229:     { "\\wedge",	94,	CMSY10,   OPERATOR,	NULL },
 1230:     { "\\vee",		95,	CMSY10,   OPERATOR,	NULL },
 1231:     { "\\vdash",	96,	CMSY10,   RELATION,	NULL },
 1232:     { "\\dashv",	97,	CMSY10,   RELATION,	NULL },
 1233:     /* --- brackets --- */
 1234:     { "\\lfloor",	98,	CMSY10,   OPENING,	NULL },
 1235:     { "\\rfloor",	99,	CMSY10,   CLOSING,	NULL },
 1236:     { "\\lceil",	100,	CMSY10,   OPENING,	NULL },
 1237:     { "\\rceil",	101,	CMSY10,   CLOSING,	NULL },
 1238:     { "\\lbrace",	102,	CMSY10,   OPENING,	NULL },
 1239:     { "{",		102,	CMSY10,   OPENING,	NULL },
 1240:     { "\\{",		102,	CMSY10,   OPENING,	NULL },
 1241:     { "\\rbrace",	103,	CMSY10,   CLOSING,	NULL },
 1242:     { "}",		103,	CMSY10,   CLOSING,	NULL },
 1243:     { "\\}",		103,	CMSY10,   CLOSING,	NULL },
 1244:     { "\\langle",	104,	CMSY10,   OPENING,	NULL },
 1245:     { "\\rangle",	105,	CMSY10,   CLOSING,	NULL },
 1246:     { "\\mid",		106,	CMSY10,   ORDINARY,	NULL },
 1247:     { "|",		106,	CMSY10,   BINARYOP,	NULL },
 1248:     { "\\parallel",	107,	CMSY10,   BINARYOP,	NULL },
 1249:     { "\\|",		107,	CMSY10,   BINARYOP,	NULL },
 1250:     /* --- arrows --- */
 1251:     { "\\updownarrow",	108,	CMSY10,   ARROW,	NULL },
 1252:     { "\\Updownarrow",	109,	CMSY10,   ARROW,	NULL },
 1253:     /* --- symbols and operations and relations --- */
 1254:     { "\\setminus",	110,	CMSY10,   BINARYOP,	NULL },
 1255:     { "\\backslash",	110,	CMSY10,   BINARYOP,	NULL },
 1256:     { "\\wr",		111,	CMSY10,   BINARYOP,	NULL },
 1257:     { "\\surd",		112,	CMSY10,   OPERATOR,	NULL },
 1258:     { "\\amalg",	113,	CMSY10,   BINARYOP,	NULL },
 1259:     { "\\nabla",	114,	CMSY10,   VARIABLE,	NULL },
 1260:     { "\\smallint",	115,	CMSY10,   OPERATOR,	NULL },
 1261:     { "\\sqcup",	116,	CMSY10,   OPERATOR,	NULL },
 1262:     { "\\sqcap",	117,	CMSY10,   OPERATOR,	NULL },
 1263:     { "\\sqsubseteq",	118,	CMSY10,   RELATION,	NULL },
 1264:     { "\\sqsupseteq",	119,	CMSY10,   RELATION,	NULL },
 1265:     /* --- special characters --- */
 1266:     { "\\S",		120,	CMSY10,   ORDINARY,	NULL },
 1267:     { "\\dag",		121,	CMSY10,   ORDINARY,	NULL },
 1268:     { "\\dagger",	121,	CMSY10,   ORDINARY,	NULL },
 1269:     { "\\ddag",		122,	CMSY10,   ORDINARY,	NULL },
 1270:     { "\\ddagger",	122,	CMSY10,   ORDINARY,	NULL },
 1271:     { "\\P",		123,	CMSY10,   ORDINARY,	NULL },
 1272:     { "\\clubsuit",	124,	CMSY10,   ORDINARY,	NULL },
 1273:     { "\\Diamond",	125,	CMSY10,   ORDINARY,	NULL },
 1274:     { "\\Heart",	126,	CMSY10,   ORDINARY,	NULL },
 1275:     { "\\spadesuit",	127,	CMSY10,   ORDINARY,	NULL },
 1276:     /* ---------------------- C M R ---------------------------
 1277:           symbol     charnum    family    class	    function
 1278:     -------------------------------------------------------- */
 1279:     /* --- uppercase greek letters --- */
 1280:     { "\\Gamma",	0,	CMR10,   VARIABLE,	NULL },
 1281:     { "\\Delta",	1,	CMR10,   VARIABLE,	NULL },
 1282:     { "\\Theta",	2,	CMR10,   VARIABLE,	NULL },
 1283:     { "\\Lambda",	3,	CMR10,   VARIABLE,	NULL },
 1284:     { "\\Xi",		4,	CMR10,   VARIABLE,	NULL },
 1285:     { "\\Pi",		5,	CMR10,   VARIABLE,	NULL },
 1286:     { "\\Sigma",	6,	CMR10,   VARIABLE,	NULL },
 1287:     { "\\smallsum",	6,	CMR10,   OPERATOR,	NULL },
 1288:     { "\\Upsilon",	7,	CMR10,   VARIABLE,	NULL },
 1289:     { "\\Phi",		8,	CMR10,   VARIABLE,	NULL },
 1290:     { "\\Psi",		9,	CMR10,   VARIABLE,	NULL },
 1291:     { "\\Omega",	10,	CMR10,   VARIABLE,	NULL },
 1292:     /* ---  --- */
 1293:     { "\\ff",		11,	CMR10,   ORDINARY,	NULL },
 1294:     { "\\fi",		12,	CMR10,   ORDINARY,	NULL },
 1295:     { "\\fl",		13,	CMR10,   ORDINARY,	NULL },
 1296:     { "\\ffi",		14,	CMR10,   ORDINARY,	NULL },
 1297:     { "\\ffl",		15,	CMR10,   ORDINARY,	NULL },
 1298:     { "\\imath",	16,	CMR10,   ORDINARY,	NULL },
 1299:     { "\\jmath",	17,	CMR10,   ORDINARY,	NULL },
 1300:     /* --- foreign letters --- */
 1301:     { "\\ss",		25,	CMR10,   ORDINARY,	NULL },
 1302:     { "\\ae",		26,	CMR10,   ORDINARY,	NULL },
 1303:     { "\\oe",		27,	CMR10,   ORDINARY,	NULL },
 1304:     { "\\AE",		29,	CMR10,   ORDINARY,	NULL },
 1305:     { "\\OE",		30,	CMR10,   ORDINARY,	NULL },
 1306:     /* --- digits 0-9 --- */
 1307:     { "0",		48,	CMR10,   ORDINARY,	NULL },
 1308:     { "1",		49,	CMR10,   ORDINARY,	NULL },
 1309:     { "2",		50,	CMR10,   ORDINARY,	NULL },
 1310:     { "3",		51,	CMR10,   ORDINARY,	NULL },
 1311:     { "4",		52,	CMR10,   ORDINARY,	NULL },
 1312:     { "5",		53,	CMR10,   ORDINARY,	NULL },
 1313:     { "6",		54,	CMR10,   ORDINARY,	NULL },
 1314:     { "7",		55,	CMR10,   ORDINARY,	NULL },
 1315:     { "8",		56,	CMR10,   ORDINARY,	NULL },
 1316:     { "9",		57,	CMR10,   ORDINARY,	NULL },
 1317:     /* --- symbols, relations, etc --- */
 1318:     { "\\gravesym",	18,	CMR10,   ORDINARY,	NULL },
 1319:     { "\\acutesym",	19,	CMR10,   ORDINARY,	NULL },
 1320:     { "\\checksym",	20,	CMR10,   ORDINARY,	NULL },
 1321:     { "\\brevesym",	21,	CMR10,   ORDINARY,	NULL },
 1322:     { "!",		33,	CMR10,   BINARYOP,	NULL },
 1323:     { "\"",		34,	CMR10,   ORDINARY,	NULL },
 1324:     { "\\quote",	34,	CMR10,   ORDINARY,	NULL },
 1325:     { "#",		35,	CMR10,   BINARYOP,	NULL },
 1326:     { "\\#",		35,	CMR10,   BINARYOP,	NULL },
 1327:     { "$",		36,	CMR10,   BINARYOP,	NULL },
 1328:     { "\\$",		36,	CMR10,   BINARYOP,	NULL },
 1329:     { "%",		37,	CMR10,   BINARYOP,	NULL },
 1330:     { "\\%",		37,	CMR10,   BINARYOP,	NULL },
 1331:     { "\\percent",	37,	CMR10,   BINARYOP,	NULL },
 1332:     { "&",		38,	CMR10,   BINARYOP,	NULL },
 1333:     { "\\&",		38,	CMR10,   BINARYOP,	NULL },
 1334:     { "\'",		39,	CMR10,   BINARYOP,	NULL },
 1335:     { "\\\'",		39,	CMR10,   BINARYOP,	NULL },
 1336:     { "\\apostrophe",	39,	CMR10,   ORDINARY,	NULL },
 1337:     { "(",		40,	CMR10,   OPENING,	NULL },
 1338:     { "\\(",		40,	CMR10,   OPENING,	NULL },
 1339:     { ")",		41,	CMR10,   CLOSING,	NULL },
 1340:     { "\\)",		41,	CMR10,   CLOSING,	NULL },
 1341:     { "*",		42,	CMR10,   BINARYOP,	NULL },
 1342:     { "+",		43,	CMR10,   BINARYOP,	NULL },
 1343:     { "/",		47,	CMR10,   BINARYOP,	NULL },
 1344:     { ":",		58,	CMR10,   ORDINARY,	NULL },
 1345:     { ";",		59,	CMR10,   ORDINARY,	NULL },
 1346:     { "=",		61,	CMR10,   RELATION,	NULL },
 1347:     { "?",		63,	CMR10,   BINARYOP,	NULL },
 1348:     { "@",		64,	CMR10,   BINARYOP,	NULL },
 1349:     { "[",		91,	CMR10,   OPENING,	NULL },
 1350:     { "\\[",		91,	CMR10,   OPENING,	NULL },
 1351:     { "]",		93,	CMR10,   CLOSING,	NULL },
 1352:     { "\\]",		93,	CMR10,   CLOSING,	NULL },
 1353:     { "\\^",		94,	CMR10,   BINARYOP,	NULL },
 1354:     { "\\~",		126,	CMR10,   OPERATOR,	NULL },
 1355:     /* --- uppercase letters --- */
 1356:     { "A",		65,	CMR10,   VARIABLE,	NULL },
 1357:     { "B",		66,	CMR10,   VARIABLE,	NULL },
 1358:     { "C",		67,	CMR10,   VARIABLE,	NULL },
 1359:     { "D",		68,	CMR10,   VARIABLE,	NULL },
 1360:     { "E",		69,	CMR10,   VARIABLE,	NULL },
 1361:     { "F",		70,	CMR10,   VARIABLE,	NULL },
 1362:     { "G",		71,	CMR10,   VARIABLE,	NULL },
 1363:     { "H",		72,	CMR10,   VARIABLE,	NULL },
 1364:     { "I",		73,	CMR10,   VARIABLE,	NULL },
 1365:     { "J",		74,	CMR10,   VARIABLE,	NULL },
 1366:     { "K",		75,	CMR10,   VARIABLE,	NULL },
 1367:     { "L",		76,	CMR10,   VARIABLE,	NULL },
 1368:     { "M",		77,	CMR10,   VARIABLE,	NULL },
 1369:     { "N",		78,	CMR10,   VARIABLE,	NULL },
 1370:     { "O",		79,	CMR10,   VARIABLE,	NULL },
 1371:     { "P",		80,	CMR10,   VARIABLE,	NULL },
 1372:     { "Q",		81,	CMR10,   VARIABLE,	NULL },
 1373:     { "R",		82,	CMR10,   VARIABLE,	NULL },
 1374:     { "S",		83,	CMR10,   VARIABLE,	NULL },
 1375:     { "T",		84,	CMR10,   VARIABLE,	NULL },
 1376:     { "U",		85,	CMR10,   VARIABLE,	NULL },
 1377:     { "V",		86,	CMR10,   VARIABLE,	NULL },
 1378:     { "W",		87,	CMR10,   VARIABLE,	NULL },
 1379:     { "X",		88,	CMR10,   VARIABLE,	NULL },
 1380:     { "Y",		89,	CMR10,   VARIABLE,	NULL },
 1381:     { "Z",		90,	CMR10,   VARIABLE,	NULL },
 1382:     /* --- lowercase letters --- */
 1383:     { "a",		97,	CMR10,   VARIABLE,	NULL },
 1384:     { "b",		98,	CMR10,   VARIABLE,	NULL },
 1385:     { "c",		99,	CMR10,   VARIABLE,	NULL },
 1386:     { "d",		100,	CMR10,   VARIABLE,	NULL },
 1387:     { "e",		101,	CMR10,   VARIABLE,	NULL },
 1388:     { "f",		102,	CMR10,   VARIABLE,	NULL },
 1389:     { "g",		103,	CMR10,   VARIABLE,	NULL },
 1390:     { "h",		104,	CMR10,   VARIABLE,	NULL },
 1391:     { "i",		105,	CMR10,   VARIABLE,	NULL },
 1392:     { "j",		106,	CMR10,   VARIABLE,	NULL },
 1393:     { "k",		107,	CMR10,   VARIABLE,	NULL },
 1394:     { "l",		108,	CMR10,   VARIABLE,	NULL },
 1395:     { "m",		109,	CMR10,   VARIABLE,	NULL },
 1396:     { "n",		110,	CMR10,   VARIABLE,	NULL },
 1397:     { "o",		111,	CMR10,   VARIABLE,	NULL },
 1398:     { "p",		112,	CMR10,   VARIABLE,	NULL },
 1399:     { "q",		113,	CMR10,   VARIABLE,	NULL },
 1400:     { "r",		114,	CMR10,   VARIABLE,	NULL },
 1401:     { "s",		115,	CMR10,   VARIABLE,	NULL },
 1402:     { "t",		116,	CMR10,   VARIABLE,	NULL },
 1403:     { "u",		117,	CMR10,   VARIABLE,	NULL },
 1404:     { "v",		118,	CMR10,   VARIABLE,	NULL },
 1405:     { "w",		119,	CMR10,   VARIABLE,	NULL },
 1406:     { "x",		120,	CMR10,   VARIABLE,	NULL },
 1407:     { "y",		121,	CMR10,   VARIABLE,	NULL },
 1408:     { "z",		122,	CMR10,   VARIABLE,	NULL },
 1409:     /* --------------------- C M E X --------------------------
 1410:           symbol     charnum    family    class	    function
 1411:     -------------------------------------------------------- */
 1412:     /* --- parens ()'s --- */
 1413:     { "\\big(",		0,	CMEX10,   OPENING,	NULL },
 1414:     { "\\big)",		1,	CMEX10,   CLOSING,	NULL },
 1415:     { "\\Big(",		16,	CMEX10,   OPENING,	NULL },
 1416:     { "\\Big)",		17,	CMEX10,   CLOSING,	NULL },
 1417:     { "\\bigg(",	18,	CMEX10,   OPENING,	NULL },
 1418:     { "\\bigg)",	19,	CMEX10,   CLOSING,	NULL },
 1419:     { "\\Bigg(",	32,	CMEX10,   OPENING,	NULL },
 1420:     { "\\Bigg)",	33,	CMEX10,   CLOSING,	NULL },
 1421:     { "\\bigl(",	0,	CMEX10,   OPENING,	NULL },
 1422:     { "\\bigr)",	1,	CMEX10,   CLOSING,	NULL },
 1423:     { "\\Bigl(",	16,	CMEX10,   OPENING,	NULL },
 1424:     { "\\Bigr)",	17,	CMEX10,   CLOSING,	NULL },
 1425:     { "\\biggl(",	18,	CMEX10,   OPENING,	NULL },
 1426:     { "\\biggr)",	19,	CMEX10,   CLOSING,	NULL },
 1427:     { "\\Biggl(",	32,	CMEX10,   OPENING,	NULL },
 1428:     { "\\Biggr)",	33,	CMEX10,   CLOSING,	NULL },
 1429:     /* --- brackets []'s --- */
 1430:     { "\\big[",		2,	CMEX10,   OPENING,	NULL },
 1431:     { "\\big]",		3,	CMEX10,   CLOSING,	NULL },
 1432:     { "\\bigg[",	20,	CMEX10,   OPENING,	NULL },
 1433:     { "\\bigg]",	21,	CMEX10,   CLOSING,	NULL },
 1434:     { "\\Bigg[",	34,	CMEX10,   OPENING,	NULL },
 1435:     { "\\Bigg]",	35,	CMEX10,   CLOSING,	NULL },
 1436:     { "\\Big[",		104,	CMEX10,   OPENING,	NULL },
 1437:     { "\\Big]",		105,	CMEX10,   CLOSING,	NULL },
 1438:     { "\\bigl[",	2,	CMEX10,   OPENING,	NULL },
 1439:     { "\\bigr]",	3,	CMEX10,   CLOSING,	NULL },
 1440:     { "\\biggl[",	20,	CMEX10,   OPENING,	NULL },
 1441:     { "\\biggr]",	21,	CMEX10,   CLOSING,	NULL },
 1442:     { "\\Biggl[",	34,	CMEX10,   OPENING,	NULL },
 1443:     { "\\Biggr]",	35,	CMEX10,   CLOSING,	NULL },
 1444:     { "\\Bigl[",	104,	CMEX10,   OPENING,	NULL },
 1445:     { "\\Bigr]",	105,	CMEX10,   CLOSING,	NULL },
 1446:     /* --- braces {}'s --- */
 1447:     { "\\big{",		8,	CMEX10,   OPENING,	NULL },
 1448:     { "\\big}",		9,	CMEX10,   CLOSING,	NULL },
 1449:     { "\\bigg{",	26,	CMEX10,   OPENING,	NULL },
 1450:     { "\\bigg}",	27,	CMEX10,   CLOSING,	NULL },
 1451:     { "\\Bigg{",	40,	CMEX10,   OPENING,	NULL },
 1452:     { "\\Bigg}",	41,	CMEX10,   CLOSING,	NULL },
 1453:     { "\\Big{",		110,	CMEX10,   OPENING,	NULL },
 1454:     { "\\Big}",		111,	CMEX10,   CLOSING,	NULL },
 1455:     { "\\bigl{",	8,	CMEX10,   OPENING,	NULL },
 1456:     { "\\bigr}",	9,	CMEX10,   CLOSING,	NULL },
 1457:     { "\\biggl{",	26,	CMEX10,   OPENING,	NULL },
 1458:     { "\\biggr}",	27,	CMEX10,   CLOSING,	NULL },
 1459:     { "\\Biggl{",	40,	CMEX10,   OPENING,	NULL },
 1460:     { "\\Biggr}",	41,	CMEX10,   CLOSING,	NULL },
 1461:     { "\\Bigl{",	110,	CMEX10,   OPENING,	NULL },
 1462:     { "\\Bigr}",	111,	CMEX10,   CLOSING,	NULL },
 1463:     { "\\big\\{",	8,	CMEX10,   OPENING,	NULL },
 1464:     { "\\big\\}",	9,	CMEX10,   CLOSING,	NULL },
 1465:     { "\\bigg\\{",	26,	CMEX10,   OPENING,	NULL },
 1466:     { "\\bigg\\}",	27,	CMEX10,   CLOSING,	NULL },
 1467:     { "\\Bigg\\{",	40,	CMEX10,   OPENING,	NULL },
 1468:     { "\\Bigg\\}",	41,	CMEX10,   CLOSING,	NULL },
 1469:     { "\\Big\\{",	110,	CMEX10,   OPENING,	NULL },
 1470:     { "\\Big\\}",	111,	CMEX10,   CLOSING,	NULL },
 1471:     { "\\bigl\\{",	8,	CMEX10,   OPENING,	NULL },
 1472:     { "\\bigr\\}",	9,	CMEX10,   CLOSING,	NULL },
 1473:     { "\\biggl\\{",	26,	CMEX10,   OPENING,	NULL },
 1474:     { "\\biggr\\}",	27,	CMEX10,   CLOSING,	NULL },
 1475:     { "\\Biggl\\{",	40,	CMEX10,   OPENING,	NULL },
 1476:     { "\\Biggr\\}",	41,	CMEX10,   CLOSING,	NULL },
 1477:     { "\\Bigl\\{",	110,	CMEX10,   OPENING,	NULL },
 1478:     { "\\Bigr\\}",	111,	CMEX10,   CLOSING,	NULL },
 1479:     { "\\big\\lbrace",	8,	CMEX10,   OPENING,	NULL },
 1480:     { "\\big\\rbrace",	9,	CMEX10,   CLOSING,	NULL },
 1481:     { "\\bigg\\lbrace",	26,	CMEX10,   OPENING,	NULL },
 1482:     { "\\bigg\\rbrace",	27,	CMEX10,   CLOSING,	NULL },
 1483:     { "\\Bigg\\lbrace",	40,	CMEX10,   OPENING,	NULL },
 1484:     { "\\Bigg\\rbrace",	41,	CMEX10,   CLOSING,	NULL },
 1485:     { "\\Big\\lbrace",	110,	CMEX10,   OPENING,	NULL },
 1486:     { "\\Big\\rbrace",	111,	CMEX10,   CLOSING,	NULL },
 1487:     /* --- angles <>'s --- */
 1488:     { "\\big<",		10,	CMEX10,   OPENING,	NULL },
 1489:     { "\\big>",		11,	CMEX10,   CLOSING,	NULL },
 1490:     { "\\bigg<",	28,	CMEX10,   OPENING,	NULL },
 1491:     { "\\bigg>",	29,	CMEX10,   CLOSING,	NULL },
 1492:     { "\\Bigg<",	42,	CMEX10,   OPENING,	NULL },
 1493:     { "\\Bigg>",	43,	CMEX10,   CLOSING,	NULL },
 1494:     { "\\Big<",		68,	CMEX10,   OPENING,	NULL },
 1495:     { "\\Big>",		69,	CMEX10,   CLOSING,	NULL },
 1496:     { "\\bigl<",	10,	CMEX10,   OPENING,	NULL },
 1497:     { "\\bigr>",	11,	CMEX10,   CLOSING,	NULL },
 1498:     { "\\biggl<",	28,	CMEX10,   OPENING,	NULL },
 1499:     { "\\biggr>",	29,	CMEX10,   CLOSING,	NULL },
 1500:     { "\\Biggl<",	42,	CMEX10,   OPENING,	NULL },
 1501:     { "\\Biggr>",	43,	CMEX10,   CLOSING,	NULL },
 1502:     { "\\Bigl<",	68,	CMEX10,   OPENING,	NULL },
 1503:     { "\\Bigr>",	69,	CMEX10,   CLOSING,	NULL },
 1504:     { "\\big\\langle",	10,	CMEX10,   OPENING,	NULL },
 1505:     { "\\big\\rangle",	11,	CMEX10,   CLOSING,	NULL },
 1506:     { "\\bigg\\langle",	28,	CMEX10,   OPENING,	NULL },
 1507:     { "\\bigg\\rangle",	29,	CMEX10,   CLOSING,	NULL },
 1508:     { "\\Bigg\\langle",	42,	CMEX10,   OPENING,	NULL },
 1509:     { "\\Bigg\\rangle",	43,	CMEX10,   CLOSING,	NULL },
 1510:     { "\\Big\\langle",	68,	CMEX10,   OPENING,	NULL },
 1511:     { "\\Big\\rangle",	69,	CMEX10,   CLOSING,	NULL },
 1512:     /* --- hats ^ --- */
 1513:     { "^",		98,	CMEX10,   OPERATOR,	NULL },
 1514:     { "^",		99,	CMEX10,   OPERATOR,	NULL },
 1515:     { "^",		100,	CMEX10,   OPERATOR,	NULL },
 1516:     /* --- tildes --- */
 1517:     { "~",		101,	CMEX10,   OPERATOR,	NULL },
 1518:     { "~",		102,	CMEX10,   OPERATOR,	NULL },
 1519:     { "~",		103,	CMEX10,   OPERATOR,	NULL },
 1520:     /* --- /'s --- */
 1521:     { "/",		44,	CMEX10,   OPENING,	NULL },
 1522:     { "/",		46,	CMEX10,   OPENING,	NULL },
 1523:     { "\\",		45,	CMEX10,   OPENING,	NULL },
 1524:     { "\\",		47,	CMEX10,   OPENING,	NULL },
 1525:     /* --- \sum, \int and other (displaymath) symbols --- */
 1526:     { "\\bigsqcup",	70,	CMEX10,   LOWERBIG,	NULL },
 1527:     { "\\Bigsqcup",	71,	CMEX10,   UPPERBIG,	NULL },
 1528:     { "\\oint",		72,	CMEX10,   OPERATOR,	NULL },
 1529:     { "\\bigoint",	72,	CMEX10,   LOWERBIG,	NULL },
 1530:     { "\\Bigoint",	73,	CMEX10,   UPPERBIG,	NULL },
 1531:     { "\\bigodot",	74,	CMEX10,   LOWERBIG,	NULL },
 1532:     { "\\Bigodot",	75,	CMEX10,   UPPERBIG,	NULL },
 1533:     { "\\bigoplus",	76,	CMEX10,   LOWERBIG,	NULL },
 1534:     { "\\Bigoplus",	77,	CMEX10,   UPPERBIG,	NULL },
 1535:     { "\\bigotimes",	78,	CMEX10,   LOWERBIG,	NULL },
 1536:     { "\\Bigotimes",	79,	CMEX10,   UPPERBIG,	NULL },
 1537:     { "\\sum",		80,	CMEX10,   OPERATOR,	NULL },
 1538:     { "\\bigsum",	80,	CMEX10,   LOWERBIG,	NULL },
 1539:     { "\\prod",		81,	CMEX10,   OPERATOR,	NULL },
 1540:     { "\\bigprod",	81,	CMEX10,   LOWERBIG,	NULL },
 1541:     { "\\int",		82,	CMEX10,   OPERATOR,	NULL },
 1542:     { "\\bigint",	82,	CMEX10,   LOWERBIG,	NULL },
 1543:     { "\\bigcup",	83,	CMEX10,   LOWERBIG,	NULL },
 1544:     { "\\bigcap",	84,	CMEX10,   LOWERBIG,	NULL },
 1545:     { "\\biguplus",	85,	CMEX10,   LOWERBIG,	NULL },
 1546:     { "\\bigwedge",	86,	CMEX10,   LOWERBIG,	NULL },
 1547:     { "\\bigvee",	87,	CMEX10,   LOWERBIG,	NULL },
 1548:     { "\\Bigsum",	88,	CMEX10,   UPPERBIG,	NULL },
 1549:     { "\\big\\sum",	88,	CMEX10,   UPPERBIG,	NULL },
 1550:     { "\\Big\\sum",	88,	CMEX10,   UPPERBIG,	NULL },
 1551:     { "\\bigg\\sum",	88,	CMEX10,   UPPERBIG,	NULL },
 1552:     { "\\Bigg\\sum",	88,	CMEX10,   UPPERBIG,	NULL },
 1553:     { "\\Bigprod",	89,	CMEX10,   UPPERBIG,	NULL },
 1554:     { "\\Bigint",	90,	CMEX10,   UPPERBIG,	NULL },
 1555:     { "\\big\\int",	90,	CMEX10,   UPPERBIG,	NULL },
 1556:     { "\\Big\\int",	90,	CMEX10,   UPPERBIG,	NULL },
 1557:     { "\\bigg\\int",	90,	CMEX10,   UPPERBIG,	NULL },
 1558:     { "\\Bigg\\int",	90,	CMEX10,   UPPERBIG,	NULL },
 1559:     { "\\Bigcup",	91,	CMEX10,   UPPERBIG,	NULL },
 1560:     { "\\Bigcap",	92,	CMEX10,   UPPERBIG,	NULL },
 1561:     { "\\Biguplus",	93,	CMEX10,   UPPERBIG,	NULL },
 1562:     { "\\Bigwedge",	94,	CMEX10,   UPPERBIG,	NULL },
 1563:     { "\\Bigvee",	95,	CMEX10,   UPPERBIG,	NULL },
 1564:     { "\\coprod",	96,	CMEX10,   LOWERBIG,	NULL },
 1565:     { "\\bigcoprod",	96,	CMEX10,   LOWERBIG,	NULL },
 1566:     { "\\Bigcoprod",	97,	CMEX10,   UPPERBIG,	NULL },
 1567:     /* --- symbol pieces (see TeXbook page 432) --- */
 1568:     { "\\leftbracetop",	56,	CMEX10,   OPENING,	NULL },
 1569:     { "\\rightbracetop",57,	CMEX10,   CLOSING,	NULL },
 1570:     { "\\leftbracebot",	58,	CMEX10,   OPENING,	NULL },
 1571:     { "\\rightbracebot",59,	CMEX10,   CLOSING,	NULL },
 1572:     { "\\leftbracemid",	60,	CMEX10,   OPENING,	NULL },
 1573:     { "\\rightbracemid",61,	CMEX10,   CLOSING,	NULL },
 1574:     { "\\leftbracebar",	62,	CMEX10,   OPENING,	NULL },
 1575:     { "\\rightbracebar",62,	CMEX10,   CLOSING,	NULL },
 1576:     { "\\leftparentop",	48,	CMEX10,   OPENING,	NULL },
 1577:     { "\\rightparentop",49,	CMEX10,   CLOSING,	NULL },
 1578:     { "\\leftparenbot",	64,	CMEX10,   OPENING,	NULL },
 1579:     { "\\rightparenbot",65,	CMEX10,   CLOSING,	NULL },
 1580:     { "\\leftparenbar",	66,	CMEX10,   OPENING,	NULL },
 1581:     { "\\rightparenbar",67,	CMEX10,   CLOSING,	NULL },
 1582:     /* --------------------- R S F S --------------------------
 1583:           symbol     charnum    family    class	    function
 1584:     -------------------------------------------------------- */
 1585:     /* --- rsfs script letters (written as \scr{A...Z}) --- */
 1586:     { "A",		 0,	RSFS10,   VARIABLE,	NULL },
 1587:     { "B",		 1,	RSFS10,   VARIABLE,	NULL },
 1588:     { "C",		 2,	RSFS10,   VARIABLE,	NULL },
 1589:     { "D",		 3,	RSFS10,   VARIABLE,	NULL },
 1590:     { "E",		 4,	RSFS10,   VARIABLE,	NULL },
 1591:     { "F",		 5,	RSFS10,   VARIABLE,	NULL },
 1592:     { "G",		 6,	RSFS10,   VARIABLE,	NULL },
 1593:     { "H",		 7,	RSFS10,   VARIABLE,	NULL },
 1594:     { "I",		 8,	RSFS10,   VARIABLE,	NULL },
 1595:     { "J",		 9,	RSFS10,   VARIABLE,	NULL },
 1596:     { "K",		10,	RSFS10,   VARIABLE,	NULL },
 1597:     { "L",		11,	RSFS10,   VARIABLE,	NULL },
 1598:     { "M",		12,	RSFS10,   VARIABLE,	NULL },
 1599:     { "N",		13,	RSFS10,   VARIABLE,	NULL },
 1600:     { "O",		14,	RSFS10,   VARIABLE,	NULL },
 1601:     { "P",		15,	RSFS10,   VARIABLE,	NULL },
 1602:     { "Q",		16,	RSFS10,   VARIABLE,	NULL },
 1603:     { "R",		17,	RSFS10,   VARIABLE,	NULL },
 1604:     { "S",		18,	RSFS10,   VARIABLE,	NULL },
 1605:     { "T",		19,	RSFS10,   VARIABLE,	NULL },
 1606:     { "U",		20,	RSFS10,   VARIABLE,	NULL },
 1607:     { "V",		21,	RSFS10,   VARIABLE,	NULL },
 1608:     { "W",		22,	RSFS10,   VARIABLE,	NULL },
 1609:     { "X",		23,	RSFS10,   VARIABLE,	NULL },
 1610:     { "Y",		24,	RSFS10,   VARIABLE,	NULL },
 1611:     { "Z",		25,	RSFS10,   VARIABLE,	NULL },
 1612:     /* --- rsfs script letters (written as \scrA...\scrZ) --- */
 1613:     { "\\scrA",		 0,	RSFS10,   VARIABLE,	NULL },
 1614:     { "\\scrB",		 1,	RSFS10,   VARIABLE,	NULL },
 1615:     { "\\scrC",		 2,	RSFS10,   VARIABLE,	NULL },
 1616:     { "\\scrD",		 3,	RSFS10,   VARIABLE,	NULL },
 1617:     { "\\scrE",		 4,	RSFS10,   VARIABLE,	NULL },
 1618:     { "\\scrF",		 5,	RSFS10,   VARIABLE,	NULL },
 1619:     { "\\scrG",		 6,	RSFS10,   VARIABLE,	NULL },
 1620:     { "\\scrH",		 7,	RSFS10,   VARIABLE,	NULL },
 1621:     { "\\scrI",		 8,	RSFS10,   VARIABLE,	NULL },
 1622:     { "\\scrJ",		 9,	RSFS10,   VARIABLE,	NULL },
 1623:     { "\\scrK",		10,	RSFS10,   VARIABLE,	NULL },
 1624:     { "\\scrL",		11,	RSFS10,   VARIABLE,	NULL },
 1625:     { "\\scrM",		12,	RSFS10,   VARIABLE,	NULL },
 1626:     { "\\scrN",		13,	RSFS10,   VARIABLE,	NULL },
 1627:     { "\\scrO",		14,	RSFS10,   VARIABLE,	NULL },
 1628:     { "\\scrP",		15,	RSFS10,   VARIABLE,	NULL },
 1629:     { "\\scrQ",		16,	RSFS10,   VARIABLE,	NULL },
 1630:     { "\\scrR",		17,	RSFS10,   VARIABLE,	NULL },
 1631:     { "\\scrS",		18,	RSFS10,   VARIABLE,	NULL },
 1632:     { "\\scrT",		19,	RSFS10,   VARIABLE,	NULL },
 1633:     { "\\scrU",		20,	RSFS10,   VARIABLE,	NULL },
 1634:     { "\\scrV",		21,	RSFS10,   VARIABLE,	NULL },
 1635:     { "\\scrW",		22,	RSFS10,   VARIABLE,	NULL },
 1636:     { "\\scrX",		23,	RSFS10,   VARIABLE,	NULL },
 1637:     { "\\scrY",		24,	RSFS10,   VARIABLE,	NULL },
 1638:     { "\\scrZ",		25,	RSFS10,   VARIABLE,	NULL },
 1639:     /* -------------------- B B O L D -------------------------
 1640:           symbol     charnum    family    class	    function
 1641:     -------------------------------------------------------- */
 1642:     /* --- uppercase greek letters --- */
 1643:     { "\\Gamma",	0,     BBOLD10,   VARIABLE,	NULL },
 1644:     { "\\Delta",	1,     BBOLD10,   VARIABLE,	NULL },
 1645:     { "\\Theta",	2,     BBOLD10,   VARIABLE,	NULL },
 1646:     { "\\Lambda",	3,     BBOLD10,   VARIABLE,	NULL },
 1647:     { "\\Xi",		4,     BBOLD10,   VARIABLE,	NULL },
 1648:     { "\\Pi",		5,     BBOLD10,   VARIABLE,	NULL },
 1649:     { "\\Sigma",	6,     BBOLD10,   VARIABLE,	NULL },
 1650:     { "\\smallsum",	6,     BBOLD10,   OPERATOR,	NULL },
 1651:     { "\\Upsilon",	7,     BBOLD10,   VARIABLE,	NULL },
 1652:     { "\\Phi",		8,     BBOLD10,   VARIABLE,	NULL },
 1653:     { "\\Psi",		9,     BBOLD10,   VARIABLE,	NULL },
 1654:     { "\\Omega",	10,    BBOLD10,   VARIABLE,	NULL },
 1655:     /* --- lowercase greek letters --- */
 1656:     { "\\alpha",	11,    BBOLD10,   VARIABLE,	NULL },
 1657:     { "\\beta",		12,    BBOLD10,   VARIABLE,	NULL },
 1658:     { "\\gamma",	13,    BBOLD10,   VARIABLE,	NULL },
 1659:     { "\\delta",	14,    BBOLD10,   VARIABLE,	NULL },
 1660:     { "\\epsilon",	15,    BBOLD10,   VARIABLE,	NULL },
 1661:     { "\\zeta",		16,    BBOLD10,   VARIABLE,	NULL },
 1662:     { "\\eta",		17,    BBOLD10,   VARIABLE,	NULL },
 1663:     { "\\theta",	18,    BBOLD10,   VARIABLE,	NULL },
 1664:     { "\\iota",		19,    BBOLD10,   VARIABLE,	NULL },
 1665:     { "\\kappa",	20,    BBOLD10,   VARIABLE,	NULL },
 1666:     { "\\lambda",	21,    BBOLD10,   VARIABLE,	NULL },
 1667:     { "\\mu",		22,    BBOLD10,   VARIABLE,	NULL },
 1668:     { "\\nu",		23,    BBOLD10,   VARIABLE,	NULL },
 1669:     { "\\xi",		24,    BBOLD10,   VARIABLE,	NULL },
 1670:     { "\\pi",		25,    BBOLD10,   VARIABLE,	NULL },
 1671:     { "\\rho",		26,    BBOLD10,   VARIABLE,	NULL },
 1672:     { "\\sigma",	27,    BBOLD10,   VARIABLE,	NULL },
 1673:     { "\\tau",		28,    BBOLD10,   VARIABLE,	NULL },
 1674:     { "\\upsilon",	29,    BBOLD10,   VARIABLE,	NULL },
 1675:     { "\\phi",		30,    BBOLD10,   VARIABLE,	NULL },
 1676:     { "\\chi",		31,    BBOLD10,   VARIABLE,	NULL },
 1677:     { "\\psi",		32,    BBOLD10,   VARIABLE,	NULL },
 1678:     { "\\omega",	127,   BBOLD10,   VARIABLE,	NULL },
 1679:     /* --- digits 0-9 --- */
 1680:     { "0",		48,    BBOLD10,   ORDINARY,	NULL },
 1681:     { "1",		49,    BBOLD10,   ORDINARY,	NULL },
 1682:     { "2",		50,    BBOLD10,   ORDINARY,	NULL },
 1683:     { "3",		51,    BBOLD10,   ORDINARY,	NULL },
 1684:     { "4",		52,    BBOLD10,   ORDINARY,	NULL },
 1685:     { "5",		53,    BBOLD10,   ORDINARY,	NULL },
 1686:     { "6",		54,    BBOLD10,   ORDINARY,	NULL },
 1687:     { "7",		55,    BBOLD10,   ORDINARY,	NULL },
 1688:     { "8",		56,    BBOLD10,   ORDINARY,	NULL },
 1689:     { "9",		57,    BBOLD10,   ORDINARY,	NULL },
 1690:     { "\\0",		48,    BBOLD10,   ORDINARY,	NULL },
 1691:     { "\\1",		49,    BBOLD10,   ORDINARY,	NULL },
 1692:     { "\\2",		50,    BBOLD10,   ORDINARY,	NULL },
 1693:     { "\\3",		51,    BBOLD10,   ORDINARY,	NULL },
 1694:     { "\\4",		52,    BBOLD10,   ORDINARY,	NULL },
 1695:     { "\\5",		53,    BBOLD10,   ORDINARY,	NULL },
 1696:     { "\\6",		54,    BBOLD10,   ORDINARY,	NULL },
 1697:     { "\\7",		55,    BBOLD10,   ORDINARY,	NULL },
 1698:     { "\\8",		56,    BBOLD10,   ORDINARY,	NULL },
 1699:     { "\\9",		57,    BBOLD10,   ORDINARY,	NULL },
 1700:     /* --- uppercase letters --- */
 1701:     { "A",		65,    BBOLD10,   VARIABLE,	NULL },
 1702:     { "B",		66,    BBOLD10,   VARIABLE,	NULL },
 1703:     { "C",		67,    BBOLD10,   VARIABLE,	NULL },
 1704:     { "D",		68,    BBOLD10,   VARIABLE,	NULL },
 1705:     { "E",		69,    BBOLD10,   VARIABLE,	NULL },
 1706:     { "F",		70,    BBOLD10,   VARIABLE,	NULL },
 1707:     { "G",		71,    BBOLD10,   VARIABLE,	NULL },
 1708:     { "H",		72,    BBOLD10,   VARIABLE,	NULL },
 1709:     { "I",		73,    BBOLD10,   VARIABLE,	NULL },
 1710:     { "J",		74,    BBOLD10,   VARIABLE,	NULL },
 1711:     { "K",		75,    BBOLD10,   VARIABLE,	NULL },
 1712:     { "L",		76,    BBOLD10,   VARIABLE,	NULL },
 1713:     { "M",		77,    BBOLD10,   VARIABLE,	NULL },
 1714:     { "N",		78,    BBOLD10,   VARIABLE,	NULL },
 1715:     { "O",		79,    BBOLD10,   VARIABLE,	NULL },
 1716:     { "P",		80,    BBOLD10,   VARIABLE,	NULL },
 1717:     { "Q",		81,    BBOLD10,   VARIABLE,	NULL },
 1718:     { "R",		82,    BBOLD10,   VARIABLE,	NULL },
 1719:     { "S",		83,    BBOLD10,   VARIABLE,	NULL },
 1720:     { "T",		84,    BBOLD10,   VARIABLE,	NULL },
 1721:     { "U",		85,    BBOLD10,   VARIABLE,	NULL },
 1722:     { "V",		86,    BBOLD10,   VARIABLE,	NULL },
 1723:     { "W",		87,    BBOLD10,   VARIABLE,	NULL },
 1724:     { "X",		88,    BBOLD10,   VARIABLE,	NULL },
 1725:     { "Y",		89,    BBOLD10,   VARIABLE,	NULL },
 1726:     { "Z",		90,    BBOLD10,   VARIABLE,	NULL },
 1727:     /* --- lowercase letters --- */
 1728:     { "a",		97,    BBOLD10,   VARIABLE,	NULL },
 1729:     { "b",		98,    BBOLD10,   VARIABLE,	NULL },
 1730:     { "c",		99,    BBOLD10,   VARIABLE,	NULL },
 1731:     { "d",		100,   BBOLD10,   VARIABLE,	NULL },
 1732:     { "e",		101,   BBOLD10,   VARIABLE,	NULL },
 1733:     { "f",		102,   BBOLD10,   VARIABLE,	NULL },
 1734:     { "g",		103,   BBOLD10,   VARIABLE,	NULL },
 1735:     { "h",		104,   BBOLD10,   VARIABLE,	NULL },
 1736:     { "i",		105,   BBOLD10,   VARIABLE,	NULL },
 1737:     { "j",		106,   BBOLD10,   VARIABLE,	NULL },
 1738:     { "k",		107,   BBOLD10,   VARIABLE,	NULL },
 1739:     { "l",		108,   BBOLD10,   VARIABLE,	NULL },
 1740:     { "m",		109,   BBOLD10,   VARIABLE,	NULL },
 1741:     { "n",		110,   BBOLD10,   VARIABLE,	NULL },
 1742:     { "o",		111,   BBOLD10,   VARIABLE,	NULL },
 1743:     { "p",		112,   BBOLD10,   VARIABLE,	NULL },
 1744:     { "q",		113,   BBOLD10,   VARIABLE,	NULL },
 1745:     { "r",		114,   BBOLD10,   VARIABLE,	NULL },
 1746:     { "s",		115,   BBOLD10,   VARIABLE,	NULL },
 1747:     { "t",		116,   BBOLD10,   VARIABLE,	NULL },
 1748:     { "u",		117,   BBOLD10,   VARIABLE,	NULL },
 1749:     { "v",		118,   BBOLD10,   VARIABLE,	NULL },
 1750:     { "w",		119,   BBOLD10,   VARIABLE,	NULL },
 1751:     { "x",		120,   BBOLD10,   VARIABLE,	NULL },
 1752:     { "y",		121,   BBOLD10,   VARIABLE,	NULL },
 1753:     { "z",		122,   BBOLD10,   VARIABLE,	NULL },
 1754:     /* --- symbols, relations, etc --- */
 1755:     { "!",		33,    BBOLD10,   BINARYOP,	NULL },
 1756:     { "#",		35,    BBOLD10,   BINARYOP,	NULL },
 1757:     { "\\#",		35,    BBOLD10,   BINARYOP,	NULL },
 1758:     { "$",		36,    BBOLD10,   BINARYOP,	NULL },
 1759:     { "\\$",		36,    BBOLD10,   BINARYOP,	NULL },
 1760:     { "%",		37,    BBOLD10,   BINARYOP,	NULL },
 1761:     { "\\%",		37,    BBOLD10,   BINARYOP,	NULL },
 1762:     { "\\percent",	37,    BBOLD10,   BINARYOP,	NULL },
 1763:     { "&",		38,    BBOLD10,   BINARYOP,	NULL },
 1764:     { "\\&",		38,    BBOLD10,   BINARYOP,	NULL },
 1765:     { "\'",		39,    BBOLD10,   BINARYOP,	NULL },
 1766:     { "\\apostrophe",	39,    BBOLD10,   ORDINARY,	NULL },
 1767:     { "(",		40,    BBOLD10,   OPENING,	NULL },
 1768:     { "\\(",		40,    BBOLD10,   OPENING,	NULL },
 1769:     { ")",		41,    BBOLD10,   CLOSING,	NULL },
 1770:     { "\\)",		41,    BBOLD10,   CLOSING,	NULL },
 1771:     { "*",		42,    BBOLD10,   BINARYOP,	NULL },
 1772:     { "+",		43,    BBOLD10,   BINARYOP,	NULL },
 1773:     { ",",		44,    BBOLD10,   PUNCTION,	NULL },
 1774:     { "-",		45,    BBOLD10,   BINARYOP,	NULL },
 1775:     { ".",		46,    BBOLD10,   PUNCTION,	NULL },
 1776:     { "/",		47,    BBOLD10,   BINARYOP,	NULL },
 1777:     { ":",		58,    BBOLD10,   ORDINARY,	NULL },
 1778:     { ";",		59,    BBOLD10,   ORDINARY,	NULL },
 1779:     { "<",		60,    BBOLD10,   RELATION,	NULL },
 1780:     { "\\<",		60,    BBOLD10,   RELATION,	NULL },
 1781:     { "\\cdot",		61,    BBOLD10,   BINARYOP,	NULL },
 1782:     { ">",		62,    BBOLD10,   RELATION,	NULL },
 1783:     { "\\>",		62,    BBOLD10,   RELATION,	NULL },
 1784:     { "?",		63,    BBOLD10,   BINARYOP,	NULL },
 1785:     { "@",		64,    BBOLD10,   BINARYOP,	NULL },
 1786:     { "[",		91,    BBOLD10,   OPENING,	NULL },
 1787:     { "\\[",		91,    BBOLD10,   OPENING,	NULL },
 1788:     { "\\\\",		92,    BBOLD10,   OPENING,	NULL },
 1789:     { "\\backslash",	92,    BBOLD10,   OPENING,	NULL },
 1790:     { "]",		93,    BBOLD10,   CLOSING,	NULL },
 1791:     { "\\]",		93,    BBOLD10,   CLOSING,	NULL },
 1792:     { "|",		124,   BBOLD10,   BINARYOP,	NULL },
 1793:     { "\\-",		123,   BBOLD10,   BINARYOP,	NULL },
 1794:     /* ------------------- S T M A R Y ------------------------
 1795:           symbol     charnum    family    class	    function
 1796:     -------------------------------------------------------- */
 1797:     /* --- stmaryrd symbols (see stmaryrd.sty for defs) --- */
 1798:     { "\\shortleftarrow",   0, STMARY10,  ARROW,	NULL },
 1799:     { "\\shortrightarrow",  1, STMARY10,  ARROW,	NULL },
 1800:     { "\\shortuparrow",     2, STMARY10,  ARROW,	NULL },
 1801:     { "\\shortdownarrow",   3, STMARY10,  ARROW,	NULL },
 1802:     { "\\Yup",		    4, STMARY10,  BINARYOP,	NULL },
 1803:     { "\\Ydown",	    5, STMARY10,  BINARYOP,	NULL },
 1804:     { "\\Yleft",	    6, STMARY10,  BINARYOP,	NULL },
 1805:     { "\\Yright",	    7, STMARY10,  BINARYOP,	NULL },
 1806:     { "\\varcurlyvee",	    8, STMARY10,  BINARYOP,	NULL },
 1807:     { "\\varcurlywedge",    9, STMARY10,  BINARYOP,	NULL },
 1808:     { "\\minuso",	   10, STMARY10,  BINARYOP,	NULL },
 1809:     { "\\baro",		   11, STMARY10,  BINARYOP,	NULL },
 1810:     { "\\sslash",	   12, STMARY10,  BINARYOP,	NULL },
 1811:     { "\\bblash",	   13, STMARY10,  BINARYOP,	NULL },
 1812:     { "\\moo",		   14, STMARY10,  BINARYOP,	NULL },
 1813:     { "\\varotimes",	   15, STMARY10,  BINARYOP,	NULL },
 1814:     { "\\varoast",	   16, STMARY10,  BINARYOP,	NULL },
 1815:     { "\\varobar",	   17, STMARY10,  BINARYOP,	NULL },
 1816:     { "\\varodot",	   18, STMARY10,  BINARYOP,	NULL },
 1817:     { "\\varoslash",	   19, STMARY10,  BINARYOP,	NULL },
 1818:     { "\\varobslash",	   20, STMARY10,  BINARYOP,	NULL },
 1819:     { "\\varocircle",	   21, STMARY10,  BINARYOP,	NULL },
 1820:     { "\\varoplus",	   22, STMARY10,  BINARYOP,	NULL },
 1821:     { "\\varominus",	   23, STMARY10,  BINARYOP,	NULL },
 1822:     { "\\boxast",	   24, STMARY10,  BINARYOP,	NULL },
 1823:     { "\\boxbar",	   25, STMARY10,  BINARYOP,	NULL },
 1824:     { "\\boxdot",	   26, STMARY10,  BINARYOP,	NULL },
 1825:     { "\\boxslash",	   27, STMARY10,  BINARYOP,	NULL },
 1826:     { "\\boxbslash",	   28, STMARY10,  BINARYOP,	NULL },
 1827:     { "\\boxcircle",	   29, STMARY10,  BINARYOP,	NULL },
 1828:     { "\\boxbox",	   30, STMARY10,  BINARYOP,	NULL },
 1829:     { "\\boxempty",	   31, STMARY10,  BINARYOP,	NULL },
 1830:     { "\\qed",		   31, STMARY10,  BINARYOP,	NULL },
 1831:     { "\\lightning",	   32, STMARY10,  ORDINARY,	NULL },
 1832:     { "\\merge",	   33, STMARY10,  BINARYOP,	NULL },
 1833:     { "\\vartimes",	   34, STMARY10,  BINARYOP,	NULL },
 1834:     { "\\fatsemi",	   35, STMARY10,  BINARYOP,	NULL },
 1835:     { "\\sswarrow",	   36, STMARY10,  ARROW,	NULL },
 1836:     { "\\ssearrow",	   37, STMARY10,  ARROW,	NULL },
 1837:     { "\\curlywedgeuparrow",38,STMARY10,  ARROW,	NULL },
 1838:     { "\\curlywedgedownarrow",39,STMARY10,ARROW,	NULL },
 1839:     { "\\fatslash",	   40, STMARY10,  BINARYOP,	NULL },
 1840:     { "\\fatbslash",	   41, STMARY10,  BINARYOP,	NULL },
 1841:     { "\\lbag",		   42, STMARY10,  BINARYOP,	NULL },
 1842:     { "\\rbag",		   43, STMARY10,  BINARYOP,	NULL },
 1843:     { "\\varbigcirc",	   44, STMARY10,  BINARYOP,	NULL },
 1844:     { "\\leftrightarroweq",45, STMARY10,  ARROW,	NULL },
 1845:     { "\\curlyveedownarrow",46,STMARY10,  ARROW,	NULL },
 1846:     { "\\curlyveeuparrow", 47, STMARY10,  ARROW,	NULL },
 1847:     { "\\nnwarrow",	   48, STMARY10,  ARROW,	NULL },
 1848:     { "\\nnearrow",	   49, STMARY10,  ARROW,	NULL },
 1849:     { "\\leftslice",	   50, STMARY10,  BINARYOP,	NULL },
 1850:     { "\\rightslice",	   51, STMARY10,  BINARYOP,	NULL },
 1851:     { "\\varolessthan",	   52, STMARY10,  BINARYOP,	NULL },
 1852:     { "\\varogreaterthan", 53, STMARY10,  BINARYOP,	NULL },
 1853:     { "\\varovee",	   54, STMARY10,  BINARYOP,	NULL },
 1854:     { "\\varowedge",	   55, STMARY10,  BINARYOP,	NULL },
 1855:     { "\\talloblong",	   56, STMARY10,  BINARYOP,	NULL },
 1856:     { "\\interleave",	   57, STMARY10,  BINARYOP,	NULL },
 1857:     { "\\obar",		   58, STMARY10,  BINARYOP,	NULL },
 1858:     { "\\oslash",	   59, STMARY10,  BINARYOP,	NULL },
 1859:     { "\\olessthan",	   60, STMARY10,  BINARYOP,	NULL },
 1860:     { "\\ogreaterthan",	   61, STMARY10,  BINARYOP,	NULL },
 1861:     { "\\ovee",		   62, STMARY10,  BINARYOP,	NULL },
 1862:     { "\\owedge",	   63, STMARY10,  BINARYOP,	NULL },
 1863:     { "\\oblong",	   64, STMARY10,  BINARYOP,	NULL },
 1864:     { "\\inplus",	   65, STMARY10,  RELATION,	NULL },
 1865:     { "\\niplus",	   66, STMARY10,  RELATION,	NULL },
 1866:     { "\\nplus",	   67, STMARY10,  BINARYOP,	NULL },
 1867:     { "\\subsetplus",	   68, STMARY10,  RELATION,	NULL },
 1868:     { "\\supsetplus",	   69, STMARY10,  RELATION,	NULL },
 1869:     { "\\subsetpluseq",	   70, STMARY10,  RELATION,	NULL },
 1870:     { "\\supsetpluseq",	   71, STMARY10,  RELATION,	NULL },
 1871:     { "\\Lbag",		   72, STMARY10,  OPENING,	NULL },
 1872:     { "\\Rbag",		   73, STMARY10,  CLOSING,	NULL },
 1873:     { "\\llbracket",	   74, STMARY10,  OPENING,	NULL },
 1874:     { "\\rrbracket",	   75, STMARY10,  CLOSING,	NULL },
 1875:     { "\\llparenthesis",   76, STMARY10,  OPENING,	NULL },
 1876:     { "\\rrparenthesis",   77, STMARY10,  CLOSING,	NULL },
 1877:     { "\\binampersand",	   78, STMARY10,  OPENING,	NULL },
 1878:     { "\\bindnasrepma",	   79, STMARY10,  CLOSING,	NULL },
 1879:     { "\\trianglelefteqslant",80,STMARY10,RELATION,	NULL },
 1880:     { "\\trianglerighteqslant",81,STMARY10,RELATION,	NULL },
 1881:     { "\\ntrianglelefteqslant",82,STMARY10,RELATION,	NULL },
 1882:     { "\\ntrianglerighteqslant",83,STMARY10,RELATION,	NULL },
 1883:     { "\\llfloor",	   84, STMARY10,  OPENING,	NULL },
 1884:     { "\\rrfloor",	   85, STMARY10,  CLOSING,	NULL },
 1885:     { "\\llceil",	   86, STMARY10,  OPENING,	NULL },
 1886:     { "\\rrceil",	   87, STMARY10,  CLOSING,	NULL },
 1887:     { "\\arrownot",	   88, STMARY10,  RELATION,	NULL },
 1888:     { "\\Arrownot",	   89, STMARY10,  RELATION,	NULL },
 1889:     { "\\Mapstochar",	   90, STMARY10,  RELATION,	NULL },
 1890:     { "\\mapsfromchar",	   91, STMARY10,  RELATION,	NULL },
 1891:     { "\\Mapsfromchar",	   92, STMARY10,  RELATION,	NULL },
 1892:     { "\\leftrightarrowtriangle",93,STMARY10,BINARYOP,	NULL },
 1893:     { "\\leftarrowtriangle",94,STMARY10,  RELATION,	NULL },
 1894:     { "\\rightarrowtriangle",95,STMARY10, RELATION,	NULL },
 1895:     { "\\bigtriangledown", 96, STMARY10,  OPERATOR,	NULL },
 1896:     { "\\bigtriangleup",   97, STMARY10,  OPERATOR,	NULL },
 1897:     { "\\bigcurlyvee",	   98, STMARY10,  OPERATOR,	NULL },
 1898:     { "\\bigcurlywedge",   99, STMARY10,  OPERATOR,	NULL },
 1899:     { "\\bigsqcap",	  100, STMARY10,  OPERATOR,	NULL },
 1900:     { "\\Bigsqcap",	  100, STMARY10,  OPERATOR,	NULL },
 1901:     { "\\bigbox",	  101, STMARY10,  OPERATOR,	NULL },
 1902:     { "\\bigparallel",	  102, STMARY10,  OPERATOR,	NULL },
 1903:     { "\\biginterleave",  103, STMARY10,  OPERATOR,	NULL },
 1904:     { "\\bignplus",	  112, STMARY10,  OPERATOR,	NULL },
 1905:     /* ---------------------- C Y R ---------------------------
 1906:           symbol     charnum    family    class	    function
 1907:     -------------------------------------------------------- */
 1908:     /* ---
 1909:      * undefined: 20,21,28,29,33-59,61,63,64,91,92,93,96,123,124
 1910:      * ---------------------------------------------------------- */
 1911:     /* --- special characters --- */
 1912:     { "\\cyddot",	32,	CYR10,   VARIABLE,	NULL },
 1913:     /* ---See amsfndoc.dvi Figure 1 Input Conventions for AMS cyrillic--- */
 1914:     { "A",		65,	CYR10,   VARIABLE,	NULL },
 1915:     { "a",		97,	CYR10,   VARIABLE,	NULL },
 1916:     { "B",		66,	CYR10,   VARIABLE,	NULL },
 1917:     { "b",		98,	CYR10,   VARIABLE,	NULL },
 1918:     { "V",		86,	CYR10,   VARIABLE,	NULL },
 1919:     { "v",		118,	CYR10,   VARIABLE,	NULL },
 1920:     { "G",		71,	CYR10,   VARIABLE,	NULL },
 1921:     { "g",		103,	CYR10,   VARIABLE,	NULL },
 1922:     { "D",		68,	CYR10,   VARIABLE,	NULL },
 1923:     { "d",		100,	CYR10,   VARIABLE,	NULL },
 1924:     { "Dj",		6,	CYR10,   VARIABLE,	NULL },
 1925:     { "DJ",		6,	CYR10,   VARIABLE,	NULL },
 1926:     { "dj",		14,	CYR10,   VARIABLE,	NULL },
 1927:     { "E",		69,	CYR10,   VARIABLE,	NULL },
 1928:     { "e",		101,	CYR10,   VARIABLE,	NULL },
 1929:     { "\\\"E",		19,	CYR10,   VARIABLE,	NULL },
 1930:     { "\\\"e",		27,	CYR10,   VARIABLE,	NULL },
 1931:     { "\\=E",		5,	CYR10,   VARIABLE,	NULL },
 1932:     { "\\=e",		13,	CYR10,   VARIABLE,	NULL },
 1933:     { "Zh",		17,	CYR10,   VARIABLE,	NULL },
 1934:     { "ZH",		17,	CYR10,   VARIABLE,	NULL },
 1935:     { "zh",		25,	CYR10,   VARIABLE,	NULL },
 1936:     { "Z",		90,	CYR10,   VARIABLE,	NULL },
 1937:     { "z",		122,	CYR10,   VARIABLE,	NULL },
 1938:     { "I",		73,	CYR10,   VARIABLE,	NULL },
 1939:     { "i",		105,	CYR10,   VARIABLE,	NULL },
 1940:     { "\\=I",		4,	CYR10,   VARIABLE,	NULL },
 1941:     { "\\=\\i",		12,	CYR10,   VARIABLE,	NULL },
 1942:     { "J",		74,	CYR10,   VARIABLE,	NULL },
 1943:     { "j",		106,	CYR10,   VARIABLE,	NULL },
 1944:     { "\\u I",		18,	CYR10,   VARIABLE,	NULL },
 1945:     { "\\u\\i",		26,	CYR10,   VARIABLE,	NULL },
 1946:     { "K",		75,	CYR10,   VARIABLE,	NULL },
 1947:     { "k",		107,	CYR10,   VARIABLE,	NULL },
 1948:     { "L",		76,	CYR10,   VARIABLE,	NULL },
 1949:     { "l",		108,	CYR10,   VARIABLE,	NULL },
 1950:     { "Lj",		1,	CYR10,   VARIABLE,	NULL },
 1951:     { "LJ",		1,	CYR10,   VARIABLE,	NULL },
 1952:     { "lj",		9,	CYR10,   VARIABLE,	NULL },
 1953:     { "M",		77,	CYR10,   VARIABLE,	NULL },
 1954:     { "m",		109,	CYR10,   VARIABLE,	NULL },
 1955:     { "N",		78,	CYR10,   VARIABLE,	NULL },
 1956:     { "n",		110,	CYR10,   VARIABLE,	NULL },
 1957:     { "Nj",		0,	CYR10,   VARIABLE,	NULL },
 1958:     { "NJ",		0,	CYR10,   VARIABLE,	NULL },
 1959:     { "nj",		8,	CYR10,   VARIABLE,	NULL },
 1960:     { "O",		79,	CYR10,   VARIABLE,	NULL },
 1961:     { "o",		111,	CYR10,   VARIABLE,	NULL },
 1962:     { "P",		80,	CYR10,   VARIABLE,	NULL },
 1963:     { "p",		112,	CYR10,   VARIABLE,	NULL },
 1964:     { "R",		82,	CYR10,   VARIABLE,	NULL },
 1965:     { "r",		114,	CYR10,   VARIABLE,	NULL },
 1966:     { "S",		83,	CYR10,   VARIABLE,	NULL },
 1967:     { "s",		115,	CYR10,   VARIABLE,	NULL },
 1968:     { "T",		84,	CYR10,   VARIABLE,	NULL },
 1969:     { "t",		116,	CYR10,   VARIABLE,	NULL },
 1970:     { "\\\'C",		7,	CYR10,   VARIABLE,	NULL },
 1971:     { "\\\'c",		15,	CYR10,   VARIABLE,	NULL },
 1972:     { "U",		85,	CYR10,   VARIABLE,	NULL },
 1973:     { "u",		117,	CYR10,   VARIABLE,	NULL },
 1974:     { "F",		70,	CYR10,   VARIABLE,	NULL },
 1975:     { "f",		102,	CYR10,   VARIABLE,	NULL },
 1976:     { "Kh",		72,	CYR10,   VARIABLE,	NULL },
 1977:     { "KH",		72,	CYR10,   VARIABLE,	NULL },
 1978:     { "kh",		104,	CYR10,   VARIABLE,	NULL },
 1979:     { "Ts",		67,	CYR10,   VARIABLE,	NULL },
 1980:     { "TS",		67,	CYR10,   VARIABLE,	NULL },
 1981:     { "ts",		99,	CYR10,   VARIABLE,	NULL },
 1982:     { "Ch",		81,	CYR10,   VARIABLE,	NULL },
 1983:     { "CH",		81,	CYR10,   VARIABLE,	NULL },
 1984:     { "ch",		113,	CYR10,   VARIABLE,	NULL },
 1985:     { "Dzh",		2,	CYR10,   VARIABLE,	NULL },
 1986:     { "DZH",		2,	CYR10,   VARIABLE,	NULL },
 1987:     { "dzh",		10,	CYR10,   VARIABLE,	NULL },
 1988:     { "Sh",		88,	CYR10,   VARIABLE,	NULL },
 1989:     { "SH",		88,	CYR10,   VARIABLE,	NULL },
 1990:     { "sh",		120,	CYR10,   VARIABLE,	NULL },
 1991:     { "Shch",		87,	CYR10,   VARIABLE,	NULL },
 1992:     { "SHCH",		87,	CYR10,   VARIABLE,	NULL },
 1993:     { "shch",		119,	CYR10,   VARIABLE,	NULL },
 1994:     { "\\Cdprime",	95,	CYR10,   VARIABLE,	NULL },
 1995:     { "\\cdprime",	127,	CYR10,   VARIABLE,	NULL },
 1996:     { "Y",		89,	CYR10,   VARIABLE,	NULL },
 1997:     { "y",		121,	CYR10,   VARIABLE,	NULL },
 1998:     { "\\Cprime",	94,	CYR10,   VARIABLE,	NULL },
 1999:     { "\\cprime",	126,	CYR10,   VARIABLE,	NULL },
 2000:     { "\\`E",		3,	CYR10,   VARIABLE,	NULL },
 2001:     { "\\`e",		11,	CYR10,   VARIABLE,	NULL },
 2002:     { "Yu",		16,	CYR10,   VARIABLE,	NULL },
 2003:     { "YU",		16,	CYR10,   VARIABLE,	NULL },
 2004:     { "yu",		24,	CYR10,   VARIABLE,	NULL },
 2005:     { "Ya",		23,	CYR10,   VARIABLE,	NULL },
 2006:     { "YA",		23,	CYR10,   VARIABLE,	NULL },
 2007:     { "ya",		31,	CYR10,   VARIABLE,	NULL },
 2008:     { "\\Dz",		22,	CYR10,   VARIABLE,	NULL },
 2009:     { "\\dz",		30,	CYR10,   VARIABLE,	NULL },
 2010:     { "N0",		125,	CYR10,   VARIABLE,	NULL },
 2011:     { "<",		60,	CYR10,   VARIABLE,	NULL },
 2012:     { ">",		62,	CYR10,   VARIABLE,	NULL },
 2013:     /* --- trailer record --- */
 2014:     { NULL,		-999,	-999,	-999,		NULL }
 2015:  }
 2016: #endif /* INITVALS */
 2017:  ; /* --- end-of-symtable[] --- */
 2018: 
 2019: /* ======================= END-OF-FILE MIMETEX.H ========================= */
 2020: #endif
 2021: 

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>