New Vocabularies Solution

this doesn't handle these cases well:

<table><math></html><!-- x --> (</html> should be ignored)
<table><td><math></html><!-- x --> (ditto)
<table><caption><math></html><!-- x --> (ditto)
<table><caption><math><mtext><caption>x (<caption> should start new caption)
<em><button><math></em>x (</em> should be ignored)

to fix these we'll need a secondary insertion mode which is set whenever the insertion mode is set to "in math/svg", including in the reset algorithm (just jump down to the secondary steps and continue the walk up until you hit either the root, or a caption, td/th, or table)

what about:

<table><caption><math><mrow><mtext><svg><circle></mrow>
<table><caption><math><mtext><svg><circle><caption>

check that those are handled right

resetting appropriately:

• if current node is in the mathml namespace and is one of <mi>, <mo>, <mn>, <ms>, <mtext>, "in math content"
• if current node is in the mathml namespace, "in math"
• if current node is in the svg namespace and is one of <foreignObject>, <title>, <desc> "in svg content"
• if current node is in the svg namespace, "in svg"

tokeniser:

• tokeniser changes so that when insertion mode is "in math" or "in svg", support CDATA blocks.
• tokeniser keeps track of /> endings.
• we add all the MathML entities to the entity list.
• φ works differently when in "in math" or "in math content".

"in body":

• "math" element - switch to "in math"
• "svg" element - switch to "in svg"

"in math":

• comment
  1. insert comment

• text:
  1. insert text

• doctype
  1. parse error

• start tag for: <mi>, <mo>, <mn>, <ms>, <mtext>
  1. insert element for token
  2. switch to "in math content"
  3. if the tag had a closing slash, imply a closing tag with the same tag name

• start tag for one of: maction maligngroup malignmark menclose merror mfenced mfrac mglyph mlabeledtr mmultiscripts mover mpadded mphantom mprescripts mroot mrow mspace msqrt mstyle msub msubsup msup mtable mtd mtr munder munderover none
  1. insert element for token
  2. if the tag had a closing slash, imply a closing tag with the same tag name

• other start tag:
• end tag:
  or
  :
  1. parse error
  2. pop until <math> element is popped
  3. reset insertion mode
  4. reprocess

• other end tag
  1. if current element has the tag name of the token: pop it
  2. otherwise: if there is a matching element in scope and it has the mathml namespace: parse error, ignore token
  3. otherwise:
     1. parse error
     2. pop until <math> element is popped
     3. reset insertion mode
     4. reprocess

"in math content":

• start tag for one of: mglyph malignmark
  1. insert element for token, treat as void

• end tag:
  1. if the bottommost node on the stack, ignoring those whose end tags can be implied, is in the mathml namespace and, ignoring case, has the same tag name as the token, imply end tags, pop the current node, and switch to "in math"
  2. otherwise, treat as "in body"

• otherwise
  1. treat as "in body"

"in svg":

First, perform tagname and attribute name fixup as follows: ...

• comment
  1. insert comment

• text:
  1. insert text

• doctype
  1. parse error

• start tag for: <foreignObject>, <desc>, <title>
  1. insert element for token
  2. switch to "in svg content"
  3. if the tag had a closing slash, imply a closing tag with the same tag name

• start tag for one of: a altGlyph altGlyphDef altGlyphItem animate animateColor animateMotion animateTransform circle clipPath color-profile cursor definition-src defs desc ellipse feBlend feColorMatrix feComponentTransfer feComposite feConvolveMatrix feDiffuseLighting feDisplacementMap feDistantLight feFlood feFuncA feFuncB feFuncG feFuncR feGaussianBlur feImage feMerge feMergeNode feMorphology feOffset fePointLight feSpecularLighting feSpotLight feTile feTurbulence filter font font-face font-face-format font-face-name font-face-src font-face-uri foreignObject g glyph glyphRef hkern image line linearGradient marker mask metadata missing-glyph mpath path pattern polygon polyline radialGradient rect script set stop style svg switch symbol text textPath title tref tspan use view vkern
  1. insert element for token
  2. if the tag had a closing slash, imply a closing tag with the same tag name

• other start tag:
• end tag:
  or
  :
  1. parse error
  2. pop until <svg> element is popped
  3. reset insertion mode
  4. reprocess

• other end tag
  1. if current element has the tag name of the token: pop it
  2. otherwise: if there is a matching element in scope and it has the svg namespace: parse error, ignore token
  3. otherwise:
     1. parse error
     2. pop until <svg> element is popped
     3. reset insertion mode
     4. reprocess

"in svg content":

• end tag:
  1. if the bottommost node on the stack, ignoring those whose end tags can be implied, is in the svg namespace and, ignoring case, has the same tag name as the token, imply end tags, pop the current node, and switch to "in svg"
  2. otherwise, treat as "in body"

• otherwise
  1. treat as "in body"

MathML error handling in text/html

Require the following behaviour, since MathML requires the host language to define error handling:

• An element with the wrong number or type of children must render as an error indicator. (list cases)
• a sequence of one or more text nodes containing non-inter-element-whitespace must be treated as <mtext>

Interaction of MathML and CSS ('display')

...