MathML

From HandWiki
Short description: Format for expressing mathematical formulae
MathML
Mathematical Markup Language
Native name
  • Mathematical Markup Language
  • ISO/IEC 40314[1]
StatusW3C Recommendation[2]
First publishedApril 1998 (1998-04)
Latest version3.0[2]
April 10, 2014; 10 years ago (2014-04-10)[2]
OrganizationW3C, ISO, IEC[1]
Committee
  • W3C Math Working Group
  • ISO/IEC JTC 1[1]
Editors
  • David Carlisle[2]
  • Patrick Ion[2]
  • Robert Miner[2]
  • Frédéric Wang[3]
Authors[2]
Base standardsXML
Related standardsOpenMath, Office Open XML, OMDoc
AbbreviationMathML
Website

Mathematical Markup Language (MathML) is a mathematical markup language, an application of XML for describing mathematical notations and capturing both its structure and content, and is one of a number of mathematical markup languages. Its aim is to natively integrate mathematical formulae into World Wide Web pages and other documents. It is part of HTML5 and standardised by ISO/IEC since 2015.[1]

History

Following some experiments in the Arena browser based on proposals for mathematical markup in HTML,[4] MathML 1 was released as a W3C recommendation in April 1998 as the first XML language to be recommended by the W3C. Version 1.01 of the format was released in July 1999 and version 2.0 appeared in February 2001. Implementations of the specification appeared in Amaya 1.1, Mozilla 1.0 and Opera 9.5.[5][6] In October 2003, the second edition of MathML Version 2.0 was published as the final release by the W3C Math Working Group.

MathML was originally designed before the finalization of XML namespaces. However, it was assigned a namespace immediately after the Namespace Recommendation was completed, and for XML use, the elements should be in the namespace with namespace URL http://www.w3.org/1998/Math/MathML. When MathML is used in HTML (as opposed to XML) this namespace is automatically inferred by the HTML parser and need not be specified in the document.[7]

MathML version 3

Version 3 of the MathML specification was released as a W3C recommendation on 20 October 2010. A recommendation of A MathML for CSS Profile was later released on 7 June 2011;[8] this is a subset of MathML suitable for CSS formatting. Another subset, Strict Content MathML, provides a subset of content MathML with a uniform structure and is designed to be compatible with OpenMath. Other content elements are defined in terms of a transformation to the strict subset. New content elements include <bind> which associates bound variables (<bvar>) to expressions, for example a summation index. The new <share> element allows structure sharing.[9]

The development of MathML 3.0 went through a number of stages. In June 2006, the W3C rechartered the MathML Working Group to produce a MathML 3 Recommendation until February 2008, and in November 2008 extended the charter to April 2010. A sixth Working Draft of the MathML 3 revision was published in June 2009. On 10 August 2010 version 3 graduated to become a "Proposed Recommendation" rather than a draft.[9] An implementation of MathML 2 landed in WebKit around this same time,[10] with a Chromium implementation following a couple of years later,[11] although that implementation was removed from Chromium after less than a year.[12]

The Second Edition of MathML 3.0 was published as a W3C Recommendation on 10 April 2014.[2] The specification was approved as an ISO/IEC international standard 40314:2015 on 23 June 2015.[13] Also in 2015, the MathML Association was founded to support the adoption of the MathML standard.[14] At that time, according to a member of the MathJax team, none of the major browser makers paid any of their developers for any MathML-rendering work; whatever support existed was overwhelmingly the result of unpaid volunteer time/work.[15]

MathML Core

In August 2021, a new specification called MathML Core was published, described as the “core subset of Mathematical Markup Language, or MathML, that is suitable for browser implementation.”[16] MathML Core set itself apart from MathML 3.0 by including detailed rendering rules and integration with CSS, automated browser support testing resources, and focusing on a fundamental subset of MathML. An implementation was added to Chromium at the beginning of 2023.[17]

Presentation and semantics

Generic MathML
Filename extension.mml[18][19]
Internet media typeapplication/mathml+xml[18]
Type codeMML
Uniform Type Identifier (UTI)public.mathml
UTI conformationpublic.xml
Developed byWorld Wide Web Consortium
Type of formatMathematical markup language
Extended fromXML
Extended to
  • Presentation MathML
  • Content MathML
Standard

