Linuxdoc Reference <SUBTITLE >A introduction to the linuxdoc dtd</SUBTITLE >

Linuxdoc Reference <SUBTITLE >A introduction to the linuxdoc dtd</SUBTITLE > Uwe Böhme, <uwe@hof.baynet.de> v1.1, 30 January 2000 This article is intended to be a reference for the SGML document type definition linuxdoc, which is coming along with the SGML text formatting system version 1.0. It should also be applicable to future versions which may be found at My Homepage. Making of Legal stuff copyrightCopyright © 1997-2000 by Uwe Böhme. This document may be distributed under the terms set forth in the Linux Documentation Project License at LDP. Please contact the authors if you are unable to get the license. This is free documentation. It is distributed in the hope that it will be useful, but without any warranty; without even the implied warranty of merchantability or fitness for a particular purpose. This document is not part of ldpldp (even if I took their form of license). I'm not yet playing in that league. Genesis This document was born trying to learn more about writing texts on my linux system. The one system looking like suitable to my needs was sgml-tools SGML-Tools Organsation an the linuxdoc dtd. In [SGML-Tools User's Guide 1.0 ($Revision: 1.1.1.1 $)] (see section ) the overall structure is described nice and easy. Also [Quick SGML Example, v1.0] (see section ) was helpful, but: A lot of features are not mentioned. On the way to learn more about it, I met [The qwertz Document Type Definition] (see section ). It's as detailed as hoped, but it's not made for the linuxdoc dtd dtd (even if linuxdoc is based on qwertz). I tried a new approach: Look at the dtd dtd = document type definition file itself, and try to understand it. As time went by I noticed that I also forgot about some stuff, or - at least - didn't point it out strong enough. This will change within the next revision. Any feedback you might have is welcome (especially help with English spelling or grammar) by e-mail at Uwe Böhme. Introduction principles sgml The principle of any sgml'ed document (linuxdoc, docbook, html) is more or less the same: Don't write how it should look like, but write what it is. This is a different approach than the standard "wysiwyg" What you see is what you (should) get (if you are a very lucky one and your computer wins the war against buggy software) one You might want to call it wysiwym, i.e. "What you see is what you mean" . You do not tell the program that this line should be in a bigger font, to look like a headline. What you do is telling that this line is a headline. You do not try to make your document look like a report, but you tag it to be a report. So you tag the text with the appropriate <tag>. The big advantages of this approache are: You do not need to mess around with fontsetting, line gaps or anything directly connected to the layout. portability You describe your document in a more abstract way so it's more reusable and can be mapped to different media types. If you ever tried the reuse a document written in a specialized wysiwy layout for html then you know what I'm talking about. In addition in all sgml-style documents you will find named symbols This is a concept to expand the charset of the document and to avoid inconsitences in decision of the parser, how to interpret or map some special characters. How should the parser know weather a < character is starting a tag or should be printed directly. This is solved by the named character lt. If you write < this one will result to < in your text. For a list of the named symbols see . Hint for the new user It might be a good idea, to download this document not only as a dvi or ps document, but also to download the sgml source. This offers you the chance to look into the sources, if you find something within this article, wich might fit your needs. A minimalistic document In this section you'll find what you'll need for a minimalistic linuxdoc dtd conform document. It's intended to give a first touch. Skip this section, if you already now the principles. Step By Step The steps you have to do to create a nice linuxdoc document and map it to the form you need are: Take a plain text editor of your choice. Create a file and name it (or later save it as) e.g. start.sgml. Type the document Save the file and close your editor. Run the checker by typing sgmlcheck start.sgml. If you get errors reported, reopen your document in your editor again and try to correct it The error messages of sgmlcheck will give you a hint about the type of error and also line and column where it occurred. . Run the checker again until no more errors occur. Now you have to decide what's your document for. mappingTake the apropriate parser mapper combination and translate your document. To find the mappers available in the SGML-Tools see table . SGML-Tools mappers for sgml documents type to produce sgml2html start.sgml Hypertext markup language for web browsers sgml2lyx start.sgml Lyx or KLyx wysiwym textformat sgml2info start.sgml Info page for UN*X info sgml2latex start.sgml DVI output sgml2latex --output=tex start.sgml pure tex output sgml2latex --output=ps start.sgml postscript output sgml2rtf start.sgml rich text format sgml2txt start.sgml pure text

