<!-- entities.sgml
  ==
  == COPYRIGHT (c) 1997 Bell Labs
  == COPYRIGHT (c) 1996 AT&T Research
  ==
  == Entities for ML-Doc special symbols.
  -->

<!-- useful shorthand -->
<!ENTITY IE		SDATA "@IE"		>
<!ENTITY EG		SDATA "@EG"		>

<!-- SGML and LaTeX special symbols -->
<!ENTITY LT		SDATA "@LT"		>
<!ENTITY LTE		SDATA "@LTE"		>
<!ENTITY GT		SDATA "@GT"		>
<!ENTITY GTE		SDATA "@GTE"		>
<!ENTITY NEQ		SDATA "@NEQ"		>
<!ENTITY AMP		SDATA "@AMP"		>
<!ENTITY DQUOTE		SDATA "@DQUOTE"		>
<!ENTITY BAR		SDATA "@BAR"		>
<!ENTITY DASH		SDATA "@DASH"		>

<!-- Math entities -->
<!ENTITY CUP		SDATA "@CUP"		>
<!ENTITY CAP		SDATA "@CAP"		>
<!ENTITY EXISTS		SDATA "@EXISTS"		>
<!ENTITY FORALL		SDATA "@FORALL"		>
<!ENTITY GREATER	SDATA "@GREATER"	>
<!ENTITY GREATEREQ	SDATA "@GREATEREQ"	>
<!ENTITY IN		SDATA "@IN"		>
<!ENTITY LESS		SDATA "@LESS"		>
<!ENTITY LESSEQ		SDATA "@LESSEQ"		>
<!ENTITY NOTEQ		SDATA "@NOTEQ"		>
<!ENTITY NOTIN		SDATA "@NOTIN"		>
<!ENTITY OMINUS		SDATA "@OMINUS"		>
<!ENTITY OPLUS		SDATA "@OPLUS"		>
<!ENTITY OTIMES		SDATA "@OTIMES"		>
<!ENTITY PI		SDATA "@PI"		>
<!ENTITY PLUSMINUS	SDATA "@PLUSMINUS"	>
<!ENTITY MINUSPLUS	SDATA "@MINUSPLUS"	>
<!ENTITY INF		SDATA "@INF"		>