MathML deals not only with the presentation but also the meaning of formula components (the latter part of MathML is known as "Content MathML"). Because the meaning of the equation is preserved separate from the presentation, how the content is communicated can be left up to the user. For example, web pages with MathML embedded in them can be viewed as normal web pages with many browsers, but visually impaired users can also have the same MathML read to them through the use of screen readers (e.g. using the VoiceOver in Safari). JAWS from version 16 onward supports MathML voicing as well as braille output.[20]

The quality of rendering of MathML in a browser depends on the installed fonts. The STIX Fonts project have released a comprehensive set of mathematical fonts under an open license. The Cambria Math font supplied with Microsoft Windows had slightly more limited support.[21]

A valid MathML document typically consists of the XML declaration, DOCTYPE declaration, and document element. The document body then contains MathML expressions which appear in <math> elements as needed in the document. Often, MathML will be embedded in more general documents, such as HTML, DocBook, or other XML-based formats.

Presentation MathML

Presentation MathML
Internet media typeapplication/mathml-presentation+xml[18]
Type codeMMLp
Uniform Type Identifier (UTI)public.mathml.presentation
UTI conformationpublic.mathml
Extended fromGeneric MathML

Presentation MathML focuses on the display of an equation, and has about 30 elements. The elements' names all begin with m. A Presentation MathML expression is built up out of tokens that are combined using higher-level elements, which control their layout. Finer details of presentation are affected by close to 50 attributes.

Token elements generally only contain characters (not other elements). They include:

  • <mi>x</mi> – identifiers;
  • <mo>+</mo> – operators;
  • <mn>2</mn> – numbers;
  • <mtext>such that</mtext> – text.

Note, however, that these token elements may be used as extension points, allowing markup in host languages. MathML in HTML5 allows most inline HTML markup in mtext, and <mtext><b>non</b> zero</mtext> is conforming, with the HTML markup being used within the MathML to mark up the embedded text (making the first word bold in this example).

These are combined using layout elements, that generally contain only elements. They include:

  • <mrow> – a horizontal row of items;
  • <msup>, <munderover>, and others – superscripts, limits over and under operators like sums, etc.;
  • <mfrac> – fractions;
  • <msqrt> and <mroot> – roots;
  • <mfenced> – surrounding content with fences, such as parentheses.

As usual in HTML and XML, many entities are available for specifying special symbols by name, such as &pi; and &RightArrow;. An interesting feature of MathML is that entities also exist to express normally-invisible operators, such as &InvisibleTimes; (or the shorthand &it;) for implicit multiplication. They are:

  • U+2061 FUNCTION APPLICATION (to distinguish [math]\displaystyle{ \sin(x) }[/math] from [math]\displaystyle{ \sin\cdot x }[/math] in [math]\displaystyle{ \sin{x} }[/math]);
  • U+2062 INVISIBLE TIMES (to distinguish [math]\displaystyle{ a_{m\times n} }[/math] from [math]\displaystyle{ a_{m,n} }[/math] in [math]\displaystyle{ a_{mn} }[/math]);
  • U+2063 INVISIBLE SEPARATOR (vice versa);
  • U+2064 INVISIBLE PLUS (to distinguish [math]\displaystyle{ 2 + \frac{1}{3} }[/math] from [math]\displaystyle{ 2 \cdot \frac{1}{3} }[/math] in [math]\displaystyle{ 2\tfrac{1}{3} }[/math]).

The full specification of MathML entities[22] is closely coordinated with the corresponding specifications for use with HTML and XML in general.[23]

Thus, the expression [math]\displaystyle{ a x^2+b x+c }[/math] requires two layout elements: one to create the overall horizontal row and one for the superscripted exponent. However, the individual tokens also have to be identified as identifiers (<mi>), operators (<mo>), or numbers (<mn>). Adding the token markup, the full form ends up as

<mrow>
	<mi>a</mi> <mo>&InvisibleTimes;</mo> <msup><mi>x</mi><mn>2</mn></msup>
	<mo>+</mo><mi>b</mi><mo>&InvisibleTimes;</mo><mi>x</mi>
	<mo>+</mo><mi>c</mi>
</mrow>

