Structured Types in MathML and OpenMath
W3C specifications on Structured Types used in MathML, and how they relate to OpenMath's Small Type System.

No queries for www.w3.org/TR/mathml-types/#OpenMathSection