Annotation of loncom/MathML/mathml.dtd, revision 1.1
1.1 ! harris41 1: <!-- Content model for content and presentation -->
! 2: <!-- and browser interface tags in MathML -->
! 3: <!-- initial draft 9.May.1997 syntax = XML -->
! 4: <!-- author = s.buswell sb@stilo.demon.co.uk -->
! 5: <!-- -->
! 6: <!-- revised 14.May.1997 by Robert Miner -->
! 7: <!-- revised 29.June.1997 and 2.July.1997 by s.buswell -->
! 8: <!-- -->
! 9: <!-- revised 15.December.1997 by s.buswell -->
! 10: <!-- revised 8.February.1998 by s.buswell -->
! 11: <!-- revised 4.april.1998 by s.buswell -->
! 12: <!-- 21.February.1999 entities and small revisions by d.carlisle -->
! 13: <!-- -->
! 14: <!-- W3C Recommendation 7 April 1998 -->
! 15: <!-- ************************************************* -->
! 16:
! 17: <!-- general attribute definitions for class & style & id & other -->
! 18: <!-- : attributes shared by all mathml elements -->
! 19:
! 20: <!ENTITY % att-globalatts 'class CDATA #IMPLIED
! 21: style CDATA #IMPLIED
! 22: id ID #IMPLIED
! 23: other CDATA #IMPLIED' >
! 24:
! 25: <!-- ************************************************* -->
! 26: <!-- Presentation element set -->
! 27:
! 28: <!-- presentation attribute definitions -->
! 29:
! 30: <!ENTITY % att-fontsize 'fontsize CDATA #IMPLIED' >
! 31: <!ENTITY % att-fontweight 'fontweight (normal | bold) #IMPLIED' >
! 32: <!ENTITY % att-fontstyle 'fontstyle (normal | italic) #IMPLIED' >
! 33: <!ENTITY % att-fontfamily 'fontfamily CDATA #IMPLIED' >
! 34: <!ENTITY % att-color 'color CDATA #IMPLIED' >
! 35:
! 36: <!ENTITY % att-fontinfo '%att-fontsize;
! 37: %att-fontweight;
! 38: %att-fontstyle;
! 39: %att-fontfamily;
! 40: %att-color;' >
! 41:
! 42: <!ENTITY % att-form 'form (prefix | infix | postfix) #IMPLIED' >
! 43: <!ENTITY % att-fence 'fence (true | false ) #IMPLIED' >
! 44: <!ENTITY % att-separator 'separator (true | false ) #IMPLIED' >
! 45: <!ENTITY % att-lspace 'lspace CDATA #IMPLIED' >
! 46: <!ENTITY % att-rspace 'rspace CDATA #IMPLIED' >
! 47: <!ENTITY % att-stretchy 'stretchy (true | false ) #IMPLIED' >
! 48: <!ENTITY % att-symmetric 'symmetric (true | false ) #IMPLIED' >
! 49: <!ENTITY % att-maxsize 'maxsize CDATA #IMPLIED' >
! 50: <!ENTITY % att-minsize 'minsize CDATA #IMPLIED' >
! 51: <!ENTITY % att-largeop 'largeop (true | false ) #IMPLIED' >
! 52: <!ENTITY % att-movablelimits 'movablelimits (true | false )
! 53: #IMPLIED' >
! 54: <!ENTITY % att-accent 'accent (true | false) #IMPLIED'>
! 55:
! 56: <!ENTITY % att-opinfo '%att-form;
! 57: %att-fence;
! 58: %att-separator;
! 59: %att-lspace;
! 60: %att-rspace;
! 61: %att-stretchy;
! 62: %att-symmetric;
! 63: %att-maxsize;
! 64: %att-minsize;
! 65: %att-largeop;
! 66: %att-movablelimits;
! 67: %att-accent;' >
! 68:
! 69: <!ENTITY % att-width 'width CDATA #IMPLIED' >
! 70: <!ENTITY % att-height 'height CDATA #IMPLIED' >
! 71: <!ENTITY % att-depth 'depth CDATA #IMPLIED' >
! 72:
! 73: <!ENTITY % att-sizeinfo '%att-width;
! 74: %att-height;
! 75: %att-depth;' >
! 76:
! 77: <!ENTITY % att-lquote 'lquote CDATA #IMPLIED' >
! 78: <!ENTITY % att-rquote 'rquote CDATA #IMPLIED' >
! 79:
! 80: <!ENTITY % att-linethickness 'linethickness CDATA #IMPLIED' >
! 81:
! 82: <!ENTITY % att-scriptlevel 'scriptlevel CDATA #IMPLIED'>
! 83: <!ENTITY % att-displaystyle 'displaystyle (true | false)
! 84: #IMPLIED'>
! 85: <!ENTITY % att-scriptsizemultiplier 'scriptsizemultiplier CDATA
! 86: #IMPLIED' >
! 87: <!ENTITY % att-scriptminsize 'scriptminsize CDATA #IMPLIED'>
! 88: <!ENTITY % att-background 'background CDATA #IMPLIED' >
! 89:
! 90: <!ENTITY % att-open 'open CDATA #IMPLIED' >
! 91: <!ENTITY % att-close 'close CDATA #IMPLIED' >
! 92: <!ENTITY % att-separators 'separators CDATA #IMPLIED' >
! 93:
! 94: <!ENTITY % att-subscriptshift 'subscriptshift CDATA #IMPLIED'>
! 95: <!ENTITY % att-superscriptshift 'superscriptshift CDATA #IMPLIED' >
! 96:
! 97: <!ENTITY % att-accentunder 'accentunder (true | false)
! 98: #IMPLIED'>
! 99:
! 100: <!ENTITY % att-align 'align CDATA #IMPLIED' >
! 101: <!ENTITY % att-rowalign 'rowalign CDATA #IMPLIED' >
! 102: <!ENTITY % att-columnalign 'columnalign CDATA #IMPLIED' >
! 103: <!ENTITY % att-groupalign 'groupalign CDATA #IMPLIED' >
! 104: <!ENTITY % att-alignmentscope 'alignmentscope CDATA #IMPLIED' >
! 105:
! 106: <!ENTITY % att-rowspacing 'rowspacing CDATA #IMPLIED' >
! 107: <!ENTITY % att-columnspacing 'columnspacing CDATA #IMPLIED' >
! 108: <!ENTITY % att-rowlines 'rowlines CDATA #IMPLIED' >
! 109: <!ENTITY % att-columnlines 'columnlines CDATA #IMPLIED' >
! 110: <!ENTITY % att-frame 'frame (none | solid | dashed)
! 111: #IMPLIED' >
! 112: <!ENTITY % att-framespacing 'framespacing CDATA #IMPLIED' >
! 113: <!ENTITY % att-equalrows 'equalrows CDATA #IMPLIED' >
! 114: <!ENTITY % att-equalcolumns 'equalcolumns CDATA #IMPLIED' >
! 115:
! 116: <!ENTITY % att-tableinfo '%att-align;
! 117: %att-rowalign;
! 118: %att-columnalign;
! 119: %att-groupalign;
! 120: %att-alignmentscope;
! 121: %att-rowspacing;
! 122: %att-columnspacing;
! 123: %att-rowlines;
! 124: %att-columnlines;
! 125: %att-frame;
! 126: %att-framespacing;
! 127: %att-equalrows;
! 128: %att-equalcolumns;
! 129: %att-displaystyle;' >
! 130:
! 131: <!ENTITY % att-rowspan 'rowspan CDATA #IMPLIED' >
! 132: <!ENTITY % att-columnspan 'columnspan CDATA #IMPLIED' >
! 133:
! 134: <!ENTITY % att-edge 'edge (left | right) #IMPLIED ' >
! 135:
! 136: <!ENTITY % att-actiontype 'actiontype CDATA #IMPLIED' >
! 137: <!ENTITY % att-selection 'selection CDATA #IMPLIED ' >
! 138:
! 139: <!-- presentation token schemata with content-->
! 140:
! 141: <!ENTITY % ptoken "mi | mn | mo | mtext | ms" >
! 142:
! 143: <!ATTLIST mi %att-fontinfo;
! 144: %att-globalatts; >
! 145:
! 146: <!ATTLIST mn %att-fontinfo;
! 147: %att-globalatts; >
! 148:
! 149: <!ATTLIST mo %att-fontinfo;
! 150: %att-opinfo;
! 151: %att-globalatts; >
! 152:
! 153: <!ATTLIST mtext %att-fontinfo;
! 154: %att-globalatts; >
! 155:
! 156: <!ATTLIST ms %att-fontinfo;
! 157: %att-lquote;
! 158: %att-rquote;
! 159: %att-globalatts; >
! 160:
! 161: <!-- empty presentation token schemata -->
! 162:
! 163: <!ENTITY % petoken "mspace" >
! 164: <!ELEMENT mspace EMPTY >
! 165:
! 166: <!ATTLIST mspace %att-sizeinfo;
! 167: %att-globalatts; >
! 168:
! 169: <!-- presentation general layout schemata -->
! 170:
! 171: <!ENTITY % pgenschema "mrow|mfrac|msqrt|mroot|
! 172: mstyle|merror|mpadded| mphantom|mfenced" >
! 173:
! 174: <!ATTLIST mrow %att-globalatts; >
! 175:
! 176: <!ATTLIST mfrac %att-linethickness;
! 177: %att-globalatts; >
! 178:
! 179: <!ATTLIST msqrt %att-globalatts; >
! 180:
! 181: <!ATTLIST mroot %att-globalatts; >
! 182:
! 183: <!ATTLIST mstyle %att-fontinfo;
! 184: %att-opinfo;
! 185: %att-lquote;
! 186: %att-rquote;
! 187: %att-linethickness;
! 188: %att-scriptlevel;
! 189: %att-scriptsizemultiplier;
! 190: %att-scriptminsize;
! 191: %att-background;
! 192: %att-open;
! 193: %att-close;
! 194: %att-separators;
! 195: %att-subscriptshift;
! 196: %att-superscriptshift;
! 197: %att-accentunder;
! 198: %att-tableinfo;
! 199: %att-rowspan;
! 200: %att-columnspan;
! 201: %att-edge;
! 202: %att-actiontype;
! 203: %att-selection;
! 204: %att-globalatts; >
! 205:
! 206: <!ATTLIST merror %att-globalatts; >
! 207:
! 208: <!ATTLIST mpadded %att-sizeinfo;
! 209: %att-lspace;
! 210: %att-globalatts; >
! 211:
! 212: <!ATTLIST mphantom %att-globalatts; >
! 213:
! 214: <!ATTLIST mfenced %att-open;
! 215: %att-close;
! 216: %att-separators;
! 217: %att-globalatts; >
! 218:
! 219: <!-- presentation layout schemata : scripts and limits -->
! 220:
! 221: <!ENTITY % pscrschema "msub|msup|msubsup|
! 222: munder|mover|munderover|mmultiscripts" >
! 223:
! 224: <!ATTLIST msub %att-subscriptshift;
! 225: %att-globalatts; >
! 226:
! 227: <!ATTLIST msup %att-superscriptshift;
! 228: %att-globalatts; >
! 229:
! 230: <!ATTLIST msubsup %att-subscriptshift;
! 231: %att-superscriptshift;
! 232: %att-globalatts; >
! 233:
! 234: <!ATTLIST munder %att-accentunder;
! 235: %att-globalatts; >
! 236:
! 237: <!ATTLIST mover %att-accent;
! 238: %att-globalatts; >
! 239:
! 240: <!ATTLIST munderover %att-accent;
! 241: %att-accentunder;
! 242: %att-globalatts; >
! 243:
! 244: <!ATTLIST mmultiscripts
! 245: %att-subscriptshift;
! 246: %att-superscriptshift;
! 247: %att-globalatts; >
! 248:
! 249: <!-- presentation layout schemata: script empty elements -->
! 250:
! 251: <!ENTITY % pscreschema "mprescripts|none" >
! 252:
! 253: <!ELEMENT mprescripts EMPTY >
! 254: <!ATTLIST mprescripts %att-globalatts; >
! 255:
! 256: <!ELEMENT none EMPTY >
! 257: <!ATTLIST none %att-globalatts; >
! 258:
! 259: <!-- presentation layout schemata: tables -->
! 260:
! 261: <!ENTITY % ptabschema "mtable|mtr|mtd" >
! 262:
! 263: <!ATTLIST mtable %att-tableinfo;
! 264: %att-globalatts; >
! 265:
! 266: <!ATTLIST mtr %att-rowalign;
! 267: %att-columnalign;
! 268: %att-groupalign;
! 269: %att-globalatts; >
! 270:
! 271: <!ATTLIST mtd %att-rowalign;
! 272: %att-columnalign;
! 273: %att-groupalign;
! 274: %att-rowspan;
! 275: %att-columnspan;
! 276: %att-globalatts; >
! 277:
! 278: <!ENTITY % plschema "%pgenschema;|%pscrschema;|%ptabschema;" >
! 279:
! 280: <!-- empty presentation layout schemata -->
! 281:
! 282: <!ENTITY % peschema "maligngroup | malignmark" >
! 283:
! 284: <!ELEMENT malignmark EMPTY >
! 285:
! 286: <!ATTLIST malignmark %att-edge;
! 287: %att-globalatts; >
! 288:
! 289: <!ELEMENT maligngroup EMPTY >
! 290: <!ATTLIST maligngroup %att-groupalign;
! 291: %att-globalatts; >
! 292:
! 293: <!-- presentation action schemata -->
! 294:
! 295: <!ENTITY % pactions "maction" >
! 296: <!ATTLIST maction %att-actiontype;
! 297: %att-selection;
! 298: %att-globalatts; >
! 299:
! 300: <!-- Presentation entity for substitution into content tag constructs -->
! 301: <!-- excludes elements which are not valid as expressions -->
! 302:
! 303: <!ENTITY % PresInCont "%ptoken; | %petoken; |
! 304: %plschema; | %peschema; | %pactions;">
! 305:
! 306: <!-- Presentation entity - all presentation constructs -->
! 307:
! 308: <!ENTITY % Presentation "%ptoken; | %petoken; | %pscreschema; |
! 309: %plschema; | %peschema; | %pactions;">
! 310:
! 311: <!-- ************************************************* -->
! 312: <!-- Content element set -->
! 313: <!-- attribute definitions -->
! 314:
! 315: <!ENTITY % att-base 'base CDATA "10"' >
! 316: <!ENTITY % att-closure 'closure CDATA "closed"' >
! 317: <!ENTITY % att-definition 'definitionURL CDATA ""' >
! 318: <!ENTITY % att-encoding 'encoding CDATA ""' >
! 319: <!ENTITY % att-nargs 'nargs CDATA "1"' >
! 320: <!ENTITY % att-occurence 'occurence CDATA "function-model"' >
! 321: <!ENTITY % att-order 'order CDATA "numeric"' >
! 322: <!ENTITY % att-scope 'scope CDATA "local"' >
! 323: <!ENTITY % att-type 'type CDATA #IMPLIED' >
! 324:
! 325: <!-- content leaf token elements -->
! 326:
! 327: <!ENTITY % ctoken "ci | cn" >
! 328:
! 329: <!ATTLIST ci %att-type;
! 330: %att-globalatts; >
! 331:
! 332: <!ATTLIST cn %att-type;
! 333: %att-base;
! 334: %att-globalatts; >
! 335:
! 336: <!-- content elements - specials -->
! 337:
! 338: <!ENTITY % cspecial "apply | reln | lambda" >
! 339:
! 340: <!ATTLIST apply %att-globalatts; >
! 341:
! 342: <!ATTLIST reln %att-globalatts; >
! 343:
! 344: <!ATTLIST lambda %att-globalatts; >
! 345:
! 346: <!-- content elements - others -->
! 347:
! 348: <!ENTITY % cother "condition | declare | sep" >
! 349:
! 350: <!ATTLIST condition %att-globalatts; >
! 351:
! 352: <!ATTLIST declare %att-type;
! 353: %att-scope;
! 354: %att-nargs;
! 355: %att-occurence;
! 356: %att-definition;
! 357: %att-globalatts; >
! 358:
! 359: <!ELEMENT sep EMPTY >
! 360: <!ATTLIST sep %att-globalatts; >
! 361:
! 362: <!-- content elements - semantic mapping -->
! 363:
! 364: <!ENTITY % csemantics "semantics | annotation | annotation-xml" >
! 365:
! 366: <!ATTLIST semantics %att-definition;
! 367: %att-globalatts; >
! 368:
! 369: <!ATTLIST annotation %att-encoding;
! 370: %att-globalatts; >
! 371:
! 372: <!ATTLIST annotation-xml %att-encoding;
! 373: %att-globalatts; >
! 374:
! 375: <!-- content elements - constructors -->
! 376:
! 377: <!ENTITY % cconstructor "interval | list | matrix | matrixrow | set |
! 378: vector" >
! 379:
! 380: <!ATTLIST interval %att-closure;
! 381: %att-globalatts; >
! 382:
! 383: <!ATTLIST set %att-globalatts; >
! 384:
! 385: <!ATTLIST list %att-order;
! 386: %att-globalatts; >
! 387:
! 388: <!ATTLIST vector %att-globalatts; >
! 389:
! 390: <!ATTLIST matrix %att-globalatts; >
! 391:
! 392: <!ATTLIST matrixrow %att-globalatts; >
! 393:
! 394: <!-- content elements - operators -->
! 395:
! 396: <!ENTITY % cfuncop1ary "inverse | ident " >
! 397:
! 398: <!ELEMENT inverse EMPTY >
! 399: <!ATTLIST inverse %att-definition;
! 400: %att-globalatts; >
! 401:
! 402: <!ENTITY % cfuncopnary "fn | compose" >
! 403:
! 404: <!ATTLIST fn %att-definition;
! 405: %att-globalatts; >
! 406:
! 407: <!ELEMENT ident EMPTY >
! 408: <!ATTLIST ident %att-definition;
! 409: %att-globalatts; >
! 410:
! 411: <!ELEMENT compose EMPTY >
! 412: <!ATTLIST compose %att-definition;
! 413: %att-globalatts; >
! 414:
! 415: <!ENTITY % carithop1ary "abs | conjugate | exp | factorial" >
! 416:
! 417: <!ELEMENT exp EMPTY >
! 418: <!ATTLIST exp %att-definition;
! 419: %att-globalatts; >
! 420:
! 421: <!ELEMENT abs EMPTY >
! 422: <!ATTLIST abs %att-definition;
! 423: %att-globalatts; >
! 424:
! 425: <!ELEMENT conjugate EMPTY >
! 426: <!ATTLIST conjugate %att-definition;
! 427: %att-globalatts; >
! 428:
! 429: <!ELEMENT factorial EMPTY >
! 430: <!ATTLIST factorial %att-definition;
! 431: %att-globalatts; >
! 432:
! 433: <!ENTITY % carithop1or2ary "minus" >
! 434:
! 435: <!ELEMENT minus EMPTY >
! 436: <!ATTLIST minus %att-definition;
! 437: %att-globalatts; >
! 438:
! 439: <!ENTITY % carithop2ary "quotient | divide | power | rem" >
! 440:
! 441: <!ELEMENT quotient EMPTY >
! 442: <!ATTLIST quotient %att-definition;
! 443: %att-globalatts; >
! 444:
! 445: <!ELEMENT divide EMPTY >
! 446: <!ATTLIST divide %att-definition;
! 447: %att-globalatts; >
! 448:
! 449: <!ELEMENT power EMPTY >
! 450: <!ATTLIST power %att-definition;
! 451: %att-globalatts; >
! 452:
! 453: <!ELEMENT rem EMPTY >
! 454: <!ATTLIST rem %att-definition;
! 455: %att-globalatts; >
! 456:
! 457: <!ENTITY % carithopnary "plus | times | max | min | gcd" >
! 458:
! 459: <!ELEMENT plus EMPTY >
! 460: <!ATTLIST plus %att-definition;
! 461: %att-globalatts; >
! 462:
! 463: <!ELEMENT max EMPTY >
! 464: <!ATTLIST max %att-definition;
! 465: %att-globalatts; >
! 466:
! 467: <!ELEMENT min EMPTY >
! 468: <!ATTLIST min %att-definition;
! 469: %att-globalatts; >
! 470:
! 471: <!ELEMENT times EMPTY >
! 472: <!ATTLIST times %att-definition;
! 473: %att-globalatts; >
! 474:
! 475: <!ELEMENT gcd EMPTY >
! 476: <!ATTLIST gcd %att-definition;
! 477: %att-globalatts; >
! 478:
! 479: <!ENTITY % carithoproot "root" >
! 480:
! 481: <!ELEMENT root EMPTY >
! 482: <!ATTLIST root %att-definition;
! 483: %att-globalatts; >
! 484:
! 485: <!ENTITY % clogicopquant "exists | forall" >
! 486:
! 487: <!ELEMENT exists EMPTY >
! 488: <!ATTLIST exists %att-definition;
! 489: %att-globalatts; >
! 490:
! 491: <!ELEMENT forall EMPTY >
! 492: <!ATTLIST forall %att-definition;
! 493: %att-globalatts; >
! 494:
! 495: <!ENTITY % clogicopnary "and | or | xor" >
! 496:
! 497: <!ELEMENT and EMPTY >
! 498: <!ATTLIST and %att-definition;
! 499: %att-globalatts; >
! 500:
! 501: <!ELEMENT or EMPTY >
! 502: <!ATTLIST or %att-definition;
! 503: %att-globalatts; >
! 504:
! 505: <!ELEMENT xor EMPTY >
! 506: <!ATTLIST xor %att-definition;
! 507: %att-globalatts; >
! 508:
! 509: <!ENTITY % clogicop1ary "not" >
! 510:
! 511: <!ELEMENT not EMPTY >
! 512: <!ATTLIST not %att-definition;
! 513: %att-globalatts; >
! 514:
! 515: <!ENTITY % clogicop2ary "implies" >
! 516:
! 517: <!ELEMENT implies EMPTY >
! 518: <!ATTLIST implies %att-definition;
! 519: %att-globalatts; >
! 520:
! 521: <!ENTITY % ccalcop "log | int | diff | partialdiff" >
! 522:
! 523: <!ELEMENT log EMPTY >
! 524: <!ATTLIST log %att-definition;
! 525: %att-globalatts; >
! 526:
! 527: <!ELEMENT int EMPTY >
! 528: <!ATTLIST int %att-definition;
! 529: %att-globalatts; >
! 530:
! 531: <!ELEMENT diff EMPTY >
! 532: <!ATTLIST diff %att-definition;
! 533: %att-globalatts; >
! 534:
! 535: <!ELEMENT partialdiff EMPTY >
! 536: <!ATTLIST partialdiff %att-definition;
! 537: %att-globalatts; >
! 538:
! 539: <!ENTITY % ccalcop1ary "ln" >
! 540:
! 541: <!ELEMENT ln EMPTY >
! 542: <!ATTLIST ln %att-definition;
! 543: %att-globalatts; >
! 544:
! 545: <!ENTITY % csetop2ary "setdiff" >
! 546:
! 547: <!ELEMENT setdiff EMPTY >
! 548: <!ATTLIST setdiff %att-definition;
! 549: %att-globalatts; >
! 550:
! 551: <!ENTITY % csetopnary "union | intersect" >
! 552:
! 553: <!ELEMENT union EMPTY >
! 554: <!ATTLIST union %att-definition;
! 555: %att-globalatts; >
! 556:
! 557: <!ELEMENT intersect EMPTY >
! 558: <!ATTLIST intersect %att-definition;
! 559: %att-globalatts; >
! 560:
! 561: <!ENTITY % cseqop "sum | product | limit" >
! 562:
! 563: <!ELEMENT sum EMPTY >
! 564: <!ATTLIST sum %att-definition;
! 565: %att-globalatts; >
! 566:
! 567: <!ELEMENT product EMPTY >
! 568: <!ATTLIST product %att-definition;
! 569: %att-globalatts; >
! 570:
! 571: <!ELEMENT limit EMPTY >
! 572: <!ATTLIST limit %att-definition;
! 573: %att-globalatts; >
! 574:
! 575: <!ENTITY % ctrigop "sin | cos | tan | sec | csc | cot | sinh
! 576: | cosh | tanh | sech | csch | coth
! 577: | arcsin | arccos | arctan" >
! 578:
! 579: <!ELEMENT sin EMPTY >
! 580: <!ATTLIST sin %att-definition;
! 581: %att-globalatts; >
! 582:
! 583: <!ELEMENT cos EMPTY >
! 584: <!ATTLIST cos %att-definition;
! 585: %att-globalatts; >
! 586:
! 587: <!ELEMENT tan EMPTY >
! 588: <!ATTLIST tan %att-definition;
! 589: %att-globalatts; >
! 590:
! 591: <!ELEMENT sec EMPTY >
! 592: <!ATTLIST sec %att-definition;
! 593: %att-globalatts; >
! 594:
! 595: <!ELEMENT csc EMPTY >
! 596: <!ATTLIST csc %att-definition;
! 597: %att-globalatts; >
! 598:
! 599: <!ELEMENT cot EMPTY >
! 600: <!ATTLIST cot %att-definition;
! 601: %att-globalatts; >
! 602:
! 603: <!ELEMENT sinh EMPTY >
! 604: <!ATTLIST sinh %att-definition;
! 605: %att-globalatts; >
! 606:
! 607: <!ELEMENT cosh EMPTY >
! 608: <!ATTLIST cosh %att-definition;
! 609: %att-globalatts; >
! 610:
! 611: <!ELEMENT tanh EMPTY >
! 612: <!ATTLIST tanh %att-definition;
! 613: %att-globalatts; >
! 614:
! 615: <!ELEMENT sech EMPTY >
! 616: <!ATTLIST sech %att-definition;
! 617: %att-globalatts; >
! 618:
! 619: <!ELEMENT csch EMPTY >
! 620: <!ATTLIST csch %att-definition;
! 621: %att-globalatts; >
! 622:
! 623: <!ELEMENT coth EMPTY >
! 624: <!ATTLIST coth %att-definition;
! 625: %att-globalatts; >
! 626:
! 627: <!ELEMENT arcsin EMPTY >
! 628: <!ATTLIST arcsin %att-definition;
! 629: %att-globalatts; >
! 630:
! 631: <!ELEMENT arccos EMPTY >
! 632: <!ATTLIST arccos %att-definition;
! 633: %att-globalatts; >
! 634:
! 635: <!ELEMENT arctan EMPTY >
! 636: <!ATTLIST arctan %att-definition;
! 637: %att-globalatts; >
! 638:
! 639: <!ENTITY % cstatopnary "mean | sdev | variance | median | mode" >
! 640:
! 641: <!ELEMENT mean EMPTY >
! 642: <!ATTLIST mean %att-definition;
! 643: %att-globalatts; >
! 644:
! 645: <!ELEMENT sdev EMPTY >
! 646: <!ATTLIST sdev %att-definition;
! 647: %att-globalatts; >
! 648:
! 649: <!ELEMENT variance EMPTY >
! 650: <!ATTLIST variance %att-definition;
! 651: %att-globalatts; >
! 652:
! 653: <!ELEMENT median EMPTY >
! 654: <!ATTLIST median %att-definition;
! 655: %att-globalatts; >
! 656:
! 657: <!ELEMENT mode EMPTY >
! 658: <!ATTLIST mode %att-definition;
! 659: %att-globalatts; >
! 660:
! 661: <!ENTITY % cstatopmoment "moment" >
! 662:
! 663: <!ELEMENT moment EMPTY >
! 664: <!ATTLIST moment %att-definition;
! 665: %att-globalatts; >
! 666:
! 667: <!ENTITY % clalgop1ary "determinant | transpose" >
! 668:
! 669: <!ELEMENT determinant EMPTY >
! 670: <!ATTLIST determinant %att-definition;
! 671: %att-globalatts; >
! 672:
! 673: <!ELEMENT transpose EMPTY >
! 674: <!ATTLIST transpose %att-definition;
! 675: %att-globalatts; >
! 676:
! 677: <!ENTITY % clalgopnary "selector" >
! 678:
! 679: <!ELEMENT selector EMPTY >
! 680: <!ATTLIST selector %att-definition;
! 681: %att-globalatts; >
! 682:
! 683: <!-- content elements - relations -->
! 684:
! 685: <!ENTITY % cgenrel2ary "neq" >
! 686:
! 687: <!ELEMENT neq EMPTY >
! 688: <!ATTLIST neq %att-definition;
! 689: %att-globalatts; >
! 690:
! 691: <!ENTITY % cgenrelnary "eq | leq | lt | geq | gt" >
! 692:
! 693: <!ELEMENT eq EMPTY >
! 694: <!ATTLIST eq %att-definition;
! 695: %att-globalatts; >
! 696:
! 697: <!ELEMENT gt EMPTY >
! 698: <!ATTLIST gt %att-definition;
! 699: %att-globalatts; >
! 700:
! 701: <!ELEMENT lt EMPTY >
! 702: <!ATTLIST lt %att-definition;
! 703: %att-globalatts; >
! 704:
! 705: <!ELEMENT geq EMPTY >
! 706: <!ATTLIST geq %att-definition;
! 707: %att-globalatts; >
! 708:
! 709: <!ELEMENT leq EMPTY >
! 710: <!ATTLIST leq %att-definition;
! 711: %att-globalatts; >
! 712:
! 713: <!ENTITY % csetrel2ary "in | notin | notsubset | notprsubset" >
! 714:
! 715: <!ELEMENT in EMPTY >
! 716: <!ATTLIST in %att-definition;
! 717: %att-globalatts; >
! 718:
! 719: <!ELEMENT notin EMPTY >
! 720: <!ATTLIST notin %att-definition;
! 721: %att-globalatts; >
! 722:
! 723: <!ELEMENT notsubset EMPTY >
! 724: <!ATTLIST notsubset %att-definition;
! 725: %att-globalatts; >
! 726:
! 727: <!ELEMENT notprsubset EMPTY >
! 728: <!ATTLIST notprsubset %att-definition;
! 729: %att-globalatts; >
! 730:
! 731: <!ENTITY % csetrelnary "subset | prsubset" >
! 732:
! 733: <!ELEMENT subset EMPTY >
! 734: <!ATTLIST subset %att-definition;
! 735: %att-globalatts; >
! 736:
! 737: <!ELEMENT prsubset EMPTY >
! 738: <!ATTLIST prsubset %att-definition;
! 739: %att-globalatts; >
! 740:
! 741: <!ENTITY % cseqrel2ary "tendsto" >
! 742:
! 743: <!ELEMENT tendsto EMPTY >
! 744: <!ATTLIST tendsto %att-definition;
! 745: %att-type;
! 746: %att-globalatts; >
! 747:
! 748: <!-- content elements - quantifiers -->
! 749:
! 750: <!ENTITY % cquantifier "lowlimit | uplimit | bvar | degree | logbase" >
! 751:
! 752: <!ATTLIST lowlimit %att-globalatts; >
! 753:
! 754: <!ATTLIST uplimit %att-globalatts; >
! 755:
! 756: <!ATTLIST bvar %att-globalatts; >
! 757:
! 758: <!ATTLIST degree %att-globalatts; >
! 759:
! 760: <!ATTLIST logbase %att-globalatts; >
! 761:
! 762: <!-- operator groups -->
! 763:
! 764: <!ENTITY % cop1ary "%cfuncop1ary; | %carithop1ary; | %clogicop1ary;
! 765: | %ccalcop1ary; | %ctrigop; | %clalgop1ary; " >
! 766:
! 767: <!ENTITY % cop2ary "%carithop2ary; | %clogicop2ary;| %csetop2ary; " >
! 768:
! 769: <!ENTITY % copnary "%cfuncopnary; | %carithopnary; | %clogicopnary;
! 770: | %csetopnary; | %cstatopnary; | %clalgopnary; " >
! 771:
! 772: <!ENTITY % copmisc "%carithoproot; | %carithop1or2ary; | %ccalcop;
! 773: | %cseqop; | %cstatopmoment; | %clogicopquant;" >
! 774:
! 775: <!-- relation groups -->
! 776:
! 777: <!ENTITY % crel2ary "%cgenrel2ary; | %csetrel2ary; | %cseqrel2ary; " >
! 778:
! 779: <!ENTITY % crelnary "%cgenrelnary; | %csetrelnary;" >
! 780:
! 781: <!-- content constructs - all -->
! 782:
! 783: <!ENTITY % Content "%ctoken; | %cspecial; | %cother; | %csemantics;
! 784: |%cconstructor; | %cquantifier;
! 785: |%cop1ary; |%cop2ary; |%copnary; |%copmisc;
! 786: |%crel2ary; |%crelnary;" >
! 787:
! 788: <!-- content constructs for substitution in presentation structures -->
! 789:
! 790: <!ENTITY % ContInPres "ci | cn | apply | fn | lambda | reln
! 791: | interval | list | matrix |matrixrow
! 792: | set | vector | semantics" > <!--dpc-->
! 793:
! 794: <!-- ************************************************* -->
! 795:
! 796: <!-- recursive definition for content of expressions -->
! 797: <!-- include presentation tag constructs at lowest level -->
! 798: <!-- so presentation layout schemata hold presentation or Content -->
! 799: <!-- include Content tag constructs at lowest level -->
! 800: <!-- so Content tokens hold PCDATA or Presentation at leaf level -->
! 801: <!-- (for permitted substitutable elements in context) -->
! 802:
! 803: <!ENTITY % ContentExpression "(%Content; | %PresInCont;)* " >
! 804: <!ENTITY % PresExpression "(%Presentation; | %ContInPres;)* " >
! 805: <!ENTITY % MathExpression "(%PresInCont; | %ContInPres;)* " >
! 806:
! 807: <!-- content token elements (may hold embedded presentation constructs)
! 808: -->
! 809:
! 810: <!ELEMENT ci (#PCDATA | %PresInCont;)* >
! 811: <!ELEMENT cn (#PCDATA | sep | %PresInCont;)* >
! 812:
! 813: <!-- content special elements -->
! 814:
! 815: <!ELEMENT apply (%ContentExpression;) >
! 816: <!ELEMENT reln (%ContentExpression;) >
! 817: <!ELEMENT lambda (%ContentExpression;) >
! 818:
! 819: <!-- content other elements -->
! 820:
! 821: <!ELEMENT condition (%ContentExpression;) >
! 822: <!ELEMENT declare (%ContentExpression;) >
! 823:
! 824: <!-- content semantics elements -->
! 825:
! 826: <!ELEMENT semantics (%ContentExpression;) >
! 827: <!ELEMENT annotation (#PCDATA) >
! 828: <!ELEMENT annotation-xml (%ContentExpression;) >
! 829:
! 830: <!-- content constructor elements -->
! 831:
! 832: <!ELEMENT interval (%ContentExpression;) >
! 833: <!ELEMENT set (%ContentExpression;) >
! 834: <!ELEMENT list (%ContentExpression;) >
! 835: <!ELEMENT vector (%ContentExpression;) >
! 836: <!ELEMENT matrix (%ContentExpression;) >
! 837: <!ELEMENT matrixrow (%ContentExpression;) >
! 838:
! 839: <!-- content operator element (user-defined) -->
! 840:
! 841: <!ELEMENT fn (%ContentExpression;) >
! 842:
! 843: <!-- content quantifier elements -->
! 844:
! 845: <!ELEMENT lowlimit (%ContentExpression;) >
! 846: <!ELEMENT uplimit (%ContentExpression;) >
! 847: <!ELEMENT bvar (%ContentExpression;) >
! 848: <!ELEMENT degree (%ContentExpression;) >
! 849: <!ELEMENT logbase (%ContentExpression;) >
! 850:
! 851: <!-- ************************************************* -->
! 852: <!-- presentation layout schema contain tokens, layout and content
! 853: schema -->
! 854:
! 855: <!ELEMENT mstyle (%PresExpression;) >
! 856: <!ELEMENT merror (%PresExpression;) >
! 857: <!ELEMENT mphantom (%PresExpression;) >
! 858: <!ELEMENT mrow (%PresExpression;) >
! 859: <!ELEMENT mfrac (%PresExpression;) >
! 860: <!ELEMENT msqrt (%PresExpression;) >
! 861: <!ELEMENT mroot (%PresExpression;) >
! 862: <!ELEMENT msub (%PresExpression;) >
! 863: <!ELEMENT msup (%PresExpression;) >
! 864: <!ELEMENT msubsup (%PresExpression;) >
! 865: <!ELEMENT mmultiscripts (%PresExpression;) >
! 866: <!ELEMENT munder (%PresExpression;) >
! 867: <!ELEMENT mover (%PresExpression;) >
! 868: <!ELEMENT munderover (%PresExpression;) >
! 869: <!ELEMENT mtable (%PresExpression;) >
! 870: <!ELEMENT mtr (%PresExpression;) >
! 871: <!ELEMENT mtd (%PresExpression;) >
! 872: <!ELEMENT maction (%PresExpression;) >
! 873: <!ELEMENT mfenced (%PresExpression;) >
! 874: <!ELEMENT mpadded (%PresExpression;) >
! 875:
! 876: <!-- presentation tokens contain PCDATA or malignmark constructs -->
! 877:
! 878: <!ELEMENT mi (#PCDATA | malignmark )* >
! 879: <!ELEMENT mn (#PCDATA | malignmark )* >
! 880: <!ELEMENT mo (#PCDATA | malignmark )* >
! 881: <!ELEMENT mtext (#PCDATA | malignmark )* >
! 882: <!ELEMENT ms (#PCDATA | malignmark )* >
! 883:
! 884: <!-- ************************************************* -->
! 885: <!-- browser interface definition -->
! 886:
! 887: <!-- attributes for top level math element -->
! 888:
! 889: <!ENTITY % att-macros 'macros CDATA #IMPLIED' >
! 890: <!ENTITY % att-mode 'mode CDATA #IMPLIED' >
! 891:
! 892: <!ENTITY % att-topinfo '%att-globalatts;
! 893: %att-macros;
! 894: %att-mode;' >
! 895:
! 896: <!-- attributes for browser interface element element -->
! 897:
! 898: <!ENTITY % att-name 'name CDATA #IMPLIED' >
! 899: <!ENTITY % att-baseline 'baseline CDATA #IMPLIED' >
! 900: <!ENTITY % att-overflow 'overflow
! 901: (scroll|elide|truncate|scale) "scroll"' >
! 902: <!ENTITY % att-altimg 'altimg CDATA #IMPLIED' >
! 903: <!ENTITY % att-alttext 'alttext CDATA #IMPLIED' >
! 904:
! 905: <!ENTITY % att-browif '%att-type;
! 906: %att-name;
! 907: %att-height;
! 908: %att-width;
! 909: %att-baseline;
! 910: %att-overflow;
! 911: %att-altimg;
! 912: %att-alttext; ' >
! 913:
! 914: <!-- the top level math element -->
! 915: <!-- math contains MathML encoded mathematics -->
! 916: <!-- math has the browser info attributes iff it is the
! 917: browser interface element also -->
! 918:
! 919: <!ELEMENT math (%MathExpression;) >
! 920:
! 921: <!ATTLIST math %att-topinfo;
! 922: %att-browif; >
! 923:
! 924:
! 925: <!-- ENTITY sets -->
! 926:
! 927: <!-- ISO 9573-13 -->
! 928:
! 929: <!ENTITY % ent-isoamsa SYSTEM "isoamsa.ent" >
! 930: %ent-isoamsa;
! 931:
! 932: <!ENTITY % ent-isoamsb SYSTEM "isoamsb.ent" >
! 933: %ent-isoamsb;
! 934:
! 935: <!ENTITY % ent-isoamsc SYSTEM "isoamsc.ent" >
! 936: %ent-isoamsc;
! 937:
! 938: <!ENTITY % ent-isoamsn SYSTEM "isoamsn.ent" >
! 939: %ent-isoamsn;
! 940:
! 941: <!ENTITY % ent-isoamso SYSTEM "isoamso.ent" >
! 942: %ent-isoamso;
! 943:
! 944: <!ENTITY % ent-isoamsr SYSTEM "isoamsr.ent" >
! 945: %ent-isoamsr;
! 946:
! 947: <!ENTITY % ent-isogrk3 SYSTEM "isogrk3.ent" >
! 948: %ent-isogrk3;
! 949:
! 950: <!ENTITY % ent-isogrk4 SYSTEM "isogrk4.ent" >
! 951: %ent-isogrk4;
! 952:
! 953: <!ENTITY % ent-isomfrk SYSTEM "isomfrk.ent" >
! 954: %ent-isomfrk;
! 955:
! 956: <!ENTITY % ent-isomopf SYSTEM "isomopf.ent" >
! 957: %ent-isomopf;
! 958:
! 959: <!ENTITY % ent-isomscr SYSTEM "isomscr.ent" >
! 960: %ent-isomscr;
! 961:
! 962: <!ENTITY % ent-isotech SYSTEM "isotech.ent" >
! 963: %ent-isotech;
! 964:
! 965:
! 966:
! 967: <!-- ISO 8879 -->
! 968:
! 969: <!ENTITY % ent-isobox SYSTEM "isobox.ent" >
! 970: %ent-isobox;
! 971:
! 972: <!ENTITY % ent-isocyr1 SYSTEM "isocyr1.ent" >
! 973: %ent-isocyr1;
! 974:
! 975: <!ENTITY % ent-isocyr2 SYSTEM "isocyr2.ent" >
! 976: %ent-isocyr2;
! 977:
! 978: <!ENTITY % ent-isodia SYSTEM "isodia.ent" >
! 979: %ent-isodia;
! 980:
! 981: <!ENTITY % ent-isogrk1 SYSTEM "isogrk1.ent" >
! 982: %ent-isogrk1;
! 983:
! 984: <!ENTITY % ent-isogrk2 SYSTEM "isogrk2.ent" >
! 985: %ent-isogrk2;
! 986:
! 987: <!ENTITY % ent-isolat1 SYSTEM "isolat1.ent" >
! 988: %ent-isolat1;
! 989:
! 990: <!ENTITY % ent-isolat2 SYSTEM "isolat2.ent" >
! 991: %ent-isolat2;
! 992:
! 993: <!ENTITY % ent-isonum SYSTEM "isonum.ent" >
! 994: %ent-isonum;
! 995:
! 996: <!ENTITY % ent-isopub SYSTEM "isopub.ent" >
! 997: %ent-isopub;
! 998:
! 999: <!-- MathML aliases for characters defined above -->
! 1000:
! 1001: <!ENTITY % ent-mmlalias SYSTEM "mmlalias.ent" >
! 1002: %ent-mmlalias;
! 1003:
! 1004:
! 1005: <!-- MathML new characters -->
! 1006:
! 1007: <!ENTITY % ent-mmlextra SYSTEM "mmlextra.ent" >
! 1008: %ent-mmlextra;
! 1009:
! 1010: <!-- end of ENTITY sets -->
! 1011: <!-- end of DTD fragment -->
! 1012: <!-- ************************************************* -->
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>
![[BACK]](/icons/back.gif){kind=icon}
Return to mathml.dtd CVS log ![[TXT]](/icons/text.gif){kind=icon}
![[DIR]](/icons/dir.gif){kind=icon}
Up to [LON-CAPA] / loncom / MathML