diff options
Diffstat (limited to 'MathMLDTD')
| -rw-r--r-- | MathMLDTD/math.dtd | 1012 | ||||
| -rw-r--r-- | MathMLDTD/w3c_ipr_software_notice.html | 105 |
2 files changed, 1117 insertions, 0 deletions
diff --git a/MathMLDTD/math.dtd b/MathMLDTD/math.dtd new file mode 100644 index 000000000000..9168ca909514 --- /dev/null +++ b/MathMLDTD/math.dtd @@ -0,0 +1,1012 @@ +<!-- Content model for content and presentation --> +<!-- and browser interface tags in MathML --> +<!-- initial draft 9.May.1997 syntax = XML --> +<!-- author = s.buswell sb@stilo.demon.co.uk --> +<!-- --> +<!-- revised 14.May.1997 by Robert Miner --> +<!-- revised 29.June.1997 and 2.July.1997 by s.buswell --> +<!-- --> +<!-- revised 15.December.1997 by s.buswell --> +<!-- revised 8.February.1998 by s.buswell --> +<!-- revised 4.april.1998 by s.buswell --> +<!-- 21.February.1999 entities and small revisions by d.carlisle --> +<!-- --> +<!-- W3C Recommendation 7 April 1998 --> +<!-- ************************************************* --> + +<!-- general attribute definitions for class & style & id & other --> +<!-- : attributes shared by all mathml elements --> + +<!ENTITY % att-globalatts 'class CDATA #IMPLIED + style CDATA #IMPLIED + id ID #IMPLIED + other CDATA #IMPLIED' > + +<!-- ************************************************* --> +<!-- Presentation element set --> + +<!-- presentation attribute definitions --> + +<!ENTITY % att-fontsize 'fontsize CDATA #IMPLIED' > +<!ENTITY % att-fontweight 'fontweight (normal | bold) #IMPLIED' > +<!ENTITY % att-fontstyle 'fontstyle (normal | italic) #IMPLIED' > +<!ENTITY % att-fontfamily 'fontfamily CDATA #IMPLIED' > +<!ENTITY % att-color 'color CDATA #IMPLIED' > + +<!ENTITY % att-fontinfo '%att-fontsize; + %att-fontweight; + %att-fontstyle; + %att-fontfamily; + %att-color;' > + +<!ENTITY % att-form 'form (prefix | infix | postfix) #IMPLIED' > +<!ENTITY % att-fence 'fence (true | false ) #IMPLIED' > +<!ENTITY % att-separator 'separator (true | false ) #IMPLIED' > +<!ENTITY % att-lspace 'lspace CDATA #IMPLIED' > +<!ENTITY % att-rspace 'rspace CDATA #IMPLIED' > +<!ENTITY % att-stretchy 'stretchy (true | false ) #IMPLIED' > +<!ENTITY % att-symmetric 'symmetric (true | false ) #IMPLIED' > +<!ENTITY % att-maxsize 'maxsize CDATA #IMPLIED' > +<!ENTITY % att-minsize 'minsize CDATA #IMPLIED' > +<!ENTITY % att-largeop 'largeop (true | false ) #IMPLIED' > +<!ENTITY % att-movablelimits 'movablelimits (true | false ) +#IMPLIED' > +<!ENTITY % att-accent 'accent (true | false) #IMPLIED'> + +<!ENTITY % att-opinfo '%att-form; + %att-fence; + %att-separator; + %att-lspace; + %att-rspace; + %att-stretchy; + %att-symmetric; + %att-maxsize; + %att-minsize; + %att-largeop; + %att-movablelimits; + %att-accent;' > + +<!ENTITY % att-width 'width CDATA #IMPLIED' > +<!ENTITY % att-height 'height CDATA #IMPLIED' > +<!ENTITY % att-depth 'depth CDATA #IMPLIED' > + +<!ENTITY % att-sizeinfo '%att-width; + %att-height; + %att-depth;' > + +<!ENTITY % att-lquote 'lquote CDATA #IMPLIED' > +<!ENTITY % att-rquote 'rquote CDATA #IMPLIED' > + +<!ENTITY % att-linethickness 'linethickness CDATA #IMPLIED' > + +<!ENTITY % att-scriptlevel 'scriptlevel CDATA #IMPLIED'> +<!ENTITY % att-displaystyle 'displaystyle (true | false) +#IMPLIED'> +<!ENTITY % att-scriptsizemultiplier 'scriptsizemultiplier CDATA +#IMPLIED' > +<!ENTITY % att-scriptminsize 'scriptminsize CDATA #IMPLIED'> +<!ENTITY % att-background 'background CDATA #IMPLIED' > + +<!ENTITY % att-open 'open CDATA #IMPLIED' > +<!ENTITY % att-close 'close CDATA #IMPLIED' > +<!ENTITY % att-separators 'separators CDATA #IMPLIED' > + +<!ENTITY % att-subscriptshift 'subscriptshift CDATA #IMPLIED'> +<!ENTITY % att-superscriptshift 'superscriptshift CDATA #IMPLIED' > + +<!ENTITY % att-accentunder 'accentunder (true | false) +#IMPLIED'> + +<!ENTITY % att-align 'align CDATA #IMPLIED' > +<!ENTITY % att-rowalign 'rowalign CDATA #IMPLIED' > +<!ENTITY % att-columnalign 'columnalign CDATA #IMPLIED' > +<!ENTITY % att-groupalign 'groupalign CDATA #IMPLIED' > +<!ENTITY % att-alignmentscope 'alignmentscope CDATA #IMPLIED' > + +<!ENTITY % att-rowspacing 'rowspacing CDATA #IMPLIED' > +<!ENTITY % att-columnspacing 'columnspacing CDATA #IMPLIED' > +<!ENTITY % att-rowlines 'rowlines CDATA #IMPLIED' > +<!ENTITY % att-columnlines 'columnlines CDATA #IMPLIED' > +<!ENTITY % att-frame 'frame (none | solid | dashed) +#IMPLIED' > +<!ENTITY % att-framespacing 'framespacing CDATA #IMPLIED' > +<!ENTITY % att-equalrows 'equalrows CDATA #IMPLIED' > +<!ENTITY % att-equalcolumns 'equalcolumns CDATA #IMPLIED' > + +<!ENTITY % att-tableinfo '%att-align; + %att-rowalign; + %att-columnalign; + %att-groupalign; + %att-alignmentscope; + %att-rowspacing; + %att-columnspacing; + %att-rowlines; + %att-columnlines; + %att-frame; + %att-framespacing; + %att-equalrows; + %att-equalcolumns; + %att-displaystyle;' > + +<!ENTITY % att-rowspan 'rowspan CDATA #IMPLIED' > +<!ENTITY % att-columnspan 'columnspan CDATA #IMPLIED' > + +<!ENTITY % att-edge 'edge (left | right) #IMPLIED ' > + +<!ENTITY % att-actiontype 'actiontype CDATA #IMPLIED' > +<!ENTITY % att-selection 'selection CDATA #IMPLIED ' > + +<!-- presentation token schemata with content--> + +<!ENTITY % ptoken "mi | mn | mo | mtext | ms" > + +<!ATTLIST mi %att-fontinfo; + %att-globalatts; > + +<!ATTLIST mn %att-fontinfo; + %att-globalatts; > + +<!ATTLIST mo %att-fontinfo; + %att-opinfo; + %att-globalatts; > + +<!ATTLIST mtext %att-fontinfo; + %att-globalatts; > + +<!ATTLIST ms %att-fontinfo; + %att-lquote; + %att-rquote; + %att-globalatts; > + +<!-- empty presentation token schemata --> + +<!ENTITY % petoken "mspace" > +<!ELEMENT mspace EMPTY > + +<!ATTLIST mspace %att-sizeinfo; + %att-globalatts; > + +<!-- presentation general layout schemata --> + +<!ENTITY % pgenschema "mrow|mfrac|msqrt|mroot| + mstyle|merror|mpadded| mphantom|mfenced" > + +<!ATTLIST mrow %att-globalatts; > + +<!ATTLIST mfrac %att-linethickness; + %att-globalatts; > + +<!ATTLIST msqrt %att-globalatts; > + +<!ATTLIST mroot %att-globalatts; > + +<!ATTLIST mstyle %att-fontinfo; + %att-opinfo; + %att-lquote; + %att-rquote; + %att-linethickness; + %att-scriptlevel; + %att-scriptsizemultiplier; + %att-scriptminsize; + %att-background; + %att-open; + %att-close; + %att-separators; + %att-subscriptshift; + %att-superscriptshift; + %att-accentunder; + %att-tableinfo; + %att-rowspan; + %att-columnspan; + %att-edge; + %att-actiontype; + %att-selection; + %att-globalatts; > + +<!ATTLIST merror %att-globalatts; > + +<!ATTLIST mpadded %att-sizeinfo; + %att-lspace; + %att-globalatts; > + +<!ATTLIST mphantom %att-globalatts; > + +<!ATTLIST mfenced %att-open; + %att-close; + %att-separators; + %att-globalatts; > + +<!-- presentation layout schemata : scripts and limits --> + +<!ENTITY % pscrschema "msub|msup|msubsup| + munder|mover|munderover|mmultiscripts" > + +<!ATTLIST msub %att-subscriptshift; + %att-globalatts; > + +<!ATTLIST msup %att-superscriptshift; + %att-globalatts; > + +<!ATTLIST msubsup %att-subscriptshift; + %att-superscriptshift; + %att-globalatts; > + +<!ATTLIST munder %att-accentunder; + %att-globalatts; > + +<!ATTLIST mover %att-accent; + %att-globalatts; > + +<!ATTLIST munderover %att-accent; + %att-accentunder; + %att-globalatts; > + +<!ATTLIST mmultiscripts + %att-subscriptshift; + %att-superscriptshift; + %att-globalatts; > + +<!-- presentation layout schemata: script empty elements --> + +<!ENTITY % pscreschema "mprescripts|none" > + +<!ELEMENT mprescripts EMPTY > +<!ATTLIST mprescripts %att-globalatts; > + +<!ELEMENT none EMPTY > +<!ATTLIST none %att-globalatts; > + +<!-- presentation layout schemata: tables --> + +<!ENTITY % ptabschema "mtable|mtr|mtd" > + +<!ATTLIST mtable %att-tableinfo; + %att-globalatts; > + +<!ATTLIST mtr %att-rowalign; + %att-columnalign; + %att-groupalign; + %att-globalatts; > + +<!ATTLIST mtd %att-rowalign; + %att-columnalign; + %att-groupalign; + %att-rowspan; + %att-columnspan; + %att-globalatts; > + +<!ENTITY % plschema "%pgenschema;|%pscrschema;|%ptabschema;" > + +<!-- empty presentation layout schemata --> + +<!ENTITY % peschema "maligngroup | malignmark" > + +<!ELEMENT malignmark EMPTY > + +<!ATTLIST malignmark %att-edge; + %att-globalatts; > + +<!ELEMENT maligngroup EMPTY > +<!ATTLIST maligngroup %att-groupalign; + %att-globalatts; > + +<!-- presentation action schemata --> + +<!ENTITY % pactions "maction" > +<!ATTLIST maction %att-actiontype; + %att-selection; + %att-globalatts; > + +<!-- Presentation entity for substitution into content tag constructs --> +<!-- excludes elements which are not valid as expressions --> + +<!ENTITY % PresInCont "%ptoken; | %petoken; | + %plschema; | %peschema; | %pactions;"> + +<!-- Presentation entity - all presentation constructs --> + +<!ENTITY % Presentation "%ptoken; | %petoken; | %pscreschema; | + %plschema; | %peschema; | %pactions;"> + +<!-- ************************************************* --> +<!-- Content element set --> +<!-- attribute definitions --> + +<!ENTITY % att-base 'base CDATA "10"' > +<!ENTITY % att-closure 'closure CDATA "closed"' > +<!ENTITY % att-definition 'definitionURL CDATA ""' > +<!ENTITY % att-encoding 'encoding CDATA ""' > +<!ENTITY % att-nargs 'nargs CDATA "1"' > +<!ENTITY % att-occurence 'occurence CDATA "function-model"' > +<!ENTITY % att-order 'order CDATA "numeric"' > +<!ENTITY % att-scope 'scope CDATA "local"' > +<!ENTITY % att-type 'type CDATA #IMPLIED' > + +<!-- content leaf token elements --> + +<!ENTITY % ctoken "ci | cn" > + +<!ATTLIST ci %att-type; + %att-globalatts; > + +<!ATTLIST cn %att-type; + %att-base; + %att-globalatts; > + +<!-- content elements - specials --> + +<!ENTITY % cspecial "apply | reln | lambda" > + +<!ATTLIST apply %att-globalatts; > + +<!ATTLIST reln %att-globalatts; > + +<!ATTLIST lambda %att-globalatts; > + +<!-- content elements - others --> + +<!ENTITY % cother "condition | declare | sep" > + +<!ATTLIST condition %att-globalatts; > + +<!ATTLIST declare %att-type; + %att-scope; + %att-nargs; + %att-occurence; + %att-definition; + %att-globalatts; > + +<!ELEMENT sep EMPTY > +<!ATTLIST sep %att-globalatts; > + +<!-- content elements - semantic mapping --> + +<!ENTITY % csemantics "semantics | annotation | annotation-xml" > + +<!ATTLIST semantics %att-definition; + %att-globalatts; > + +<!ATTLIST annotation %att-encoding; + %att-globalatts; > + +<!ATTLIST annotation-xml %att-encoding; + %att-globalatts; > + +<!-- content elements - constructors --> + +<!ENTITY % cconstructor "interval | list | matrix | matrixrow | set | +vector" > + +<!ATTLIST interval %att-closure; + %att-globalatts; > + +<!ATTLIST set %att-globalatts; > + +<!ATTLIST list %att-order; + %att-globalatts; > + +<!ATTLIST vector %att-globalatts; > + +<!ATTLIST matrix %att-globalatts; > + +<!ATTLIST matrixrow %att-globalatts; > + +<!-- content elements - operators --> + +<!ENTITY % cfuncop1ary "inverse | ident " > + +<!ELEMENT inverse EMPTY > +<!ATTLIST inverse %att-definition; + %att-globalatts; > + +<!ENTITY % cfuncopnary "fn | compose" > + +<!ATTLIST fn %att-definition; + %att-globalatts; > + +<!ELEMENT ident EMPTY > +<!ATTLIST ident %att-definition; + %att-globalatts; > + +<!ELEMENT compose EMPTY > +<!ATTLIST compose %att-definition; + %att-globalatts; > + +<!ENTITY % carithop1ary "abs | conjugate | exp | factorial" > + +<!ELEMENT exp EMPTY > +<!ATTLIST exp %att-definition; + %att-globalatts; > + +<!ELEMENT abs EMPTY > +<!ATTLIST abs %att-definition; + %att-globalatts; > + +<!ELEMENT conjugate EMPTY > +<!ATTLIST conjugate %att-definition; + %att-globalatts; > + +<!ELEMENT factorial EMPTY > +<!ATTLIST factorial %att-definition; + %att-globalatts; > + +<!ENTITY % carithop1or2ary "minus" > + +<!ELEMENT minus EMPTY > +<!ATTLIST minus %att-definition; + %att-globalatts; > + +<!ENTITY % carithop2ary "quotient | divide | power | rem" > + +<!ELEMENT quotient EMPTY > +<!ATTLIST quotient %att-definition; + %att-globalatts; > + +<!ELEMENT divide EMPTY > +<!ATTLIST divide %att-definition; + %att-globalatts; > + +<!ELEMENT power EMPTY > +<!ATTLIST power %att-definition; + %att-globalatts; > + +<!ELEMENT rem EMPTY > +<!ATTLIST rem %att-definition; + %att-globalatts; > + +<!ENTITY % carithopnary "plus | times | max | min | gcd" > + +<!ELEMENT plus EMPTY > +<!ATTLIST plus %att-definition; + %att-globalatts; > + +<!ELEMENT max EMPTY > +<!ATTLIST max %att-definition; + %att-globalatts; > + +<!ELEMENT min EMPTY > +<!ATTLIST min %att-definition; + %att-globalatts; > + +<!ELEMENT times EMPTY > +<!ATTLIST times %att-definition; + %att-globalatts; > + +<!ELEMENT gcd EMPTY > +<!ATTLIST gcd %att-definition; + %att-globalatts; > + +<!ENTITY % carithoproot "root" > + +<!ELEMENT root EMPTY > +<!ATTLIST root %att-definition; + %att-globalatts; > + +<!ENTITY % clogicopquant "exists | forall" > + +<!ELEMENT exists EMPTY > +<!ATTLIST exists %att-definition; + %att-globalatts; > + +<!ELEMENT forall EMPTY > +<!ATTLIST forall %att-definition; + %att-globalatts; > + +<!ENTITY % clogicopnary "and | or | xor" > + +<!ELEMENT and EMPTY > +<!ATTLIST and %att-definition; + %att-globalatts; > + +<!ELEMENT or EMPTY > +<!ATTLIST or %att-definition; + %att-globalatts; > + +<!ELEMENT xor EMPTY > +<!ATTLIST xor %att-definition; + %att-globalatts; > + +<!ENTITY % clogicop1ary "not" > + +<!ELEMENT not EMPTY > +<!ATTLIST not %att-definition; + %att-globalatts; > + +<!ENTITY % clogicop2ary "implies" > + +<!ELEMENT implies EMPTY > +<!ATTLIST implies %att-definition; + %att-globalatts; > + +<!ENTITY % ccalcop "log | int | diff | partialdiff" > + +<!ELEMENT log EMPTY > +<!ATTLIST log %att-definition; + %att-globalatts; > + +<!ELEMENT int EMPTY > +<!ATTLIST int %att-definition; + %att-globalatts; > + +<!ELEMENT diff EMPTY > +<!ATTLIST diff %att-definition; + %att-globalatts; > + +<!ELEMENT partialdiff EMPTY > +<!ATTLIST partialdiff %att-definition; + %att-globalatts; > + +<!ENTITY % ccalcop1ary "ln" > + +<!ELEMENT ln EMPTY > +<!ATTLIST ln %att-definition; + %att-globalatts; > + +<!ENTITY % csetop2ary "setdiff" > + +<!ELEMENT setdiff EMPTY > +<!ATTLIST setdiff %att-definition; + %att-globalatts; > + +<!ENTITY % csetopnary "union | intersect" > + +<!ELEMENT union EMPTY > +<!ATTLIST union %att-definition; + %att-globalatts; > + +<!ELEMENT intersect EMPTY > +<!ATTLIST intersect %att-definition; + %att-globalatts; > + +<!ENTITY % cseqop "sum | product | limit" > + +<!ELEMENT sum EMPTY > +<!ATTLIST sum %att-definition; + %att-globalatts; > + +<!ELEMENT product EMPTY > +<!ATTLIST product %att-definition; + %att-globalatts; > + +<!ELEMENT limit EMPTY > +<!ATTLIST limit %att-definition; + %att-globalatts; > + +<!ENTITY % ctrigop "sin | cos | tan | sec | csc | cot | sinh + | cosh | tanh | sech | csch | coth + | arcsin | arccos | arctan" > + +<!ELEMENT sin EMPTY > +<!ATTLIST sin %att-definition; + %att-globalatts; > + +<!ELEMENT cos EMPTY > +<!ATTLIST cos %att-definition; + %att-globalatts; > + +<!ELEMENT tan EMPTY > +<!ATTLIST tan %att-definition; + %att-globalatts; > + +<!ELEMENT sec EMPTY > +<!ATTLIST sec %att-definition; + %att-globalatts; > + +<!ELEMENT csc EMPTY > +<!ATTLIST csc %att-definition; + %att-globalatts; > + +<!ELEMENT cot EMPTY > +<!ATTLIST cot %att-definition; + %att-globalatts; > + +<!ELEMENT sinh EMPTY > +<!ATTLIST sinh %att-definition; + %att-globalatts; > + +<!ELEMENT cosh EMPTY > +<!ATTLIST cosh %att-definition; + %att-globalatts; > + +<!ELEMENT tanh EMPTY > +<!ATTLIST tanh %att-definition; + %att-globalatts; > + +<!ELEMENT sech EMPTY > +<!ATTLIST sech %att-definition; + %att-globalatts; > + +<!ELEMENT csch EMPTY > +<!ATTLIST csch %att-definition; + %att-globalatts; > + +<!ELEMENT coth EMPTY > +<!ATTLIST coth %att-definition; + %att-globalatts; > + +<!ELEMENT arcsin EMPTY > +<!ATTLIST arcsin %att-definition; + %att-globalatts; > + +<!ELEMENT arccos EMPTY > +<!ATTLIST arccos %att-definition; + %att-globalatts; > + +<!ELEMENT arctan EMPTY > +<!ATTLIST arctan %att-definition; + %att-globalatts; > + +<!ENTITY % cstatopnary "mean | sdev | variance | median | mode" > + +<!ELEMENT mean EMPTY > +<!ATTLIST mean %att-definition; + %att-globalatts; > + +<!ELEMENT sdev EMPTY > +<!ATTLIST sdev %att-definition; + %att-globalatts; > + +<!ELEMENT variance EMPTY > +<!ATTLIST variance %att-definition; + %att-globalatts; > + +<!ELEMENT median EMPTY > +<!ATTLIST median %att-definition; + %att-globalatts; > + +<!ELEMENT mode EMPTY > +<!ATTLIST mode %att-definition; + %att-globalatts; > + +<!ENTITY % cstatopmoment "moment" > + +<!ELEMENT moment EMPTY > +<!ATTLIST moment %att-definition; + %att-globalatts; > + +<!ENTITY % clalgop1ary "determinant | transpose" > + +<!ELEMENT determinant EMPTY > +<!ATTLIST determinant %att-definition; + %att-globalatts; > + +<!ELEMENT transpose EMPTY > +<!ATTLIST transpose %att-definition; + %att-globalatts; > + +<!ENTITY % clalgopnary "selector" > + +<!ELEMENT selector EMPTY > +<!ATTLIST selector %att-definition; + %att-globalatts; > + +<!-- content elements - relations --> + +<!ENTITY % cgenrel2ary "neq" > + +<!ELEMENT neq EMPTY > +<!ATTLIST neq %att-definition; + %att-globalatts; > + +<!ENTITY % cgenrelnary "eq | leq | lt | geq | gt" > + +<!ELEMENT eq EMPTY > +<!ATTLIST eq %att-definition; + %att-globalatts; > + +<!ELEMENT gt EMPTY > +<!ATTLIST gt %att-definition; + %att-globalatts; > + +<!ELEMENT lt EMPTY > +<!ATTLIST lt %att-definition; + %att-globalatts; > + +<!ELEMENT geq EMPTY > +<!ATTLIST geq %att-definition; + %att-globalatts; > + +<!ELEMENT leq EMPTY > +<!ATTLIST leq %att-definition; + %att-globalatts; > + +<!ENTITY % csetrel2ary "in | notin | notsubset | notprsubset" > + +<!ELEMENT in EMPTY > +<!ATTLIST in %att-definition; + %att-globalatts; > + +<!ELEMENT notin EMPTY > +<!ATTLIST notin %att-definition; + %att-globalatts; > + +<!ELEMENT notsubset EMPTY > +<!ATTLIST notsubset %att-definition; + %att-globalatts; > + +<!ELEMENT notprsubset EMPTY > +<!ATTLIST notprsubset %att-definition; + %att-globalatts; > + +<!ENTITY % csetrelnary "subset | prsubset" > + +<!ELEMENT subset EMPTY > +<!ATTLIST subset %att-definition; + %att-globalatts; > + +<!ELEMENT prsubset EMPTY > +<!ATTLIST prsubset %att-definition; + %att-globalatts; > + +<!ENTITY % cseqrel2ary "tendsto" > + +<!ELEMENT tendsto EMPTY > +<!ATTLIST tendsto %att-definition; + %att-type; + %att-globalatts; > + +<!-- content elements - quantifiers --> + +<!ENTITY % cquantifier "lowlimit | uplimit | bvar | degree | logbase" > + +<!ATTLIST lowlimit %att-globalatts; > + +<!ATTLIST uplimit %att-globalatts; > + +<!ATTLIST bvar %att-globalatts; > + +<!ATTLIST degree %att-globalatts; > + +<!ATTLIST logbase %att-globalatts; > + +<!-- operator groups --> + +<!ENTITY % cop1ary "%cfuncop1ary; | %carithop1ary; | %clogicop1ary; + | %ccalcop1ary; | %ctrigop; | %clalgop1ary; " > + +<!ENTITY % cop2ary "%carithop2ary; | %clogicop2ary;| %csetop2ary; " > + +<!ENTITY % copnary "%cfuncopnary; | %carithopnary; | %clogicopnary; + | %csetopnary; | %cstatopnary; | %clalgopnary; " > + +<!ENTITY % copmisc "%carithoproot; | %carithop1or2ary; | %ccalcop; + | %cseqop; | %cstatopmoment; | %clogicopquant;" > + +<!-- relation groups --> + +<!ENTITY % crel2ary "%cgenrel2ary; | %csetrel2ary; | %cseqrel2ary; " > + +<!ENTITY % crelnary "%cgenrelnary; | %csetrelnary;" > + +<!-- content constructs - all --> + +<!ENTITY % Content "%ctoken; | %cspecial; | %cother; | %csemantics; + |%cconstructor; | %cquantifier; + |%cop1ary; |%cop2ary; |%copnary; |%copmisc; + |%crel2ary; |%crelnary;" > + +<!-- content constructs for substitution in presentation structures --> + +<!ENTITY % ContInPres "ci | cn | apply | fn | lambda | reln + | interval | list | matrix |matrixrow + | set | vector | semantics" > <!--dpc--> + +<!-- ************************************************* --> + +<!-- recursive definition for content of expressions --> +<!-- include presentation tag constructs at lowest level --> +<!-- so presentation layout schemata hold presentation or Content --> +<!-- include Content tag constructs at lowest level --> +<!-- so Content tokens hold PCDATA or Presentation at leaf level --> +<!-- (for permitted substitutable elements in context) --> + +<!ENTITY % ContentExpression "(%Content; | %PresInCont;)* " > +<!ENTITY % PresExpression "(%Presentation; | %ContInPres;)* " > +<!ENTITY % MathExpression "(%PresInCont; | %ContInPres;)* " > + +<!-- content token elements (may hold embedded presentation constructs) +--> + +<!ELEMENT ci (#PCDATA | %PresInCont;)* > +<!ELEMENT cn (#PCDATA | sep | %PresInCont;)* > + +<!-- content special elements --> + +<!ELEMENT apply (%ContentExpression;) > +<!ELEMENT reln (%ContentExpression;) > +<!ELEMENT lambda (%ContentExpression;) > + +<!-- content other elements --> + +<!ELEMENT condition (%ContentExpression;) > +<!ELEMENT declare (%ContentExpression;) > + +<!-- content semantics elements --> + +<!ELEMENT semantics (%ContentExpression;) > +<!ELEMENT annotation (#PCDATA) > +<!ELEMENT annotation-xml (%ContentExpression;) > + +<!-- content constructor elements --> + +<!ELEMENT interval (%ContentExpression;) > +<!ELEMENT set (%ContentExpression;) > +<!ELEMENT list (%ContentExpression;) > +<!ELEMENT vector (%ContentExpression;) > +<!ELEMENT matrix (%ContentExpression;) > +<!ELEMENT matrixrow (%ContentExpression;) > + +<!-- content operator element (user-defined) --> + +<!ELEMENT fn (%ContentExpression;) > + +<!-- content quantifier elements --> + +<!ELEMENT lowlimit (%ContentExpression;) > +<!ELEMENT uplimit (%ContentExpression;) > +<!ELEMENT bvar (%ContentExpression;) > +<!ELEMENT degree (%ContentExpression;) > +<!ELEMENT logbase (%ContentExpression;) > + +<!-- ************************************************* --> +<!-- presentation layout schema contain tokens, layout and content +schema --> + +<!ELEMENT mstyle (%PresExpression;) > +<!ELEMENT merror (%PresExpression;) > +<!ELEMENT mphantom (%PresExpression;) > +<!ELEMENT mrow (%PresExpression;) > +<!ELEMENT mfrac (%PresExpression;) > +<!ELEMENT msqrt (%PresExpression;) > +<!ELEMENT mroot (%PresExpression;) > +<!ELEMENT msub (%PresExpression;) > +<!ELEMENT msup (%PresExpression;) > +<!ELEMENT msubsup (%PresExpression;) > +<!ELEMENT mmultiscripts (%PresExpression;) > +<!ELEMENT munder (%PresExpression;) > +<!ELEMENT mover (%PresExpression;) > +<!ELEMENT munderover (%PresExpression;) > +<!ELEMENT mtable (%PresExpression;) > +<!ELEMENT mtr (%PresExpression;) > +<!ELEMENT mtd (%PresExpression;) > +<!ELEMENT maction (%PresExpression;) > +<!ELEMENT mfenced (%PresExpression;) > +<!ELEMENT mpadded (%PresExpression;) > + +<!-- presentation tokens contain PCDATA or malignmark constructs --> + +<!ELEMENT mi (#PCDATA | malignmark )* > +<!ELEMENT mn (#PCDATA | malignmark )* > +<!ELEMENT mo (#PCDATA | malignmark )* > +<!ELEMENT mtext (#PCDATA | malignmark )* > +<!ELEMENT ms (#PCDATA | malignmark )* > + +<!-- ************************************************* --> +<!-- browser interface definition --> + +<!-- attributes for top level math element --> + +<!ENTITY % att-macros 'macros CDATA #IMPLIED' > +<!ENTITY % att-mode 'mode CDATA #IMPLIED' > + +<!ENTITY % att-topinfo '%att-globalatts; + %att-macros; + %att-mode;' > + +<!-- attributes for browser interface element element --> + +<!ENTITY % att-name 'name CDATA #IMPLIED' > +<!ENTITY % att-baseline 'baseline CDATA #IMPLIED' > +<!ENTITY % att-overflow 'overflow +(scroll|elide|truncate|scale) "scroll"' > +<!ENTITY % att-altimg 'altimg CDATA #IMPLIED' > +<!ENTITY % att-alttext 'alttext CDATA #IMPLIED' > + +<!ENTITY % att-browif '%att-type; + %att-name; + %att-height; + %att-width; + %att-baseline; + %att-overflow; + %att-altimg; + %att-alttext; ' > + +<!-- the top level math element --> +<!-- math contains MathML encoded mathematics --> +<!-- math has the browser info attributes iff it is the + browser interface element also --> + +<!ELEMENT math (%MathExpression;) > + +<!ATTLIST math %att-topinfo; + %att-browif; > + + +<!-- ENTITY sets --> + +<!-- ISO 9573-13 --> + +<!ENTITY % ent-isoamsa SYSTEM "isoamsa.ent" > +%ent-isoamsa; + +<!ENTITY % ent-isoamsb SYSTEM "isoamsb.ent" > +%ent-isoamsb; + +<!ENTITY % ent-isoamsc SYSTEM "isoamsc.ent" > +%ent-isoamsc; + +<!ENTITY % ent-isoamsn SYSTEM "isoamsn.ent" > +%ent-isoamsn; + +<!ENTITY % ent-isoamso SYSTEM "isoamso.ent" > +%ent-isoamso; + +<!ENTITY % ent-isoamsr SYSTEM "isoamsr.ent" > +%ent-isoamsr; + +<!ENTITY % ent-isogrk3 SYSTEM "isogrk3.ent" > +%ent-isogrk3; + +<!ENTITY % ent-isogrk4 SYSTEM "isogrk4.ent" > +%ent-isogrk4; + +<!ENTITY % ent-isomfrk SYSTEM "isomfrk.ent" > +%ent-isomfrk; + +<!ENTITY % ent-isomopf SYSTEM "isomopf.ent" > +%ent-isomopf; + +<!ENTITY % ent-isomscr SYSTEM "isomscr.ent" > +%ent-isomscr; + +<!ENTITY % ent-isotech SYSTEM "isotech.ent" > +%ent-isotech; + + + +<!-- ISO 8879 --> + +<!ENTITY % ent-isobox SYSTEM "isobox.ent" > +%ent-isobox; + +<!ENTITY % ent-isocyr1 SYSTEM "isocyr1.ent" > +%ent-isocyr1; + +<!ENTITY % ent-isocyr2 SYSTEM "isocyr2.ent" > +%ent-isocyr2; + +<!ENTITY % ent-isodia SYSTEM "isodia.ent" > +%ent-isodia; + +<!ENTITY % ent-isogrk1 SYSTEM "isogrk1.ent" > +%ent-isogrk1; + +<!ENTITY % ent-isogrk2 SYSTEM "isogrk2.ent" > +%ent-isogrk2; + +<!ENTITY % ent-isolat1 SYSTEM "isolat1.ent" > +%ent-isolat1; + +<!ENTITY % ent-isolat2 SYSTEM "isolat2.ent" > +%ent-isolat2; + +<!ENTITY % ent-isonum SYSTEM "isonum.ent" > +%ent-isonum; + +<!ENTITY % ent-isopub SYSTEM "isopub.ent" > +%ent-isopub; + +<!-- MathML aliases for characters defined above --> + +<!ENTITY % ent-mmlalias SYSTEM "mmlalias.ent" > +%ent-mmlalias; + + +<!-- MathML new characters --> + +<!ENTITY % ent-mmlextra SYSTEM "mmlextra.ent" > +%ent-mmlextra; + +<!-- end of ENTITY sets --> +<!-- end of DTD fragment --> +<!-- ************************************************* --> diff --git a/MathMLDTD/w3c_ipr_software_notice.html b/MathMLDTD/w3c_ipr_software_notice.html new file mode 100644 index 000000000000..3a4ed535c1a7 --- /dev/null +++ b/MathMLDTD/w3c_ipr_software_notice.html @@ -0,0 +1,105 @@ +<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" +"http://www.w3.org/TR/html4/loose.dtd"> + +<!-- W3C IPR SOFTWARE NOTICE --> +<!-- downloaded from: --> +<!-- http://www.w3.org/Consortium/Legal/copyright-software-19980720 --> +<!-- --> +<!-- Changed: 24. July 2001 --> +<!-- 1) removed link to stylesheet --> +<!-- 2) removed "webmaster" link --> +<!-- 3) changed site-relative URLs to absolute URLs --> +<!-- 4) added this comment block --> +<!-- Changes are intended to allow proper --> +<!-- off-line viewing of the license. --> + +<html> +<head> +<meta name="generator" content="HTML Tidy, see www.w3.org"> +<meta http-equiv="Content-Type" content= +"text/html; charset=iso-8859-1"> +<title>W3C IPR SOFTWARE NOTICE</title> +</head> +<body text="#000000" bgcolor="#FFFFFF"> +<h1>W3C<sup>®</sup> SOFTWARE NOTICE AND LICENSE</h1> + +<h3>Copyright © 1994-2001 <a href="http://www.w3.org/">World +Wide Web Consortium</a>, (<a href= +"http://www.lcs.mit.edu/">Massachusetts Institute of +Technology</a>, <a href="http://www.inria.fr/">Institut National de +Recherche en Informatique et en Automatique</a>, <a href= +"http://www.keio.ac.jp/">Keio University</a>). All Rights Reserved. +http://www.w3.org/Consortium/Legal/</h3> + +<p>This W3C work (including software, documents, or other related +items) is being provided by the copyright holders under the +following license. By obtaining, using and/or copying this work, +you (the licensee) agree that you have read, understood, and will +comply with the following terms and conditions:</p> + +<p>Permission to use, copy, modify, and distribute this software +and its documentation, with or without modification, for any +purpose and without fee or royalty is hereby granted, provided that +you include the following on ALL copies of the software and +documentation or portions thereof, including modifications, that +you make:</p> + +<ol> +<li>The full text of this NOTICE in a location viewable to users of +the redistributed or derivative work.</li> + +<li>Any pre-existing intellectual property disclaimers, notices, or +terms and conditions. If none exist, a short notice of the +following form (hypertext is preferred, text is permitted) should +be used within the body of any redistributed or derivative code: +"Copyright © [$date-of-software] <a href="http://www.w3.org/"> +World Wide Web Consortium</a>, (<a href= +"http://www.lcs.mit.edu/">Massachusetts Institute of +Technology</a>, <a href="http://www.inria.fr/">Institut National de +Recherche en Informatique et en Automatique</a>, <a href= +"http://www.keio.ac.jp/">Keio University</a>). All Rights Reserved. +http://www.w3.org/Consortium/Legal/"</li> + +<li>Notice of any changes or modifications to the W3C files, +including the date changes were made. (We recommend you provide +URIs to the location from which the code is derived.)</li> +</ol> + +<p>THIS SOFTWARE AND DOCUMENTATION IS PROVIDED "AS IS," AND +COPYRIGHT HOLDERS MAKE NO REPRESENTATIONS OR WARRANTIES, EXPRESS OR +IMPLIED, INCLUDING BUT NOT LIMITED TO, WARRANTIES OF +MERCHANTABILITY OR FITNESS FOR ANY PARTICULAR PURPOSE OR THAT THE +USE OF THE SOFTWARE OR DOCUMENTATION WILL NOT INFRINGE ANY THIRD +PARTY PATENTS, COPYRIGHTS, TRADEMARKS OR OTHER RIGHTS.</p> + +<p>COPYRIGHT HOLDERS WILL NOT BE LIABLE FOR ANY DIRECT, INDIRECT, +SPECIAL OR CONSEQUENTIAL DAMAGES ARISING OUT OF ANY USE OF THE +SOFTWARE OR DOCUMENTATION.</p> + +<p>The name and trademarks of copyright holders may NOT be used in +advertising or publicity pertaining to the software without +specific, written prior permission. Title to copyright in this +software and any associated documentation will at all times remain +with copyright holders.</p> + +<p>____________________________________</p> + +<p>This formulation of W3C's notice and license became active on +August 14 1998 so as to improve compatibility with GPL. This +version ensures that W3C software licensing terms are no more +restrictive than GPL and consequently W3C software may be +distributed in GPL packages. See the <a href= +"http://www.w3.org/Consortium/Legal/copyright-software-19980519.html">older formulation</a> for the +policy prior to this date. Please see our <a href="http://www.w3.org/Consortium/Legal/IPR-FAQ.html"> +Copyright FAQ</a> for common questions about using materials from +our site, including specific terms and conditions for packages like +libwww, Amaya, and Jigsaw. Other questions about this notice can be +directed to <a href="mailto:site-policy@w3.org"> +site-policy@w3.org</a>.<br> + </p> + +<p> </p> + +</body> +</html> + |