A Startup Document We start with a simple document (the numbers and colon in the beginning of the line are for explanation, don't type it!): example!startup document 1: <!doctype linuxdoc system> 2: <notes> 3: <title>A Small Linuxdoc Example</title> 4: <p>Hello <em>world</em>.</p> 5: <p><bf>Here</bf> we are.</p> 6: </notes> Now we take a look at the single lines: A linuxdoc document has to start, like all SGML conform documents, with the preamble. If you like you can take it as a piece of necessary magic, or you can try to find more information about SGML. The preamble is indicating to the SGML-parser, which dtd (document type definition) it should use for checking the syntax of the document. Open the document class: You have to decide, wich type of document you want to write. See section for detailed description about that document classes. The necessary header information, wich is depending on the document class is also explained there. In our case we place a <notes> tag forming a note, wich is indicating a simple unstructured document. Even if optional it's a good idea to give a title to the document. That's done with the <title> tag. A paragraph marked by the <p> tag, containing the word world wich is inline emphasized by the <em> tag. Another completely tagged paragraph, with another word inline boldfaced by the <bf> tag. Here we close the open document class tag. The same example may be written a little bit shorter, by leaving out tags which are placed automatically by the parser, and by using shortened tags: example!startup document short 1: <!doctype linuxdoc system> 2: <notes> 3: <title>A Small Linuxdoc Example 4: <p>Hello <em/world/. 5: 6: <bf/Here/ we are. 7: </notes> Now we look at the single lines again: The preambel. The document class (also unchanged). The title. It's not closed, because the p tag in the next line is implicitely closing it. The paragraph is implicitly closing the title. The emphasize tag is noted in short form. The short notation you can use only if your tagged text doesn't contain a litteral /. The paragraph is not explicitly closed in this line. The empty line here is the reason, why you don't need to close the previous paragraph and don't need to open the next one. A empty line is interpreted as a end of the current paragraph and the start of a new one. Another paragraph (not opened directly), with another short inline tag. Closing the open document class tag, wich is implicitly also closing the still open paragraph. Maybe now it's a little bit more clear, who you have to work with tags. Document Classes documentclass <!element linuxdoc o o (sect | chapt | article | report | book | letter | telefax | slides | notes | manpage ) > This is describing the overall class of the document, so naturally it has (leave alone the doctype definition) to be the first tag enclosing your whole document. Some of the tags namely the sect and chapt (see section ) doesn't make any sense taken them standalone despite being included as part of more complete classed document, so we'll describe them later as a part of the other document classes. Decide first which of the top mentioned document classes fits the type of the document you want to write best. To find a detailed description of the document classes see table . Document classes Chapter Class tag <atricle> <report> <book> <letter> <telefax> <slides> <notes> <manpage>

To me the article class is the most important one. That´s the reason why it´s described first and most detailed. Article Tag article!documentclass documentclass!article article tag!article <!element article - - (titlepag, header?, toc?, lof?, lot?, p*, sect*, (appendix, sect+)?, biblio?) +(footnote)> <!attlist article opts cdata "null"> You can see that the article needs some tags included. They will be explained in consequence. The options attribute (opts) takes a comma separated list with thy different style (&latex; .sty) sheets to inlude within the document. Titlepage Tag titlepage tag!titlepage <!element titlepag o o (title, author, date?, abstract?)> The Titlepage Tag (titlepag) is implicitly placed as soon a you started your document class. You don't need to write it explicitly. Anyway you have to note it's mandatory tags. It's purpouse is to describe the layout and elements of the titlepages. Title Tag title tag!title <!element title - o (%inline, subtitle?) +(newline)> Each document class wich owns a titlepage of course needs a title, wich is noted down with a <title> tag. You don't need to close thatone. A title may contain a subtitle started by the <subtitle> tag. If you look at the headerpage of this document you'll find it to be mapped from the tags: example!title example!subtitle <title>Linuxdoc Reference <subtitle>A introduction to the linuxdoc dtd Author Tag author tag!author <!element author - o (name, thanks?, inst?, (and, name, thanks?, inst?)*)> Usually you place the (your) name here. People should know who wrote the document, so you place a <author> tag. If you don't note the name tag it´s imlicitly placed. The author has also optional items wich can be tagged within the author tag. If you want to say thanks to anyone (might be somebody providing usefull information) you place it within the <thanks> tag. Next, if your writing is done in your position of an institution staff member, place it within the <inst> tag. The <and> tag is starting the whole story again, as if there would be a second author tag would have been started. Clearly thisone is for coauthors. Date Tag date tag!date If you want to mark your document with a date, you can do that with the <date> tag. It's not checked weather you really place a valid date here, but don't abuse it. Abstract Tag abstract tag!abstract This tag is intended for an abstract description of your document. Don't mix the <abstract> tag withh an indruduction wich is likely to be placed inside the first section of your document (see section ). Header Tag header tag!header <!element header - - (lhead, rhead) > <!element lhead - o (%inline)> <!element rhead - o (%inline)> A <header> tag specifies what should be printed at the top of each page. It consists of a left heading i.e. <lhead> and a right heading i.e. <rhead>). Both elements are required, if a heading is used at all, but either may be left empty, so that the effect of having only a left or right heading can be achieved easily enough. As we will see, an initial header can be given after the title page. Afterwards, a new header can be given for each new chapter or section. The header printed on a page is the one which is in effect at the end of the current page. So that the header will be that of the last section starting on the page. Table Of Contents Tag toctable of contense tag!toc If you place the <toc> tag, a table of contense will be generated, by looking the section heading, and adding references. In a hyperref document, this might be hyperrefs, in a &latex; document you will come to see the pagenumbers. Only the sections major to the sect3 will be included. List Of Figures Tag loflist of figures tag!lof If you place the <lof> tag, a list of figures will be generated, by looking the captions of the figures, and adding references. List Of Tables Tag lotlist of tables tag!lot If you place the <lot> tag, a list of tables will be generated, by looking the captions of the tables, and adding references. Body body Here you place various sections according section . There is no body tag. The body starts with the first chapter, section or paragraph. Appendix Tag appendix tag!appendix In the end of the article you can place the <appendix> tag Really you shouldn't think about people (e.g. m.d.s knifing your belly here. , wich starts a area of appended sections. The appendix tag implies a different section numbering type to the following section tags. Bibliography Tag bibliographybiblio tag!biblio It's intended to gather all the <cites> and <ncites> you used within your document. The <biblio> tag will be replaced by a bibliography according the mapping type of the document, maybe by hyperrefs maybe by section numbers or anything wich might be useful. Until now I've not been able to create a .bbl file, so I wasn't able to verify. Footnote Tag footnote tag!footnote A footnote may be place in any spot of your document. Exactly the spot in yout document where you are placing the <footnote> tag should be the one where the reference to the tagged text shuld be rendered. It should be used for additional information, wich is not necessary for understanding the primary purpouse of yor document but might be usefull, interesting, or funny. Whereas the last one is not always true, even if you try. anywhere within the article. Report Tag report tag!report documentclass!report <!element report - - (titlepag, header?, toc?, lof?, lot?, p*, chapt*, (appendix, chapt+)?, biblio?) +(footnote)> The report is a document class with a chapter oriented approach. So within a document clasified by a <report> tag the toplevel is grouped by the <chapt> tag (see ). The rest of the structure is identical to the article class . Book Tag book tag!book documentclass!book <!element book - - (titlepag, header?, toc?, lof?, lot?, p*, chapt*, (appendix, chapt+)?, biblio?) +(footnote) > You will notice that the book element is identical to the report . So anything valid there is also valid if you classify your document with a <book> tag. Letter Tag letter tag!letter documentclass!letter <!entity % addr "(address?, email?, phone?, fax?)" > <!element letter - - (from, %addr, to, %addr, cc?, subject?, sref?, rref?, rdate?, opening, p+, closing, encl?, ps?)> Also the purpose of the letter document class should be quite self explaining. Place a <letter> tag if you want to write one. The letter's tags ar described in table Tags in a letter tag mandatory what's it from yes from sender address no sender's address email no sender's email phone no sender's phone fax no sender's fax to yes receiver address no receiver's address email no receiver's email phone no receiver's phone fax no receiver's fax cc no carbon copy subject no letters subject sref no sender's reference rref no receiver's reference rdate no received date?? opening yes opening paragraphs yes see closing yes closing encl no enclosure ps no post scriptum

Telefax Tag telefax tag!telefax documentclass!telefax <!element telefax - - (from, %addr, to, address, email?, phone?, fax, cc?, subject?, opening, p+, closing, ps?)> Overall the structure is same to the letter class. The only difference is that with the <telefax> tag the receiver's <fax> tag becomes mandatory. Should be obvious why. Slides Tag slides tag!slides documentclass!slides <!element slides - - (slide*) > The slides class is intended for overhead slides and transparencies. So the structure of a document classified by a <slides> tag is a very simple one. It contains single slide(s) startes by a <slide> tag. Nothing else. If not explicitly written the first slide is started implicitly. Slide Tag <!element slide - o (title?, p+) > A <slide> tag is only allowed within the slides document class. A slide may contain: A title (see section ) and one or more paragraphs (see section ). That's all. Note Tag note tag!note documentclass!note <!element notes - - (title?, p+) > Intended as a class for personal notes the structure is even more simplified than the slides document class (see ). After classifying a document with the <notes> tag only a title (see section ) and one or more paragraphs (see section ) are allowed. Manual Page Tag manpage tag!manpage documentclass!manpage <!element manpage - - (sect1*) -(sect2 | f | %mathpar | figure | tabular | table | %xref | %thrm )> This document class is intended for writing manual pages, fitting the need of the man programm. In a document classified by a <manpage> tag the topleve section tag is the sect1 tag (see section ), for easy pasting manual pages into an article or book document class. The exception here to the nortmal sectioning is, that there is only one subsection level allowed (sect2). Inlines inline <!entity % inline " (#pcdata | f| x| %emph; |sq| %xref | %index | file )* " > Inlines may occure anywhere within the text, and doesn't have any influence to the textflow or logical structure of the document. #pcdata Parsed character data is just normal written text within the flow wich may contain other inlines. f Inline mathematical formulas according to the maths.dtd. See . x The external tag wich is bypassing the parser. Tagged data walks directly into the mapped file. See chapter for detailed information. %emph; Emphasizes of the text. See chapter . sq Shortquotes within the textflow. See chapter . %xref XReferecnces within the text or external references. See chapter . %index Again I can't explain this one. If you can, please mail. file Again I can't explain this one (I only could guess about picture files in eps). If you can, please mail. Sectioning <!element chapt - o (%sect, sect*) +(footnote)> <!element sect - o (%sect, sect1*) +(footnote)> <!element sect1 - o (%sect, sect2*)> <!element sect2 - o (%sect, sect3*)> <!element sect3 - o (%sect, sect4*)> <!element sect4 - o (%sect)> The sectioning Also the chapt tag is a sectioning tag. is done by the according elements, forming the section tree. They are bringing the various paragraphs within our document to follow a nice tree. The top level tag and the allowed depth is varying with the document class (see section ). The normal hierarchy is chapt sect sect1 sect2 sect3 sect4 Just take a book, look the table of conetents and you will see. Each of the tags out of the sectionings has nearly the same syntax. All of them owe a heading. The heading tag is placed implicitly if you don't note it down. Also the each of the sectioning tags may contain a header tag, changing the current document header (see section ). Within the you may place subordinate sections and paragraphs (see ). Some of the sectioning tags may only appear in special document classes (). Hint: It's wise to place a label tag after the text of the section tag, even if you don't want to refer to the section . Later when your document grows you might want to. Paragraphs <!entity % sectpar " %par; | figure | tabular | table | %mathpar; | %thrm; | %litprog; "> <!entity % par " %list; | comment | lq | quote | tscreen " > <!entity % litprog " code | verb " > Each of the here described tags form a paragraph. For obvious reason a paragraph is normally The behaviour of the exceptions figure and tabular are explained there. starting and ending with a new line. How else you would notice it's a paragraph ? There are some tags, wich always form a paragraph, and one way to form a paragraph implicitly. There are various types of paragraphs, because not every type of paragraph is allowed to appear in every document class in every place. The different types of paragraphs are explained in the next sections. For more details about %litprog; see . Normal Paragraph Normal paragraphs can be formed in two ways: Paragraph tag The <p> tag is starting a new paragraph. This tag is mandatory if you want to finish a section header without explicitly closing the sect tag. In this case <p> tag then closes the <sect> tag automatically. Empty Newline A empty line between two paragraph is implicitly starting a new paragraph. Take care within descriptive lists. There a empty <tag> tag will not be paragraphed by an empty line. List-like Paragraphs <!entity % list " list | itemize | enum | descrip " > This four tags indicate the starting of a list-like paragraph. Within each of the lists the single items are separated by an item tag. <!element item o o ((%inline; | %sectpar;)*, p*) > As you can see, a item may again contain paragraphs (and therefore also may contain other lists - even of a different type). List Tag <!element list - - (item+)> The list tag will be mapped to a nacked list without bullets, numers or anything else. To see it, I place a small example: <list> <item>A point <item>Another one <item>Last </list> Will look (depending on the mapping) like: A point Another one Last Itemize Tag <!element itemize - - (item+)> The itemize tag will be mapped to a list with bullets, wich is usually place for lists where the order of the items is not important. A small example: <itemize> <item>A point <item>Another one <item>Last </itemize> Will look (depending on the mapping) like: A point Another one Last Enum Tag <!element enum - - (item+)> The enum tag will be mapped to a list with numbers. A small example: <enum> <item>A point <item>Another one <item>Last </enum> Will look (depending on the mapping) like: A point Another one Last Descrip Tag descrip tag!descrip <!element descrip - - (tag?, p+)+ > The descrip tag will be mapped to a descriptive list. The concept here is a little bit different than with the other types of lists mentioned above. Here you place a tag (this time the tag's name is really litteraly tag) wich is described later on. example!descripA small example: <descrip> <tag/sgml/structured general markup language. <tag/html - hypertext markup language/ A sgml implementation. It contains some concepts about linking information together in a very convenient way. This made it to be so successful and to become the standard for documents published by the internet. <tag/internet/A worldwide connected internet (internet here as a technical term) </descrip> Will look (depending on the mapping) like: sgml structured general markup language. html - hypertext markup language A sgml implementation. It contains some concepts about linking information together in a very covenient way. This made it to be so successfull and to become the standard for documents published by the internet. internet A worldwide connected internet (internet here as a technical term) Figures and Tables The <figure> and the <table> tags form very special paragraphs. Not always they stay within the normal textflow. Both of the tags can hold a loc (loction) attribute wich is telling how to handle the flow of this special paragraph. The value of the loc attribute is a string of up to four letters, where each letter declares a location at which the figure or table may appear, as described in table . Table Locations h here At the same location as in the SGML file t top At the top of a page b bottom At the bottom of a page p page On a separate page only with figures and tables

The default value of the loc attribute is top. Table Tag table tag!table <!element table - - (tabular, caption?) > As you can see a table consists of the <table> tag itself, including a <tabular> tag and a optional <caption> tag. The <tabular> tag may also be placed without a <table> tag so it is described in detail in it's own section (see ). The caption is used also to place the entry for the list of tables if you stated one (see ). A short example will show how it's working together. example!table<table loc="ht"> <tabular ca="lcr"> Look|this|table@ Isn't|it|nice@ 1.234|mixed|columns </tabular> <caption>A sample table </table> A sample table Look this table Isn't it nice 1.234 mixed columns

The caption A sample table would be the name in the list of tables. Figure Tag figure tag!figure <!element figure - - ((eps | ph ), img*, caption?)> The usage of the <figure> tag is equivalent to the <table> tag. Instead of the <tabular> tag you place either a <eps> or a <ph> tag. Encapsulated Postscript™ Tag figure!eps tag!figure!eps <!attlist eps file cdata #required height cdata "5cm" angle cdata "0"> The <eps> tag is intended for including a external file in encapsulated postscript™ format into the document. The attributes of the <eps> tag are: file The file attribute needs the file name of a encapsulated postscript™ file ending with a .ps suffix. The mandatory .ps suffix must not be written. height The height of the space the file is zoomed to. If you don't specify it defaults to 5cm. Take care that there's no spcae between the number and the length unit (i, cm). angle The angle is given in normal degrees (0-360) and as the number is increasing the file is rotated counter clockwise. A example: example!figure!eps<figure loc="here"> <eps file="logo" height="4cm" angle="15"> <img src="logo.gif"> <caption>A included encapsulated postscript&ero;trade; </figure> The img tag is ignored by &latex;-mapping and useful for html, 'cause most browsers don't know about eps.

A included encapsulated postscript™ file.

The caption here would go to the list of figures as decribed in section . Placeholder Tag figure!ph tag!figure!ph <!attlist ph vspace cdata #required> This tag doesn't place anything but keeps a clean space for good old manual picture pasting. The space kept free is destined by the vspace attribte. Caveat: The numerical argument for the vspace attribte needs a unit directly behind the number. Don't leave a space there (same as for the height attribute in . example!figure!ph<figure loc="ht"> <ph vspace="5cm"> <caption>A blank space. </figure> Results to:

A blank space for gluing a photo At this point you might want to look for your scissors and the glue. Tabular Tag <!element tabular - - (hline?, %tabrow, (rowsep, hline?, %tabrow)*, caption?) > The <tabular> tag is interpreted as an own paragraph, if it is written standalone. Together with a <table> tag it gets part of the paragraph of the <table> tag (see ). Within the tabular tag you have rows an collumns wich are separating the text. You have to have at least one collumn and one row. Wouldn't be very usefull otherwise. The <tabular> tag has a mandatory ca attribute for collumn allignement. The collumn allignement holds a single character for each collumn in their order from left to right. The chracters you may place per collumn described in table Column alignments char alignment l left c centered r right

In theory you should be able to place a | into the ca attribure for drawing a horizontal line for separating two collumns. The problem: It doesn't work. The parser accepts it nicely, only the &latex; output will map | to {$|$} wich is of course the set for four collumns with invalid collumn allignement for all four collums. I'll try to figure out what to do about it. The columns within the <tabular> tag are separated by a collumn separator, the <colsep> tag. The character | is translated to <colsep> so you can also place that one instead Less typing, more fun. . What's valid for collumns is also valid for rows. You separate the by a row separator, the <rowsep> tag. The character @ is translated to <rowsep>. Optional you can place a horizontal line with the <hline> tag. Take care with that one: The SGML tools will parse it nicely weather you place it in front of the row you want under the line, or behind the end of the row you want over it. But the only place to write it without causing the parser to shout "error" is to write it dircetly and without space or newline behind the row separator. <tabular ca="lcr"> Look|this|table@<hline> Isn't|it|nice@ 1.234|mixed|columns@ </tabular> Results in table Sample table for tabular tag Look this table Isn't it nice 1.234 mixed columns

Attention: In &latex; mapping everything works nice if you place a tabular tag without a table tag, only in the other mappings (e.g. html) it will be messed up. Mathematical Paragraph <!entity % mathpar " dm | eq " > A mathematical paragraph consits either of a displayed formula, tagged by <dm> No, sorry, not for Deutschmark! ;-) or an equation, tagged by <eq>. They work very much the same. Both of these tags contain a mathematical formula. See for the tags valid here. Note: Because neither Netscape nor Microsoft has seen any need to add mathematical mappings to their browsers (like demanded and defined by w3c), there is no nice way of mapping, or at least displaying the math stuff in html. So if you view the online version, feel free to wonder what nonsense this man is telling here. Might be you should take a glance at the postscript version. Displayed Formula Tag This tag displays a mathematical formula as a paragraph. The formula is mapped centered as a single line No guarantee for that. You know: Mapping is a matter of taste. . <dm>(a+b)<sup/2/=a<sup/2/+2ab+b<sup/2/</dm> Is mapped to: Equation Tag <dm>(a+b)<sup/2/=a<sup/2/+2ab+b<sup/2/</dm> Is mapped to: Theorem Paragraph <!entity % thrm " def | prop | lemma | coroll | proof | theorem " > <!element def - - (thtag?, p+) > <!element prop - - (thtag?, p+) > <!element lemma - - (thtag?, p+) > <!element coroll - - (thtag?, p+) > <!element proof - - (p+) > <!element theorem - - (thtag?, p+) > As you can see the different types of theorem paragraphs are nearly identical. The only exception wich is a little bit different is the proof wich doesn't own a thtag. For all the others the thtag is giving the tag of the theorem paragraph. Yust try to use that one, wich is fitting the meaning of what you are typing. <thrm> <thtag>Alexander's thrm</thtag> Let <f>&ero;lt;fi/G/</f> be a set of non-trivially achievable subgoals and &ero;mu; an order on <f>&ero;lt;fi/G/</f>. &ero;mu; is abstractly indicative if and only if it is a linearization of <f><lim><op>&ero;mu;</op><ll><fi/G/</ll><ul>&ero;ast;</ul></lim></f>. </theorem> The thrm is replaced by the adequate tag. Maybe somebody knowing about mathematics would be shocked about my abuse of the types, but I'm lazy so I simply copied the examples: Definition (def): Alexander's Definition Let G be a set of nontrivially achievable subgoals and μ an order on G. μ is abstractly indicative if and only if it is a linearization of μG

