File: appendixa-d.html

package info (click to toggle)
w3-recs 20110107-1
links: PTS, VCS
area: non-free
in suites: bullseye, buster, jessie, jessie-kfreebsd, stretch, wheezy
size: 195,972 kB
ctags: 48,964
sloc: xml: 67,284; makefile: 115; perl: 31
file content (1490 lines) | stat: -rw-r--r-- 127,514 bytes
<!DOCTYPE html
  PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN" "http://www.w3.org/TR/html4/loose.dtd">
<html>
   <head>
      <meta http-equiv="Content-Type" content="text/html; charset=utf-8">
      <title>Parsing MathML</title><style type="text/css">

.egmeta {
color:#5555AA;font-style:italic;font-family:serif;font-weight:bold;
}

table.syntax {
font-size: 75%;
background-color: #DDDDDD;
border: thin  solid;
}
table.syntax td {
border: solid thin;
}
table.syntax th {
text-align: left;
}

table.attributes td { padding-left:0.5em; padding-right:0.5em; }
table.attributes td.attname { white-space:nowrap; vertical-align:top;}
table.attributes td.attdesc { background-color:#F0F0FF; padding-left:2em; padding-right:2em}

th.uname {font-size: 50%; text-align:left;}
code           { font-family: monospace; }

div.constraint,
div.issue,
div.note,
div.notice     { margin-left: 2em; }

li p           { margin-top: 0.3em;
                 margin-bottom: 0.3em; }

div.exampleInner pre { margin-left: 1em;
                       margin-top: 0em; margin-bottom: 0em}
div.exampleOuter {border: 4px double gray;
                  margin: 0em; padding: 0em}
div.exampleInner { background-color: #d5dee3;
                   border-top-width: 4px;
                   border-top-style: double;
                   border-top-color: #d3d3d3;
                   border-bottom-width: 4px;
                   border-bottom-style: double;
                   border-bottom-color: #d3d3d3;
                   padding: 4px; margin: 0em }
div.exampleWrapper { margin: 4px }
div.exampleHeader { font-weight: bold;
                    margin: 4px}
a.mainindex {font-weight: bold;}
li.sitem {list-style-type: none;}

  .error { color: red }

  div.mathml-example {border:solid thin black;
              padding: 0.5em;
              margin: 0.5em 0 0.5em 0;
             }
  div.strict-mathml-example {border:solid thin black;
              padding: 0.5em;
              margin: 0.5em 0 0.5em 0;
             }
  div.strict-mathml-example h5 {
  margin-top: -0.3em;
  margin-bottom: -0.5em;}
  var.meta {background-color:green}
  var.transmeta {background-color:red}
  pre.mathml {padding: 0.5em;
              background-color: #FFFFDD;}
  pre.mathml-fragment {padding: 0.5em;
              background-color: #FFFFDD;}
  pre.strict-mathml {padding: 0.5em;
              background-color: #FFFFDD;}
  .minitoc { border-style: solid;
             border-color: #0050B2; 
             border-width: 1px ;
             padding: 0.3em;}
  .attention { border-style: solid; 
               border-width: 1px ; 
               color: #5D0091;
               background: #F9F5DE; 
               border-color: red;
               margin-left: 1em;
               margin-right: 1em;
               margin-top: 0.25em;
               margin-bottom: 0.25em; }

  .attribute-Name { background: #F9F5C0; }
  .method-Name { background: #C0C0F9; }
  .IDL-definition { border-style: solid; 
               border-width: 1px ; 
               color: #001000;
               background: #E0FFE0; 
               border-color: #206020;
               margin-left: 1em;
               margin-right: 1em;
               margin-top: 0.25em;
               margin-bottom: 0.25em; }
  .baseline {vertical-align: baseline}

  #eqnoc1 {width: 10%}
  #eqnoc2 {width: 80%; text-align: center; }
  #eqnoc3 {width: 10%; text-align: right; }

div.div1 {margin-bottom: 1em;}
          
.h3style {
  text-align: left;
  font-family: sans-serif;
  font-weight: normal;
  color: #0050B2; 
  font-size: 125%;
}

  h4 { text-align: left;
       font-family: sans-serif;
       font-weight: normal;
       color: #0050B2; }
  h5 { text-align: left;
       font-family: sans-serif;
       font-weight: bold;
       color: #0050B2; } 

  th {background:  #E0FFE0;}

  p, blockquote, h4 { font-family: sans-serif; }
  dt, dd, dl, ul, li { font-family: sans-serif; }
  pre, code { font-family: monospace }

  a.termref {
  text-decoration: none;
  color: black;
  }

sub.diff-link {background-color: black; color: white; font-family:
sans-serif; font-weight: bold;}

.diff-add  { background-color: #FFFF99}
.diff-del  { background-color: #FF9999; text-decoration: line-through }
.diff-chg  { background-color: #99FF99 }
.diff-off  {  }


.mathml-render {
font-family: serif;
font-size: 130%;
border: solid 4px green;
padding-left: 1em;
padding-right: 1em;
}
</style><link rel="stylesheet" type="text/css" href="../../../StyleSheets/TR/W3C-REC.css">
   </head>
   <body>
      
      <h1><a name="parsing" id="parsing"></a>A Parsing MathML
      </h1>
      <!-- TOP NAVIGATION BAR -->
      <div class="minitoc">
         
         Overview: <a href="Overview-d.html">Mathematical Markup Language (MathML) Version 3.0</a><br>
         Previous: 7 <a href="chapter7-d.html">Characters, Entities and Fonts</a><br>
         Next: B <a href="appendixb-d.html">Media Types Registrations</a><br><br>A <a href="appendixa-d.html">Parsing MathML</a><br>&nbsp;&nbsp;&nbsp;&nbsp;A.1 <a href="appendixa-d.html#parsing.wellformed">Use of MathML as Well-Formed
            XML</a><br>&nbsp;&nbsp;&nbsp;&nbsp;A.2 <a href="appendixa-d.html#parsing.usingrnc">Using the RelaxNG Schema for MathML3</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.1 <a href="appendixa-d.html#parsing.rnc.full">Full MathML</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.2 <a href="appendixa-d.html#parsing.rnc.common">Elements Common to Presentation and Content MathML</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.3 <a href="appendixa-d.html#parsing.rnc.pres">The Grammar for Presentation MathML</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.4 <a href="appendixa-d.html#parsing.rnc.strict">The Grammar for Strict Content MathML3</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.5 <a href="appendixa-d.html#parsing.rnc.content">The Grammar for Content MathML</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.2.6 <a href="appendixa-d.html#parsing.rnc.module">MathML as a module in a RelaxNG Schema</a><br>&nbsp;&nbsp;&nbsp;&nbsp;A.3 <a href="appendixa-d.html#parsing.usingdtd">Using the MathML DTD</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.3.1 <a href="appendixa-d.html#interf.validation">Document Validation Issues</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.3.2 <a href="appendixa-d.html#id.A.3.2">Attribute values in the MathML DTD</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.3.3 <a href="appendixa-d.html#parsing.doctype">DOCTYPE declaration for MathML</a><br>&nbsp;&nbsp;&nbsp;&nbsp;A.4 <a href="appendixa-d.html#parsing.usingxsd">Using the MathML XML Schema</a><br>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;A.4.1 <a href="appendixa-d.html#parsing.schemalocation">Associating the MathML schema with MathML fragments</a><br></div>
      <div class="div1">
         <div class="div2">
            
            <h2><a name="parsing.wellformed" id="parsing.wellformed"></a>A.1 Use of MathML as Well-Formed
               XML
            </h2>
            <p>A MathML document must be a well-formed XML document using elements in the MathML
               namespace as defined by this specification, however it is not required that the document
               refer to any specific Document Type Definition (DTD) or schema that specifies MathML. It
               is sometimes advantageous <em>not</em> to specify such a language definition as these
               files are large, often much larger than the MathML expression and unless they have been
               previously cached by the MathML application, the time taken to fetch the DTD or schema may
               have an appreciable effect on the processing of the MathML document.
            </p>
            <p>Note that if no DTD is specified with a DOCTYPE declaration, that entity
               references (for example to refer to MathML characters by name) may not be used. The
               document should be encoded in an encoding (for example UTF-8) in which all needed
               characters may be encoded as character data, or characters may be referenced using numeric
               character references, for example &amp;#x222B; rather than &amp;int;
            </p>
            <p>If a MathML fragment is parsed without a DTD, in other words as a well-formed XML
               fragment, it is the responsibility of the processing application to treat the white space
               characters occurring outside of token elements as not significant.
            </p>
            <p>However, in many circumstances, especially while producing or editing MathML, it is
               useful to use a language definition to constrain the editing process or to check the
               correctness of generated files. The following section, <a href="appendixa-d.html#parsing.usingrnc">Section&nbsp;A.2 Using the RelaxNG Schema for MathML3</a>,
               discusses the RelaxNG Schema for MathML3 <a href="appendixg-d.html#RELAX-NG">[RELAX-NG]</a>, which forms a normative
               part of the specification. Following that, <a href="appendixa-d.html#parsing.usingxsd">Section&nbsp;A.4 Using the MathML XML Schema</a>, and <a href="appendixa-d.html#parsing.usingdtd">Section&nbsp;A.3 Using the MathML DTD</a> discuss alternative languages definition using the document type
               definitions (DTD) and the W3C XML schema language, <a href="appendixh-d.html#XMLSchemas">[XMLSchemas]</a>, both of
               which are derived from the normative RelaxNG schema automatically.  One should note that
               the schema definitions of the language is currently stricter than the DTD version. That
               is, a schema validating processor will declare invalid documents that are declared valid
               by a (DTD) validating XML parser. This is partly due to the fact that the XML schema
               language may express additional constraints not expressable in the DTD, and partly due to
               the fact that for reasons of compatibility with earlier releases, the DTD is intentionally
               forgiving in some places and does not enforce constraints that are specified in the text
               of this specification.
            </p>
         </div>
         <div class="div2">
            
            <h2><a name="parsing.usingrnc" id="parsing.usingrnc"></a>A.2 Using the RelaxNG Schema for MathML3
            </h2>
            <p>MathML documents should be validated using the RelaxNG Schema for MathML, either in
               the XML encoding (<a href="http://www.w3.org/Math/RelaxNG/mathml3/mathml3.rng">http://www.w3.org/Math/RelaxNG/mathml3/mathml3.rng</a>)
               or in compact notation (<a href="http://www.w3.org/Math/RelaxNG/mathml3/mathml3.rnc">http://www.w3.org/Math/RelaxNG/mathml3/mathml3.rnc</a>)
               which is also shown below.
            </p>
            <p>In contrast to DTDs there is no in-document method to associate a RelaxNG schema with
               a document.
            </p>
            <p>We provide five RelaxNG schema for MathML3 in five parts:
               
            </p>
            <ul>
               <li>
                  <p>The grammar for full MathML</p>
               </li>
               <li>
                  <p>The grammar for elements common to Content and Presentation</p>
               </li>
               <li>
                  <p>The grammar for Presentation MathML</p>
               </li>
               <li>
                  <p>The grammar for Strict Content MathML</p>
               </li>
               <li>
                  <p>The grammar for Content MathML3</p>
               </li>
            </ul>
            <div class="div3">
               
               <h3><a name="parsing.rnc.full" id="parsing.rnc.full"></a>A.2.1 Full MathML
               </h3>
               <p>The RelaxNG schema for full MathML builds on the schema describing the various parts
                  of the language which are given in the following sections. It can be found at <a href="http://www.w3.org/Math/RelaxNG/mathml3/mathml3.rnc">http://www.w3.org/Math/RelaxNG/mathml3/mathml3.rnc</a>.
               </p><pre># 
#     Use and distribution of this code are permitted under the terms
#     W3C Software Notice and License
#     http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231


<b>default</b> <b>namespace</b> <b id="parsing_m">m</b> = "http://www.w3.org/1998/Math/MathML"

## Content  MathML
<b>include</b> "mathml3-content.rnc" 

## Presentation MathML
<b>include</b> "mathml3-presentation.rnc"

## math and semantics common to both Content and Presentation
<b>include</b> "mathml3-common.rnc"

</pre></div>
            <div class="div3">
               
               <h3><a name="parsing.rnc.common" id="parsing.rnc.common"></a>A.2.2 Elements Common to Presentation and Content MathML
               </h3><pre># 
#     Use and distribution of this code are permitted under the terms
#     W3C Software Notice and License
#     http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231


<b>default</b> <b>namespace</b> <b>m</b> = "http://www.w3.org/1998/Math/MathML"
<b>namespace</b> <b id="parsing_local">local</b> = ""

<b id="parsing_start">start</b> = <a href="appendixa-d.html#parsing_math">math</a>

<b id="parsing_math">math</b> = <b>element</b> <code>math</code> {<a href="appendixa-d.html#parsing_math.attributes">math.attributes</a>,<a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>*}
<b id="parsing_MathExpression">MathExpression</b> = <a href="appendixa-d.html#parsing_semantics">semantics</a>

<b id="parsing_NonMathMLAtt">NonMathMLAtt</b> = <b>attribute</b> <code>(* - (local:*|m:*)</code>) {xsd:string} 

<b id="parsing_CommonDeprecatedAtt">CommonDeprecatedAtt</b> = <b>attribute</b> <code>other</code> {text}?

<b id="parsing_CommonAtt">CommonAtt</b> = <b>attribute</b> <code>id</code> {xsd:ID}?,
            <b>attribute</b> <code>xref</code> {text}?,
            <b>attribute</b> <code>class</code> {xsd:NMTOKENS}?,
            <b>attribute</b> <code>style</code> {xsd:string}?,
            <b>attribute</b> <code>href</code> {xsd:anyURI}?,
            <a href="appendixa-d.html#parsing_CommonDeprecatedAtt">CommonDeprecatedAtt</a>,
            <a href="appendixa-d.html#parsing_NonMathMLAtt">NonMathMLAtt</a>*


<b id="parsing_math.attributes">math.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,
               <b>attribute</b> <code>display</code> {"block" | "inline"}?,
               <b>attribute</b> <code>maxwidth</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
               <b>attribute</b> <code>overflow</code> {"linebreak" | "scroll" | "elide" | "truncate" | "scale"}?,
               <b>attribute</b> <code>altimg</code> {xsd:anyURI}?,
               <b>attribute</b> <code>altimg-width</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
               <b>attribute</b> <code>altimg-height</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
               <b>attribute</b> <code>altimg-valign</code> {<a href="appendixa-d.html#parsing_length">length</a> | "top" | "middle" | "bottom"}?,
               <b>attribute</b> <code>alttext</code> {text}?,
               <b>attribute</b> <code>cdgroup</code> {xsd:anyURI}?,
               <a href="appendixa-d.html#parsing_math.deprecatedattributes">math.deprecatedattributes</a>

# the mathml3-presentation schema  adds additional attributes
# to the math element, all those valid on mstyle

<b id="parsing_math.deprecatedattributes">math.deprecatedattributes</b> = <b>attribute</b> <code>mode</code> {xsd:string}?,
                            <b>attribute</b> <code>macros</code> {xsd:string}?


<b id="parsing_name">name</b> = <b>attribute</b> <code>name</code> {xsd:NCName}
<b id="parsing_cd">cd</b> = <b>attribute</b> <code>cd</code> {xsd:NCName}

<b id="parsing_src">src</b> = <b>attribute</b> <code>src</code> {xsd:anyURI}?

<b id="parsing_annotation">annotation</b> = <b>element</b> <code>annotation</code> {<a href="appendixa-d.html#parsing_annotation.attributes">annotation.attributes</a>,text}
                     
<b id="parsing_annotation-xml.model">annotation-xml.model</b> = (<a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>|<a href="appendixa-d.html#parsing_anyElement">anyElement</a>)*

<b id="parsing_anyElement">anyElement</b> =  <b>element</b> (* - m:*) {(<b>attribute</b> <code>*</code> {text}|text| <a href="appendixa-d.html#parsing_anyElement">anyElement</a>)*}

<b id="parsing_annotation-xml">annotation-xml</b> = <b>element</b> <code>annotation-xml</code> {<a href="appendixa-d.html#parsing_annotation.attributes">annotation.attributes</a>,
                                         <a href="appendixa-d.html#parsing_annotation-xml.model">annotation-xml.model</a>}
<b id="parsing_annotation.attributes">annotation.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,
	                <a href="appendixa-d.html#parsing_cd">cd</a>?,
                        <a href="appendixa-d.html#parsing_name">name</a>?,
                        <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>,
                        <a href="appendixa-d.html#parsing_src">src</a>?

<b id="parsing_DefEncAtt">DefEncAtt</b> = <b>attribute</b> <code>encoding</code> {xsd:string}?,
            <b>attribute</b> <code>definitionURL</code> {xsd:anyURI}?

<b id="parsing_semantics">semantics</b> = <b>element</b> <code>semantics</code> {<a href="appendixa-d.html#parsing_semantics.attributes">semantics.attributes</a>,
                               <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>, 
                              (<a href="appendixa-d.html#parsing_annotation">annotation</a>|<a href="appendixa-d.html#parsing_annotation-xml">annotation-xml</a>)*}
<b id="parsing_semantics.attributes">semantics.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,<a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>,<a href="appendixa-d.html#parsing_cd">cd</a>?,<a href="appendixa-d.html#parsing_name">name</a>?



<b id="parsing_length">length</b>
# wrapped for display
 = xsd:string {
  pattern = '\s*((-?[0-9]*(\.[0-9]*)?(e[mx]|in|cm|mm|p[xtc]|%)?)|(negative)?((very){0,2}thi(n|
         ck)|medium)mathspace)\s*' 
}


</pre></div>
            <div class="div3">
               
               <h3><a name="parsing.rnc.pres" id="parsing.rnc.pres"></a>A.2.3 The Grammar for Presentation MathML
               </h3><pre>#     Copyright 1998-2010 W3C (MIT, ERCIM, Keio)
# 
#     Use and distribution of this code are permitted under the terms
#     W3C Software Notice and License
#     http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231

<b>default</b> <b>namespace</b> <b>m</b> = "http://www.w3.org/1998/Math/MathML"

<a href="appendixa-d.html#parsing_MathExpression">MathExpression</a> |= <a href="appendixa-d.html#parsing_PresentationExpression">PresentationExpression</a>

<b id="parsing_ImpliedMrow">ImpliedMrow</b> = <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>*

<b id="parsing_TableRowExpression">TableRowExpression</b> = <a href="appendixa-d.html#parsing_mtr">mtr</a>|<a href="appendixa-d.html#parsing_mlabeledtr">mlabeledtr</a>

<b id="parsing_TableCellExpression">TableCellExpression</b> = <a href="appendixa-d.html#parsing_mtd">mtd</a>

<b id="parsing_MstackExpression">MstackExpression</b> = <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>|<a href="appendixa-d.html#parsing_mscarries">mscarries</a>|<a href="appendixa-d.html#parsing_msline">msline</a>|<a href="appendixa-d.html#parsing_msrow">msrow</a>|<a href="appendixa-d.html#parsing_msgroup">msgroup</a>

<b id="parsing_MsrowExpression">MsrowExpression</b> = <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>|<a href="appendixa-d.html#parsing_none">none</a>

<b id="parsing_MultiScriptExpression">MultiScriptExpression</b> = (<a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>|<a href="appendixa-d.html#parsing_none">none</a>),(<a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>|<a href="appendixa-d.html#parsing_none">none</a>)

<b id="parsing_mpadded-length">mpadded-length</b>
# wrapped for display
 = xsd:string {
  pattern = '\s*([\+\-]?[0-9]*(\.[0-9]*)?\s*((%?\s*(height|depth|width)?)|e[mx]|in|
         cm|mm|p[xtc]|((negative)?((very){0,2}thi(n|ck)|medium)mathspace)))\s*' }

<b id="parsing_linestyle">linestyle</b> = "none" | "solid" | "dashed"

<b id="parsing_verticalalign">verticalalign</b> =
      "top" |
      "bottom" |
      "center" |
      "baseline" |
      "axis"

<b id="parsing_columnalignstyle">columnalignstyle</b> = "left" | "center" | "right"

<b id="parsing_notationstyle">notationstyle</b> =
     "longdiv" |
     "actuarial" |
     "radical" |
     "box" |
     "roundedbox" |
     "circle" |
     "left" |
     "right" |
     "top" |
     "bottom" |
     "updiagonalstrike" |
     "downdiagonalstrike" |
     "verticalstrike" |
     "horizontalstrike" |
     "madruwb"

<b id="parsing_idref">idref</b> = text
<b id="parsing_unsigned-integer">unsigned-integer</b> = xsd:unsignedLong
<b id="parsing_integer">integer</b> = xsd:integer
<b id="parsing_number">number</b> = xsd:decimal

<b id="parsing_character">character</b> = xsd:string {
  pattern = '\s*\S\s*'}

<b id="parsing_color">color</b>
# wrapped for display
 =  xsd:string {
  pattern = '\s*((#[0-9a-fA-F]{3}([0-9a-fA-F]{3})?)|[aA][qQ][uU][aA]|[bB][lL][aA][cC][kK]|
         [bB][lL][uU][eE]|[fF][uU][cC][hH][sS][iI][aA]|[gG][rR][aA][yY]|[gG][rR][eE][eE][nN]|
         [lL][iI][mM][eE]|[mM][aA][rR][oO][oO][nN]|[nN][aA][vV][yY]|[oO][lL][iI][vV][eE]|[pP][uU][rR][pP][lL][eE]|
         [rR][eE][dD]|[sS][iI][lL][vV][eE][rR]|[tT][eE][aA][lL]|[wW][hH][iI][tT][eE]|[yY][eE][lL][lL][oO][wW])\s*'}


<b id="parsing_group-alignment">group-alignment</b> = "left" | "center" | "right" | "decimalpoint"
<b id="parsing_group-alignment-list">group-alignment-list</b> = <a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_group-alignment">group-alignment</a>+}
<b id="parsing_group-alignment-list-list">group-alignment-list-list</b> = xsd:string {
  pattern = '(\s*\{\s*(left|center|right|decimalpoint)(\s+(left|center|right|decimalpoint))*\})*\s*' }
<b id="parsing_positive-integer">positive-integer</b> = xsd:positiveInteger


<b id="parsing_TokenExpression">TokenExpression</b> = <a href="appendixa-d.html#parsing_mi">mi</a>|<a href="appendixa-d.html#parsing_mn">mn</a>|<a href="appendixa-d.html#parsing_mo">mo</a>|<a href="appendixa-d.html#parsing_mtext">mtext</a>|<a href="appendixa-d.html#parsing_mspace">mspace</a>|<a href="appendixa-d.html#parsing_ms">ms</a>

<b id="parsing_token.content">token.content</b> = <a href="appendixa-d.html#parsing_mglyph">mglyph</a>|<a href="appendixa-d.html#parsing_malignmark">malignmark</a>|text

<b id="parsing_mi">mi</b> = <b>element</b> <code>mi</code> {<a href="appendixa-d.html#parsing_mi.attributes">mi.attributes</a>, <a href="appendixa-d.html#parsing_token.content">token.content</a>*}
<b id="parsing_mi.attributes">mi.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,
  <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <a href="appendixa-d.html#parsing_TokenAtt">TokenAtt</a>


<b id="parsing_mn">mn</b> = <b>element</b> <code>mn</code> {<a href="appendixa-d.html#parsing_mn.attributes">mn.attributes</a>, <a href="appendixa-d.html#parsing_token.content">token.content</a>*}
<b id="parsing_mn.attributes">mn.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,
  <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <a href="appendixa-d.html#parsing_TokenAtt">TokenAtt</a>


<b id="parsing_mo">mo</b> = <b>element</b> <code>mo</code> {<a href="appendixa-d.html#parsing_mo.attributes">mo.attributes</a>, <a href="appendixa-d.html#parsing_token.content">token.content</a>*}
<b id="parsing_mo.attributes">mo.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,
  <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <a href="appendixa-d.html#parsing_TokenAtt">TokenAtt</a>,
  <b>attribute</b> <code>form</code> {"prefix" | "infix" | "postfix"}?,
  <b>attribute</b> <code>fence</code> {"true" | "false"}?,
  <b>attribute</b> <code>separator</code> {"true" | "false"}?,
  <b>attribute</b> <code>lspace</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>rspace</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>stretchy</code> {"true" | "false"}?,
  <b>attribute</b> <code>symmetric</code> {"true" | "false"}?,
  <b>attribute</b> <code>maxsize</code> {<a href="appendixa-d.html#parsing_length">length</a> | "infinity"}?,
  <b>attribute</b> <code>minsize</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>largeop</code> {"true" | "false"}?,
  <b>attribute</b> <code>movablelimits</code> {"true" | "false"}?,
  <b>attribute</b> <code>accent</code> {"true" | "false"}?,
  <b>attribute</b> <code>linebreak</code> {"auto" | "newline" | "nobreak" | "goodbreak" | "badbreak"}?,
  <b>attribute</b> <code>lineleading</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>linebreakstyle</code> {"before" | "after" | "duplicate" | "infixlinebreakstyle"}?,
  <b>attribute</b> <code>linebreakmultchar</code> {text}?,
  <b>attribute</b> <code>indentalign</code> {"left" | "center" | "right" | "auto" | "id"}?,
  <b>attribute</b> <code>indentshift</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>indenttarget</code> {<a href="appendixa-d.html#parsing_idref">idref</a>}?,
  <b>attribute</b> <code>indentalignfirst</code> {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?,
  <b>attribute</b> <code>indentshiftfirst</code> {<a href="appendixa-d.html#parsing_length">length</a> | "indentshift"}?,
  <b>attribute</b> <code>indentalignlast</code> {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?,
  <b>attribute</b> <code>indentshiftlast</code> {<a href="appendixa-d.html#parsing_length">length</a> | "indentshift"}?


<b id="parsing_mtext">mtext</b> = <b>element</b> <code>mtext</code> {<a href="appendixa-d.html#parsing_mtext.attributes">mtext.attributes</a>, <a href="appendixa-d.html#parsing_token.content">token.content</a>*}
<b id="parsing_mtext.attributes">mtext.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,
  <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <a href="appendixa-d.html#parsing_TokenAtt">TokenAtt</a>


<b id="parsing_mspace">mspace</b> = <b>element</b> <code>mspace</code> {<a href="appendixa-d.html#parsing_mspace.attributes">mspace.attributes</a>, empty}
<b id="parsing_mspace.attributes">mspace.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,
  <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <a href="appendixa-d.html#parsing_TokenAtt">TokenAtt</a>,
  <b>attribute</b> <code>width</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>height</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>depth</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>linebreak</code> {"auto" | "newline" | "nobreak" | "goodbreak" | "badbreak" | "indentingnewline"}?


<b id="parsing_ms">ms</b> = <b>element</b> <code>ms</code> {<a href="appendixa-d.html#parsing_ms.attributes">ms.attributes</a>, <a href="appendixa-d.html#parsing_token.content">token.content</a>*}
<b id="parsing_ms.attributes">ms.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,
  <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <a href="appendixa-d.html#parsing_TokenAtt">TokenAtt</a>,
  <b>attribute</b> <code>lquote</code> {text}?,
  <b>attribute</b> <code>rquote</code> {text}?


<b id="parsing_mglyph">mglyph</b> = <b>element</b> <code>mglyph</code> {<a href="appendixa-d.html#parsing_mglyph.attributes">mglyph.attributes</a>,<a href="appendixa-d.html#parsing_mglyph.deprecatedattributes">mglyph.deprecatedattributes</a>,empty}
<b id="parsing_mglyph.attributes">mglyph.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,  <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>src</code> {xsd:anyURI}?,
  <b>attribute</b> <code>width</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>height</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>valign</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>alt</code> {text}?
<b id="parsing_mglyph.deprecatedattributes">mglyph.deprecatedattributes</b> =
  <b>attribute</b> <code>index</code> {<a href="appendixa-d.html#parsing_integer">integer</a>}?,
  <b>attribute</b> <code>mathvariant</code> {"normal" | "bold" | "italic" | "bold-italic" | "double-struck" | "bold-fraktur" |
          "script" | "bold-script" | "fraktur" | "sans-serif" | "bold-sans-serif" | "sans-serif-italic" |
          "sans-serif-bold-italic" | "monospace" | "initial" | "tailed" | "looped" | "stretched"}?,
  <b>attribute</b> <code>mathsize</code> {"small" | "normal" | "big" | <a href="appendixa-d.html#parsing_length">length</a>}?,
  <a href="appendixa-d.html#parsing_DeprecatedTokenAtt">DeprecatedTokenAtt</a>

<b id="parsing_msline">msline</b> = <b>element</b> <code>msline</code> {<a href="appendixa-d.html#parsing_msline.attributes">msline.attributes</a>,empty}
<b id="parsing_msline.attributes">msline.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,  <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>position</code> {<a href="appendixa-d.html#parsing_integer">integer</a>}?,
  <b>attribute</b> <code>length</code> {<a href="appendixa-d.html#parsing_unsigned-integer">unsigned-integer</a>}?,
  <b>attribute</b> <code>leftoverhang</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>rightoverhang</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>mslinethickness</code> {<a href="appendixa-d.html#parsing_length">length</a> | "thin" | "medium" | "thick"}?

<b id="parsing_none">none</b> = <b>element</b> <code>none</code> {<a href="appendixa-d.html#parsing_none.attributes">none.attributes</a>,empty}
<b id="parsing_none.attributes">none.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,
  <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>

<b id="parsing_mprescripts">mprescripts</b> = <b>element</b> <code>mprescripts</code> {<a href="appendixa-d.html#parsing_mprescripts.attributes">mprescripts.attributes</a>,empty}
<b id="parsing_mprescripts.attributes">mprescripts.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,
  <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>


<b id="parsing_CommonPresAtt">CommonPresAtt</b> = 
  <b>attribute</b> <code>mathcolor</code> {<a href="appendixa-d.html#parsing_color">color</a>}?,
  <b>attribute</b> <code>mathbackground</code> {<a href="appendixa-d.html#parsing_color">color</a> | "transparent"}?

<b id="parsing_TokenAtt">TokenAtt</b> = 
  <b>attribute</b> <code>mathvariant</code> {"normal" | "bold" | "italic" | "bold-italic" | "double-struck" | "bold-fraktur" |
          "script" | "bold-script" | "fraktur" | "sans-serif" | "bold-sans-serif" | "sans-serif-italic" |
          "sans-serif-bold-italic" | "monospace" | "initial" | "tailed" | "looped" | "stretched"}?,
  <b>attribute</b> <code>mathsize</code> {"small" | "normal" | "big" | <a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>dir</code> {"ltr" | "rtl"}?,
  <a href="appendixa-d.html#parsing_DeprecatedTokenAtt">DeprecatedTokenAtt</a>

<b id="parsing_DeprecatedTokenAtt">DeprecatedTokenAtt</b> = 
  <b>attribute</b> <code>fontfamily</code> {text}?,
  <b>attribute</b> <code>fontweight</code> {"normal" | "bold"}?,
  <b>attribute</b> <code>fontstyle</code> {"normal" | "italic"}?,
  <b>attribute</b> <code>fontsize</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>color</code> {<a href="appendixa-d.html#parsing_color">color</a>}?,
  <b>attribute</b> <code>background</code> {<a href="appendixa-d.html#parsing_color">color</a> | "transparent"}?

<b id="parsing_MalignExpression">MalignExpression</b> = <a href="appendixa-d.html#parsing_maligngroup">maligngroup</a>|<a href="appendixa-d.html#parsing_malignmark">malignmark</a>

<b id="parsing_malignmark">malignmark</b> = <b>element</b> <code>malignmark</code> {<a href="appendixa-d.html#parsing_malignmark.attributes">malignmark.attributes</a>, empty}
<b id="parsing_malignmark.attributes">malignmark.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>edge</code> {"left" | "right"}?


<b id="parsing_maligngroup">maligngroup</b> = <b>element</b> <code>maligngroup</code> {<a href="appendixa-d.html#parsing_maligngroup.attributes">maligngroup.attributes</a>, empty}
<b id="parsing_maligngroup.attributes">maligngroup.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>groupalign</code> {"left" | "center" | "right" | "decimalpoint"}?


<b id="parsing_PresentationExpression">PresentationExpression</b> = <a href="appendixa-d.html#parsing_TokenExpression">TokenExpression</a>|<a href="appendixa-d.html#parsing_MalignExpression">MalignExpression</a>|
                         <a href="appendixa-d.html#parsing_mrow">mrow</a>|<a href="appendixa-d.html#parsing_mfrac">mfrac</a>|<a href="appendixa-d.html#parsing_msqrt">msqrt</a>|<a href="appendixa-d.html#parsing_mroot">mroot</a>|<a href="appendixa-d.html#parsing_mstyle">mstyle</a>|<a href="appendixa-d.html#parsing_merror">merror</a>|<a href="appendixa-d.html#parsing_mpadded">mpadded</a>|<a href="appendixa-d.html#parsing_mphantom">mphantom</a>|
                         <a href="appendixa-d.html#parsing_mfenced">mfenced</a>|<a href="appendixa-d.html#parsing_menclose">menclose</a>|<a href="appendixa-d.html#parsing_msub">msub</a>|<a href="appendixa-d.html#parsing_msup">msup</a>|<a href="appendixa-d.html#parsing_msubsup">msubsup</a>|<a href="appendixa-d.html#parsing_munder">munder</a>|<a href="appendixa-d.html#parsing_mover">mover</a>|<a href="appendixa-d.html#parsing_munderover">munderover</a>|
                         <a href="appendixa-d.html#parsing_mmultiscripts">mmultiscripts</a>|<a href="appendixa-d.html#parsing_mtable">mtable</a>|<a href="appendixa-d.html#parsing_mstack">mstack</a>|<a href="appendixa-d.html#parsing_mlongdiv">mlongdiv</a>|<a href="appendixa-d.html#parsing_maction">maction</a>



<b id="parsing_mrow">mrow</b> = <b>element</b> <code>mrow</code> {<a href="appendixa-d.html#parsing_mrow.attributes">mrow.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>*}
<b id="parsing_mrow.attributes">mrow.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>dir</code> {"ltr" | "rtl"}?


<b id="parsing_mfrac">mfrac</b> = <b>element</b> <code>mfrac</code> {<a href="appendixa-d.html#parsing_mfrac.attributes">mfrac.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>}
<b id="parsing_mfrac.attributes">mfrac.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>linethickness</code> {<a href="appendixa-d.html#parsing_length">length</a> | "thin" | "medium" | "thick"}?,
  <b>attribute</b> <code>numalign</code> {"left" | "center" | "right"}?,
  <b>attribute</b> <code>denomalign</code> {"left" | "center" | "right"}?,
  <b>attribute</b> <code>bevelled</code> {"true" | "false"}?


<b id="parsing_msqrt">msqrt</b> = <b>element</b> <code>msqrt</code> {<a href="appendixa-d.html#parsing_msqrt.attributes">msqrt.attributes</a>, <a href="appendixa-d.html#parsing_ImpliedMrow">ImpliedMrow</a>}
<b id="parsing_msqrt.attributes">msqrt.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>


<b id="parsing_mroot">mroot</b> = <b>element</b> <code>mroot</code> {<a href="appendixa-d.html#parsing_mroot.attributes">mroot.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>}
<b id="parsing_mroot.attributes">mroot.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>


<b id="parsing_mstyle">mstyle</b> = <b>element</b> <code>mstyle</code> {<a href="appendixa-d.html#parsing_mstyle.attributes">mstyle.attributes</a>, <a href="appendixa-d.html#parsing_ImpliedMrow">ImpliedMrow</a>}
<b id="parsing_mstyle.attributes">mstyle.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <a href="appendixa-d.html#parsing_mstyle.specificattributes">mstyle.specificattributes</a>,
  <a href="appendixa-d.html#parsing_mstyle.generalattributes">mstyle.generalattributes</a>,
  <a href="appendixa-d.html#parsing_mstyle.deprecatedattributes">mstyle.deprecatedattributes</a>

<b id="parsing_mstyle.specificattributes">mstyle.specificattributes</b> =
  <b>attribute</b> <code>scriptlevel</code> {<a href="appendixa-d.html#parsing_integer">integer</a>}?,
  <b>attribute</b> <code>displaystyle</code> {"true" | "false"}?,
  <b>attribute</b> <code>scriptsizemultiplier</code> {<a href="appendixa-d.html#parsing_number">number</a>}?,
  <b>attribute</b> <code>scriptminsize</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>infixlinebreakstyle</code> {"before" | "after" | "duplicate"}?,
  <b>attribute</b> <code>decimalpoint</code> {<a href="appendixa-d.html#parsing_character">character</a>}?

<b id="parsing_mstyle.generalattributes">mstyle.generalattributes</b> =
  <b>attribute</b> <code>accent</code> {"true" | "false"}?,
  <b>attribute</b> <code>accentunder</code> {"true" | "false"}?,
  <b>attribute</b> <code>align</code> {"left" | "right" | "center"}?,
  <b>attribute</b> <code>alignmentscope</code> {<a href="appendixa-d.html#parsing_list">list</a> {("true" | "false") +}}?,
  <b>attribute</b> <code>bevelled</code> {"true" | "false"}?,
  <b>attribute</b> <code>charalign</code> {"left" | "center" | "right"}?,
  <b>attribute</b> <code>charspacing</code> {<a href="appendixa-d.html#parsing_length">length</a> | "loose" | "medium" | "tight"}?,
  <b>attribute</b> <code>close</code> {text}?,
  <b>attribute</b> <code>columnalign</code> {<a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_columnalignstyle">columnalignstyle</a>+} }?,
  <b>attribute</b> <code>columnlines</code> {<a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_linestyle">linestyle</a> +}}?,
  <b>attribute</b> <code>columnspacing</code> {<a href="appendixa-d.html#parsing_list">list</a> {(<a href="appendixa-d.html#parsing_length">length</a>) +}}?,
  <b>attribute</b> <code>columnspan</code> {<a href="appendixa-d.html#parsing_positive-integer">positive-integer</a>}?,
  <b>attribute</b> <code>columnwidth</code> {<a href="appendixa-d.html#parsing_list">list</a> {("auto" | <a href="appendixa-d.html#parsing_length">length</a> | "fit") +}}?,
  <b>attribute</b> <code>crossout</code> {<a href="appendixa-d.html#parsing_list">list</a> {("none" | "updiagonalstrike" | "downdiagonalstrike" | "verticalstrike" | "horizontalstrike")*}}?,
  <b>attribute</b> <code>denomalign</code> {"left" | "center" | "right"}?,
  <b>attribute</b> <code>depth</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>dir</code> {"ltr" | "rtl"}?,
  <b>attribute</b> <code>edge</code> {"left" | "right"}?,
  <b>attribute</b> <code>equalcolumns</code> {"true" | "false"}?,
  <b>attribute</b> <code>equalrows</code> {"true" | "false"}?,
  <b>attribute</b> <code>fence</code> {"true" | "false"}?,
  <b>attribute</b> <code>form</code> {"prefix" | "infix" | "postfix"}?,
  <b>attribute</b> <code>frame</code> {<a href="appendixa-d.html#parsing_linestyle">linestyle</a>}?,
  <b>attribute</b> <code>framespacing</code> {<a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_length">length</a>, <a href="appendixa-d.html#parsing_length">length</a>}}?,
  <b>attribute</b> <code>groupalign</code> {<a href="appendixa-d.html#parsing_group-alignment-list-list">group-alignment-list-list</a>}?,
  <b>attribute</b> <code>height</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>indentalign</code> {"left" | "center" | "right" | "auto" | "id"}?,
  <b>attribute</b> <code>indentalignfirst</code> {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?,
  <b>attribute</b> <code>indentalignlast</code> {"left" | "center" | "right" | "auto" | "id" | "indentalign"}?,
  <b>attribute</b> <code>indentshift</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>indentshiftfirst</code> {<a href="appendixa-d.html#parsing_length">length</a> | "indentshift"}?,
  <b>attribute</b> <code>indentshiftlast</code> {<a href="appendixa-d.html#parsing_length">length</a> | "indentshift"}?,
  <b>attribute</b> <code>indenttarget</code> {<a href="appendixa-d.html#parsing_idref">idref</a>}?,
  <b>attribute</b> <code>largeop</code> {"true" | "false"}?,
  <b>attribute</b> <code>leftoverhang</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>length</code> {<a href="appendixa-d.html#parsing_unsigned-integer">unsigned-integer</a>}?,
  <b>attribute</b> <code>linebreak</code> {"auto" | "newline" | "nobreak" | "goodbreak" | "badbreak"}?,
  <b>attribute</b> <code>linebreakmultchar</code> {text}?,
  <b>attribute</b> <code>linebreakstyle</code> {"before" | "after" | "duplicate" | "infixlinebreakstyle"}?,
  <b>attribute</b> <code>lineleading</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>linethickness</code> {<a href="appendixa-d.html#parsing_length">length</a> | "thin" | "medium" | "thick"}?,
  <b>attribute</b> <code>location</code> {"w" | "nw" | "n" | "ne" | "e" | "se" | "s" | "sw"}?,
  <b>attribute</b> <code>longdivstyle</code> {"lefttop" | "stackedrightright" | "mediumstackedrightright" | "shortstackedrightright" |
          "righttop" | "left/\right" | "left)(right" | ":right=right" | "stackedleftleft" |
          "stackedleftlinetop"}?,
  <b>attribute</b> <code>lquote</code> {text}?,
  <b>attribute</b> <code>lspace</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>mathsize</code> {"small" | "normal" | "big" | <a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>mathvariant</code> {"normal" | "bold" | "italic" | "bold-italic" | "double-struck" | "bold-fraktur" |
          "script" | "bold-script" | "fraktur" | "sans-serif" | "bold-sans-serif" | "sans-serif-italic" |
          "sans-serif-bold-italic" | "monospace" | "initial" | "tailed" | "looped" | "stretched"}?,
  <b>attribute</b> <code>maxsize</code> {<a href="appendixa-d.html#parsing_length">length</a> | "infinity"}?,
  <b>attribute</b> <code>minlabelspacing</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>minsize</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>movablelimits</code> {"true" | "false"}?,
  <b>attribute</b> <code>mslinethickness</code> {<a href="appendixa-d.html#parsing_length">length</a> | "thin" | "medium" | "thick"}?,
  <b>attribute</b> <code>notation</code> {text}?,
  <b>attribute</b> <code>numalign</code> {"left" | "center" | "right"}?,
  <b>attribute</b> <code>open</code> {text}?,
  <b>attribute</b> <code>position</code> {<a href="appendixa-d.html#parsing_integer">integer</a>}?,
  <b>attribute</b> <code>rightoverhang</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>rowalign</code> {<a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_verticalalign">verticalalign</a>+} }?,
  <b>attribute</b> <code>rowlines</code> {<a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_linestyle">linestyle</a> +}}?,
  <b>attribute</b> <code>rowspacing</code> {<a href="appendixa-d.html#parsing_list">list</a> {(<a href="appendixa-d.html#parsing_length">length</a>) +}}?,
  <b>attribute</b> <code>rowspan</code> {<a href="appendixa-d.html#parsing_positive-integer">positive-integer</a>}?,
  <b>attribute</b> <code>rquote</code> {text}?,
  <b>attribute</b> <code>rspace</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>selection</code> {<a href="appendixa-d.html#parsing_positive-integer">positive-integer</a>}?,
  <b>attribute</b> <code>separator</code> {"true" | "false"}?,
  <b>attribute</b> <code>separators</code> {text}?,
  <b>attribute</b> <code>shift</code> {<a href="appendixa-d.html#parsing_integer">integer</a>}?,
  <b>attribute</b> <code>side</code> {"left" | "right" | "leftoverlap" | "rightoverlap"}?,
  <b>attribute</b> <code>stackalign</code> {"left" | "center" | "right" | "decimalpoint"}?,
  <b>attribute</b> <code>stretchy</code> {"true" | "false"}?,
  <b>attribute</b> <code>subscriptshift</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>superscriptshift</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>symmetric</code> {"true" | "false"}?,
  <b>attribute</b> <code>valign</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>width</code> {<a href="appendixa-d.html#parsing_length">length</a>}?

<b id="parsing_mstyle.deprecatedattributes">mstyle.deprecatedattributes</b> =
  <a href="appendixa-d.html#parsing_DeprecatedTokenAtt">DeprecatedTokenAtt</a>,
  <b>attribute</b> <code>veryverythinmathspace</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>verythinmathspace</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>thinmathspace</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>mediummathspace</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>thickmathspace</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>verythickmathspace</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>veryverythickmathspace</code> {<a href="appendixa-d.html#parsing_length">length</a>}?

<a href="appendixa-d.html#parsing_math.attributes">math.attributes</a> &amp;= <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>
<a href="appendixa-d.html#parsing_math.attributes">math.attributes</a> &amp;= <a href="appendixa-d.html#parsing_mstyle.specificattributes">mstyle.specificattributes</a>
<a href="appendixa-d.html#parsing_math.attributes">math.attributes</a> &amp;= <a href="appendixa-d.html#parsing_mstyle.generalattributes">mstyle.generalattributes</a>




<b id="parsing_merror">merror</b> = <b>element</b> <code>merror</code> {<a href="appendixa-d.html#parsing_merror.attributes">merror.attributes</a>, <a href="appendixa-d.html#parsing_ImpliedMrow">ImpliedMrow</a>}
<b id="parsing_merror.attributes">merror.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>


<b id="parsing_mpadded">mpadded</b> = <b>element</b> <code>mpadded</code> {<a href="appendixa-d.html#parsing_mpadded.attributes">mpadded.attributes</a>, <a href="appendixa-d.html#parsing_ImpliedMrow">ImpliedMrow</a>}
<b id="parsing_mpadded.attributes">mpadded.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>height</code> {<a href="appendixa-d.html#parsing_mpadded-length">mpadded-length</a>}?,
  <b>attribute</b> <code>depth</code> {<a href="appendixa-d.html#parsing_mpadded-length">mpadded-length</a>}?,
  <b>attribute</b> <code>width</code> {<a href="appendixa-d.html#parsing_mpadded-length">mpadded-length</a>}?,
  <b>attribute</b> <code>lspace</code> {<a href="appendixa-d.html#parsing_mpadded-length">mpadded-length</a>}?,
  <b>attribute</b> <code>voffset</code> {<a href="appendixa-d.html#parsing_mpadded-length">mpadded-length</a>}?


<b id="parsing_mphantom">mphantom</b> = <b>element</b> <code>mphantom</code> {<a href="appendixa-d.html#parsing_mphantom.attributes">mphantom.attributes</a>, <a href="appendixa-d.html#parsing_ImpliedMrow">ImpliedMrow</a>}
<b id="parsing_mphantom.attributes">mphantom.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>


<b id="parsing_mfenced">mfenced</b> = <b>element</b> <code>mfenced</code> {<a href="appendixa-d.html#parsing_mfenced.attributes">mfenced.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>*}
<b id="parsing_mfenced.attributes">mfenced.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>open</code> {text}?,
  <b>attribute</b> <code>close</code> {text}?,
  <b>attribute</b> <code>separators</code> {text}?


<b id="parsing_menclose">menclose</b> = <b>element</b> <code>menclose</code> {<a href="appendixa-d.html#parsing_menclose.attributes">menclose.attributes</a>, <a href="appendixa-d.html#parsing_ImpliedMrow">ImpliedMrow</a>}
<b id="parsing_menclose.attributes">menclose.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>notation</code> {text}?


<b id="parsing_msub">msub</b> = <b>element</b> <code>msub</code> {<a href="appendixa-d.html#parsing_msub.attributes">msub.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>}
<b id="parsing_msub.attributes">msub.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>subscriptshift</code> {<a href="appendixa-d.html#parsing_length">length</a>}?


<b id="parsing_msup">msup</b> = <b>element</b> <code>msup</code> {<a href="appendixa-d.html#parsing_msup.attributes">msup.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>}
<b id="parsing_msup.attributes">msup.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>superscriptshift</code> {<a href="appendixa-d.html#parsing_length">length</a>}?


<b id="parsing_msubsup">msubsup</b> = <b>element</b> <code>msubsup</code> {<a href="appendixa-d.html#parsing_msubsup.attributes">msubsup.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>}
<b id="parsing_msubsup.attributes">msubsup.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>subscriptshift</code> {<a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>superscriptshift</code> {<a href="appendixa-d.html#parsing_length">length</a>}?


<b id="parsing_munder">munder</b> = <b>element</b> <code>munder</code> {<a href="appendixa-d.html#parsing_munder.attributes">munder.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>}
<b id="parsing_munder.attributes">munder.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>accentunder</code> {"true" | "false"}?,
  <b>attribute</b> <code>align</code> {"left" | "right" | "center"}?


<b id="parsing_mover">mover</b> = <b>element</b> <code>mover</code> {<a href="appendixa-d.html#parsing_mover.attributes">mover.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>}
<b id="parsing_mover.attributes">mover.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>accent</code> {"true" | "false"}?,
  <b>attribute</b> <code>align</code> {"left" | "right" | "center"}?


<b id="parsing_munderover">munderover</b> = <b>element</b> <code>munderover</code> {<a href="appendixa-d.html#parsing_munderover.attributes">munderover.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>}
<b id="parsing_munderover.attributes">munderover.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>accent</code> {"true" | "false"}?,
  <b>attribute</b> <code>accentunder</code> {"true" | "false"}?,
  <b>attribute</b> <code>align</code> {"left" | "right" | "center"}?


<b id="parsing_mmultiscripts">mmultiscripts</b> = <b>element</b> <code>mmultiscripts</code> {<a href="appendixa-d.html#parsing_mmultiscripts.attributes">mmultiscripts.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>,<a href="appendixa-d.html#parsing_MultiScriptExpression">MultiScriptExpression</a>*,(<a href="appendixa-d.html#parsing_mprescripts">mprescripts</a>,<a href="appendixa-d.html#parsing_MultiScriptExpression">MultiScriptExpression</a>*)?}
<b id="parsing_mmultiscripts.attributes">mmultiscripts.attributes</b> = 
  <a href="appendixa-d.html#parsing_msubsup.attributes">msubsup.attributes</a>


<b id="parsing_mtable">mtable</b> = <b>element</b> <code>mtable</code> {<a href="appendixa-d.html#parsing_mtable.attributes">mtable.attributes</a>, <a href="appendixa-d.html#parsing_TableRowExpression">TableRowExpression</a>*}
<b id="parsing_mtable.attributes">mtable.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>align</code> {xsd:string {
    pattern ='\s*(top|bottom|center|baseline|axis)\s*[0-9]*'}}?,
  <b>attribute</b> <code>rowalign</code> {<a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_verticalalign">verticalalign</a>+} }?,
  <b>attribute</b> <code>columnalign</code> {<a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_columnalignstyle">columnalignstyle</a>+} }?,
  <b>attribute</b> <code>groupalign</code> {<a href="appendixa-d.html#parsing_group-alignment-list-list">group-alignment-list-list</a>}?,
  <b>attribute</b> <code>alignmentscope</code> {<a href="appendixa-d.html#parsing_list">list</a> {("true" | "false") +}}?,
  <b>attribute</b> <code>columnwidth</code> {<a href="appendixa-d.html#parsing_list">list</a> {("auto" | <a href="appendixa-d.html#parsing_length">length</a> | "fit") +}}?,
  <b>attribute</b> <code>width</code> {"auto" | <a href="appendixa-d.html#parsing_length">length</a>}?,
  <b>attribute</b> <code>rowspacing</code> {<a href="appendixa-d.html#parsing_list">list</a> {(<a href="appendixa-d.html#parsing_length">length</a>) +}}?,
  <b>attribute</b> <code>columnspacing</code> {<a href="appendixa-d.html#parsing_list">list</a> {(<a href="appendixa-d.html#parsing_length">length</a>) +}}?,
  <b>attribute</b> <code>rowlines</code> {<a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_linestyle">linestyle</a> +}}?,
  <b>attribute</b> <code>columnlines</code> {<a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_linestyle">linestyle</a> +}}?,
  <b>attribute</b> <code>frame</code> {<a href="appendixa-d.html#parsing_linestyle">linestyle</a>}?,
  <b>attribute</b> <code>framespacing</code> {<a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_length">length</a>, <a href="appendixa-d.html#parsing_length">length</a>}}?,
  <b>attribute</b> <code>equalrows</code> {"true" | "false"}?,
  <b>attribute</b> <code>equalcolumns</code> {"true" | "false"}?,
  <b>attribute</b> <code>displaystyle</code> {"true" | "false"}?,
  <b>attribute</b> <code>side</code> {"left" | "right" | "leftoverlap" | "rightoverlap"}?,
  <b>attribute</b> <code>minlabelspacing</code> {<a href="appendixa-d.html#parsing_length">length</a>}?


<b id="parsing_mlabeledtr">mlabeledtr</b> = <b>element</b> <code>mlabeledtr</code> {<a href="appendixa-d.html#parsing_mlabeledtr.attributes">mlabeledtr.attributes</a>, <a href="appendixa-d.html#parsing_TableCellExpression">TableCellExpression</a>+}
<b id="parsing_mlabeledtr.attributes">mlabeledtr.attributes</b> = 
  <a href="appendixa-d.html#parsing_mtr.attributes">mtr.attributes</a>


<b id="parsing_mtr">mtr</b> = <b>element</b> <code>mtr</code> {<a href="appendixa-d.html#parsing_mtr.attributes">mtr.attributes</a>, <a href="appendixa-d.html#parsing_TableCellExpression">TableCellExpression</a>*}
<b id="parsing_mtr.attributes">mtr.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>rowalign</code> {"top" | "bottom" | "center" | "baseline" | "axis"}?,
  <b>attribute</b> <code>columnalign</code> {<a href="appendixa-d.html#parsing_list">list</a> {<a href="appendixa-d.html#parsing_columnalignstyle">columnalignstyle</a>+} }?,
  <b>attribute</b> <code>groupalign</code> {<a href="appendixa-d.html#parsing_group-alignment-list-list">group-alignment-list-list</a>}?


<b id="parsing_mtd">mtd</b> = <b>element</b> <code>mtd</code> {<a href="appendixa-d.html#parsing_mtd.attributes">mtd.attributes</a>, <a href="appendixa-d.html#parsing_ImpliedMrow">ImpliedMrow</a>}
<b id="parsing_mtd.attributes">mtd.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>rowspan</code> {<a href="appendixa-d.html#parsing_positive-integer">positive-integer</a>}?,
  <b>attribute</b> <code>columnspan</code> {<a href="appendixa-d.html#parsing_positive-integer">positive-integer</a>}?,
  <b>attribute</b> <code>rowalign</code> {"top" | "bottom" | "center" | "baseline" | "axis"}?,
  <b>attribute</b> <code>columnalign</code> {<a href="appendixa-d.html#parsing_columnalignstyle">columnalignstyle</a>}?,
  <b>attribute</b> <code>groupalign</code> {<a href="appendixa-d.html#parsing_group-alignment-list">group-alignment-list</a>}?


<b id="parsing_mstack">mstack</b> = <b>element</b> <code>mstack</code> {<a href="appendixa-d.html#parsing_mstack.attributes">mstack.attributes</a>, <a href="appendixa-d.html#parsing_MstackExpression">MstackExpression</a>*}
<b id="parsing_mstack.attributes">mstack.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>align</code> {xsd:string {
    pattern ='\s*(top|bottom|center|baseline|axis)\s*[0-9]*'}}?,
  <b>attribute</b> <code>stackalign</code> {"left" | "center" | "right" | "decimalpoint"}?,
  <b>attribute</b> <code>charalign</code> {"left" | "center" | "right"}?,
  <b>attribute</b> <code>charspacing</code> {<a href="appendixa-d.html#parsing_length">length</a> | "loose" | "medium" | "tight"}?


<b id="parsing_mlongdiv">mlongdiv</b> = <b>element</b> <code>mlongdiv</code> {<a href="appendixa-d.html#parsing_mlongdiv.attributes">mlongdiv.attributes</a>, <a href="appendixa-d.html#parsing_MstackExpression">MstackExpression</a>,<a href="appendixa-d.html#parsing_MstackExpression">MstackExpression</a>,<a href="appendixa-d.html#parsing_MstackExpression">MstackExpression</a>+}
<b id="parsing_mlongdiv.attributes">mlongdiv.attributes</b> = 
  <a href="appendixa-d.html#parsing_msgroup.attributes">msgroup.attributes</a>,
  <b>attribute</b> <code>longdivstyle</code> {"lefttop" | "stackedrightright" | "mediumstackedrightright" | "shortstackedrightright" |
          "righttop" | "left/\right" | "left)(right" | ":right=right" | "stackedleftleft" |
          "stackedleftlinetop"}?


<b id="parsing_msgroup">msgroup</b> = <b>element</b> <code>msgroup</code> {<a href="appendixa-d.html#parsing_msgroup.attributes">msgroup.attributes</a>, <a href="appendixa-d.html#parsing_MstackExpression">MstackExpression</a>*}
<b id="parsing_msgroup.attributes">msgroup.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>position</code> {<a href="appendixa-d.html#parsing_integer">integer</a>}?,
  <b>attribute</b> <code>shift</code> {<a href="appendixa-d.html#parsing_integer">integer</a>}?


<b id="parsing_msrow">msrow</b> = <b>element</b> <code>msrow</code> {<a href="appendixa-d.html#parsing_msrow.attributes">msrow.attributes</a>, <a href="appendixa-d.html#parsing_MsrowExpression">MsrowExpression</a>*}
<b id="parsing_msrow.attributes">msrow.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>position</code> {<a href="appendixa-d.html#parsing_integer">integer</a>}?


<b id="parsing_mscarries">mscarries</b> = <b>element</b> <code>mscarries</code> {<a href="appendixa-d.html#parsing_mscarries.attributes">mscarries.attributes</a>, (<a href="appendixa-d.html#parsing_MsrowExpression">MsrowExpression</a>|<a href="appendixa-d.html#parsing_mscarry">mscarry</a>)*}
<b id="parsing_mscarries.attributes">mscarries.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>position</code> {<a href="appendixa-d.html#parsing_integer">integer</a>}?,
  <b>attribute</b> <code>location</code> {"w" | "nw" | "n" | "ne" | "e" | "se" | "s" | "sw"}?,
  <b>attribute</b> <code>crossout</code> {<a href="appendixa-d.html#parsing_list">list</a> {("none" | "updiagonalstrike" | "downdiagonalstrike" | "verticalstrike" | "horizontalstrike")*}}?,
  <b>attribute</b> <code>scriptsizemultiplier</code> {<a href="appendixa-d.html#parsing_number">number</a>}?


<b id="parsing_mscarry">mscarry</b> = <b>element</b> <code>mscarry</code> {<a href="appendixa-d.html#parsing_mscarry.attributes">mscarry.attributes</a>, <a href="appendixa-d.html#parsing_MsrowExpression">MsrowExpression</a>*}
<b id="parsing_mscarry.attributes">mscarry.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>location</code> {"w" | "nw" | "n" | "ne" | "e" | "se" | "s" | "sw"}?,
  <b>attribute</b> <code>crossout</code> {<a href="appendixa-d.html#parsing_list">list</a> {("none" | "updiagonalstrike" | "downdiagonalstrike" | "verticalstrike" | "horizontalstrike")*}}?


<b id="parsing_maction">maction</b> = <b>element</b> <code>maction</code> {<a href="appendixa-d.html#parsing_maction.attributes">maction.attributes</a>, <a href="appendixa-d.html#parsing_MathExpression">MathExpression</a>+}
<b id="parsing_maction.attributes">maction.attributes</b> = 
  <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_CommonPresAtt">CommonPresAtt</a>,
  <b>attribute</b> <code>actiontype</code> {text}?,
  <b>attribute</b> <code>selection</code> {<a href="appendixa-d.html#parsing_positive-integer">positive-integer</a>}?

</pre></div>
            <div class="div3">
               
               <h3><a name="parsing.rnc.strict" id="parsing.rnc.strict"></a>A.2.4 The Grammar for Strict Content MathML3
               </h3>
               <p>The grammar for Strict Content MathML3 can be found at <a href="http://www.w3.org/Math/RelaxNG/mathml3/mathml3-strict-content.rnc">http://www.w3.org/Math/RelaxNG/mathml3/mathml3-strict-content.rnc</a>.
               </p><pre># 
#     Use and distribution of this code are permitted under the terms
#     W3C Software Notice and License
#     http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231


<b>default</b> <b>namespace</b> <b>m</b> = "http://www.w3.org/1998/Math/MathML"

<b id="parsing_ContExp">ContExp</b> = <a href="appendixa-d.html#parsing_semantics-contexp">semantics-contexp</a> | <a href="appendixa-d.html#parsing_cn">cn</a> | <a href="appendixa-d.html#parsing_ci">ci</a> | <a href="appendixa-d.html#parsing_csymbol">csymbol</a> | <a href="appendixa-d.html#parsing_apply">apply</a> | <a href="appendixa-d.html#parsing_bind">bind</a> | <a href="appendixa-d.html#parsing_share">share</a> | <a href="appendixa-d.html#parsing_cerror">cerror</a> | <a href="appendixa-d.html#parsing_cbytes">cbytes</a> | <a href="appendixa-d.html#parsing_cs">cs</a>

<b id="parsing_cn">cn</b> = <b>element</b> <code>cn</code> {<a href="appendixa-d.html#parsing_cn.attributes">cn.attributes</a>,<a href="appendixa-d.html#parsing_cn.content">cn.content</a>}
<b id="parsing_cn.content">cn.content</b> = text
<b id="parsing_cn.attributes">cn.attributes</b> = <b>attribute</b> <code>type</code> {"integer" | "real" | "double" | "hexdouble"}

<b id="parsing_semantics-ci">semantics-ci</b> = <b>element</b> <code>semantics</code> {<a href="appendixa-d.html#parsing_semantics.attributes">semantics.attributes</a>,(<a href="appendixa-d.html#parsing_ci">ci</a>|<a href="appendixa-d.html#parsing_semantics-ci">semantics-ci</a>), 
  (<a href="appendixa-d.html#parsing_annotation">annotation</a>|<a href="appendixa-d.html#parsing_annotation-xml">annotation-xml</a>)*}

<b id="parsing_semantics-contexp">semantics-contexp</b> = <b>element</b> <code>semantics</code> {<a href="appendixa-d.html#parsing_semantics.attributes">semantics.attributes</a>,<a href="appendixa-d.html#parsing_ContExp">ContExp</a>, 
  (<a href="appendixa-d.html#parsing_annotation">annotation</a>|<a href="appendixa-d.html#parsing_annotation-xml">annotation-xml</a>)*}

<b id="parsing_ci">ci</b> = <b>element</b> <code>ci</code> {<a href="appendixa-d.html#parsing_ci.attributes">ci.attributes</a>, <a href="appendixa-d.html#parsing_ci.content">ci.content</a>}
<b id="parsing_ci.attributes">ci.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_ci.type">ci.type</a>?
<b id="parsing_ci.type">ci.type</b> = <b>attribute</b> <code>type</code> {"integer" | "rational" | "real" | "complex" | "complex-polar" | "complex-cartesian" |
          "constant" | "function" | "vector" | "list" | "set" | "matrix"}
<b id="parsing_ci.content">ci.content</b> = text


<b id="parsing_csymbol">csymbol</b> = <b>element</b> <code>csymbol</code> {<a href="appendixa-d.html#parsing_csymbol.attributes">csymbol.attributes</a>,<a href="appendixa-d.html#parsing_csymbol.content">csymbol.content</a>}

<b id="parsing_SymbolName">SymbolName</b> = xsd:NCName
<b id="parsing_csymbol.attributes">csymbol.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_cd">cd</a>
<b id="parsing_csymbol.content">csymbol.content</b> = <a href="appendixa-d.html#parsing_SymbolName">SymbolName</a>

<b id="parsing_BvarQ">BvarQ</b> = <a href="appendixa-d.html#parsing_bvar">bvar</a>*
<b id="parsing_bvar">bvar</b> = <b>element</b> <code>bvar</code> { <a href="appendixa-d.html#parsing_ci">ci</a> | <a href="appendixa-d.html#parsing_semantics-ci">semantics-ci</a>}

<b id="parsing_apply">apply</b> = <b>element</b> <code>apply</code> {<a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,<a href="appendixa-d.html#parsing_apply.content">apply.content</a>}
<b id="parsing_apply.content">apply.content</b> = <a href="appendixa-d.html#parsing_ContExp">ContExp</a>+


<b id="parsing_bind">bind</b> = <b>element</b> <code>bind</code> {<a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>,<a href="appendixa-d.html#parsing_bind.content">bind.content</a>}
<b id="parsing_bind.content">bind.content</b> = <a href="appendixa-d.html#parsing_ContExp">ContExp</a>,<a href="appendixa-d.html#parsing_bvar">bvar</a>*,<a href="appendixa-d.html#parsing_ContExp">ContExp</a>

<b id="parsing_share">share</b> = <b>element</b> <code>share</code> {<a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_src">src</a>, empty}

<b id="parsing_cerror">cerror</b> = <b>element</b> <code>cerror</code> {<a href="appendixa-d.html#parsing_cerror.attributes">cerror.attributes</a>, <a href="appendixa-d.html#parsing_csymbol">csymbol</a>, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>*}
<b id="parsing_cerror.attributes">cerror.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>

<b id="parsing_cbytes">cbytes</b> = <b>element</b> <code>cbytes</code> {<a href="appendixa-d.html#parsing_cbytes.attributes">cbytes.attributes</a>, <a href="appendixa-d.html#parsing_base64">base64</a>}
<b id="parsing_cbytes.attributes">cbytes.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>
<b id="parsing_base64">base64</b> = xsd:base64Binary

<b id="parsing_cs">cs</b> = <b>element</b> <code>cs</code> {<a href="appendixa-d.html#parsing_cs.attributes">cs.attributes</a>, text}
<b id="parsing_cs.attributes">cs.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>

<a href="appendixa-d.html#parsing_MathExpression">MathExpression</a> |= <a href="appendixa-d.html#parsing_ContExp">ContExp</a>

</pre></div>
            <div class="div3">
               
               <h3><a name="parsing.rnc.content" id="parsing.rnc.content"></a>A.2.5 The Grammar for Content MathML
               </h3>
               <p>The grammar for Content MathML3 builds on the grammar for the Strict Content MathML subset, and can be found at <a href="http://www.w3.org/Math/RelaxNG/mathml3/mathml3-content.rnc">http://www.w3.org/Math/RelaxNG/mathml3/mathml3-content.rnc</a>.
               </p><pre>#     Copyright 1998-2010 W3C (MIT, ERCIM, Keio)
# 
#     Use and distribution of this code are permitted under the terms
#     W3C Software Notice and License
#     http://www.w3.org/Consortium/Legal/2002/copyright-software-20021231

<b>include</b> "mathml3-strict-content.rnc"{
  <b>cn.content</b> = (text | <a href="appendixa-d.html#parsing_mglyph">mglyph</a> | <a href="appendixa-d.html#parsing_sep">sep</a> | <a href="appendixa-d.html#parsing_PresentationExpression">PresentationExpression</a>)* 
  <b>cn.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <b>attribute</b> <code>type</code> {text}?, <a href="appendixa-d.html#parsing_base">base</a>?

  <b>ci.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <a href="appendixa-d.html#parsing_ci.type">ci.type</a>?
  <b>ci.type</b> = <b>attribute</b> <code>type</code> {text}
  <b>ci.content</b> = (text | <a href="appendixa-d.html#parsing_mglyph">mglyph</a> | <a href="appendixa-d.html#parsing_PresentationExpression">PresentationExpression</a>)* 

  <b>csymbol.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <b>attribute</b> <code>type</code> {text}?,<a href="appendixa-d.html#parsing_cd">cd</a>?
  <b>csymbol.content</b> = (text | <a href="appendixa-d.html#parsing_mglyph">mglyph</a> | <a href="appendixa-d.html#parsing_PresentationExpression">PresentationExpression</a>)* 

  <b>bvar</b> = <b>element</b> <code>bvar</code> { (<a href="appendixa-d.html#parsing_ci">ci</a> | <a href="appendixa-d.html#parsing_semantics-ci">semantics-ci</a>) &amp; <a href="appendixa-d.html#parsing_degree">degree</a>?}

  <b>cbytes.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>

  <b>cs.attributes</b> = <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>

  <b>apply.content</b> = <a href="appendixa-d.html#parsing_ContExp">ContExp</a>+ | (<a href="appendixa-d.html#parsing_ContExp">ContExp</a>, <a href="appendixa-d.html#parsing_BvarQ">BvarQ</a>, <a href="appendixa-d.html#parsing_Qualifier">Qualifier</a>*, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>*)

  <b>bind.content</b> = <a href="appendixa-d.html#parsing_apply.content">apply.content</a>
}

<b id="parsing_base">base</b> = <b>attribute</b> <code>base</code> {text}


<b id="parsing_sep">sep</b> = <b>element</b> <code>sep</code> {empty}
<a href="appendixa-d.html#parsing_PresentationExpression">PresentationExpression</a> |= notAllowed


<b id="parsing_DomainQ">DomainQ</b> = (<a href="appendixa-d.html#parsing_domainofapplication">domainofapplication</a>|<a href="appendixa-d.html#parsing_condition">condition</a>|<a href="appendixa-d.html#parsing_interval">interval</a>|(<a href="appendixa-d.html#parsing_lowlimit">lowlimit</a>,<a href="appendixa-d.html#parsing_uplimit">uplimit</a>?))*
<b id="parsing_domainofapplication">domainofapplication</b> = <b>element</b> <code>domainofapplication</code> {<a href="appendixa-d.html#parsing_ContExp">ContExp</a>}
<b id="parsing_condition">condition</b> = <b>element</b> <code>condition</code> {<a href="appendixa-d.html#parsing_ContExp">ContExp</a>}
<b id="parsing_uplimit">uplimit</b> = <b>element</b> <code>uplimit</code> {<a href="appendixa-d.html#parsing_ContExp">ContExp</a>}
<b id="parsing_lowlimit">lowlimit</b> = <b>element</b> <code>lowlimit</code> {<a href="appendixa-d.html#parsing_ContExp">ContExp</a>}

<b id="parsing_Qualifier">Qualifier</b> = <a href="appendixa-d.html#parsing_DomainQ">DomainQ</a>|<a href="appendixa-d.html#parsing_degree">degree</a>|<a href="appendixa-d.html#parsing_momentabout">momentabout</a>|<a href="appendixa-d.html#parsing_logbase">logbase</a>
<b id="parsing_degree">degree</b> = <b>element</b> <code>degree</code> {<a href="appendixa-d.html#parsing_ContExp">ContExp</a>}
<b id="parsing_momentabout">momentabout</b> = <b>element</b> <code>momentabout</code> {<a href="appendixa-d.html#parsing_ContExp">ContExp</a>}
<b id="parsing_logbase">logbase</b> = <b>element</b> <code>logbase</code> {<a href="appendixa-d.html#parsing_ContExp">ContExp</a>}

<b id="parsing_type">type</b> = <b>attribute</b> <code>type</code> {text}
<b id="parsing_order">order</b> = <b>attribute</b> <code>order</code> {"numeric" | "lexicographic"}
<b id="parsing_closure">closure</b> = <b>attribute</b> <code>closure</code> {text}


<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_piecewise">piecewise</a>


<b id="parsing_piecewise">piecewise</b> = <b>element</b> <code>piecewise</code> {<a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>,(<a href="appendixa-d.html#parsing_piece">piece</a>* &amp; <a href="appendixa-d.html#parsing_otherwise">otherwise</a>?)}

<b id="parsing_piece">piece</b> = <b>element</b> <code>piece</code> {<a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>}

<b id="parsing_otherwise">otherwise</b> = <b>element</b> <code>otherwise</code> {<a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>}


<b id="parsing_DeprecatedContExp">DeprecatedContExp</b> = <a href="appendixa-d.html#parsing_reln">reln</a> | <a href="appendixa-d.html#parsing_fn">fn</a> | <a href="appendixa-d.html#parsing_declare">declare</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_DeprecatedContExp">DeprecatedContExp</a>

<b id="parsing_reln">reln</b> = <b>element</b> <code>reln</code> {<a href="appendixa-d.html#parsing_ContExp">ContExp</a>*}
<b id="parsing_fn">fn</b> = <b>element</b> <code>fn</code> {<a href="appendixa-d.html#parsing_ContExp">ContExp</a>}
<b id="parsing_declare">declare</b> = <b>element</b> <code>declare</code> {<b>attribute</b> <code>type</code> {xsd:string}?,
                           <b>attribute</b> <code>scope</code> {xsd:string}?,
                           <b>attribute</b> <code>nargs</code> {xsd:nonNegativeInteger}?,
                           <b>attribute</b> <code>occurrence</code> {"prefix"|"infix"|"function-model"}?,
                           <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, 
                           <a href="appendixa-d.html#parsing_ContExp">ContExp</a>+}


<b id="parsing_interval.class">interval.class</b> = <a href="appendixa-d.html#parsing_interval">interval</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_interval.class">interval.class</a>


<b id="parsing_interval">interval</b> = <b>element</b> <code>interval</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>,<a href="appendixa-d.html#parsing_closure">closure</a>?, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>,<a href="appendixa-d.html#parsing_ContExp">ContExp</a>}

<b id="parsing_unary-functional.class">unary-functional.class</b> = <a href="appendixa-d.html#parsing_inverse">inverse</a> | <a href="appendixa-d.html#parsing_ident">ident</a> | <a href="appendixa-d.html#parsing_domain">domain</a> | <a href="appendixa-d.html#parsing_codomain">codomain</a> | <a href="appendixa-d.html#parsing_image">image</a> | <a href="appendixa-d.html#parsing_ln">ln</a> | <a href="appendixa-d.html#parsing_log">log</a> | <a href="appendixa-d.html#parsing_moment">moment</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_unary-functional.class">unary-functional.class</a>


<b id="parsing_inverse">inverse</b> = <b>element</b> <code>inverse</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_ident">ident</b> = <b>element</b> <code>ident</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_domain">domain</b> = <b>element</b> <code>domain</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_codomain">codomain</b> = <b>element</b> <code>codomain</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_image">image</b> = <b>element</b> <code>image</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_ln">ln</b> = <b>element</b> <code>ln</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_log">log</b> = <b>element</b> <code>log</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_moment">moment</b> = <b>element</b> <code>moment</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_lambda.class">lambda.class</b> = <a href="appendixa-d.html#parsing_lambda">lambda</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_lambda.class">lambda.class</a>


<b id="parsing_lambda">lambda</b> = <b>element</b> <code>lambda</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <a href="appendixa-d.html#parsing_BvarQ">BvarQ</a>, <a href="appendixa-d.html#parsing_DomainQ">DomainQ</a>, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>}

<b id="parsing_nary-functional.class">nary-functional.class</b> = <a href="appendixa-d.html#parsing_compose">compose</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_nary-functional.class">nary-functional.class</a>


<b id="parsing_compose">compose</b> = <b>element</b> <code>compose</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_binary-arith.class">binary-arith.class</b> = <a href="appendixa-d.html#parsing_quotient">quotient</a> | <a href="appendixa-d.html#parsing_divide">divide</a> | <a href="appendixa-d.html#parsing_minus">minus</a> | <a href="appendixa-d.html#parsing_power">power</a> | <a href="appendixa-d.html#parsing_rem">rem</a> | <a href="appendixa-d.html#parsing_root">root</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_binary-arith.class">binary-arith.class</a>


<b id="parsing_quotient">quotient</b> = <b>element</b> <code>quotient</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_divide">divide</b> = <b>element</b> <code>divide</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_minus">minus</b> = <b>element</b> <code>minus</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_power">power</b> = <b>element</b> <code>power</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_rem">rem</b> = <b>element</b> <code>rem</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_root">root</b> = <b>element</b> <code>root</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_unary-arith.class">unary-arith.class</b> = <a href="appendixa-d.html#parsing_factorial">factorial</a> | <a href="appendixa-d.html#parsing_minus">minus</a> | <a href="appendixa-d.html#parsing_root">root</a> | <a href="appendixa-d.html#parsing_abs">abs</a> | <a href="appendixa-d.html#parsing_conjugate">conjugate</a> | <a href="appendixa-d.html#parsing_arg">arg</a> | <a href="appendixa-d.html#parsing_real">real</a> | <a href="appendixa-d.html#parsing_imaginary">imaginary</a> | <a href="appendixa-d.html#parsing_floor">floor</a> | <a href="appendixa-d.html#parsing_ceiling">ceiling</a> | <a href="appendixa-d.html#parsing_exp">exp</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_unary-arith.class">unary-arith.class</a>


<b id="parsing_factorial">factorial</b> = <b>element</b> <code>factorial</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_abs">abs</b> = <b>element</b> <code>abs</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_conjugate">conjugate</b> = <b>element</b> <code>conjugate</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arg">arg</b> = <b>element</b> <code>arg</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_real">real</b> = <b>element</b> <code>real</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_imaginary">imaginary</b> = <b>element</b> <code>imaginary</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_floor">floor</b> = <b>element</b> <code>floor</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_ceiling">ceiling</b> = <b>element</b> <code>ceiling</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_exp">exp</b> = <b>element</b> <code>exp</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_nary-minmax.class">nary-minmax.class</b> = <a href="appendixa-d.html#parsing_max">max</a> | <a href="appendixa-d.html#parsing_min">min</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_nary-minmax.class">nary-minmax.class</a>


<b id="parsing_max">max</b> = <b>element</b> <code>max</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_min">min</b> = <b>element</b> <code>min</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_nary-arith.class">nary-arith.class</b> = <a href="appendixa-d.html#parsing_plus">plus</a> | <a href="appendixa-d.html#parsing_times">times</a> | <a href="appendixa-d.html#parsing_gcd">gcd</a> | <a href="appendixa-d.html#parsing_lcm">lcm</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_nary-arith.class">nary-arith.class</a>


<b id="parsing_plus">plus</b> = <b>element</b> <code>plus</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_times">times</b> = <b>element</b> <code>times</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_gcd">gcd</b> = <b>element</b> <code>gcd</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_lcm">lcm</b> = <b>element</b> <code>lcm</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_nary-logical.class">nary-logical.class</b> = <a href="appendixa-d.html#parsing_and">and</a> | <a href="appendixa-d.html#parsing_or">or</a> | <a href="appendixa-d.html#parsing_xor">xor</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_nary-logical.class">nary-logical.class</a>


<b id="parsing_and">and</b> = <b>element</b> <code>and</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_or">or</b> = <b>element</b> <code>or</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_xor">xor</b> = <b>element</b> <code>xor</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_unary-logical.class">unary-logical.class</b> = <a href="appendixa-d.html#parsing_not">not</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_unary-logical.class">unary-logical.class</a>


<b id="parsing_not">not</b> = <b>element</b> <code>not</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_binary-logical.class">binary-logical.class</b> = <a href="appendixa-d.html#parsing_implies">implies</a> | <a href="appendixa-d.html#parsing_equivalent">equivalent</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_binary-logical.class">binary-logical.class</a>


<b id="parsing_implies">implies</b> = <b>element</b> <code>implies</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_equivalent">equivalent</b> = <b>element</b> <code>equivalent</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_quantifier.class">quantifier.class</b> = <a href="appendixa-d.html#parsing_forall">forall</a> | <a href="appendixa-d.html#parsing_exists">exists</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_quantifier.class">quantifier.class</a>


<b id="parsing_forall">forall</b> = <b>element</b> <code>forall</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_exists">exists</b> = <b>element</b> <code>exists</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_nary-reln.class">nary-reln.class</b> = <a href="appendixa-d.html#parsing_eq">eq</a> | <a href="appendixa-d.html#parsing_gt">gt</a> | <a href="appendixa-d.html#parsing_lt">lt</a> | <a href="appendixa-d.html#parsing_geq">geq</a> | <a href="appendixa-d.html#parsing_leq">leq</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_nary-reln.class">nary-reln.class</a>


<b id="parsing_eq">eq</b> = <b>element</b> <code>eq</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_gt">gt</b> = <b>element</b> <code>gt</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_lt">lt</b> = <b>element</b> <code>lt</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_geq">geq</b> = <b>element</b> <code>geq</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_leq">leq</b> = <b>element</b> <code>leq</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_binary-reln.class">binary-reln.class</b> = <a href="appendixa-d.html#parsing_neq">neq</a> | <a href="appendixa-d.html#parsing_approx">approx</a> | <a href="appendixa-d.html#parsing_factorof">factorof</a> | <a href="appendixa-d.html#parsing_tendsto">tendsto</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_binary-reln.class">binary-reln.class</a>


<b id="parsing_neq">neq</b> = <b>element</b> <code>neq</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_approx">approx</b> = <b>element</b> <code>approx</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_factorof">factorof</b> = <b>element</b> <code>factorof</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_tendsto">tendsto</b> = <b>element</b> <code>tendsto</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <a href="appendixa-d.html#parsing_type">type</a>?, empty}

<b id="parsing_int.class">int.class</b> = <a href="appendixa-d.html#parsing_int">int</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_int.class">int.class</a>


<b id="parsing_int">int</b> = <b>element</b> <code>int</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_Differential-Operator.class">Differential-Operator.class</b> = <a href="appendixa-d.html#parsing_diff">diff</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_Differential-Operator.class">Differential-Operator.class</a>


<b id="parsing_diff">diff</b> = <b>element</b> <code>diff</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_partialdiff.class">partialdiff.class</b> = <a href="appendixa-d.html#parsing_partialdiff">partialdiff</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_partialdiff.class">partialdiff.class</a>


<b id="parsing_partialdiff">partialdiff</b> = <b>element</b> <code>partialdiff</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_unary-veccalc.class">unary-veccalc.class</b> = <a href="appendixa-d.html#parsing_divergence">divergence</a> | <a href="appendixa-d.html#parsing_grad">grad</a> | <a href="appendixa-d.html#parsing_curl">curl</a> | <a href="appendixa-d.html#parsing_laplacian">laplacian</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_unary-veccalc.class">unary-veccalc.class</a>


<b id="parsing_divergence">divergence</b> = <b>element</b> <code>divergence</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_grad">grad</b> = <b>element</b> <code>grad</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_curl">curl</b> = <b>element</b> <code>curl</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_laplacian">laplacian</b> = <b>element</b> <code>laplacian</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_nary-setlist-constructor.class">nary-setlist-constructor.class</b> = <a href="appendixa-d.html#parsing_set">set</a> | \<a href="appendixa-d.html#parsing_list">list</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_nary-setlist-constructor.class">nary-setlist-constructor.class</a>


<b id="parsing_set">set</b> = <b>element</b> <code>set</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <a href="appendixa-d.html#parsing_type">type</a>?, <a href="appendixa-d.html#parsing_BvarQ">BvarQ</a>*, <a href="appendixa-d.html#parsing_DomainQ">DomainQ</a>*, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>*}
\<b id="parsing_list">list</b> = <b>element</b> <code>\list</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <a href="appendixa-d.html#parsing_order">order</a>?, <a href="appendixa-d.html#parsing_BvarQ">BvarQ</a>*, <a href="appendixa-d.html#parsing_DomainQ">DomainQ</a>*, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>*}

<b id="parsing_nary-set.class">nary-set.class</b> = <a href="appendixa-d.html#parsing_union">union</a> | <a href="appendixa-d.html#parsing_intersect">intersect</a> | <a href="appendixa-d.html#parsing_cartesianproduct">cartesianproduct</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_nary-set.class">nary-set.class</a>


<b id="parsing_union">union</b> = <b>element</b> <code>union</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_intersect">intersect</b> = <b>element</b> <code>intersect</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_cartesianproduct">cartesianproduct</b> = <b>element</b> <code>cartesianproduct</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_binary-set.class">binary-set.class</b> = <a href="appendixa-d.html#parsing_in">in</a> | <a href="appendixa-d.html#parsing_notin">notin</a> | <a href="appendixa-d.html#parsing_notsubset">notsubset</a> | <a href="appendixa-d.html#parsing_notprsubset">notprsubset</a> | <a href="appendixa-d.html#parsing_setdiff">setdiff</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_binary-set.class">binary-set.class</a>


<b id="parsing_in">in</b> = <b>element</b> <code>in</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_notin">notin</b> = <b>element</b> <code>notin</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_notsubset">notsubset</b> = <b>element</b> <code>notsubset</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_notprsubset">notprsubset</b> = <b>element</b> <code>notprsubset</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_setdiff">setdiff</b> = <b>element</b> <code>setdiff</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_nary-set-reln.class">nary-set-reln.class</b> = <a href="appendixa-d.html#parsing_subset">subset</a> | <a href="appendixa-d.html#parsing_prsubset">prsubset</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_nary-set-reln.class">nary-set-reln.class</a>


<b id="parsing_subset">subset</b> = <b>element</b> <code>subset</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_prsubset">prsubset</b> = <b>element</b> <code>prsubset</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_unary-set.class">unary-set.class</b> = <a href="appendixa-d.html#parsing_card">card</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_unary-set.class">unary-set.class</a>


<b id="parsing_card">card</b> = <b>element</b> <code>card</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_sum.class">sum.class</b> = <a href="appendixa-d.html#parsing_sum">sum</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_sum.class">sum.class</a>


<b id="parsing_sum">sum</b> = <b>element</b> <code>sum</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_product.class">product.class</b> = <a href="appendixa-d.html#parsing_product">product</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_product.class">product.class</a>


<b id="parsing_product">product</b> = <b>element</b> <code>product</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_limit.class">limit.class</b> = <a href="appendixa-d.html#parsing_limit">limit</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_limit.class">limit.class</a>


<b id="parsing_limit">limit</b> = <b>element</b> <code>limit</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_unary-elementary.class">unary-elementary.class</b> = <a href="appendixa-d.html#parsing_sin">sin</a> | <a href="appendixa-d.html#parsing_cos">cos</a> | <a href="appendixa-d.html#parsing_tan">tan</a> | <a href="appendixa-d.html#parsing_sec">sec</a> | <a href="appendixa-d.html#parsing_csc">csc</a> | <a href="appendixa-d.html#parsing_cot">cot</a> | <a href="appendixa-d.html#parsing_sinh">sinh</a> | <a href="appendixa-d.html#parsing_cosh">cosh</a> | <a href="appendixa-d.html#parsing_tanh">tanh</a> | <a href="appendixa-d.html#parsing_sech">sech</a> | <a href="appendixa-d.html#parsing_csch">csch</a> | <a href="appendixa-d.html#parsing_coth">coth</a> | <a href="appendixa-d.html#parsing_arcsin">arcsin</a> | <a href="appendixa-d.html#parsing_arccos">arccos</a> | <a href="appendixa-d.html#parsing_arctan">arctan</a> | <a href="appendixa-d.html#parsing_arccosh">arccosh</a> | <a href="appendixa-d.html#parsing_arccot">arccot</a> | <a href="appendixa-d.html#parsing_arccoth">arccoth</a> | <a href="appendixa-d.html#parsing_arccsc">arccsc</a> | <a href="appendixa-d.html#parsing_arccsch">arccsch</a> | <a href="appendixa-d.html#parsing_arcsec">arcsec</a> | <a href="appendixa-d.html#parsing_arcsech">arcsech</a> | <a href="appendixa-d.html#parsing_arcsinh">arcsinh</a> | <a href="appendixa-d.html#parsing_arctanh">arctanh</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_unary-elementary.class">unary-elementary.class</a>


<b id="parsing_sin">sin</b> = <b>element</b> <code>sin</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_cos">cos</b> = <b>element</b> <code>cos</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_tan">tan</b> = <b>element</b> <code>tan</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_sec">sec</b> = <b>element</b> <code>sec</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_csc">csc</b> = <b>element</b> <code>csc</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_cot">cot</b> = <b>element</b> <code>cot</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_sinh">sinh</b> = <b>element</b> <code>sinh</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_cosh">cosh</b> = <b>element</b> <code>cosh</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_tanh">tanh</b> = <b>element</b> <code>tanh</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_sech">sech</b> = <b>element</b> <code>sech</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_csch">csch</b> = <b>element</b> <code>csch</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_coth">coth</b> = <b>element</b> <code>coth</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arcsin">arcsin</b> = <b>element</b> <code>arcsin</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arccos">arccos</b> = <b>element</b> <code>arccos</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arctan">arctan</b> = <b>element</b> <code>arctan</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arccosh">arccosh</b> = <b>element</b> <code>arccosh</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arccot">arccot</b> = <b>element</b> <code>arccot</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arccoth">arccoth</b> = <b>element</b> <code>arccoth</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arccsc">arccsc</b> = <b>element</b> <code>arccsc</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arccsch">arccsch</b> = <b>element</b> <code>arccsch</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arcsec">arcsec</b> = <b>element</b> <code>arcsec</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arcsech">arcsech</b> = <b>element</b> <code>arcsech</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arcsinh">arcsinh</b> = <b>element</b> <code>arcsinh</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_arctanh">arctanh</b> = <b>element</b> <code>arctanh</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_nary-stats.class">nary-stats.class</b> = <a href="appendixa-d.html#parsing_mean">mean</a> | <a href="appendixa-d.html#parsing_sdev">sdev</a> | <a href="appendixa-d.html#parsing_variance">variance</a> | <a href="appendixa-d.html#parsing_median">median</a> | <a href="appendixa-d.html#parsing_mode">mode</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_nary-stats.class">nary-stats.class</a>


<b id="parsing_mean">mean</b> = <b>element</b> <code>mean</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_sdev">sdev</b> = <b>element</b> <code>sdev</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_variance">variance</b> = <b>element</b> <code>variance</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_median">median</b> = <b>element</b> <code>median</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_mode">mode</b> = <b>element</b> <code>mode</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_nary-constructor.class">nary-constructor.class</b> = <a href="appendixa-d.html#parsing_vector">vector</a> | <a href="appendixa-d.html#parsing_matrix">matrix</a> | <a href="appendixa-d.html#parsing_matrixrow">matrixrow</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_nary-constructor.class">nary-constructor.class</a>


<b id="parsing_vector">vector</b> = <b>element</b> <code>vector</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <a href="appendixa-d.html#parsing_BvarQ">BvarQ</a>, <a href="appendixa-d.html#parsing_DomainQ">DomainQ</a>, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>*}
<b id="parsing_matrix">matrix</b> = <b>element</b> <code>matrix</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <a href="appendixa-d.html#parsing_BvarQ">BvarQ</a>, <a href="appendixa-d.html#parsing_DomainQ">DomainQ</a>, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>*}
<b id="parsing_matrixrow">matrixrow</b> = <b>element</b> <code>matrixrow</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, <a href="appendixa-d.html#parsing_BvarQ">BvarQ</a>, <a href="appendixa-d.html#parsing_DomainQ">DomainQ</a>, <a href="appendixa-d.html#parsing_ContExp">ContExp</a>*}

<b id="parsing_unary-linalg.class">unary-linalg.class</b> = <a href="appendixa-d.html#parsing_determinant">determinant</a> | <a href="appendixa-d.html#parsing_transpose">transpose</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_unary-linalg.class">unary-linalg.class</a>


<b id="parsing_determinant">determinant</b> = <b>element</b> <code>determinant</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_transpose">transpose</b> = <b>element</b> <code>transpose</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_nary-linalg.class">nary-linalg.class</b> = <a href="appendixa-d.html#parsing_selector">selector</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_nary-linalg.class">nary-linalg.class</a>


<b id="parsing_selector">selector</b> = <b>element</b> <code>selector</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_binary-linalg.class">binary-linalg.class</b> = <a href="appendixa-d.html#parsing_vectorproduct">vectorproduct</a> | <a href="appendixa-d.html#parsing_scalarproduct">scalarproduct</a> | <a href="appendixa-d.html#parsing_outerproduct">outerproduct</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_binary-linalg.class">binary-linalg.class</a>


<b id="parsing_vectorproduct">vectorproduct</b> = <b>element</b> <code>vectorproduct</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_scalarproduct">scalarproduct</b> = <b>element</b> <code>scalarproduct</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_outerproduct">outerproduct</b> = <b>element</b> <code>outerproduct</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_constant-set.class">constant-set.class</b> = <a href="appendixa-d.html#parsing_integers">integers</a> | <a href="appendixa-d.html#parsing_reals">reals</a> | <a href="appendixa-d.html#parsing_rationals">rationals</a> | <a href="appendixa-d.html#parsing_naturalnumbers">naturalnumbers</a> | <a href="appendixa-d.html#parsing_complexes">complexes</a> | <a href="appendixa-d.html#parsing_primes">primes</a> | <a href="appendixa-d.html#parsing_emptyset">emptyset</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_constant-set.class">constant-set.class</a>


<b id="parsing_integers">integers</b> = <b>element</b> <code>integers</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_reals">reals</b> = <b>element</b> <code>reals</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_rationals">rationals</b> = <b>element</b> <code>rationals</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_naturalnumbers">naturalnumbers</b> = <b>element</b> <code>naturalnumbers</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_complexes">complexes</b> = <b>element</b> <code>complexes</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_primes">primes</b> = <b>element</b> <code>primes</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_emptyset">emptyset</b> = <b>element</b> <code>emptyset</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}

<b id="parsing_constant-arith.class">constant-arith.class</b> = <a href="appendixa-d.html#parsing_exponentiale">exponentiale</a> | <a href="appendixa-d.html#parsing_imaginaryi">imaginaryi</a> | <a href="appendixa-d.html#parsing_notanumber">notanumber</a> | <a href="appendixa-d.html#parsing_true">true</a> | <a href="appendixa-d.html#parsing_false">false</a> | <a href="appendixa-d.html#parsing_pi">pi</a> | <a href="appendixa-d.html#parsing_eulergamma">eulergamma</a> | <a href="appendixa-d.html#parsing_infinity">infinity</a>
<a href="appendixa-d.html#parsing_ContExp">ContExp</a> |= <a href="appendixa-d.html#parsing_constant-arith.class">constant-arith.class</a>


<b id="parsing_exponentiale">exponentiale</b> = <b>element</b> <code>exponentiale</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_imaginaryi">imaginaryi</b> = <b>element</b> <code>imaginaryi</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_notanumber">notanumber</b> = <b>element</b> <code>notanumber</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_true">true</b> = <b>element</b> <code>true</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_false">false</b> = <b>element</b> <code>false</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_pi">pi</b> = <b>element</b> <code>pi</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_eulergamma">eulergamma</b> = <b>element</b> <code>eulergamma</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
<b id="parsing_infinity">infinity</b> = <b>element</b> <code>infinity</code> { <a href="appendixa-d.html#parsing_CommonAtt">CommonAtt</a>, <a href="appendixa-d.html#parsing_DefEncAtt">DefEncAtt</a>, empty}
</pre></div>
            <div class="div3">
               
               <h3><a name="parsing.rnc.module" id="parsing.rnc.module"></a>A.2.6 MathML as a module in a RelaxNG Schema
               </h3>
               <p>Normally, a MathML expression does not constitute an entire XML document. MathML is
                  designed to be used as the mathematics fragment of larger markup languages. In
                  particular it is designed to be used as a <em>module</em> in documents marked up
                  with the XHTML family of markup languages. As RelaxNG directly supports modular
                  development, this is usually very easy: an XHTML+MathML schema can be specified as simply as
                  
               </p><pre># A RelaxNG Schema for  XHTML+MathML
include "xhtml.rnc"
math = external "mathml3.rnc"
Inline.class |= math
Block.class |= math</pre><p>
                  
                  assuming that we have access to a modular RelaxNG schema for XHTML that uses
                  <code>Inline.class</code> and <code>Block.class</code> to collect the the content models
                  for inline and block-level elements.
               </p>
               <p>Customizing the MathML3 schema so that we can restrict the content of
                  <code>annotation-xml</code> elements is similarly simple, for example:
                  
                  
               </p><pre># A RelaxNG Schema for MathML with OpenMath3 annotations
omobj = external "openmath3.rnc" 
include "mathml3.rnc" {anotation-xml.model = omobj}</pre><p>
                  The MathML3 schema is organized so that subsetting to one of the sublanguages specified here is easy.
                  To include strict content MathML3 in a schema just include
                  
               </p><pre>include "mathml3-common.rnc"
include "mathml3-strict-content.rnc"</pre><p>
                  instead of <code>include mathml3.rnc</code>.
                  
               </p>
               <p>For details about RelaxNG grammars and modularization see <a href="appendixg-d.html#RELAX-NG">[RELAX-NG]</a> or <a href="appendixh-d.html#RelaxNGBook">[RelaxNGBook]</a>.
               </p>
            </div>
         </div>
         <div class="div2">
            
            <h2><a name="parsing.usingdtd" id="parsing.usingdtd"></a>A.3 Using the MathML DTD
            </h2>
            <div class="div3">
               
               <h3><a name="interf.validation" id="interf.validation"></a>A.3.1 Document Validation Issues
               </h3>
               <p>The use of namespace prefixes creates an issue for DTD validation
                  of documents embedding MathML.  DTD validation requires knowing the
                  literal (possibly prefixed) element names used in the document.
                  However, the Namespaces in XML Recommendation <a href="appendixg-d.html#Namespaces">[Namespaces]</a> allows the prefix to be changed at arbitrary points
                  in the document, since namespace prefixes may be declared on any
                  element.
               </p>
               <p>The MathML DTD uses the strategy outlined in <a href="appendixh-d.html#Modularization">[Modularization]</a>
                  of making every element
                  name in the DTD be accessed by an entity reference. This means that by
                  declaring a couple of entities to specify the prefix before the DTD is
                  loaded, the prefix can be chosen by a document author, and compound
                  DTDs that include several modules can, without changing the module
                  DTDs, specify unique prefixes for each module to avoid clashes.
               </p>
            </div>
            <div class="div3">
               
               <h3><a name="id.A.3.2" id="id.A.3.2"></a>A.3.2 Attribute values in the MathML DTD
               </h3>
               <p>Note that the DTD is far more permissive than the Relax NG schema, many constraints on attribute values may not be enforced
                  using DTD syntax.
                  For example, many attributes expect numerical values or specific micro-syntax, but are declared as CDATA (arbitrary string)
                  in the DTD.
                  However, lack of enforcement of a requirement in the DTD
                  does <em>not</em> imply that the requirement is not part of the MathML
                  language itself, or that it will not be enforced by a particular MathML
                  renderer. (See <a href="chapter2-d.html#interf.error">Section&nbsp;2.3.2 Handling of Errors</a> for a description of how
                  MathML renderers should respond to MathML errors.)
               </p>
               <p>Furthermore, the MathML DTD is provided for convenience; although it is
                  intended to be fully compatible with the text of the specification, the
                  text should be taken as definitive if there is a contradiction.  (Any
                  contradictions which may exist between various chapters of the text should
                  be resolved by favoring <a href="chapter7-d.html">Chapter&nbsp;7 Characters, Entities and Fonts</a> first, then <a href="chapter3-d.html">Chapter&nbsp;3 Presentation Markup</a>, <a href="chapter4-d.html">Chapter&nbsp;4 Content Markup</a>, then <a href="chapter2-d.html#fund.syntax">Section&nbsp;2.1 MathML Syntax and Grammar</a>,
                  and then other parts of the text.)
               </p>
            </div>
            <div class="div3">
               
               <h3><a name="parsing.doctype" id="parsing.doctype"></a>A.3.3 DOCTYPE declaration for MathML
               </h3>
               <p>MathML documents should be validated using the XML DTD for
                  MathML,
                  <a href="http://www.w3.org/Math/DTD/mathml3/mathml3.dtd">http://www.w3.org/Math/DTD/mathml3/mathml3.dtd</a>.
                  
               </p>
               <p>Documents using this DTD should contain a DOCTYPE declaration
                  of the form:
                  
               </p><pre>&lt;!DOCTYPE math 
    PUBLIC "-//W3C//DTD MathML 3.0//EN"
           "http://www.w3.org/Math/DTD/mathml3/mathml3.dtd"&gt;</pre><p>
                  The URI may be changed to that of a local copy
                  of the DTD if required.
               </p>
            </div>
         </div>
         <div class="div2">
            
            <h2><a name="parsing.usingxsd" id="parsing.usingxsd"></a>A.4 Using the MathML XML Schema
            </h2>
            <p>MathML fragments can be validated using the XML Schema for MathML,
               located at <a href="http://www.w3.org/Math/XMLSchema/mathml3/mathml3.xsd">http://www.w3.org/Math/XMLSchema/mathml3/mathml3.xsd</a>. The
               provided schema  has been mechanically generated from the Relax NG schema, it omits some constraints that can not be enforced
               using XSD syntax.
            </p>
            <div class="div3">
               
               <h3><a name="parsing.schemalocation" id="parsing.schemalocation"></a>A.4.1 Associating the MathML schema with MathML fragments
               </h3>
               <p>Similarly to the DOCTYPE declaration used in documents, it is possible to link a MathML fragment to the XML Schema, as shown
                  below.
               </p><pre class="mathml-fragment">&lt;mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"
          xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
          xsi:schemaLocation="http://www.w3.org/1998/Math/MathML
            http://www.w3.org/Math/XMLSchema/mathml3/mathml3.xsd"&gt;
...
&lt;/mml:math&gt;</pre><p>The <code>xsi:schemaLocation</code> attribute belongs to the XML Schema
                  instance namespace, defined in <a href="appendixh-d.html#XMLSchemas">[XMLSchemas]</a>.  The value
                  of the attribute is a pair of URIs: the first is the MathML namespace
                  URI and the second is the location of the schema for that
                  namespace. The second URI may be changed to that of a local copy if
                  required.
               </p>
               <p>As the XML Schema specification indicates, the use of the
                  <code>schemaLocation</code> attribute is only a hint for schema
                  processors: validation by a MathML-aware processor can be performed
                  without requiring that the <code>schemaLocation</code> attribute be
                  declared in the instance. Moreover, a processor can even ignore or
                  override the specified schema URI, if it is directed to.
               </p>
            </div>
         </div>
      </div>
      <div class="minitoc">
         
         Overview: <a href="Overview-d.html">Mathematical Markup Language (MathML) Version 3.0</a><br>
         Previous:     7 <a href="chapter7-d.html">Characters, Entities and Fonts</a><br>
         Next:     B <a href="appendixb-d.html">Media Types Registrations</a></div>
   </body>
</html>