A complete document that consists of just the MathML example above, is shown here:

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE math PUBLIC "-//W3C//DTD MathML 2.0//EN" "http://www.w3.org/Math/DTD/mathml2/mathml2.dtd">
<math xmlns="http://www.w3.org/1998/Math/MathML">
	<mrow>
		<mi>a</mi> <mo>&InvisibleTimes;</mo> <msup><mi>x</mi><mn>2</mn></msup>
		<mo>+</mo><mi>b</mi><mo>&InvisibleTimes;</mo><mi>x</mi>
		<mo>+</mo><mi>c</mi>
	</mrow>
</math>

Content MathML

Content MathML
Internet media typeapplication/mathml-content+xml
Type codeMMLc
Uniform Type Identifier (UTI)public.mathml.content
UTI conformationpublic.mathml
Extended fromGeneric MathML

Content MathML focuses on the semantics, or meaning, of the expression rather than its layout. Central to Content MathML is the <apply> element that represents function application. The function being applied is the first child element under <apply>, and its operands or parameters are the remaining child elements. Content MathML uses only a few attributes.

Tokens such as identifiers and numbers are individually marked up, much as for Presentation MathML, but with elements such as <ci> and <cn>. Rather than being merely another type of token, operators are represented by specific elements, whose mathematical semantics are known to MathML: <times>, <power>, etc. There are over a hundred different elements for different functions and operators.[24]

For example, <apply><sin/><ci>x</ci></apply> represents [math]\displaystyle{ \sin(x) }[/math] and <apply><plus/><ci>x</ci><cn>5</cn></apply> represents [math]\displaystyle{ x+5 }[/math]. The elements representing operators and functions are empty elements, because their operands are the other elements under the containing <apply>.

The expression [math]\displaystyle{ a x^2+b x+c }[/math] could be represented as

<math>
	<apply>
		<plus/>
		<apply>
			<times/>
			<ci>a</ci>
			<apply>
				<power/>
				<ci>x</ci>
				<cn>2</cn>
			</apply>
		</apply>
		<apply>
			<times/>
			<ci>b</ci>
			<ci>x</ci>
		</apply>
		<ci>c</ci>
	</apply>
</math>

Content MathML is nearly isomorphic to expressions in a functional language such as Scheme and other dialects of Lisp. <apply>...</apply> amounts to Scheme's (...), and the many operator and function elements amount to Scheme functions. With this trivial literal transformation, plus un-tagging the individual tokens, the example above becomes:

(plus
  (times a (power x 2))
  (times b x)
  c)

This reflects the long-known close relationship between XML element structures, and LISP or Scheme S-expressions.[25][26]

Wikidata annotation in Content MathML

According to the OM Society,[27] OpenMath Content Dictionaries can be employed as collections of symbols and identifiers with declarations of their semantics – names, descriptions and rules. A 2018 paper presented at the SIGIR conference[28] proposed that the semantic knowledge base Wikidata could be used as an OpenMath Content Dictionary to link semantic elements of a mathematical formula to unique and language-independent Wikidata items.

Example

The well-known quadratic formula could be represented in Presentation MathML as an expression tree made up from layout elements like <mfrac> or <msqrt>:

<math mode="display" xmlns="http://www.w3.org/1998/Math/MathML">
<semantics>
	<mrow>
		<mi>x</mi>
		<mo>=</mo>
		<mfrac>
			<mrow>
				<mo form="prefix">&minus;</mo>
				<mi>b</mi>
				<mo>&pm;</mo>
				<msqrt>
					<msup><mi>b</mi><mn>2</mn></msup>
					<mo>&minus;</mo>
					<mn>4</mn><mo>&it;</mo><mi>a</mi><mo>&it;</mo><mi>c</mi>
				</msqrt>
			</mrow>
			<mrow>
				<mn>2</mn>
				<mo>&it;</mo>
				<mi>a</mi>
			</mrow>
		</mfrac>
	</mrow>
	<annotation encoding="application/x-tex"><!-- TeX -->
		x = \frac{-b\pm\sqrt{b^2-4ac}}{2a}
	</annotation>
	<annotation encoding="StarMath 5.0">
		x = {-b plusminus sqrt {b^2 - 4 ac}} over {2 a}
	</annotation>
	<!-- More annotations can be written: application/x-troff-eqn for eqn, application/x-asciimath for AsciiMath... -->
	<!-- Semantic MathML go under <annotation-xml encoding="MathML-Content">. -->
</semantics>
</math>

