1-- ISO latin 1 entity set for HTML -- 2PUBLIC "-//W3C//ENTITIES Latin 1//EN//HTML" HTMLlat1.sgml 3 4-- Mathematical, Greek and Symbolic characters for HTML -- 5PUBLIC "-//W3C//ENTITIES Symbols//EN//HTML" HTMLsymbol.sgml 6 7-- Special characters for HTML -- 8PUBLIC "-//W3C//ENTITIES Special//EN//HTML" HTMLspecial.sgml 9 10-- HotJava - 3.2+ support -- 11PUBLIC "-//HotJava//DTD HotJava 1.0 HTML 3.2 Draft 19960821//EN" html32.dtd 12 13