text: {
      /* $Id$ */
  
      /* The HTML 4.0 character lists can be found at http://www.w3.org/TR/REC-html40/sgml/entities.html. */
  
      character = {
  	/*******************************************/
  	/* -//W3C//ENTITIES Full Latin 1//EN//HTML */
  	/*******************************************/
  
  	nbsp = 160;
  	iexcl = 161;
  	cent = 162;
  	pound = 163;
  	curren = 164;
  	yen = 165;
  	brvbar = 166;
  	sect = 167;
  	uml = 168;
  	copy = 169;
  	ordf = 170;
  	laquo = 171;
  	not = 172;
  	shy = 173;
  	reg = 174;
  	macr = 175;
  	deg = 176;
  	plusmn = 177;
  	sup2 = 178;
  	sup3 = 179;
  	acute = 180;
  	micro = 181;
  	para = 182;
  	middot = 183;
  	cedil = 184;
  	sup1 = 185;
  	ordm = 186;
  	raquo = 187;
  	frac14 = 188;
  	frac12 = 189;
  	frac34 = 190;
  	iquest = 191;
  	Agrave = 192;
  	Aacute = 193;
  	Acirc = 194;
  	Atilde = 195;
  	Auml = 196;
  	Aring = 197;
  	AElig = 198;
  	Ccedil = 199;
  	Egrave = 200;
  	Eacute = 201;
  	Ecirc = 202;
  	Euml = 203;
  	Igrave = 204;
  	Iacute = 205;
  	Icirc = 206;
  	Iuml = 207;
  	ETH = 208;
  	Ntilde = 209;
  	Ograve = 210;
  	Oacute = 211;
  	Ocirc = 212;
  	Otilde = 213;
  	Ouml = 214;
  	times = 215;
  	Oslash = 216;
  	Ugrave = 217;
  	Uacute = 218;
  	Ucirc = 219;
  	Uuml = 220;
  	Yacute = 221;
  	THORN = 222;
  	szlig = 223;
  	agrave = 224;
  	aacute = 225;
  	acirc = 226;
  	atilde = 227;
  	auml = 228;
  	aring = 229;
  	aelig = 230;
  	ccedil = 231;
  	egrave = 232;
  	eacute = 233;
  	ecirc = 234;
  	euml = 235;
  	igrave = 236;
  	iacute = 237;
  	icirc = 238;
  	iuml = 239;
  	eth = 240;
  	ntilde = 241;
  	ograve = 242;
  	oacute = 243;
  	ocirc = 244;
  	otilde = 245;
  	ouml = 246;
  	divide = 247;
  	oslash = 248;
  	ugrave = 249;
  	uacute = 250;
  	ucirc = 251;
  	uuml = 252;
  	yacute = 253;
  	thorn = 254;
  	yuml = 255;
  
  	/**************************************/
  	/* -//W3C//ENTITIES Special//EN//HTML */
  	/**************************************/
  
  	/* C0 Controls and Basic Latin */
  
  	quot = 34;
  	amp = 38;
  	lt = 60;
  	gt = 62;
  
  	/* Latin Extended-A */
  
  	OElig = 338;
  	oelig = 339;
  	Scaron = 352;
  	scaron = 353;
  	Yuml = 376;
  
  	/* Spacing Modifier Letters */
  
  	circ = 710;
  	tilde = 732;
  
  	/* General Punctuation */
  
  	ensp = 8194;
  	emsp = 8195;
  	thinsp = 8201;
  	zwnj = 8204;
  	zwj = 8205;
  	lrm = 8206;
  	rlm = 8207;
  	ndash = 8211;
  	mdash = 8212;
  	lsquo = 8216;
  	rsquo = 8217;
  	sbquo = 8218;
  	ldquo = 8220;
  	rdquo = 8221;
  	bdquo = 8222;
  	dagger = 8224;
  	Dagger = 8225;
  	permil = 8240;
  	lsaquo = 8249;
  	rsaquo = 8250;
  	euro = 8364;
      };
  
  /*
   * Right now we're not sure when to use these extra HTML 4.0 entities, so we don't read them
   * at all.  Ken thinks maybe there's some special math mode you go into and these become valid.
   *
   * We don't include these by default because they can play havoc with URL parsing, when someone
   * says, "http://www.blah.com/cgi/blah&prod=foo", the &prod will get turned into a multiplication
   * symbol, which isn't really what the person wanted.  Of course, no one is smart enough to 
   * quote & the way they are supposed to.
   * 
   * So, these are left here for the future.
   */
  
      extendedCharacter = {
  	/***************************************/
  	/* -//W3C//ENTITIES Symbolic//EN//HTML */
  	/***************************************/
  
  	/* Latin Extended-B */
  
  	fnof = 402;
  
  	/* Greek */
  
  	Alpha = 913;
  	Beta = 914;
  	Gamma = 915;
  	Delta = 916;
  	Epsilon = 917;
  	Zeta = 918;
  	Eta = 919;
  	Theta = 920;
  	Iota = 921;
  	Kappa = 922;
  	Lambda = 923;
  	Mu = 924;
  	Nu = 925;
  	Xi = 926;
  	Omicron = 927;
  	Pi = 928;
  	Rho = 929;
  	Sigma = 931;
  	Tau = 932;
  	Upsilon = 933;
  	Phi = 934;
  	Chi = 935;
  	Psi = 936;
  	Omega = 937;
  
  	alpha = 945;
  	beta = 946;
  	gamma = 947;
  	delta = 948;
  	epsilon = 949; /* 8712? */
  	zeta = 950;
  	eta = 951;
  	theta = 952;
  	iota = 953;
  	kappa = 954;
  	lambda = 955;
  	mu = 956;
  	nu = 957;
  	xi = 958;
  	omicron = 959;
  	pi = 960;
  	rho = 961;
  	sigmaf = 962;
  	sigma = 963;
  	tau = 964;
  	upsilon = 965;
  	phi = 966;
  	chi = 967;
  	psi = 968;
  	omega = 969;
  
  	thetasym = 977;
  	upsih = 978;
  	piv = 982;
  
  	/* General Punctuation */
  
  	bull = 8226;
  	hellip = 8230;
  	prime = 8242;
  	Prime = 8243;
  	oline = 8254;
  	frasl = 8260;
  
  	/* Letterlike Symbols */
  
  	weierp = 8472;
  	image = 8465;
  	real = 8476;
  	trade = 8482;
  	alefsym = 8501;
  
  	/* Arrows */
  
  	larr = 8592;
  	uarr = 8593;
  	rarr = 8594;
  	darr = 8595;
  	harr = 8596;
  	crarr = 8629;
  
  	lArr = 8656;
  	uArr = 8657;
  	rArr = 8658;
  	dArr = 8659;
  	hArr = 8660;
  
  	forall = 8704;
  	part = 8706;
  	exist = 8707;
  	empty = 8709;
  	nabla = 8711;
  	isin = 8712;
  	notin = 8713;
  	ni = 8715;
  	prod = 8719;
  	sum = 8721;
  	minus = 8722;
  	lowast = 8727;
  	radic = 8730;
  	prop = 8733;
  	infin = 8734;
  	ang = 8736;
  	and = 8743;
  	or = 8744;
  	cap = 8745;
  	cup = 8746;
  	int = 8747;
  	there4 = 8756;
  	sim = 8764;
  	cong = 8773;
  	asymp = 8776;
  	ne = 8800;
  	equiv = 8801;
  	le = 8804;
  	ge = 8805;
  	sub = 8834;
  	sup = 8835;
  	nsub = 8836;
  	sube = 8838;
  	supe = 8839;
  	oplus = 8853;
  	otimes = 8855;
  	perp = 8869;
  	sdot = 8901;
  
  	/* Miscellaneous Technical */
  
  	lceil = 8968;
  	rceil = 8969;
  	lfloor = 8970;
  	rfloor = 8971;
  	lang = 9001;
  	rang = 9002;
  
  	/* Geometric Shapes */
  
  	loz = 9674;
  
  	/* Miscellaneous Symbols */
  
  	spades = 9824;
  	clubs = 9827;
  	hearts = 9829;
  	diams = 9830;
     };
  
  
  /*
   * BELOW THIS POINT IS NOT USED ANY MORE, BUT WHO KNOWS WHAT WILL CHANGE
   */
  
      nonstandardCharacters = {
  
  	/*********************************************/
  	/* HTML 3.0 math symbols, Emacs W3-mode, ... */
  	/*********************************************/
  
  	sp = 32;
  	blank = 32;
  	excl = 33;
  	num = 35;
  	dollar = 36;
  	percnt = 37;
  	apos = 39;
  	lpar = 40;
  	rpar = 41;
  	ast = 42;
  	plus = 43;
  	comma = 44;
  	hyphen = 45;
  	dash = 45;
  	period = 46;
  	sol = 47;
  	colon = 58;
  	semi = 59;
  	equals = 61;
  	quest = 63;
  	commat = 64;
  	lsqb = 91;
  	bsol = 92;
  	rsqb = 93;
  	caret = 94;
  	lowbar = 95;
  	grave = 96;
  	lcub = 123;
  	verbar = 124;
  	rcub = 125;
  	brkbar = 166;
  	die = 168;
  	hibar = 175;
  	half = 189;
  	angst = 197;
  	Dstrok = 208;
  	
  	/* Symbol Font Entities */
  
  	phiv = 981;
  	varphi = 981;
  	ldots = 8230;
  
  	/* Standard NEXTSTEP encoding */
  	
  	breve = 728;
  	caron = 711;
  	dblac = 733;
  	dot = 729;
  	ldquor = 8222;
  	lsquor = 8218;
  	emdash = 8212;
  	endash = 8211;
  	ogon = 731;
  	rdquor = 8221;
  	ring = 730;
  	rsquor = 8217;
  	
  	/* I haven't seen any legit reference to this, but some people use it, and it's easy enough to support... */
  	nbrsp = 160;
      };
  
      icon = {
  	archive = "archive";
  	audio = "audio";
  	binary.document = "binary.document";
  	binhex.document = "binhex.document";
  	calculator = "calculator";
  	caution = "caution";
  	clock = "clock";
  	compressed.document = "compressed.document";
  	disk.drive = "disk.drive";
  	diskette = "diskette";
  	display = "display";
  	document = "document";
  	fax = "fax";
  	filing.cabinet = "filing.cabinet";
  	film = "film";
  	fixed.disk = "fixed.disk";
  	folder = "folder";
  	form = "form";
  	ftp = "ftp";
  	glossary = "glossary";
  	gopher = "gopher";
  	home = "home";
  	/* image = "image"; -- conflicts with "imaginary part", &#8465; */
  	index = "index";
  	keyboard = "keyboard";
  	mail = "mail";
  	mail.in = "mail.in";
  	mail.out = "mail.out";
  	map = "map";
  	mouse = "mouse";
  	next = "next";
  	notebook = "notebook";
  	parent = "parent";
  	previous = "previous";
  	printer = "printer";
  	scheduler = "scheduler";
  	stop = "stop";
  	summary = "summary";
  	symlink = "symlink";
  	telephone = "telephone";
  	telnet = "telnet";
  	text.document = "text.document";
  	tn3270 = "tn3270";
  	toc = "toc";
  	trash = "trash";
  	unknown.document = "unknown.document";
  	uuencoded.document = "uuencoded.document";
  	workstation = "workstation";
      };
  
      strings = {
      };
  
      nonstandardStrings = {
  	/* These aren't strictly legal */
  	Lt = "<";
  	LT = "<";
  	Gt = ">";
  	GT = ">";
  	Amp = "&";
  	AMP = "&";
  	Quot = "\"";
  	QUOT = "\"";
  	
  	/* No unicode equivalents to these */
  	frac18 = "1/8";
  	frac38 = "3/8";
  	frac58 = "5/8";
  	frac78 = "7/8";
  	iff = "iff";
      };
  }
  