*. Proposition (prop): Alexander's Proposition Let G be a set of nontrivially achievable subgoals and μ an order on G. μ is abstractly indicative if and only if it is a linearization of μG

*. Lemma (lemma): Alexander's Lemma Let G be a set of nontrivially achievable subgoals and μ an order on G. μ is abstractly indicative if and only if it is a linearization of μG

*. Corollation (coroll): Alexander's Corollary Let G be a set of nontrivially achievable subgoals and μ an order on G. μ is abstractly indicative if and only if it is a linearization of μG

*. Alexander's Theorem Let G be a set of nontrivially achievable subgoals and μ an order on G. μ is abstractly indicative if and only if it is a linearization of μG

*. The proof is just the same without the thtag: Let G be a set of nontrivially achievable subgoals and μ an order on G. μ is abstractly indicative if and only if it is a linearization of μG

*. Code and verbatim Paragraphs Both tags from a paragraph and have very similar behavior. Inside this tags most special characters don't need their named form as in section . The exceptions are: &etago; → </ → end of tag open Maybe later the list will grow. In difference to the normal paragraph mapping white-spaces and newlines will be mapped literally (as you write them in your source). Also (with respect to manual layout) the font for mapping will be a non-proportional one. See the difference between IIWW and IIWW. Note: Aggain, I'm neither a native speaker not I love mathematics a lot. So I just placed some nonsense, wich might cause headache and grey hair for people who want to use this document for learning to formulate mathematical or physical theories. Feel free to send better examples. Code Tag <!element code - - rcdata> Use the code tag, if you want to write sourcecode example within your text. A code sample <code> #include <stdio.h> int main() { printf("Hello world"); return 1; } </code> Verbatim Tag <!element verb - - rcdata> Use the verbatim tag for anything else than sourcecode (use for this) which needs the good old whitespace padding, like terminal hardcopy, ASCII-Graphics etc. A verb sample <verb> ///////// | * * | | | | | <---> | \_____/ </verb> Inline Tags Here the abstract inlines are broken down until only true and usable tags will remain. Let's recall: <!entity % inline " (#pcdata | f| x| %emph; |sq| %xref | %index | file )* " > Inlines don't have a influence to paragraphing, sectioning or document classing. Just modifying text within it's normal flow. Emphasizes <!entity % emph " em|it|bf|sf|sl|tt|cparam " > The emphasizes are gathering the tags for emphasizing inline text. The different types of emphasizes are: em → The Emphasize Tag I hate to be redundant but I have to say: The emphasize tag you place for emphasized text. Normally it's mapped to italic letters. So if you write <em/a emphasized text/ it will be mapped to a emphasized text. it → The Italic Tag The italic tag you place for a cursive mapping. If you write <it/a italic text/ it will be mapped to a italic text. bf → The Boldface Tag The boldface tag you place for a bold mapping. If you write <bf/a bold text/ it will be mapped to a bold text. sf → The Swissfont Tag I know that Tom Gordon from GMD is telling that this is the sans serif tag. My interpretation of the sf is swissfont wich for me is more easy to remember. This is mapping the inlined text to a font wich is out of the helvetica family. So <sf/a swissfont text/ will be mapped to a swissfont text. sl → The Slanted Tag I think I skip the explanation. <sl/a slanted text/ will be mapped to a slanted text. tt → The Terminaltype Tag Text tagged with terminaltype will be placed inline, just like all the other text within a paragraph. It will not be included into source output if you are workink as described in section , even if it's looking like typed code. <tt/a terminal typed text/ will be mapped to a terminal typed text. Short-quote Tag Normally this one could be viewed the same level like one of the emphasize tags, but the definition of the linuxdoc dtd is placing it same level like the emphasizes, and so I do. The shortquote tag is a inline quotation, not forming an own paragraph. The text <sq/a short quote/ is mapped to a short quote. Formula Tag The formula tag allows us to note down a mathematical formula within the normal text, not appearing in an own line. So the text <f>x=y<sup>2</sup></f> will be displayed as x=y². See for the tags valid within the formula. External Tag The external tag is passing the tagged data directly through the parser, without modifying it. E.g. to &latex;. Mathematical Formulas They can appear with in the tags listed in table Places of Mathematical Formulas tag description see f inline formula dm displayed formula eq equation

