957 lines
35 KiB
DTD
957 lines
35 KiB
DTD
<!-- Copyright 1997-1999 World Wide Web Consortium, -->
|
|
<!-- (Massachusetts Institute of Technology, -->
|
|
<!-- Institut National de Recherche en Informatique et en Automatique, -->
|
|
<!-- Keio University). All Rights Reserved. -->
|
|
<!-- http://www.w3.org/Consortium/Legal/ -->
|
|
|
|
<!-- Modified DTD for MathML 1.01 -->
|
|
<!-- -->
|
|
<!-- Original DTD: -->
|
|
<!-- http://www.w3.org/1999/07/REC-MathML-19990707/mmlents.zip -->
|
|
<!-- -->
|
|
<!-- modified 20. June 2001: -->
|
|
<!-- 1) added "math:" namespace prefix -->
|
|
<!-- 2) removed entity include files -->
|
|
<!-- 3) added copyright notice above to comply with -->
|
|
<!-- W3C IPR Software Notice -->
|
|
<!-- 4) added this comment block -->
|
|
<!-- Modifications are intended to ease validation -->
|
|
<!-- of MathML files written by StarMath 6.0 -->
|
|
|
|
|
|
<!-- 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 'math:class CDATA #IMPLIED
|
|
math:style CDATA #IMPLIED
|
|
math:id ID #IMPLIED
|
|
math:other CDATA #IMPLIED' >
|
|
|
|
<!-- ************************************************* -->
|
|
<!-- Presentation element set -->
|
|
|
|
<!-- presentation attribute definitions -->
|
|
|
|
<!ENTITY % att-fontsize 'math:fontsize CDATA #IMPLIED' >
|
|
<!ENTITY % att-fontweight 'math:fontweight (normal | bold) #IMPLIED' >
|
|
<!ENTITY % att-fontstyle 'math:fontstyle (normal | italic) #IMPLIED' >
|
|
<!ENTITY % att-fontfamily 'math:fontfamily CDATA #IMPLIED' >
|
|
<!ENTITY % att-color 'math:color CDATA #IMPLIED' >
|
|
|
|
<!ENTITY % att-fontinfo '%att-fontsize;
|
|
%att-fontweight;
|
|
%att-fontstyle;
|
|
%att-fontfamily;
|
|
%att-color;' >
|
|
|
|
<!ENTITY % att-form 'math:form (prefix | infix | postfix) #IMPLIED' >
|
|
<!ENTITY % att-fence 'math:fence (true | false ) #IMPLIED' >
|
|
<!ENTITY % att-separator 'math:separator (true | false ) #IMPLIED' >
|
|
<!ENTITY % att-lspace 'math:lspace CDATA #IMPLIED' >
|
|
<!ENTITY % att-rspace 'math:rspace CDATA #IMPLIED' >
|
|
<!ENTITY % att-stretchy 'math:stretchy (true | false ) #IMPLIED' >
|
|
<!ENTITY % att-symmetric 'math:symmetric (true | false ) #IMPLIED' >
|
|
<!ENTITY % att-maxsize 'math:maxsize CDATA #IMPLIED' >
|
|
<!ENTITY % att-minsize 'math:minsize CDATA #IMPLIED' >
|
|
<!ENTITY % att-largeop 'math:largeop (true | false ) #IMPLIED' >
|
|
<!ENTITY % att-movablelimits 'math:movablelimits (true | false )
|
|
#IMPLIED' >
|
|
<!ENTITY % att-accent 'math: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 'math:width CDATA #IMPLIED' >
|
|
<!ENTITY % att-height 'math:height CDATA #IMPLIED' >
|
|
<!ENTITY % att-depth 'math:depth CDATA #IMPLIED' >
|
|
|
|
<!ENTITY % att-sizeinfo '%att-width;
|
|
%att-height;
|
|
%att-depth;' >
|
|
|
|
<!ENTITY % att-lquote 'math:lquote CDATA #IMPLIED' >
|
|
<!ENTITY % att-rquote 'math:rquote CDATA #IMPLIED' >
|
|
|
|
<!ENTITY % att-linethickness 'math:linethickness CDATA #IMPLIED' >
|
|
|
|
<!ENTITY % att-scriptlevel 'math:scriptlevel CDATA #IMPLIED'>
|
|
<!ENTITY % att-displaystyle 'math:displaystyle (true | false)
|
|
#IMPLIED'>
|
|
<!ENTITY % att-scriptsizemultiplier 'math:scriptsizemultiplier CDATA
|
|
#IMPLIED' >
|
|
<!ENTITY % att-scriptminsize 'math:scriptminsize CDATA #IMPLIED'>
|
|
<!ENTITY % att-background 'math:background CDATA #IMPLIED' >
|
|
|
|
<!ENTITY % att-open 'math:open CDATA #IMPLIED' >
|
|
<!ENTITY % att-close 'math:close CDATA #IMPLIED' >
|
|
<!ENTITY % att-separators 'math:separators CDATA #IMPLIED' >
|
|
|
|
<!ENTITY % att-subscriptshift 'math:subscriptshift CDATA #IMPLIED'>
|
|
<!ENTITY % att-superscriptshift 'math:superscriptshift CDATA #IMPLIED' >
|
|
|
|
<!ENTITY % att-accentunder 'math:accentunder (true | false)
|
|
#IMPLIED'>
|
|
|
|
<!ENTITY % att-align 'math:align CDATA #IMPLIED' >
|
|
<!ENTITY % att-rowalign 'math:rowalign CDATA #IMPLIED' >
|
|
<!ENTITY % att-columnalign 'math:columnalign CDATA #IMPLIED' >
|
|
<!ENTITY % att-groupalign 'math:groupalign CDATA #IMPLIED' >
|
|
<!ENTITY % att-alignmentscope 'math:alignmentscope CDATA #IMPLIED' >
|
|
|
|
<!ENTITY % att-rowspacing 'math:rowspacing CDATA #IMPLIED' >
|
|
<!ENTITY % att-columnspacing 'math:columnspacing CDATA #IMPLIED' >
|
|
<!ENTITY % att-rowlines 'math:rowlines CDATA #IMPLIED' >
|
|
<!ENTITY % att-columnlines 'math:columnlines CDATA #IMPLIED' >
|
|
<!ENTITY % att-frame 'math:frame (none | solid | dashed)
|
|
#IMPLIED' >
|
|
<!ENTITY % att-framespacing 'math:framespacing CDATA #IMPLIED' >
|
|
<!ENTITY % att-equalrows 'math:equalrows CDATA #IMPLIED' >
|
|
<!ENTITY % att-equalcolumns 'math: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 'math:rowspan CDATA #IMPLIED' >
|
|
<!ENTITY % att-columnspan 'math:columnspan CDATA #IMPLIED' >
|
|
|
|
<!ENTITY % att-edge 'math:edge (left | right) #IMPLIED ' >
|
|
|
|
<!ENTITY % att-actiontype 'math:actiontype CDATA #IMPLIED' >
|
|
<!ENTITY % att-selection 'math:selection CDATA #IMPLIED ' >
|
|
|
|
<!-- presentation token schemata with content-->
|
|
|
|
<!ENTITY % ptoken "math:mi | math:mn | math:mo | math:mtext | math:ms" >
|
|
|
|
<!ATTLIST math:mi %att-fontinfo;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:mn %att-fontinfo;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:mo %att-fontinfo;
|
|
%att-opinfo;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:mtext %att-fontinfo;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:ms %att-fontinfo;
|
|
%att-lquote;
|
|
%att-rquote;
|
|
%att-globalatts; >
|
|
|
|
<!-- empty presentation token schemata -->
|
|
|
|
<!ENTITY % petoken "math:mspace" >
|
|
<!ELEMENT math:mspace EMPTY >
|
|
|
|
<!ATTLIST math:mspace %att-sizeinfo;
|
|
%att-globalatts; >
|
|
|
|
<!-- presentation general layout schemata -->
|
|
|
|
<!ENTITY % pgenschema "math:mrow|math:mfrac|math:msqrt|math:mroot|
|
|
math:mstyle|math:merror|math:mpadded| math:mphantom|math:mfenced" >
|
|
|
|
<!ATTLIST math:mrow %att-globalatts; >
|
|
|
|
<!ATTLIST math:mfrac %att-linethickness;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:msqrt %att-globalatts; >
|
|
|
|
<!ATTLIST math:mroot %att-globalatts; >
|
|
|
|
<!ATTLIST math: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 math:merror %att-globalatts; >
|
|
|
|
<!ATTLIST math:mpadded %att-sizeinfo;
|
|
%att-lspace;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:mphantom %att-globalatts; >
|
|
|
|
<!ATTLIST math:mfenced %att-open;
|
|
%att-close;
|
|
%att-separators;
|
|
%att-globalatts; >
|
|
|
|
<!-- presentation layout schemata : scripts and limits -->
|
|
|
|
<!ENTITY % pscrschema "math:msub|math:msup|math:msubsup|
|
|
math:munder|math:mover|math:munderover|math:mmultiscripts" >
|
|
|
|
<!ATTLIST math:msub %att-subscriptshift;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:msup %att-superscriptshift;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:msubsup %att-subscriptshift;
|
|
%att-superscriptshift;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:munder %att-accentunder;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:mover %att-accent;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:munderover %att-accent;
|
|
%att-accentunder;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:mmultiscripts
|
|
%att-subscriptshift;
|
|
%att-superscriptshift;
|
|
%att-globalatts; >
|
|
|
|
<!-- presentation layout schemata: script empty elements -->
|
|
|
|
<!ENTITY % pscreschema "math:mprescripts|math:none" >
|
|
|
|
<!ELEMENT math:mprescripts EMPTY >
|
|
<!ATTLIST math:mprescripts %att-globalatts; >
|
|
|
|
<!ELEMENT math:none EMPTY >
|
|
<!ATTLIST math:none %att-globalatts; >
|
|
|
|
<!-- presentation layout schemata: tables -->
|
|
|
|
<!ENTITY % ptabschema "math:mtable|math:mtr|math:mtd" >
|
|
|
|
<!ATTLIST math:mtable %att-tableinfo;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:mtr %att-rowalign;
|
|
%att-columnalign;
|
|
%att-groupalign;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:mtd %att-rowalign;
|
|
%att-columnalign;
|
|
%att-groupalign;
|
|
%att-rowspan;
|
|
%att-columnspan;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % plschema "%pgenschema;|%pscrschema;|%ptabschema;" >
|
|
|
|
<!-- empty presentation layout schemata -->
|
|
|
|
<!ENTITY % peschema "math:maligngroup | math:malignmark" >
|
|
|
|
<!ELEMENT math:malignmark EMPTY >
|
|
|
|
<!ATTLIST math:malignmark %att-edge;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:maligngroup EMPTY >
|
|
<!ATTLIST math:maligngroup %att-groupalign;
|
|
%att-globalatts; >
|
|
|
|
<!-- presentation action schemata -->
|
|
|
|
<!ENTITY % pactions "math:maction" >
|
|
<!ATTLIST math: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 'math:base CDATA "10"' >
|
|
<!ENTITY % att-closure 'math:closure CDATA "closed"' >
|
|
<!ENTITY % att-definition 'math:definitionURL CDATA ""' >
|
|
<!ENTITY % att-encoding 'math:encoding CDATA ""' >
|
|
<!ENTITY % att-nargs 'math:nargs CDATA "1"' >
|
|
<!ENTITY % att-occurence 'math:occurence CDATA "function-model"' >
|
|
<!ENTITY % att-order 'math:order CDATA "numeric"' >
|
|
<!ENTITY % att-scope 'math:scope CDATA "local"' >
|
|
<!ENTITY % att-type 'math:type CDATA #IMPLIED' >
|
|
|
|
<!-- content leaf token elements -->
|
|
|
|
<!ENTITY % ctoken "math:ci | math:cn" >
|
|
|
|
<!ATTLIST math:ci %att-type;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:cn %att-type;
|
|
%att-base;
|
|
%att-globalatts; >
|
|
|
|
<!-- content elements - specials -->
|
|
|
|
<!ENTITY % cspecial "math:apply | math:reln | math:lambda" >
|
|
|
|
<!ATTLIST math:apply %att-globalatts; >
|
|
|
|
<!ATTLIST math:reln %att-globalatts; >
|
|
|
|
<!ATTLIST math:lambda %att-globalatts; >
|
|
|
|
<!-- content elements - others -->
|
|
|
|
<!ENTITY % cother "math:condition | math:declare | math:sep" >
|
|
|
|
<!ATTLIST math:condition %att-globalatts; >
|
|
|
|
<!ATTLIST math:declare %att-type;
|
|
%att-scope;
|
|
%att-nargs;
|
|
%att-occurence;
|
|
%att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:sep EMPTY >
|
|
<!ATTLIST math:sep %att-globalatts; >
|
|
|
|
<!-- content elements - semantic mapping -->
|
|
|
|
<!ENTITY % csemantics "math:semantics | math:annotation | math:annotation-xml" >
|
|
|
|
<!ATTLIST math:semantics %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:annotation %att-encoding;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:annotation-xml %att-encoding;
|
|
%att-globalatts; >
|
|
|
|
<!-- content elements - constructors -->
|
|
|
|
<!ENTITY % cconstructor "math:interval | math:list | math:matrix | math:matrixrow | math:set |
|
|
math:vector" >
|
|
|
|
<!ATTLIST math:interval %att-closure;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:set %att-globalatts; >
|
|
|
|
<!ATTLIST math:list %att-order;
|
|
%att-globalatts; >
|
|
|
|
<!ATTLIST math:vector %att-globalatts; >
|
|
|
|
<!ATTLIST math:matrix %att-globalatts; >
|
|
|
|
<!ATTLIST math:matrixrow %att-globalatts; >
|
|
|
|
<!-- content elements - operators -->
|
|
|
|
<!ENTITY % cfuncop1ary "math:inverse | math:ident " >
|
|
|
|
<!ELEMENT math:inverse EMPTY >
|
|
<!ATTLIST math:inverse %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % cfuncopnary "math:fn | math:compose" >
|
|
|
|
<!ATTLIST math:fn %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:ident EMPTY >
|
|
<!ATTLIST math:ident %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:compose EMPTY >
|
|
<!ATTLIST math:compose %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % carithop1ary "math:abs | math:conjugate | math:exp | math:factorial" >
|
|
|
|
<!ELEMENT math:exp EMPTY >
|
|
<!ATTLIST math:exp %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:abs EMPTY >
|
|
<!ATTLIST math:abs %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:conjugate EMPTY >
|
|
<!ATTLIST math:conjugate %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:factorial EMPTY >
|
|
<!ATTLIST math:factorial %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % carithop1or2ary "math:minus" >
|
|
|
|
<!ELEMENT math:minus EMPTY >
|
|
<!ATTLIST math:minus %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % carithop2ary "math:quotient | math:divide | math:power | math:rem" >
|
|
|
|
<!ELEMENT math:quotient EMPTY >
|
|
<!ATTLIST math:quotient %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:divide EMPTY >
|
|
<!ATTLIST math:divide %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:power EMPTY >
|
|
<!ATTLIST math:power %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:rem EMPTY >
|
|
<!ATTLIST math:rem %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % carithopnary "math:plus | math:times | math:max | math:min | math:gcd" >
|
|
|
|
<!ELEMENT math:plus EMPTY >
|
|
<!ATTLIST math:plus %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:max EMPTY >
|
|
<!ATTLIST math:max %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:min EMPTY >
|
|
<!ATTLIST math:min %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:times EMPTY >
|
|
<!ATTLIST math:times %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:gcd EMPTY >
|
|
<!ATTLIST math:gcd %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % carithoproot "math:root" >
|
|
|
|
<!ELEMENT math:root EMPTY >
|
|
<!ATTLIST math:root %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % clogicopquant "math:exists | math:forall" >
|
|
|
|
<!ELEMENT math:exists EMPTY >
|
|
<!ATTLIST math:exists %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:forall EMPTY >
|
|
<!ATTLIST math:forall %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % clogicopnary "math:and | math:or | math:xor" >
|
|
|
|
<!ELEMENT math:and EMPTY >
|
|
<!ATTLIST math:and %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:or EMPTY >
|
|
<!ATTLIST math:or %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:xor EMPTY >
|
|
<!ATTLIST math:xor %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % clogicop1ary "math:not" >
|
|
|
|
<!ELEMENT math:not EMPTY >
|
|
<!ATTLIST math:not %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % clogicop2ary "math:implies" >
|
|
|
|
<!ELEMENT math:implies EMPTY >
|
|
<!ATTLIST math:implies %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % ccalcop "math:log | math:int | math:diff | math:partialdiff" >
|
|
|
|
<!ELEMENT math:log EMPTY >
|
|
<!ATTLIST math:log %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:int EMPTY >
|
|
<!ATTLIST math:int %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:diff EMPTY >
|
|
<!ATTLIST math:diff %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:partialdiff EMPTY >
|
|
<!ATTLIST math:partialdiff %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % ccalcop1ary "math:ln" >
|
|
|
|
<!ELEMENT math:ln EMPTY >
|
|
<!ATTLIST math:ln %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % csetop2ary "math:setdiff" >
|
|
|
|
<!ELEMENT math:setdiff EMPTY >
|
|
<!ATTLIST math:setdiff %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % csetopnary "math:union | math:intersect" >
|
|
|
|
<!ELEMENT math:union EMPTY >
|
|
<!ATTLIST math:union %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:intersect EMPTY >
|
|
<!ATTLIST math:intersect %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % cseqop "math:sum | math:product | math:limit" >
|
|
|
|
<!ELEMENT math:sum EMPTY >
|
|
<!ATTLIST math:sum %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:product EMPTY >
|
|
<!ATTLIST math:product %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:limit EMPTY >
|
|
<!ATTLIST math:limit %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % ctrigop "math:sin | math:cos | math:tan | math:sec | math:csc | math:cot | math:sinh
|
|
| math:cosh | math:tanh | math:sech | math:csch | math:coth
|
|
| math:arcsin | math:arccos | math:arctan" >
|
|
|
|
<!ELEMENT math:sin EMPTY >
|
|
<!ATTLIST math:sin %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:cos EMPTY >
|
|
<!ATTLIST math:cos %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:tan EMPTY >
|
|
<!ATTLIST math:tan %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:sec EMPTY >
|
|
<!ATTLIST math:sec %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:csc EMPTY >
|
|
<!ATTLIST math:csc %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:cot EMPTY >
|
|
<!ATTLIST math:cot %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:sinh EMPTY >
|
|
<!ATTLIST math:sinh %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:cosh EMPTY >
|
|
<!ATTLIST math:cosh %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:tanh EMPTY >
|
|
<!ATTLIST math:tanh %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:sech EMPTY >
|
|
<!ATTLIST math:sech %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:csch EMPTY >
|
|
<!ATTLIST math:csch %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:coth EMPTY >
|
|
<!ATTLIST math:coth %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:arcsin EMPTY >
|
|
<!ATTLIST math:arcsin %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:arccos EMPTY >
|
|
<!ATTLIST math:arccos %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:arctan EMPTY >
|
|
<!ATTLIST math:arctan %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % cstatopnary "math:mean | math:sdev | math:variance | math:median | math:mode" >
|
|
|
|
<!ELEMENT math:mean EMPTY >
|
|
<!ATTLIST math:mean %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:sdev EMPTY >
|
|
<!ATTLIST math:sdev %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:variance EMPTY >
|
|
<!ATTLIST math:variance %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:median EMPTY >
|
|
<!ATTLIST math:median %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:mode EMPTY >
|
|
<!ATTLIST math:mode %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % cstatopmoment "math:moment" >
|
|
|
|
<!ELEMENT math:moment EMPTY >
|
|
<!ATTLIST math:moment %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % clalgop1ary "math:determinant | math:transpose" >
|
|
|
|
<!ELEMENT math:determinant EMPTY >
|
|
<!ATTLIST math:determinant %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:transpose EMPTY >
|
|
<!ATTLIST math:transpose %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % clalgopnary "math:selector" >
|
|
|
|
<!ELEMENT math:selector EMPTY >
|
|
<!ATTLIST math:selector %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!-- content elements - relations -->
|
|
|
|
<!ENTITY % cgenrel2ary "math:neq" >
|
|
|
|
<!ELEMENT math:neq EMPTY >
|
|
<!ATTLIST math:neq %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % cgenrelnary "math:eq | math:leq | math:lt | math:geq | math:gt" >
|
|
|
|
<!ELEMENT math:eq EMPTY >
|
|
<!ATTLIST math:eq %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:gt EMPTY >
|
|
<!ATTLIST math:gt %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:lt EMPTY >
|
|
<!ATTLIST math:lt %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:geq EMPTY >
|
|
<!ATTLIST math:geq %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:leq EMPTY >
|
|
<!ATTLIST math:leq %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % csetrel2ary "math:in | math:notin | math:notsubset | math:notprsubset" >
|
|
|
|
<!ELEMENT math:in EMPTY >
|
|
<!ATTLIST math:in %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:notin EMPTY >
|
|
<!ATTLIST math:notin %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:notsubset EMPTY >
|
|
<!ATTLIST math:notsubset %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:notprsubset EMPTY >
|
|
<!ATTLIST math:notprsubset %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % csetrelnary "math:subset | math:prsubset" >
|
|
|
|
<!ELEMENT math:subset EMPTY >
|
|
<!ATTLIST math:subset %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ELEMENT math:prsubset EMPTY >
|
|
<!ATTLIST math:prsubset %att-definition;
|
|
%att-globalatts; >
|
|
|
|
<!ENTITY % cseqrel2ary "math:tendsto" >
|
|
|
|
<!ELEMENT math:tendsto EMPTY >
|
|
<!ATTLIST math:tendsto %att-definition;
|
|
%att-type;
|
|
%att-globalatts; >
|
|
|
|
<!-- content elements - quantifiers -->
|
|
|
|
<!ENTITY % cquantifier "math:lowlimit | math:uplimit | math:bvar | math:degree | math:logbase" >
|
|
|
|
<!ATTLIST math:lowlimit %att-globalatts; >
|
|
|
|
<!ATTLIST math:uplimit %att-globalatts; >
|
|
|
|
<!ATTLIST math:bvar %att-globalatts; >
|
|
|
|
<!ATTLIST math:degree %att-globalatts; >
|
|
|
|
<!ATTLIST math: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 "math:ci | math:cn | math:apply | math:fn | math:lambda | math:reln
|
|
| math:interval | math:list | math:matrix |math:matrixrow
|
|
| math:set | math:vector | math: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 math:ci (#PCDATA | %PresInCont;)* >
|
|
<!ELEMENT math:cn (#PCDATA | math:sep | %PresInCont;)* >
|
|
|
|
<!-- content special elements -->
|
|
|
|
<!ELEMENT math:apply (%ContentExpression;) >
|
|
<!ELEMENT math:reln (%ContentExpression;) >
|
|
<!ELEMENT math:lambda (%ContentExpression;) >
|
|
|
|
<!-- content other elements -->
|
|
|
|
<!ELEMENT math:condition (%ContentExpression;) >
|
|
<!ELEMENT math:declare (%ContentExpression;) >
|
|
|
|
<!-- content semantics elements -->
|
|
|
|
<!ELEMENT math:semantics (%ContentExpression;) >
|
|
<!ELEMENT math:annotation (#PCDATA) >
|
|
<!ELEMENT math:annotation-xml (%ContentExpression;) >
|
|
|
|
<!-- content constructor elements -->
|
|
|
|
<!ELEMENT math:interval (%ContentExpression;) >
|
|
<!ELEMENT math:set (%ContentExpression;) >
|
|
<!ELEMENT math:list (%ContentExpression;) >
|
|
<!ELEMENT math:vector (%ContentExpression;) >
|
|
<!ELEMENT math:matrix (%ContentExpression;) >
|
|
<!ELEMENT math:matrixrow (%ContentExpression;) >
|
|
|
|
<!-- content operator element (user-defined) -->
|
|
|
|
<!ELEMENT math:fn (%ContentExpression;) >
|
|
|
|
<!-- content quantifier elements -->
|
|
|
|
<!ELEMENT math:lowlimit (%ContentExpression;) >
|
|
<!ELEMENT math:uplimit (%ContentExpression;) >
|
|
<!ELEMENT math:bvar (%ContentExpression;) >
|
|
<!ELEMENT math:degree (%ContentExpression;) >
|
|
<!ELEMENT math:logbase (%ContentExpression;) >
|
|
|
|
<!-- ************************************************* -->
|
|
<!-- presentation layout schema contain tokens, layout and content
|
|
schema -->
|
|
|
|
<!ELEMENT math:mstyle (%PresExpression;) >
|
|
<!ELEMENT math:merror (%PresExpression;) >
|
|
<!ELEMENT math:mphantom (%PresExpression;) >
|
|
<!ELEMENT math:mrow (%PresExpression;) >
|
|
<!ELEMENT math:mfrac (%PresExpression;) >
|
|
<!ELEMENT math:msqrt (%PresExpression;) >
|
|
<!ELEMENT math:mroot (%PresExpression;) >
|
|
<!ELEMENT math:msub (%PresExpression;) >
|
|
<!ELEMENT math:msup (%PresExpression;) >
|
|
<!ELEMENT math:msubsup (%PresExpression;) >
|
|
<!ELEMENT math:mmultiscripts (%PresExpression;) >
|
|
<!ELEMENT math:munder (%PresExpression;) >
|
|
<!ELEMENT math:mover (%PresExpression;) >
|
|
<!ELEMENT math:munderover (%PresExpression;) >
|
|
<!ELEMENT math:mtable (%PresExpression;) >
|
|
<!ELEMENT math:mtr (%PresExpression;) >
|
|
<!ELEMENT math:mtd (%PresExpression;) >
|
|
<!ELEMENT math:maction (%PresExpression;) >
|
|
<!ELEMENT math:mfenced (%PresExpression;) >
|
|
<!ELEMENT math:mpadded (%PresExpression;) >
|
|
|
|
<!-- presentation tokens contain PCDATA or malignmark constructs -->
|
|
|
|
<!ELEMENT math:mi (#PCDATA | math:malignmark )* >
|
|
<!ELEMENT math:mn (#PCDATA | math:malignmark )* >
|
|
<!ELEMENT math:mo (#PCDATA | math:malignmark )* >
|
|
<!ELEMENT math:mtext (#PCDATA | math:malignmark )* >
|
|
<!ELEMENT math:ms (#PCDATA | math:malignmark )* >
|
|
|
|
<!-- ************************************************* -->
|
|
<!-- browser interface definition -->
|
|
|
|
<!-- attributes for top level math element -->
|
|
|
|
<!ENTITY % att-macros 'math:macros CDATA #IMPLIED' >
|
|
<!ENTITY % att-mode 'math:mode CDATA #IMPLIED' >
|
|
|
|
<!ENTITY % att-topinfo '%att-globalatts;
|
|
%att-macros;
|
|
%att-mode;' >
|
|
|
|
<!-- attributes for browser interface element element -->
|
|
|
|
<!ENTITY % att-name 'math:name CDATA #IMPLIED' >
|
|
<!ENTITY % att-baseline 'math:baseline CDATA #IMPLIED' >
|
|
<!ENTITY % att-overflow 'math:overflow
|
|
(scroll|elide|truncate|scale) "scroll"' >
|
|
<!ENTITY % att-altimg 'math:altimg CDATA #IMPLIED' >
|
|
<!ENTITY % att-alttext 'math: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:math (%MathExpression;) >
|
|
|
|
<!ATTLIST math:math %att-topinfo;
|
|
%att-browif; >
|
|
|
|
|
|
<!-- ENTITY sets -->
|
|
|
|
<!-- ... removed ... -->
|
|
|
|
|
|
<!-- MathML new characters -->
|
|
|
|
<!-- ... removed ... -->
|
|
|
|
<!-- end of ENTITY sets -->
|
|
<!-- end of DTD fragment -->
|
|
<!-- ************************************************* -->
|