W. F. Hammond: The GELLMU Archive http:www.albany.eduhammondgellmuboot William F. Hammond hammondmath.albany.edu September 28, 1998 Save a tree setlengthtopmargin36bp setlengthoddsidemargin18bp setlengthevensidemargin18bp setlengthtextwidth504bp setlengthtextheight696bp And I hope that 3 provides "texcommand" for any emphlegal use of inline raw tex; even inside a "newcommand" declaration It is certainly not a new idea that SGML markup can be used to manage many things including, in particular, SGML DTD's (For the moment, I am at a loss to find a publicly visible example.) The extensible nature of GELLMU (Generalized Extensible Like MarkUp) is rooted in the fact that GELLMU may be used to author SGML documents It follows, inasmuch as GELLMU may be used to prepare an SGML document, that it may be used to prepare an SGML document that is used to generate an SGML DTD The following included verbatim segment is the text of a simple GELLMU document prexdt.glm that flows in one step, i.e., GELLMU stage 1, to prexdt.sgml It is followed by a copy of the DTD for a simple SGML document type that I have named dtd prexdt.sgml is a document under the dtd document type With a small collection of stage 3 codelets for sgmlspl, one may then generate prexdt.dtd, which is the third included verbatim segment below Of course, if this is to make any sense, it must follow that boot.dtd can itself be authored with the document type that it defines, and that is, indeed, the case prexdt.glm: documenttype[boot.dtd]dtd doctypetest dtdrefprexdt.dtd cmtA Test DTD cmtDoes the recommended usage match this !DOCTYPE test SYSTEM "prexdt.dtd" begindocument elttestoo(preamble,body) eltpreamblerr(a) eltbodyrr((pt)) BETTER enptsap elt(ts)rr(#PCDATA) elttrr((r)+) eltroo((c)+) eltsoo(i,(c)) eltcoo(#PCDATA) eltioo(#PCDATA)+ enddocument pagebreak boot.dtd: ! Use !DOCTYPE dtd SYSTEM "boot.dtd" ! Use !DOCTYPE dtd SYSTEM "boot.dtd" !ELEMENT doctype (#PCDATA) the name of the document type, i.e., the name of the root element (which needs to be defined) !ELEMENT dtdref (#PCDATA) the (unquoted) system resource name of the DTD to be used with documents of the type "doctype"; this name is only used to generate a comment. Example: for this DTD: doctype = dtd dtdref = boot.dtd !ENTITY dtd "eltenpentemptcmt" !ENTITY tags "rrrooroo" !ENTITY charr "spccmaperltcgtcqumsolcolsclquolsqrsq" !ENTITY charn "lbrrbrexcatchshdolpctcrtampastlprrprund" !ENTITY chare "lsbrsbhypeqcpluvbrbsltld" !ENTITY chara "charrcharnchare" !ENTITY charh "rdash" !ENTITY chars "characharhbrk" !ENTITY eos "eoseoqeoe" !ELEMENT (eos) O EMPTY ends of sentence made by GELLMU !ELEMENT (chars) O EMPTY 33 printable, nonalphanumeric !ELEMENT (tags) O EMPTY the tag requirement combinations !ENTITY string "#PCDATAchars" !ELEMENT ag0 (stringeos) command argument !ELEMENT dtd O O (preamble, body) !ELEMENT preamble (doctype,dtdref,(cmt)) zero or more comments !ELEMENT body (dtd) !ELEMENT elt O (ag0,ag0,ag0,(ag0)) element: name, tags, defn, comments !ELEMENT enp O (ag0,ag0,(ag0)) parameter entity: name, defn, comments !ELEMENT ent O (ag0,ag0,(ag0)) general entity: name, defn, comments !ELEMENT empt O (ag0,(ag0)) empty element: name, comments !ELEMENT cmt ((stringeosverb)) comment !ELEMENT verb ((stringeos)) inline verbatim, OK in cmt pagebreak prexdt.dtd: ! Use !DOCTYPE test SYSTEM "prexdt.dtd" !ELEMENT test (#PCDATA) name of root tag ! A Test DTD ! Does the recommended usage match this !DOCTYPE test SYSTEM "prexdt.dtd" !ELEMENT test O O (preamble,body) !ELEMENT preamble (a) !ELEMENT body ((pt)) BETTER !ENTITY ts "ap" !ELEMENT (ts) (#PCDATA) !ELEMENT t ((r)+) !ELEMENT r O O ((c)+) !ELEMENT s O O (i,(c)) !ELEMENT c O O (#PCDATA) !ELEMENT i O O (#PCDATA)+ About the GELLMU verbatim command Since GELLMU documents are amenable for processing to many ultimate target formats, including possible future formats, it is essential to make verbatim sections safe This means that verbatim sections cannot be prepared in the way that a verbatim environment is prepared Even the HTML pre command for preformatted text requires the preparer to escape the characters , , and where they occur in the preformatted material There are two reasonable ways to handle verbatim material in a GELLMU system: Prepare the material, as for HTML, for direct inclusion in the SGML image of a GELLMU document Filter the material to use symbolic character names for any character that is not strictly alphanumeric before inserting the material inside a GELLMU verbatim command About GELLMU GELLMU is an acronym for Generalized Extensible like MarkUp As of October, 1998 all GELLMU materials are didactic, and there has been no release of related code The GELLMU materials, under frequent revision, are available for examination This document on the web is href="dboot.html" http:www.albany.edu7Ehammondgellmubootdboot.html, and the durable GELLMU web entrance is href="http:math.albany.edu:8000mathpershammondigl.html" http:math.albany.edu:8000mathpershammondigl.html