Issue update_schema  wiki (member only) 

DTD and W3C XML Schema  
DTD and W3C XML Schema need updating to MathML3 

Resolution  None recorded 
A MathML document must be a wellformed 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 advantagous not 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.
Note also 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 UTF8) in which all needed characters may be encoded as character data, or characters may be referenced using numeric character references, for example ∫ rather than ∫
If a MathML fragment is parsed without a DTD, in other words as a wellformed XML fragment, it is the responsibility of the processing application to treat the white space characters occurring outside of token elements as not significant.
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, Section A.2 Using the RelaxNG Schema for MathML3, discusses the RelaxNG Schema for MathML3 [RelaxNG], which forms a normative part of the specification. Following that, Section A.4 Using the MathML XML Schema, and Section A.3 Using the MathML DTD discuss alternative languages definition using the document type definitions (DTD) and the W3C XML schema language, [XMLSchemas], 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.
MathML documents should be validated using the RelaxNG Schema for MathML, either in the XML encoding (http://www.w3.org/Math/RelaxNG/mathml3/mathml3.rng) or in compact notation (http://www.w3.org/Math/RelaxNG/mathml3/mathml3.rnc) which is also shown below.
In contrast to DTDs there is no indocument method to associate a RelaxNG schema with a document.
Editorial note: MiKo  
I have included the schema verbatim for reference, a better version should be generated somehow 
We provide five RelaxNG schemata for sublanguages of MathML3:
The grammar for Presentation MathML without content elements mixed in
The grammar for strict Content MathML3
The grammar for pragmatic Content MathML3 without presentation MathML in token elements
The grammar for full MathML without deprecated parts
The grammar for full MathML with deprecated parts
we will present them in detail in the next sections below. As the compact notation for RelaxNG grammars is more readable, we will use this format here.
Note that the RelaxNG grammars here are considerably more strict than the MathML2 DTDs (even in strict mode).
# This is the Mathematical Markup Language (MathML) 3.0, an XML # application for describing mathematical notation and capturing # both its structure and content. # # Copyright 19982007 World Wide Web Consortium # (Massachusetts Institute of Technology, Institut National de # Recherche en Informatique et en Automatique, Keio University). # All Rights Reserved. # # Permission to use, copy, modify and distribute the RelaxNG schema for MathML3 # and its accompanying documentation for any purpose and without fee is # hereby granted in perpetuity, provided that the above copyright notice # and this paragraph appear in all copies. The copyright holders make # no representation about the suitability of the Schema for any purpose. # # This file contains the grammar rules for pure presentation MathML3, i.e. without # content MathML mixed in. # It is provided "as is" without expressed or implied warranty. # # Revision: $Id: appendixa.html,v 1.1 2008/04/08 17:00:08 jules Exp $ # Author: Michael Kohlhase http://kwarc.info/kohlhase default namespace m = "http://www.w3.org/1998/Math/MathML" include "mathml3common.rnc" math.content = ContInPres MathML.Common.attrib = attribute class {xsd:NMTOKENS}?,attribute style {xsd:string}? Browserinterface.attrib = attribute baseline {xsd:string}?, attribute overflow {"scroll"  "elide"  "truncate"  "scale"}?, attribute altimg {xsd:anyURI}?, attribute alttext {xsd:string}?, attribute type {xsd:string}?, attribute name {xsd:string}?, attribute height {xsd:string}?, attribute width {xsd:string}? math.attlist = Browserinterface.attrib,attribute display {"block"  "inline"}? simplesize = "small"  "normal"  "big" centering.values = "left"  "center"  "right" namedspace = "veryverythinmathspace"  "verythinmathspace"  "thinmathspace"  "mediummathspace"  "thickmathspace"  "verythickmathspace"  "veryverythickmathspace" thickness = "thin"  "medium"  "thick" # number with units used to specified lengths lengthwithunit = xsd:string #{pattern="(?([09]+[09]*\.[09]+)(emexpxincmmmptpc%))0"} lengthwithoptionalunit = xsd:string #{pattern="?([09]+[09]*\.[09]+)(emexpxincmmmptpc%)?"} # This is just "infinity" that can be used as a length infinity = "infinity" # colors defined as RGB RGBcolor = xsd:string {pattern="#(([09][af]){3}([09][af]){6})"} # The mathematics style attributes. These attributes are valid on all # presentation token elements except "mspace" and "mglyph", and on no # other elements except "mstyle". Tokenstyle.attrib = attribute mathvariant {"normal"  "bold"  "italic"  "bolditalic"  "doublestruck"  "boldfraktur"  "script"  "boldscript"  "fraktur"  "sansserif"  "boldsansserif"  "sansserifitalic"  "sansserifbolditalic"  "monospace"}?, attribute mathsize {simplesize  lengthwithunit}?, attribute mathcolor {xsd:string}?, attribute mathbackground {xsd:string}? truefalse = "true"  "false" Operator.attrib = # this attribute value is normally inferred from the position of # the operator in its "<mrow"> attribute form {"prefix"  "infix"  "postfix"}?, # set by dictionary, else it is "thickmathspace" attribute lspace {lengthwithunit  namedspace}?, # set by dictionary, else it is "thickmathspace" attribute rspace {lengthwithunit  namedspace}?, # set by dictionnary, else it is "false" attribute fence {truefalse}?, # set by dictionnary, else it is "false" attribute separator {truefalse}?, # set by dictionnary, else it is "false" attribute stretchy {truefalse}?, # set by dictionnary, else it is "true" attribute symmetric {truefalse}?, # set by dictionnary, else it is "false" attribute movablelimits {truefalse}?, # set by dictionnary, else it is "false" attribute accent {truefalse}?, # set by dictionnary, else it is "false" attribute largeop {truefalse}?, attribute minsize {lengthwithunit  namedspace}?, attribute maxsize {lengthwithunit  namedspace  infinity  xsd:float}? mglyph = elementmglyph
{MathML.Common.attrib, attribute alt {xsd:string}?, (attribute src {xsd:anyURI} attribute fontfamily {xsd:string}), attribute width {xsd:string}?, attribute height {xsd:string}?, attribute baseline {xsd:string}?, attribute index {xsd:positiveInteger}?} linethickness.attrib = attribute linethickness {lengthwithoptionalunitthickness} mline = elementmline
{MathML.Common.attrib, linethickness.attrib?, attribute spacing {xsd:string}?, attribute length {lengthwithunit  namedspace}?} Glyphalignmark = malignmarkmglyph mi = elementmi
{MathML.Common.attrib,Tokenstyle.attrib,(Glyphalignmarktext)*} mo = elementmo
{MathML.Common.attrib,Operator.attrib,Tokenstyle.attrib, (textGlyphalignmark)*} mn = elementmn
{MathML.Common.attrib,Tokenstyle.attrib,(textGlyphalignmark)*} mtext = elementmtext
{MathML.Common.attrib,Tokenstyle.attrib,(textGlyphalignmark)*} ms = elementms
{MathML.Common.attrib,Tokenstyle.attrib, attribute lquote {xsd:string}?, attribute rquote {xsd:string}?, (textGlyphalignmark)*} # And the group of any token Prestoken = mi  mo  mn  mtext  ms msub = elementmsub
{MathML.Common.attrib, attribute subscriptshift {lengthwithunit}?, ContInPres,ContInPres} msup = elementmsup
{MathML.Common.attrib, attribute supscriptshift {lengthwithunit}?, ContInPres,ContInPres} msubsup = elementmsubsup
{MathML.Common.attrib, attribute subscriptshift {lengthwithunit}?, attribute supscriptshift {lengthwithunit}?, ContInPres,ContInPres,ContInPres} munder = elementmunder
{MathML.Common.attrib, attribute accentunder {truefalse}?, ContInPres,ContInPres} mover = elementmover
{MathML.Common.attrib, attribute accent {truefalse}?, ContInPres,ContInPres} munderover = elementmunderover
{MathML.Common.attrib, attribute accentunder {truefalse}?, attribute accent {truefalse}?, ContInPres,ContInPres,ContInPres} PresExpornone = ContInPres  none mmultiscripts = elementmmultiscripts
{MathML.Common.attrib, ContInPres, (PresExpornone,PresExpornone)*, (mprescripts,(PresExpornone,PresExpornone)*)?} none = elementnone
{empty} mprescripts = elementmprescripts
{empty} Presscript = msubmsupmsubsupmundermovermunderovermmultiscripts linebreakvalues = "auto"  "newline"  "indentingnewline"  "nobreak"  "goodbreak"  "badbreak" mspace = elementmspace
{MathML.Common.attrib, attribute width {lengthwithunit  namedspace}?, attribute height {lengthwithunit}?, attribute depth {lengthwithunit}?, attribute linebreak {linebreakvalues}?} mrow = elementmrow
{MathML.Common.attrib,ContInPres*} mfrac = elementmfrac
{MathML.Common.attrib, attribute bevelled {truefalse}?, attribute denomalign {centering.values}?, attribute numalign {centering.values}?, linethickness.attrib?, ContInPres,ContInPres} msqrt = elementmsqrt
{MathML.Common.attrib,ContInPres*} mroot = elementmroot
{MathML.Common.attrib,ContInPres,ContInPres} mpaddedspace = xsd:string {pattern="(\+)?([09]+[09]*\.[09]+)(((%?)*(widthlspaceheightdepth))(emexpxincmmmptpc))"} mpaddedwidthspace = xsd:string {pattern="((\+)?([09]+[09]*\.[09]+)(((%?) *(widthlspaceheightdepth)?)(widthlspaceheightdepth)(emexpxincmmmptpc)))((veryverythinverythinthinmediumthickverythickveryverythick)mathspace)0"} mpadded = elementmpadded
{MathML.Common.attrib, attribute width {mpaddedwidthspace}?, attribute lspace {mpaddedspace}?, attribute height {mpaddedspace}?, attribute depth {mpaddedspace}?, ContInPres*} mphantom = elementmphantom
.attlist {MathML.Common.attrib,ContInPres*} mfenced = elementmfenced
{MathML.Common.attrib, attribute open {xsd:string}?, attribute close {xsd:string}?, attribute separators {xsd:string}?, ContInPres*} notationvalues = "actuarial""longdiv""radical" "box""roundedbox""circle" "left""right""top""bottom" "updiagonalstrike""downdiagonalstrike" "verticalstrike""horizontalstrike" menclose = elementmenclose
{MathML.Common.attrib, attribute notation {notationvalues}?, ContInPres*} # And the group of everything Preslayout = mrowmfracmsqrtmrootmpaddedmphantommfencedmenclose Tablealignment.attrib = attribute rowalign {xsd:string {pattern="(topbottomcenterbaselineaxis)(topbottomcenterbaselineaxis)*"}}?, attribute columnalign {xsd:string {pattern="(leftcenterright)( (leftcenterright))*"}}?, attribute groupalign {xsd:string}? mtr.content = mtd mtr = elementmtr
{Tablealignment.attrib, MathML.Common.attrib,(mtr.content)+} mlabeledtr = elementmlabeledtr
{Tablealignment.attrib,MathML.Common.attrib,(mtr.content)*} mtd = elementmtd
{MathML.Common.attrib, Tablealignment.attrib, attribute columnspan {xsd:positiveInteger}?, attribute rowspan {xsd:positiveInteger}?, ContInPres*} mtable.content = mtrmlabeledtr mtable = elementmtable
{Tablealignment.attrib, attribute align {xsd:string}?, attribute alignmentscope {xsd:string {pattern="(truefalse)( true false)*"}}?, attribute columnwidth {xsd:string}?, attribute width {xsd:string}?, attribute rowspacing {xsd:string}?, attribute columnspacing {xsd:string}?, attribute rowlines {xsd:string}?, attribute columnlines {xsd:string}?, attribute frame {"none"  "solid"  "dashed"}?, attribute framespacing {xsd:string}?, attribute equalrows {truefalse}?, attribute equalcolumns {truefalse}?, attribute displaystyle {truefalse}?, attribute side {"left""right""leftoverlap""rightoverlap"}?, attribute minlabelspacing {lengthwithunit}?, MathML.Common.attrib, (mtable.content)*} maligngroup = elementmaligngroup
{MathML.Common.attrib, attribute groupalign {"left"  "center"  "right"  "decimalpoint"}?} malignmark = elementmalignmark
{MathML.Common.attrib,attribute edge {"left"  "right"}?} Prestable = mtablemaligngroupmalignmark mcolumn = elementmcolumn
{MathML.Common.attrib, attribute align {"left"  "right"}} mstyle = elementmstyle
{MathML.Common.attrib, attribute scriptlevel {xsd:integer}?, attribute displaystyle {truefalse}?, attribute scriptsizemultiplier {xsd:decimal}?, attribute scriptminsize {lengthwithunit}?, attribute color {xsd:string}?, attribute background {xsd:string}?, attribute veryverythinmathspace {lengthwithunit}?, attribute verythinmathspace {lengthwithunit}?, attribute thinmathspace {lengthwithunit}?, attribute mediummathspace {lengthwithunit}?, attribute thickmathspace {lengthwithunit}?, attribute verythickmathspace {lengthwithunit}?, attribute veryverythickmathspace {lengthwithunit}?, linethickness.attrib?, Operator.attrib,Tokenstyle.attrib, ContInPres*} merror = elementmerror
{MathML.Common.attrib,ContInPres*} maction = elementmaction
{MathML.Common.attrib, attribute actiontype {xsd:string}?, attribute selection {xsd:positiveInteger}?, ContInPres*} semanticspmml = elementsemantics
{semantics.attribs,PresExp, semanticsannotation*} PresExp = Prestoken  Preslayout  Presscript  Prestable  mspace  mline  mcolumn  maction  merror  mstyle  semanticspmml ContInPres = PresExp
Issue rnc_browserinterface  wiki (member only) 

this should probably only go into mathml3presentation.rnc 

Resolution  None recorded 
Issue rnc_unitspatterns  wiki (member only) 

need final decision on the patterns here and refactor to horizontal and vertical ones 

Resolution  None recorded 
Issue rnc_mathvariant  wiki (member only) 

For both of the following attributes the types should be more restricted 

Resolution  None recorded 
Issue mglyph_alt  wiki (member only) 

perhaps make alt required 9but breaks stuff, or just make it required if there is a src attribute 

Resolution  None recorded 
Issue rnc_leftovermax  wiki (member only) 

MaxF: definition from spec seems wrong, fixing to ([+] unsignednumber (%[pseudounit]pseudounithunit))  namedspace  0 

Resolution  None recorded 
Issue permissive_units  wiki (member only) 

more permissive lengths/widths  
David wrote in an email: However we do claim css compatibility here which may suggest some answers to the
above css allows an optional leading Once we have firm answers to the above it should be easy to drop the regexp back in, and make the text match. I think we should not allow white space except at beginning and end
but allow a leading 

Resolution  None recorded 
The grammar for Strict Content MathML3 can be found at http://www.w3.org/Math/RelaxNG/mathml3/mathml3strict.rnc.
# This is the Mathematical Markup Language (MathML) 3.0, an XML # application for describing mathematical notation and capturing # both its structure and content. # # Copyright 19982007 World Wide Web Consortium # (Massachusetts Institute of Technology, Institut National de # Recherche en Informatique et en Automatique, Keio University). # All Rights Reserved. # # Permission to use, copy, modify and distribute the RelaxNG schema for MathML3 # and its accompanying documentation for any purpose and without fee is # hereby granted in perpetuity, provided that the above copyright notice # and this paragraph appear in all copies. The copyright holders make # no representation about the suitability of the Schema for any purpose. # # This file contains the grammar rules for strict content MathML3 # It is provided "as is" without expressed or implied warranty. # # Revision: $Id: appendixa.html,v 1.1 2008/04/08 17:00:08 jules Exp $ # Author: Michael Kohlhase http://kwarc.info/kohlhase # This is the RelaxNG schema module for the strict content part of MathML. default namespace m = "http://www.w3.org/1998/Math/MathML" include "mathml3common.rnc" math.content = ContExp opel.content = text # we want to extend this in pragmatic CMathML, so we introduce abbrevs here. cn.content = text cn.type.vals = "enotation""integer""rational""real"  "complexcartesian""complexpolar" cn = elementcn
{#attribute base {xsd:positiveInteger [1,...,36]}, attribute type {cn.type.vals}?, Definition.attrib, MathML.Common.attrib, (cn.content)*} ci = elementci
{attribute type {xsd:string}?, attribute nargs {xsd:string}?, attribute occurrence {xsd:string}?, Definition.attrib, MathML.Common.attrib, opel.content, name.attrib?} cdname.attrib = attribute cd {xsd:NCName} csymbol = elementcsymbol
{MathML.Common.attrib, Definition.attrib,cdname.attrib?,cdbase.attrib?, opel.content} # the content of the apply element, leave it empty and extend it later apply = elementapply
{MathML.Common.attrib,cdbase.attrib?,apply.content} applyhead = applybindcicsymbolsemanticsapply apply.content = applyhead,ContExp* semanticsapply = elementsemantics
{semantics.attribs,applyhead, semanticsannotation*} qualifier = condition # the content of the bind element, leave it empty and extend it later bind = elementbind
{MathML.Common.attrib,cdbase.attrib?,bind.content} bindhead = applycsymbolsemanticsbind bind.content = bindhead,bvar*,qualifier?,ContExp semanticsbind = elementsemantics
{semantics.attribs,bindhead, semanticsannotation*} bvar = elementbvar
{MathML.Common.attrib,cdbase.attrib?,bvarhead} bvarhead = cisemanticsbvar semanticsbvar = elementsemantics
{semantics.attribs,bvarhead, semanticsannotation*} condition = elementcondition
{Definition.attrib,cdbase.attrib?,ContExp} share = elementshare
{MathML.Common.attrib,attribute href {xsd:anyURI}} # the content of the cerror element, leave it empty and extend it later cerror = elementcerror
{MathML.Common.attrib,cdbase.attrib?,cerror.content} cerrorhead = csymbolapplysemanticscerror cerror.content = cerrorhead,ContExp* semanticscerror = elementsemantics
{semantics.attribs,cerrorhead, semanticsannotation*} semanticscmml = elementsemantics
{semantics.attribs,ContExp, semanticsannotation*} ContExp = cn ci  csymbol  apply  bind  share  cerror  semanticscmml
Issue rnc_opelcontent  wiki (member only) 

What is the content of a operator element, currently all text? 

Resolution  None recorded 
Issue rnc_cncontent  wiki (member only) 

What is the content of a cn? 

Resolution  None recorded 
Issue rnc_cn  wiki (member only) 

cn needs to be totally reworked once the spec is fixed 

Resolution  None recorded 
The grammar for pragmatic MathML3 can be found at http://www.w3.org/Math/RelaxNG/mathml3/mathml3pragmatic.rnc.
# This is the Mathematical Markup Language (MathML) 3.0, an XML # application for describing mathematical notation and capturing # both its structure and content. # # Copyright 19982007 World Wide Web Consortium # (Massachusetts Institute of Technology, Institut National de # Recherche en Informatique et en Automatique, Keio University). # All Rights Reserved. # # Permission to use, copy, modify and distribute the RelaxNG schema for MathML3 # and its accompanying documentation for any purpose and without fee is # hereby granted in perpetuity, provided that the above copyright notice # and this paragraph appear in all copies. The copyright holders make # no representation about the suitability of the Schema for any purpose. # # This file contains the grammar rules for pragmatic content MathML3 # It is provided "as is" without expressed or implied warranty. # # Revision: $Id: appendixa.html,v 1.1 2008/04/08 17:00:08 jules Exp $ # Author: Michael Kohlhase http://kwarc.info/kohlhase # # This is the RelaxNG schema module for the pragmatic content part of # MathML (but without the presentation in token elements). default namespace m = "http://www.w3.org/1998/Math/MathML" include "mathml3strict.rnc" ## the content of "cn" may have <sep> elements in it sep = elementsep
{empty} cn.content = sep cn.type.vals = "constant" # allow degree in bvar degree = elementdegree
{MathML.Common.attrib,ContExp+} bvarhead = (degree?,ci)(ci,degree?) # allow degree to modify <root/> apply.content = root_arith1_elt,degree,ContExp* domainofapplication = elementdomainofapplication
{Definition.attrib,MathML.Common.attrib,cdbase.attrib?,ContExp} lowlimit = elementlowlimit
{Definition.attrib,MathML.Common.attrib,cdbase.attrib?,ContExp+} uplimit = elementuplimit
{Definition.attrib,MathML.Common.attrib,cdbase.attrib?,ContExp+} ## allow the nonstrict qualifiers qualifier = domainofapplication(uplimit,lowlimit?)(lowlimit,uplimit?)degree ## we collect the operator elements by role opel.constant = notAllowed opel.binder = notAllowed opel.application = notAllowed opel.semanticattribution = notAllowed opel.attribution = notAllowed opel.error = notAllowed opels = opel.constant  opel.binder  opel.application  opel.semanticattribution  opel.attribution  opel.error container = notAllowed ## the values of the MathML type attributes; MathMLType = "real"  "complex"  "function"  "algebraic"  "integer" ## include the relevant content dictionaries include "mathml3cdspragmatic.rnc" ## we instantiate the strict content model by structure checking applybinderhead = semanticsapplybinderopel.binder apply.content = applybinderhead,bvar+,qualifier?,ContExp semanticsapplybinder = elementsemantics
{semantics.attribs,applybinderhead, semanticsannotation*} applyhead = opel.application bindhead = opel.binder cerrorhead = opel.error ## allow all functions, constants, and containers to be content expressions on their own ContExp = opel.constantopel.applicationcontainer # This is the Mathematical Markup Language (MathML) 3.0, an XML # application for describing mathematical notation and capturing # both its structure and content. # # Copyright 19982007 World Wide Web Consortium # (Massachusetts Institute of Technology, Institut National de # Recherche en Informatique et en Automatique, Keio University). # All Rights Reserved. # # Permission to use, copy, modify and distribute the RelaxNG schema for MathML3 # and its accompanying documentation for any purpose and without fee is # hereby granted in perpetuity, provided that the above copyright notice # and this paragraph appear in all copies. The copyright holders make # no representation about the suitability of the Schema for any purpose. # # This file contains the grammar rules for pragmatic content MathML3 # It is provided "as is" without expressed or implied warranty. # # Revision: $Id: appendixa.html,v 1.1 2008/04/08 17:00:08 jules Exp $ # Author: Michael Kohlhase http://kwarc.info/kohlhase # # This is the RelaxNG schema module for the pragmatic content part of # MathML (but without the presentation in token elements). default namespace m = "http://www.w3.org/1998/Math/MathML" include "mathml3strict.rnc" ## the content of "cn" may have <sep> elements in it sep = elementsep
{empty} cn.content = sep cn.type.vals = "constant" # allow degree in bvar degree = elementdegree
{MathML.Common.attrib,ContExp+} bvarhead = (degree?,ci)(ci,degree?) # allow degree to modify <root/> apply.content = root_arith1_elt,degree,ContExp* domainofapplication = elementdomainofapplication
{Definition.attrib,MathML.Common.attrib,cdbase.attrib?,ContExp} lowlimit = elementlowlimit
{Definition.attrib,MathML.Common.attrib,cdbase.attrib?,ContExp+} uplimit = elementuplimit
{Definition.attrib,MathML.Common.attrib,cdbase.attrib?,ContExp+} ## allow the nonstrict qualifiers qualifier = domainofapplication(uplimit,lowlimit?)(lowlimit,uplimit?)degree ## we collect the operator elements by role opel.constant = notAllowed opel.binder = notAllowed opel.application = notAllowed opel.semanticattribution = notAllowed opel.attribution = notAllowed opel.error = notAllowed opels = opel.constant  opel.binder  opel.application  opel.semanticattribution  opel.attribution  opel.error container = notAllowed ## the values of the MathML type attributes; MathMLType = "real"  "complex"  "function"  "algebraic"  "integer" ## include the relevant content dictionaries include "mathml3cdspragmatic.rnc" ## we instantiate the strict content model by structure checking applybinderhead = semanticsapplybinderopel.binder apply.content = applybinderhead,bvar+,qualifier?,ContExp semanticsapplybinder = elementsemantics
{semantics.attribs,applybinderhead, semanticsannotation*} applyhead = opel.application bindhead = opel.binder cerrorhead = opel.error ## allow all functions, constants, and containers to be content expressions on their own ContExp = opel.constantopel.applicationcontainer
This grammar focuses on the pragmatic extensions in , , , , and .
Editorial note: MiKo  
check this again 
The pragmatic extensions in , , , , , rely on information that is specified in the MathML content dictionaries. This is handled in the schema http://www.w3.org/Math/RelaxNG/mathml3/mathml3cdspragmatic.rnc.
Finally, the pragmatic extensions given in are not covered in this schema, but will be left for full MathML in the next section.
The RelaxNG schema for full MathML without deprecated functionality builds on the schemata for presentation MathML in and pragmatic Content MathML in , mixing the content models as described in . It can be found at http://www.w3.org/Math/RelaxNG/mathml3/mathml3.rnc.
# This is the Mathematical Markup Language (MathML) 3.0, an XML # application for describing mathematical notation and capturing # both its structure and content. # # Copyright 19982007 World Wide Web Consortium # (Massachusetts Institute of Technology, Institut National de # Recherche en Informatique et en Automatique, Keio University). # All Rights Reserved. # # Permission to use, copy, modify and distribute the RelaxNG schema for MathML3 # and its accompanying documentation for any purpose and without fee is # hereby granted in perpetuity, provided that the above copyright notice # and this paragraph appear in all copies. The copyright holders make # no representation about the suitability of the Schema for any purpose. # # This file contains the grammar driver for MathML3 # It is provided "as is" without expressed or implied warranty. # # Revision: $Id: appendixa.html,v 1.1 2008/04/08 17:00:08 jules Exp $ # Author: Michael Kohlhase http://kwarc.info/kohlhase default namespace m = "http://www.w3.org/1998/Math/MathML" include "mathml3common.rnc" ## Content Expressions now allow pMathML in ci and csymbol ContExp = grammar {include "mathml3pragmatic.rnc" {start=ContExp opel.content = textparent PresExp}} ## Presentation Expressions allow Content Expressions mixed in everywhere PresExp = grammar {include "mathml3presentation.rnc" {start=PresExp ContInPres=PresExpparent ContExp}} ## the math element can contain one content element or several presentation elements math.content=ContExpPresExp+
The grammar for the elements deprecated in MathML3 can be found at http://www.w3.org/Math/RelaxNG/mathml3/mathml3deprecated.rnc.
# This is the Mathematical Markup Language (MathML) 3.0, an XML # application for describing mathematical notation and capturing # both its structure and content. # # Copyright 19982007 World Wide Web Consortium # (Massachusetts Institute of Technology, Institut National de # Recherche en Informatique et en Automatique, Keio University). # All Rights Reserved. # # Permission to use, copy, modify and distribute the RelaxNG schema for MathML3 # and its accompanying documentation for any purpose and without fee is # hereby granted in perpetuity, provided that the above copyright notice # and this paragraph appear in all copies. The copyright holders make # no representation about the suitability of the Schema for any purpose. # # This file contains the grammar driver for MathML3 # It is provided "as is" without expressed or implied warranty. # # Revision: $Id: appendixa.html,v 1.1 2008/04/08 17:00:08 jules Exp $ # Author: Michael Kohlhase http://kwarc.info/kohlhase default namespace m = "http://www.w3.org/1998/Math/MathML" include "mathml3.rnc" Tokenstyle.attrib = attribute fontsize {xsd:string}?  attribute fontstyle {xsd:string}?  attribute color {xsd:string}?  attribute fontfamily {xsd:string}?  attribute fontweight {xsd:string}? #Deprecated Content Elements depcontent = elementreln
{ContExp*} elementfn
{ContExp} ContExp = depcontent applyhead = depcontent declare = elementdeclare
{attribute type {xsd:string}?, attribute scope {xsd:string}?, attribute nargs {xsd:nonNegativeInteger}?, attribute occurrence {"prefix""infix""functionmodel"}?, Definition.attrib,cdbase.attrib?, ContExp+} ContExp = declare
In Section A.2.3 The Grammar for Pragmatic MathML we have seen an example of a grammar that is generated from information present in the MathML content dictionaries. If we make use of the type information that comes with the CDs.
Editorial note: MiKo  
maybe we should have a note about generating Grammars from the CDs. I will have to generate arity and type checking files to mix in and import them here. Maybe this should not be treated in a normative appendix? 
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 module 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 simple as
# A RelaxNG Schema for XHTML+MathML include "xhtml.rnc" math = external "mathml3.rnc" Inline.class = math Block.class = math
assuming that we have access to a modular RelaxNG schema for xhtml that uses
Inline.class
and Block.class
to collect the the content models
for inline and blocklevel elements.
Editorial note: Miko  
check this and reference an external schema 
Specilizing the MathML3 schema so that we can check the content of
annotationxml
elements is similarly simple:
# A RelaxNG Schema for MathML with OpenMath3 annotations omobj = external "openmath3.rnc" include "mathml3.rnc" {anotationxml.model = omobj}
For details about RelaxNG grammars and modularization see [RelaxNG] or [RelaxNGBook].
Editorial note: Miko  
check this and reference an external schema; I think we can even tie the OpenMath model to the value OpenMath in the encoding attribute.