This example uses the <annotation> element, which can be used to embed a semantic annotation in non-XML format, for example to store the formula in the format used by an equation editor such as StarMath or the markup using LaTeX syntax. The encoding field is usually a MIME type, although most of the equation encodings don't have such a registration; freeform text may be used in such cases.

Although less compact than other formats, the XML structuring of MathML makes its content widely usable and accessible, allows near-instant display in applications such as web browsers, and facilitates an interpretation of its meaning in mathematical software products. MathML is not intended to be written or edited directly by humans.[29]

Embedding MathML in HTML/XHTML files

MathML, being XML, can be embedded inside other XML files such as XHTML files using XML namespaces.

<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0//EN"
	"http://www.w3.org/Math/DTD/mathml2/xhtml-math11-f.dtd">
<html xmlns="http://www.w3.org/1999/xhtml" xml:lang="en">
	<head>
		<title>Example of MathML embedded in an XHTML file</title>
		<meta name="description" content="Example of MathML embedded in an XHTML file"/>
	</head>
	<body>
		<h1>Example of MathML embedded in an XHTML file</h1>
		<p>
			The area of a circle is 
			<math xmlns="http://www.w3.org/1998/Math/MathML">
				<mi>&#x03C0;<!-- π --></mi>
				<mo>&#x2062;<!-- &InvisibleTimes; --></mo>
				<msup>
					<mi>r</mi>
					<mn>2</mn>
				</msup>
			</math>.
		</p>
	</body>
</html>
A rendering of the formula for a circle in MathML+XHTML using Firefox 22 on Mac OS X

Inline MathML is also supported in HTML5 files. There is no need to specify namespaces as there was in XHTML.

<!DOCTYPE html>
<html lang="en">
	<head>
		<meta charset="utf-8">
		<title>Example of MathML embedded in an HTML5 file</title>
	</head>
	<body>
		<h1>Example of MathML embedded in an HTML5 file</h1>
		<p>
			The area of a circle is 
			<math>
				<mi>&pi;</mi>
				<mo>&InvisibleTimes;</mo>
				<msup>
					<mi>r</mi>
					<mn>2</mn>
				</msup>
			</math>.
		</p>
	</body>
</html>

Other standards

Another standard called OpenMath that has been more specifically designed (largely by the same people who devised Content MathML) for storing formulae semantically can be used to complement MathML. OpenMath data can be embedded in MathML using the <annotation-xml encoding="OpenMath"> element. OpenMath content dictionaries can be used to define the meaning of <csymbol> elements. The following would define P1(x) to be the first Legendre polynomial:

<apply>
	<csymbol encoding="OpenMath" definitionURL="http://www.openmath.org/cd/contrib/cd/orthpoly1.xhtml#legendreP">
		<msub><mi>P</mi><mn>1</mn></msub>
	</csymbol>
	<ci>x</ci>
</apply>

The OMDoc format has been created for markup of larger mathematical structures than formulae, from statements like definitions, theorems, proofs, and examples, to complete theories and even entire text books. Formulae in OMDoc documents can either be written in Content MathML or in OpenMath; for presentation, they are converted to Presentation MathML.

The ISO/IEC standard Office Open XML (OOXML) defines a different XML math syntax, derived from Microsoft Office products. However, it is partially compatible[30] through XSL Transformations.

See also