If you view this document mapped to html you will notice that html has no nice way of displaying mathematical formulas. After a little hand parsing the contents of a mathematical tag looks like: <!element xx - - (((fr|lim|ar|root) | (pr|in|sum) | (#pcdata|mc|(tu|phr)) | (rf|v|fi) | (unl|ovl|sup|inf))*)> The xx stands for f, dm or eq. All of them are the same. Note: Because neither Netscape nor Microsoft has seen any need to add mathematical mappings to their browsers (like demanded and defined by w3c), there is no nice way of mapping, or at least displaying the math stuff in html. So if you view the online version, feel free to wonder what nonsense this man is telling here. Might be you should take a glance at the postscript version. Fraction Tag <!element fr - - (nu,de) > <!element nu o o ((%fbutxt;)*) > <!element de o o ((%fbutxt;)*) > So what we see from it is, that a fraction consits of a numerator and a denumerator tag, wich again each one can hold a mathematical formula. I think an example will tell you more: <dm><fr><nu/7/<de/13/</fr></dm> results to: In case we want to to place ½ instead of the numerator without cleaning it up, we'll type: <dm><fr><nu><fr><nu/1/<de/2/</fr></nu><de/13/</fr></dm> Which results to: Product, Integral and Summation Tag <!element pr - - (ll,ul,opd?) > <!element in - - (ll,ul,opd?) > <!element sum - - (ll,ul,opd?) > Each of them has a lower limit (ll tag), a upper limit (ul tag) and a optional operand, where each of them again may consist of a formula. The tags are same in syntax like shown in table . Tags with upper-, lower limit and operator name example result Product <f>y=<pr><ll>i=1<ul>n<opd>x<inf/i/</pr></f> y=i=1

nxi Integral <f>y=<in><ll>a<ul>b<opd>x<sup/2/</in></f> y=a

bx² Summation <f>y=<sum><ll>i=1<ul>n<opd>x<inf/i/</sum></f> y=i=1

nxi

Limited Tag <!element lim - - (op,ll,ul,opd?) > <!element op o o (%fcstxt;|rf|%fph;) -(tu) > <!element ll o o ((%fbutxt;)*) > <!element ul o o ((%fbutxt;)*) > <!element opd - o ((%fbutxt;)*) > You can use that one for operators with upper and lower limits other than products, sums or integrals. The for the other types defined operator is destinied by the optag, wich can contain again a mathematical formula. Array Tag <!element ar - - (row, (arr, row)*) > <!attlist ar ca cdata #required > <!element arr - o empty > <!element arc - o empty > <!entity arr "<arr>" > <!entity arc "<arc>" > Of course a reasonable mathematical document needs a way to describe arrays and matrices. The array (ar) is noted down equivalent to a tabular (see section ). The differences in handling are: No <hline> tag. The ca attribute character | is not allowd. Columns are not separated by colsep tag but with the arc tag (array collumn). Rows are not separated by rowsep tag but with the arr tag (array row). Again the characters | and @ are mapped to the adequate separator tag, so you really can note a array same way as a tabular. <dm><ar ca="clcr"> a+b+c | uv <arc> x-y | 27 @ a+b | u+v | z | 134 <arr> a | 3u+vw | xyz | 2,978 </ar></dm> Is mapped to: Root Tag <!element root - - ((%fbutxt;)*) > <!attlist root n cdata ""> The root is noted down by the root tag, wich contains a n attribute, holding the value for the n'th root. <dm><root n="3"/x+y/</dm> is mapped to: Figure Tag <!element fi - o (#pcdata) > With the figure tag you can place mathematical figures. The tagged characters are directly mapped to a mathematical figure. Which character is mapped to which figure you'll find in . Realfont Tag <!element rf - o (#pcdata) > This tag is placing a real font within a mathematical formula. I'm really not sure about rf. What should it be? No formula is allowed within that tag. <dm><rf/Binom:/ (a+b)<sup/2/=a<sup/2/+2ab+b<sup/2/</dm> is mapped to: Other Mathematical Tags The remaining tags simply modify the tagged formula, without implying any other tag. The effect is shown in table Mathematical tags without included tags name tag example result vector v <f><v/a/×<v/b/=<v/0/</f> → a×b=0 overline ovl <f><ovl/1+1/=<ovl/2/</f> → 1+1=2 underline unl <f><unl/1+1/=<unl/2/</f> → 1+1=2 superior sup <f>e=m×c<sup/2/</f> → e=m×c² inferior inf <f>x<inf/i/:=2x<inf/i-1/+3</f> → xi:=2xi-1+3

Labels and References <!entity % xref " label|ref|pageref|cite|url|htmlurl|ncite " > As soon as it´s a little bit more sophisticated a document will need references to other places within the document. Label Tag <!element label - o empty> <!attlist label id cdata #required> If you want to refer to a spot, chapter or section within your document you place a label tag. A example could look like: <sect1>Welcome to the article<label id="intro"> <p>… Reference Tag <!element ref - o empty> <!attlist ref id cdata #required name cdata "&refnam;"> With this tag you can refer to a place within your document labeled as in . The way the reference is mapped in you document again depends to the mapper. May result to a hyper-ref (HTML) or a section number (&latex;). Page reference Tag <!element pageref - o empty> <!attlist pageref id cdata #required> A example for a pageref: <pageref id="intro"> In the HTML mapping there is no use for pageref, because there are no page numbers. In &latex; mapping the tag is mapped to the pagenumber of the reffered label. Url Tag <!element url - o empty> <!attlist url url cdata #required name cdata "&urlnam;" > A example for a url: <url url="http://www.gnu.org" name="GNU Organization"> GNU Organisation The mapping to html brings up a hyper-ref in your document. The reference is the value of the url attribute, the text standing in the Hyperref is the name attribute's value. In &latex; mapping this one results to the name followed by the url. Htmlurl Tag <!element htmlurl - o empty> <!attlist htmlurl url cdata #required name cdata "&urlnam;" > A example for a htmlurl: <htmlurl url="http://www.gnu.org" name="GNU Organization"> GNU Organisation The only difference between this tag and the is in the &latex; mapping. The &latex; mapping simply drops the url attribute and emphasizes the name. In all other cases it's absolutely the same as the url tag. Cite Tag <!element cite - o empty> <!attlist cite id cdata #required> AFAIK this one need´s bibTeX to work nicely. So I'm terribly sorry, but I was not jet able to make use of it. For that reason for sure I'm the wrong one to explain about it. Ncite Tag <!element ncite - o empty> <!attlist ncite id cdata #required note cdata #required> Same as . Indices <!entity % index "idx|cdx|nidx|ncdx" > <!element idx - - (#pcdata)> <!element cdx - - (#pcdata)> <!element nidx - - (#pcdata)> <!element ncdx - - (#pcdata)> Index elements tag my translation idx index cdx code index (terminaltype index) nidx invisible index ncdx invisible code index (terminaltype index)

The index tags serve for making a index of your document. They are only useful if you want do do &latex; mapping. They only differ very slightly as mentioned in table . Including a index There are two ways to include indices into your document. Look at both and decide. Manually Set the opts attribute of your document class to contain the packages makeidx. You do that by: <article opts="makeidx">. Mark all the words you want to be in the index later with a idx tag or cdx tag. If the word you want to index to a location in your document is not within the text you simply write it at the location you want to index with the nidx tag. It´s like the normal idx only the tagged text will be silently dropped in the normal document. Process your file with makeindex sgml2latex -m mydocument.sgml. This will produce an additional mydocument.idx. Process mydocument.idx with the makeindex command like makeindex mydocument.idx. This will produce an additional mydocument.ind. To include the now generated index in your document you process your document with sgml2latex -o tex -m mydocument.sgml. This results in output of mydocument.tex. Edit mydocument.tex with the editor of your choice. You look for the line \end{document} (should be somewhere close to the end of the file) and insert the text \printindex bevor this line. Process the modified file with latex mydocument.tex. This gives you the final mydocument.dvi wich aggain you might process with dvips to generate a postscript document. A lot of a mess, ain't it? Hacked I'm currently working on a patch to the sgmltools to automate the inclusion and generation of a index. To find out the current state see http://www.bnhof.de/~uwe/lnd/indexpatch/index.html. Literate Programming <!entity % litprog " code | verb " > This one is a funny thing. It's the idea of not to write some comment text within a program, and might be to take later some special tools, to extract the text Think of perlpod. , but to write a big document and later to extract the code from it. People who don't like to document their code will not appreciate. The principle is: All text within verb and code tags, will be gathered into a sourcefile. That's it, because for now I don't remember the name of the tool doing thatone. Reference The qwertz Document Type Definition Norman Welsh SGML-Tools User's Guide 1.0 ($Revision: 1.1.1.1 $) Matt Welsh and Greg Hankins and Eric S. Raymond November 1997 Quick SGML Example, v1.0 Matt Welsh, <mdw@cs.cornell.edu> March 1994 Appendix Named Symbols Named Characters This is a slightly modified list taken from [SGML-Tools User's Guide 1.0 ($Revision: 1.1.1.1 $)]. If you miss some, don't hesitate to mail. A lot of the named characters shown in table are same as in the html-dtd. Named Characters AElig Æ Aacute Á Acirc Â Ae Ä Agrave À Atilde Ã Auml Ä Ccedil Ç Eacute É Egrave È Euml Ë Iacute Í Icirc Î Igrave Ì Iuml Ï Ntilde Ñ Oacute Ó Ocirc Ô Oe Ö Ograve Ò Oslash Ø Ouml Ö Uacute Ú Ue Ü Ugrave Ù Uuml Ü Yacute Ý aacute á acirc â ae ä aelig æ agrave à amp & apos ' aring å arr ↓ ast * atilde ã auml ä bsol \ bull • ccedil ç cir ○ circ ˆ clubs ♣ colon : comma , commat @ copy © darr ↓ deg ° diams ♦ divide ÷ dollar $ dquot &dquot; eacute é ecirc ê egrave è equals = etago </ euml ë excl ! frac12 ½ frac14 ¼ frac18 ⅛ frac34 ¾ frac38 ⅜ frac58 ⅝ frac78 ⅞ gt > half ½ hearts ♥ hellip … horbar ― hyphen ‐ iacute í icirc î iexcl ¡ igrave ì iquest ¿ iuml ï laquo « larr ← lcub { ldquo “ lowbar _ lpar ( lsqb [ lsquo ‘ lt < mdash — micro µ middot · mu μ ndash – not ¬ ntilde ñ num # oacute ó ocirc ô oe ö ograve ò ohm Ω ordf ª ordm º oslash ø otilde õ ouml ö para ¶ percnt % period . plus + plusmn ± pound £ quest ? quot " raquo » rarr → rcub } rdquo ” reg ® rpar ) rsqb ] rsquo ’ sect § semi ; sol / spades ♠ sup1 ¹ sup2 ² sup3 ³ sz ß szlig ß tilde ˜ times × trade ™ uacute ú uarr ↑ ucirc û ue ü ugrave ù uuml ü verbar | yacute ý

Named Whitespaces There is a small number of whatever you want to name it. The look like named characters, but will be printed not always, or not at all. thinsp Thin space: d D →d D emsp Emphasized space: d&emsp;D → d D ensp Normal space: /d&ensp;D/ → d D nbsp No break space: A spaces at wich the line is not allowed to be broken. Two words separated by a nbsp will be treated by parser and mapper to be a single long one. shy Suggest Hyphen: If the mapper is up to break a word, with has the shy tag inside, it will probably do the wordbreak at the place of the shy tag and place a hyphen instead. If no wordbreak is necessary the shy expands to nothging at all. Mathematical Figures Mathematical Figures a-ab-bc-cd-de-ef-fg-gh-hi-ij-jk-kl-lm-mn-no-op-pq-qr-rs-st-tu-uv-vw-wx-xy-yz-z ―A-AB-BC-CD-DE-EF-FG-GH-HI-IJ-JK-KL-LM-MN-NO-OP-PQ-QR-RS-ST-TU-UV-VW-WX-XY-YZ-Z

The special mappings for characters you might use for building up mathematical figures are shown in table . Linuxdoc dtd Source dtd This is the linuxdoc.dtd used to parse this document. The revision log, revision comments and a few redundant lines are taken out for saving paper and screenspace.    <!entity % xref " label|ref|pageref|cite|url|htmlurl|ncite " > <!entity % inline " (#pcdata | f| x| %emph; |sq| %xref | %index | file )* " > <!entity % list " list | itemize | enum | descrip " > <!entity % par " %list; | comment | lq | quote | tscreen " > <!entity % mathpar " dm | eq " > <!entity % thrm " def | prop | lemma | coroll | proof | theorem " > <!entity % litprog " code | verb " > <!entity % sectpar " %par; | figure | tabular | table | %mathpar; | %thrm; | %litprog; "> <!element linuxdoc o o (sect | chapt | article | report | book | letter | telefax | slides | notes | manpage ) >  <!entity % isoent system "isoent"> %isoent; <!entity urlnam sdata "urlnam" > <!entity refnam sdata "refnam" > <!entity tex sdata "[tex ]" > <!entity latex sdata "[latex ]" > <!entity latexe sdata "[latexe]" > <!entity tm sdata "[trade ]" > <!entity dquot sdata "[quot ]" > <!entity ero sdata "[amp ]" > <!entity etago '</' > <!entity Ae '&ero;Auml;' > <!entity ae '&ero;auml;' > <!entity Oe '&ero;Ouml;' > <!entity oe '&ero;ouml;' > <!entity Ue '&ero;Uuml;' > <!entity ue '&ero;uuml;' > <!entity sz '&ero;szlig;' > <!element p o o (( %inline | %sectpar )+) +(newline) > <!entity ptag '<p>' > <!entity psplit '</p><p>' > <!shortref pmap "&ero;#RS;B" null "&ero;#RS;B&ero;#RE;" psplit "&ero;#RS;&ero;#RE;" psplit -- '"' qtag -- "[" lsqb "~" nbsp "_" lowbar "#" num "%" percnt "^" circ "{" lcub "}" rcub "|" verbar > <!usemap pmap p> <!element em - - (%inline)> <!element bf - - (%inline)> <!element it - - (%inline)> <!element sf - - (%inline)> <!element sl - - (%inline)> <!element tt - - (%inline)> <!element sq - - (%inline)> <!element cparam - - (%inline)> <!entity ftag '<f>' -- formula begin -- > <!entity qendtag '</sq>'> <!shortref sqmap "&ero;#RS;B" null -- '"' qendtag -- "[" lsqb "~" nbsp "_" lowbar "#" num "%" percnt "^" circ "{" lcub "}" rcub "|" verbar > <!usemap sqmap sq > <!element lq - - (p*)> <!element quote - - ((%inline; | %sectpar;)*, p*)+ > <!element tscreen - - ((%inline; | %sectpar;)*, p*)+ > <!element itemize - - (item+)> <!element enum - - (item+)> <!element list - - (item+)> <!shortref desmap "&ero;#RS;B" null "&ero;#RS;B&ero;#RE;" ptag "&ero;#RS;&ero;#RE;" ptag "~" nbsp "_" lowbar "#" num "%" percnt "^" circ "[" lsqb "]" rsqb "{" lcub "}" rcub "|" verbar > <!element descrip - - (tag?, p+)+ > <!usemap desmap descrip> <!element item o o ((%inline; | %sectpar;)*, p*) > <!element tag - o (%inline)> <!usemap desmap tag> <!usemap global (list,itemize,enum)> <!entity space " "> <!entity null "">  <!element figure - - ((eps | ph ), img*, caption?)> <!attlist figure loc cdata "tbp" caption cdata "Caption">  <!element eps - o empty > <!attlist eps file cdata #required height cdata "5cm" angle cdata "0"> <!element ph - o empty > <!attlist ph vspace cdata #required> <!element img - o empty> <!attlist img src cdata #required> <!element caption - o (%inline)> <!shortref oneline "B&ero;#RE;" space "&ero;#RS;&ero;#RE;" null "&ero;#RS;B&ero;#RE;" null -- '"' qtag -- "[" ftag "~" nbsp "_" lowbar "#" num "%" percnt "^" circ "{" lcub "}" rcub "|" verbar> <!usemap oneline tag> <!usemap oneline caption> <!entity % tabrow "(%inline, (colsep, %inline)*)" > <!element tabular - - (hline?, %tabrow, (rowsep, hline?, %tabrow)*, caption?) > <!attlist tabular ca cdata #required> <!element rowsep - o empty> <!element colsep - o empty> <!element hline - o empty> <!entity rowsep "<rowsep>"> <!entity colsep "<colsep>"> <!shortref tabmap "&ero;#RE;" null "&ero;#RS;&ero;#RE;" null "&ero;#RS;B&ero;#RE;" null "&ero;#RS;B" null "B&ero;#RE;" null "BB" space "@" rowsep "|" colsep "[" ftag -- '"' qtag -- "_" thinsp "~" nbsp "#" num "%" percnt "^" circ "{" lcub "}" rcub > <!usemap tabmap tabular> <!element table - - (tabular, caption?) > <!attlist table loc cdata "tbp"> <!element code - - rcdata> <!element verb - - rcdata> <!shortref ttmap -- also on one-line -- "B&ero;#RE;" space "&ero;#RS;&ero;#RE;" null "&ero;#RS;B&ero;#RE;" null "&ero;#RS;B" null '#' num '%' percnt '~' tilde '_' lowbar '^' circ '{' lcub '}' rcub '|' verbar > <!usemap ttmap tt> <!element mc - - cdata > <!entity % sppos "tu" > <!entity % fcs "%sppos;|phr" > <!entity % fcstxt "#pcdata|mc|%fcs;" > <!entity % fscs "rf|v|fi" > <!entity % limits "pr|in|sum" > <!entity % fbu "fr|lim|ar|root" > <!entity % fph "unl|ovl|sup|inf" > <!entity % fbutxt "(%fbu;) | (%limits;) | (%fcstxt;)|(%fscs;)|(%fph;)" > <!entity % fphtxt "p|#pcdata" > <!element f - - ((%fbutxt;)*) > <!entity fendtag '</f>' -- formula end -- > <!shortref fmap "&ero;#RS;B" null "&ero;#RS;B&ero;#RE;" null "&ero;#RS;&ero;#RE;" null "_" thinsp "~" nbsp "]" rsqb "#" num "%" percnt "^" circ "{" lcub "}" rcub "|" verbar> <!usemap fmap f > <!element dm - - ((%fbutxt;)*)> <!element eq - - ((%fbutxt;)*)> <!shortref dmmap "&ero;#RE;" space "_" thinsp "~" nbsp "]" rsqb "#" num "%" percnt "^" circ "{" lcub "}" rcub "|" verbar> <!usemap dmmap (dm,eq)> <!element fr - - (nu,de) > <!element nu o o ((%fbutxt;)*) > <!element de o o ((%fbutxt;)*) > <!element ll o o ((%fbutxt;)*) > <!element ul o o ((%fbutxt;)*) > <!element opd - o ((%fbutxt;)*) > <!element pr - - (ll,ul,opd?) > <!element in - - (ll,ul,opd?) > <!element sum - - (ll,ul,opd?) > <!element lim - - (op,ll,ul,opd?) > <!element op o o (%fcstxt;|rf|%fph;) -(tu) > <!element root - - ((%fbutxt;)*) > <!attlist root n cdata ""> <!element col o o ((%fbutxt;)*) > <!element row o o (col, (arc, col)*) > <!element ar - - (row, (arr, row)*) > <!attlist ar ca cdata #required > <!element arr - o empty > <!element arc - o empty > <!entity arr "<arr>" > <!entity arc "<arc>" > <!shortref arrmap "&ero;#RE;" space "@" arr "|" arc "_" thinsp "~" nbsp "#" num "%" percnt "^" circ "{" lcub "}" rcub > <!usemap arrmap ar > <!element sup - - ((%fbutxt;)*) -(tu) > <!element inf - - ((%fbutxt;)*) -(tu) > <!element unl - - ((%fbutxt;)*) > <!element ovl - - ((%fbutxt;)*) > <!element rf - o (#pcdata) > <!element phr - o ((%fphtxt;)*) > <!element v - o ((%fcstxt;)*) -(tu|%limits;|%fbu;|%fph;) > <!element fi - o (#pcdata) > <!element tu - o empty > <!usemap global (rf,phr)> <!element def - - (thtag?, p+) > <!element prop - - (thtag?, p+) > <!element lemma - - (thtag?, p+) > <!element coroll - - (thtag?, p+) > <!element proof - - (p+) > <!element theorem - - (thtag?, p+) > <!element thtag - - (%inline)> <!usemap global (def,prop,lemma,coroll,proof,theorem)> <!usemap oneline thtag> <!entity qtag '<sq>' > <!shortref global "&ero;#RS;B" null -- delete leading blanks -- -- '"' qtag -- "[" ftag "~" nbsp "_" lowbar "#" num "%" percnt "^" circ "{" lcub "}" rcub "|" verbar> <!usemap global linuxdoc> <!element label - o empty> <!attlist label id cdata #required>  <!element ref - o empty> <!attlist ref id cdata #required name cdata "&ero;refnam">  <!element url - o empty> <!attlist url url cdata #required name cdata "&ero;urlnam" >  <!element htmlurl - o empty> <!attlist htmlurl url cdata #required name cdata "&ero;urlnam" > <!element pageref - o empty> <!attlist pageref id cdata #required> <!element comment - - (%inline)> <!element x - - ((#pcdata | mc)*) > <!usemap #empty x >  <!element article - - (titlepag, header?, toc?, lof?, lot?, p*, sect*, (appendix, sect+)?, biblio?) +(footnote)> <!attlist article opts cdata "null">  <!element report - - (titlepag, header?, toc?, lof?, lot?, p*, chapt*, (appendix, chapt+)?, biblio?) +(footnote)> <!attlist report opts cdata "null"> <!element book - - (titlepag, header?, toc?, lof?, lot?, p*, chapt*, (appendix, chapt+)?, biblio?) +(footnote) > <!attlist book opts cdata "null">  <!element titlepag o o (title, author, date?, abstract?)> <!element title - o (%inline, subtitle?) +(newline)> <!element subtitle - o (%inline)> <!usemap oneline titlepag> <!element author - o (name, thanks?, inst?, (and, name, thanks?, inst?)*)> <!element name o o (%inline) +(newline)> <!element and - o empty> <!element thanks - o (%inline)> <!element inst - o (%inline) +(newline)> <!element date - o (#pcdata) > <!usemap global thanks> <!element newline - o empty > <!entity nl "<newline>">  <!element abstract - o (%inline)> <!usemap oneline abstract> <!element toc - o empty> <!element lof - o empty> <!element lot - o empty> <!element header - - (lhead, rhead) > <!element lhead - o (%inline)> <!element rhead - o (%inline)> <!entity % sect "heading, header?, p* " > <!element heading o o (%inline)> <!element chapt - o (%sect, sect*) +(footnote)> <!element sect - o (%sect, sect1*) +(footnote)> <!element sect1 - o (%sect, sect2*)> <!element sect2 - o (%sect, sect3*)> <!element sect3 - o (%sect, sect4*)> <!element sect4 - o (%sect)> <!usemap oneline (chapt,sect,sect1,sect2,sect3,sect4)> <!element appendix - o empty > <!element footnote - - (%inline)> <!usemap global footnote> <!element cite - o empty> <!attlist cite id cdata #required> <!element ncite - o empty> <!attlist ncite id cdata #required note cdata #required> <!element file - - (#pcdata)> <!element idx - - (#pcdata)> <!element cdx - - (#pcdata)> <!element nidx - - (#pcdata)> <!element ncdx - - (#pcdata)> <!element biblio - o empty> <!attlist biblio style cdata "linuxdoc" files cdata ""> <!element slides - - (slide*) > <!attlist slides opts cdata "null"> <!element slide - o (title?, p+) > <!entity % addr "(address?, email?, phone?, fax?)" > <!element letter - - (from, %addr, to, %addr, cc?, subject?, sref?, rref?, rdate?, opening, p+, closing, encl?, ps?)> <!attlist letter opts cdata "null"> <!element from - o (#pcdata) > <!element to - o (#pcdata) > <!usemap oneline (from,to)> <!element address - o (#pcdata) +(newline) > <!element email - o (#pcdata) > <!element phone - o (#pcdata) > <!element fax - o (#pcdata) > <!element subject - o (%inline;) > <!element sref - o (#pcdata) > <!element rref - o (#pcdata) > <!element rdate - o (#pcdata) > <!element opening - o (%inline;) > <!usemap oneline opening> <!element closing - o (%inline;) > <!element cc - o (%inline;) +(newline) > <!element encl - o (%inline;) +(newline) > <!element ps - o (p+) > <!element telefax - - (from, %addr, to, address, email?, phone?, fax, cc?, subject?, opening, p+, closing, ps?)> <!attlist telefax opts cdata "null" length cdata "2"> <!element notes - - (title?, p+) > <!attlist notes opts cdata "null" > <!element manpage - - (sect1*) -(sect2 | f | %mathpar | figure | tabular | table | %xref | %thrm )> <!attlist manpage opts cdata "null" title cdata "" sectnum cdata "1" > <!shortref manpage "&ero;#RS;B" null -- '"' qtag -- "[" ftag "~" nbsp "_" lowbar "#" num "%" percnt "^" circ "{" lcub "}" rcub "|" verbar> <!usemap manpage manpage >