<!-- The HTML 2.0 Standard Entities -->
<!ENTITY nbsp   SDATA "@nbsp"		 -- no-break space -->
<!ENTITY iexcl  SDATA "@iexcl"		 -- inverted exclamation mark -->
<!ENTITY cent   SDATA "@cent"		 -- cent sign -->
<!ENTITY pound  SDATA "@pound"		 -- pound sterling sign -->
<!ENTITY curren SDATA "@curren"		 -- general currency sign -->
<!ENTITY yen    SDATA "@yen"		 -- yen sign -->
<!ENTITY brvbar SDATA "@brvbar"		 -- broken (vertical) bar -->
<!ENTITY sect   SDATA "@sect"		 -- section sign -->
<!ENTITY uml    SDATA "@uml"		 -- umlaut (dieresis) -->
<!ENTITY copy   SDATA "@copy"		 -- copyright sign -->
<!ENTITY ordf   SDATA "@ordf"		 -- ordinal indicator, feminine -->
<!ENTITY laquo  SDATA "@laquo"		 -- angle quotation mark, left -->
<!ENTITY not    SDATA "@not"		 -- not sign -->
<!ENTITY shy    SDATA "@shy"		 -- soft hyphen -->
<!ENTITY reg    SDATA "@reg"		 -- registered sign -->
<!ENTITY macr   SDATA "@macr"		 -- macron -->
<!ENTITY deg    SDATA "@deg"		 -- degree sign -->
<!ENTITY plusmn SDATA "@plusmn"		 -- plus-or-minus sign -->
<!ENTITY sup2   SDATA "@sup2"		 -- superscript two -->
<!ENTITY sup3   SDATA "@sup3"		 -- superscript three -->
<!ENTITY acute  SDATA "@acute"		 -- acute accent -->
<!ENTITY micro  SDATA "@micro"		 -- micro sign -->
<!ENTITY para   SDATA "@para"		 -- pilcrow (paragraph sign) -->
<!ENTITY middot SDATA "@middot"		 -- middle dot -->
<!ENTITY cedil  SDATA "@cedil"		 -- cedilla -->
<!ENTITY sup1   SDATA "@sup1"		 -- superscript one -->
<!ENTITY ordm   SDATA "@ordm"		 -- ordinal indicator, masculine -->
<!ENTITY raquo  SDATA "@raquo"		 -- angle quotation mark, right -->
<!ENTITY frac14 SDATA "@frac14"		 -- fraction one-quarter -->
<!ENTITY frac12 SDATA "@frac12"		 -- fraction one-half -->
<!ENTITY frac34 SDATA "@frac34"		 -- fraction three-quarters -->
<!ENTITY iquest SDATA "@iquest"		 -- inverted question mark -->
<!ENTITY Agrave SDATA "@Agrave"		 -- capital A, grave accent -->
<!ENTITY Aacute SDATA "@Aacute"		 -- capital A, acute accent -->
<!ENTITY Acirc  SDATA "@Acirc"		 -- capital A, circumflex accent -->
<!ENTITY Atilde SDATA "@Atilde"		 -- capital A, tilde -->
<!ENTITY Auml   SDATA "@Auml"		 -- capital A, dieresis or umlaut mark -->
<!ENTITY Aring  SDATA "@Aring"		 -- capital A, ring -->
<!ENTITY AElig  SDATA "@AElig"		 -- capital AE diphthong (ligature) -->
<!ENTITY Ccedil SDATA "@Ccedil"		 -- capital C, cedilla -->
<!ENTITY Egrave SDATA "@Egrave"		 -- capital E, grave accent -->
<!ENTITY Eacute SDATA "@Eacute"		 -- capital E, acute accent -->
<!ENTITY Ecirc  SDATA "@Ecirc"		 -- capital E, circumflex accent -->
<!ENTITY Euml   SDATA "@Euml"		 -- capital E, dieresis or umlaut mark -->
<!ENTITY Igrave SDATA "@Igrave"		 -- capital I, grave accent -->
<!ENTITY Iacute SDATA "@Iacute"		 -- capital I, acute accent -->
<!ENTITY Icirc  SDATA "@Icirc"		 -- capital I, circumflex accent -->
<!ENTITY Iuml   SDATA "@Iuml"		 -- capital I, dieresis or umlaut mark -->
<!ENTITY ETH    SDATA "@ETH"		 -- capital Eth, Icelandic -->
<!ENTITY Ntilde SDATA "@Ntilde"		 -- capital N, tilde -->
<!ENTITY Ograve SDATA "@Ograve"		 -- capital O, grave accent -->
<!ENTITY Oacute SDATA "@Oacute"		 -- capital O, acute accent -->
<!ENTITY Ocirc  SDATA "@Ocirc"		 -- capital O, circumflex accent -->
<!ENTITY Otilde SDATA "@Otilde"		 -- capital O, tilde -->
<!ENTITY Ouml   SDATA "@Ouml"		 -- capital O, dieresis or umlaut mark -->
<!ENTITY times  SDATA "@times"		 -- multiply sign -->
<!ENTITY Oslash SDATA "@Oslash"		 -- capital O, slash -->
<!ENTITY Ugrave SDATA "@Ugrave"		 -- capital U, grave accent -->
<!ENTITY Uacute SDATA "@Uacute"		 -- capital U, acute accent -->
<!ENTITY Ucirc  SDATA "@Ucirc"		 -- capital U, circumflex accent -->
<!ENTITY Uuml   SDATA "@Uuml"		 -- capital U, dieresis or umlaut mark -->
<!ENTITY Yacute SDATA "@Yacute"		 -- capital Y, acute accent -->
<!ENTITY THORN  SDATA "@THORN"		 -- capital THORN, Icelandic -->
<!ENTITY szlig  SDATA "@szlig"		 -- small sharp s, German (sz ligature) -->
<!ENTITY agrave SDATA "@agrave"		 -- small a, grave accent -->
<!ENTITY aacute SDATA "@aacute"		 -- small a, acute accent -->
<!ENTITY acirc  SDATA "@acirc"		 -- small a, circumflex accent -->
<!ENTITY atilde SDATA "@atilde"		 -- small a, tilde -->
<!ENTITY auml   SDATA "@auml"		 -- small a, dieresis or umlaut mark -->
<!ENTITY aring  SDATA "@aring"		 -- small a, ring -->
<!ENTITY aelig  SDATA "@aelig"		 -- small ae diphthong (ligature) -->
<!ENTITY ccedil SDATA "@ccedil"		 -- small c, cedilla -->
<!ENTITY egrave SDATA "@egrave"		 -- small e, grave accent -->
<!ENTITY eacute SDATA "@eacute"		 -- small e, acute accent -->
<!ENTITY ecirc  SDATA "@ecirc"		 -- small e, circumflex accent -->
<!ENTITY euml   SDATA "@euml"		 -- small e, dieresis or umlaut mark -->
<!ENTITY igrave SDATA "@igrave"		 -- small i, grave accent -->
<!ENTITY iacute SDATA "@iacute"		 -- small i, acute accent -->
<!ENTITY icirc  SDATA "@icirc"		 -- small i, circumflex accent -->
<!ENTITY iuml   SDATA "@iuml"		 -- small i, dieresis or umlaut mark -->
<!ENTITY eth    SDATA "@eth"		 -- small eth, Icelandic -->
<!ENTITY ntilde SDATA "@ntilde"		 -- small n, tilde -->
<!ENTITY ograve SDATA "@ograve"		 -- small o, grave accent -->
<!ENTITY oacute SDATA "@oacute"		 -- small o, acute accent -->
<!ENTITY ocirc  SDATA "@ocirc"		 -- small o, circumflex accent -->
<!ENTITY otilde SDATA "@otilde"		 -- small o, tilde -->
<!ENTITY ouml   SDATA "@ouml"		 -- small o, dieresis or umlaut mark -->
<!ENTITY divide SDATA "@divide"		 -- divide sign -->
<!ENTITY oslash SDATA "@oslash"		 -- small o, slash -->
<!ENTITY ugrave SDATA "@ugrave"		 -- small u, grave accent -->
<!ENTITY uacute SDATA "@uacute"		 -- small u, acute accent -->
<!ENTITY ucirc  SDATA "@ucirc"		 -- small u, circumflex accent -->
<!ENTITY uuml   SDATA "@uuml"		 -- small u, dieresis or umlaut mark -->
<!ENTITY yacute SDATA "@yacute"		 -- small y, acute accent -->
<!ENTITY thorn  SDATA "@thorn"		 -- small thorn, Icelandic -->
<!ENTITY yuml   SDATA "@yuml"		 -- small y, dieresis or umlaut mark -->