References

  1. 1.0 1.1 1.2 1.3 1.4 "ISO - ISO/IEC 40314:2016 - Information technology — Mathematical Markup Language (MathML) Version 3.0 2nd Edition" (in en). 2016. https://www.iso.org/standard/58439.html. 
  2. 2.0 2.1 2.2 2.3 2.4 2.5 2.6 2.7 "Mathematical Markup Language (MathML) Version 3.0 2nd Edition". W3C. 2014-04-10. https://www.w3.org/TR/2014/REC-MathML3-20140410/. 
  3. "MathML Core". W3C. 2022-05-04. https://www.w3.org/TR/2022/WD-mathml-core-20220504/. 
  4. "12 - Mathematical Equations". 1993-11-08. https://www.w3.org/MarkUp/HTMLPlus/htmlplus_45.html. 
  5. "Mozilla 1.0 Released!". 2002-06-05. http://www.mozillazine.org/articles/article2278.html. 
  6. McCathieNevile, Charles (2007-09-27), Can Kestrels do Math? MathML support in Opera Kestrel, Opera, http://dev.opera.com/articles/view/can-kestrels-do-math-mathml-support-in/ 
  7. "HTML Living Standard". https://html.spec.whatwg.org/#parsing-main-inbody:mathml-namespace. 
  8. "A MathML for CSS Profile". W3C. 2011-06-07. https://www.w3.org/TR/mathml-for-css/. 
  9. 9.0 9.1 9.2 "Mathematical Markup Language Version 3.0 W3C Recommendation". https://www.w3.org/TR/MathML3/. 
  10. Dakin, Beth (2010-08-17). "Announcing…MathML!". https://webkit.org/blog/1366/announcing%e2%80%a6mathml/. 
  11. "A web developer's guide to the latest Chrome Beta". 2012-11-08. https://blog.chromium.org/2012/11/a-web-developers-guide-to-latest-chrome.html. 
  12. "Comment 32 on Issue 152430: Enabling support for MathML". 2013-02-05. https://bugs.chromium.org/p/chromium/issues/detail?id=152430#c32. 
  13. "W3C MathML 3.0 Approved as ISO/IEC International Standard". 2015-06-23. https://www.w3.org/2015/06/mathmlpas.html.en. 
  14. Deyan Ginev; Michael Kohlhase; Moritz Schubotz; Raniere Silva; Frédéric Wang, Mondial Association for Tools Handling MathML, http://mathml-association.org/about.html, retrieved 2016-06-20 
  15. Krautzberger, Peter (2013-11-01). "MathML forges on". oreilly.com. http://radar.oreilly.com/2013/11/mathml-forges-on.html. 
  16. "MathML Core". 2022-05-04. https://www.w3.org/TR/2022/WD-mathml-core-20220504/#abstract. 
  17. "Igalia Brings MathML Back to Chromium". Igalia News. 2023-01-10. https://www.igalia.com/2023/01/10/Igalia-Brings-MathML-Back-to-Chromium.html. 
  18. 18.0 18.1 18.2 Libbrecht, Paul (2023-09-01). "MathML Media-type Declarations". W3C. https://w3c.github.io/mathml-docs/mathml-media-types/#media-types-mathml. 
  19. "The MathML Interface". W3C. 2003-10-21. https://www.w3.org/TR/MathML2/chapter7.html#id.7.1.3. "The W3C Math Working Group recommends the standard file extension .mml used for browser registry." 
  20. "JAWS Version 16". https://support.freedomscientific.com/downloads/jaws/JAWSWhatsNew?version=16. 
  21. Vismor, Timothy, Viewing Mathematics on the Internet, https://vismor.com/documents/site_implementation/viewing_mathematics/viewing_mathematics.php, retrieved 2011-04-13 
  22. "Characters, Entities and Fonts". http://www.w3.org/TR/MathML3/chapter7.html. 
  23. "XML Entity Definitions for Characters (2nd Edition)". http://www.w3.org/TR/xml-entity-names/Overview.html. 
  24. "Content Markup". http://www.w3.org/TR/MathML3/chapter4.html#contm.opel. 
  25. Steven DeRose. The SGML FAQ Book: Understanding the Relationship of SGML and XML, Kluwer Academic Publishers, 1997. ISBN 978-0-7923-9943-8.
  26. Canonical S-expressions
  27. "OpenMath Home · OpenMath". https://www.openmath.org/. 
  28. Schubotz, Moritz; Scharpf, Philipp; Gipp, Bela (2018). "Representing Mathematical Formulae in Content MathML using Wikidata.". Birndl@sigir. http://ceur-ws.org/Vol-2132/paper5.pdf. 
  29. Buswell, Steven; Devitt, Stan; Diaz, Angel (1999-07-07). "Mathematical Markup Language (MathML) 1.01 Specification (Abstract)". https://www.w3.org/TR/REC-MathML/#abstract. "While MathML is human-readable it is anticipated that, in all but the simplest cases, authors will use equation editors, conversion programs, and other specialized software tools to generate MathML." 
  30. Carlisle, David (2007-04-10). "XHTML and MathML from Office 2007". Blogspot. https://dpcarlisle.blogspot.com/2007/04/xhtml-and-mathml-from-office-20007.html. 

Further reading

Specifications

External links