MathML

From Wikipedia, the free encyclopedia
Jump to: navigation, search
"Mathematical Markup Language" redirects here. For other uses, see Mathematical markup language (disambiguation).
MathML
Developed by World Wide Web Consortium
Type of format Markup language
Extended from XML
Standard W3C MathML

Mathematical Markup Language (MathML) is an application of XML for describing mathematical notations and capturing both its structure and content. It aims at integrating mathematical formulae into World Wide Web pages and other documents. It is a recommendation of the W3C math working group and part of HTML5.

History[edit]

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.

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 URI 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.

MathML version 3[edit]

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;[1] 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.[2]

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.[2]

The Second Edition of MathML 3.0 was published as a W3C Recommendation on April 10, 2014.[3]

Presentation and semantics[edit]

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 MathPlayer plugin for Internet Explorer, Opera 9.50 build 9656+ or the Fire Vox extension for Firefox).

Presentation MathML[edit]

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 (there are also about 50 attributes, which mainly control fine details).

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

  • <mi>x</mi> – identifiers;
  • <mo>+</mo> – operators;
  • <mn>2</mn> – numbers.
  • <mtext>non zero</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; for implicit multiplication. They are: U+2061 FUNCTION APPLICATION; U+2062 INVISIBLE TIMES; U+2063 INVISIBLE SEPARATOR; and U+2064 INVISIBLE PLUS. The full specification of MathML entities [1] is closely coordinated with the corresponding specifications for use with HTML and XML [2] in general.

Thus, the expression a x^2+b x+c requires two layout elements: one to create the overall horizontal row and one for the superscripted exponent. Including only the layout elements and the (not yet marked up) bare tokens, the structure looks like this:

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

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 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 schemas. 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[edit]

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 (see [3]).

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

The expression a x^2+b x+c 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. <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.[4][5]

Example and comparison to other formats[edit]

The well-known quadratic formula:

x = \frac{-b \pm \sqrt{b^2 - 4ac}}{2a}

would be marked up using LaTeX syntax like this:

x=\frac{-b \pm \sqrt{b^2 - 4ac}}{2a}

in troff/eqn like this:

x={-b +- sqrt{b sup 2 – 4ac}} over 2a

in Apache OpenOffice Math and LibreOffice Math like this (all three are valid):

x={-b plusminus sqrt {b^2 – 4 ac}} over {2 a}
x={-b ± sqrt {b^2 – 4ac}} over 2a
x={-b +- sqrt {b^2 – 4ac}} over 2a

in ASCIIMathML like this:

x = (-b +- sqrt(b^2 – 4ac)) / (2a)

The above equation could be represented in Presentation MathML as an expression tree made up from layout elements like mfrac or msqrt elements:

<math mode="display" xmlns="http://www.w3.org/1998/Math/MathML">
  <mrow>
    <mi>x</mi>
    <mo>=</mo>
    <mfrac>
      <mrow>
        <mo form="prefix">&#x2212;<!-- − --></mo>
        <mi>b</mi>
        <mo>&#x00B1;<!-- &PlusMinus; --></mo>
        <msqrt>
          <msup>
            <mi>b</mi>
            <mn>2</mn>
          </msup>
          <mo>&#x2212;<!-- − --></mo>
          <mn>4</mn>
          <mo>&#x2062;<!-- &InvisibleTimes; --></mo>
          <mi>a</mi>
          <mo>&#x2062;<!-- &InvisibleTimes; --></mo>
          <mi>c</mi>
        </msqrt>
      </mrow>
      <mrow>
        <mn>2</mn>
        <mo>&#x2062;<!-- &InvisibleTimes; --></mo>
        <mi>a</mi>
      </mrow>
    </mfrac>
  </mrow>
  <annotation encoding="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>
</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.

Although less compact than TeX, the XML structuring promises to make it widely usable and allows for instant display in applications such as Web browsers and facilitates a straightforward interpretation of its meaning in mathematical software products.[citation needed] MathML is not intended to be written or edited directly by humans.[6]

Embedding MathML in HTML/XHTML files[edit]

MathML, being XML, can be embedded inside other XML files such as XHTML files using XML namespaces. Recent browsers such as Firefox 3+ and Opera 9.6+ (support incomplete) can display Presentation MathML embedded in XHTML.

<?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>
nofloat
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 in the current versions of WebKit (Safari), Gecko (Firefox). There is no need to specify namespaces like in the 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>

Software support[edit]

Web browsers[edit]

Of the major web browsers, Gecko-based browsers (e.g., Firefox and Camino) have the most complete native support for MathML.[7][8]

While the WebKit layout engine has a development version of MathML,[9] this feature is only available in version 5.1 and higher of Safari,[10] Chrome 24[11][12] but not in later versions of Chrome.[13]

Opera, between version 9.5 and 12, supports MathML for CSS profile,[14][15] but is unable to position diacritical marks properly.[16] Prior to version 9.5 it required User JavaScript or custom stylesheets to emulate MathML support.[17] Starting with Opera 14, Opera drops support for MathML by switching to the Chromium 25 engine.[18]

Internet Explorer does not support MathML natively. Support in IE7, IE8 and IE9 can be added by installing the MathPlayer plugin.[19]

The KHTML-based Konqueror currently does not provide support for MathML.[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 a slightly more limited support.[21]

Editors[edit]

Some editors with native MathML support (including copy and paste of MathML) are MathFlow and MathType from Design Science, MathMagic, Publicon from Wolfram Research, and WIRIS.[22] Full MathML editor list at W3C.[23]

MathML is also supported by major office products such as Apache OpenOffice (via OpenOffice Math), LibreOffice (via LibreOffice Math), Calligra Suite (former KOffice), and MS Office 2007, as well as mathematical software products such as Mathematica, Maple and the Windows version of the Casio ClassPad 300. The W3C Browser/Editor Amaya can also be mentioned as a WYSIWYG MathML-as-is editor.

Firemath, an addon for Firefox, provides a WYSIWYG MathML editor.

Most editors will only produce presentation MathML. The MathDox formula editor is an OpenMath editor also providing presentation and content MathML. Formulator MathML Weaver uses WYSIWYG style to edit Presentation, Content and mixed markups of MathML.

Conversion[edit]

Several utilities for converting to and from MathML are available. W3.org maintains a list of MathML related software for download.[24]

Web conversion[edit]

ASCIIMathML[25] provides a JavaScript library to rewrite a convenient Wiki-like text syntax used inline in web pages into MathML on the fly; it works in Gecko-based browsers, and Internet Explorer with MathPlayer. LaTeXMathML[26] does the same for (a subset of) the standard LaTeX mathematical syntax. ASCIIMathML syntax would also be quite familiar to anyone used to electronic scientific calculators.

MathJax, a JavaScript library for inline rendering of mathematical formulae, can be used to translate LaTeX into MathML for direct interpretation by the browser.[27][28]

Blahtex is a TeX-to-MathML converter intended for use with MediaWiki.

Equation Server for .NET from soft4science can be used on the server side (ASP.NET) for TeX-Math[29] (Subset of LaTeX math syntax) to MathML conversion. It can also create bitmap images (Png, Jpg, Gif, etc.) from TeX-Math or MathML input.

jqMath[30] is a JavaScript module that dynamically converts a simple TeX-like syntax to MathML if the browser supports it, else simple HTML and CSS.

LaTeXML is a perl utility to convert LaTeX documents to HTML, optionally either using MathML or converting mathematical expressions to bitmap images.

Support of software developers[edit]

Support of MathML format accelerates software application development in such various topics, as computer-aided education (distance learning, electronic textbooks and other classroom materials); automated creation of attractive reports; computer algebra systems; authoring, training, publishing tools (both for web and desktop-oriented), and many other applications for mathematics, science, business, economics, etc. Several software vendors propose a component edition of their MathML editors, thus providing the easy way for software developers to insert mathematics rendering/editing/processing functionality in their applications. For example, Formulator ActiveX Control from Hermitech Laboratory can be incorporated into an application as a MathML-as-is editor, Design Science offer a toolkit for building web pages that include interactive math (MathFlow Developers Suite,[31]).

Other standards[edit]

Another standard called OpenMath that has been designed (largely by the same people who devised Content MathML) more specifically for storing formulae semantically can also 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, or example, to theories and 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[32] through relatively simple XSL Transformations.

See also[edit]

References[edit]

  1. ^ "A MathML for CSS Profile". W3C. 7 June 2011. Retrieved 25 July 2013. 
  2. ^ a b Mathematical Markup Language Version 3.0 W3C Recommendation. W3.org. Retrieved on 9 May 2012.
  3. ^ MathML Version 3.0 2nd Edition. W3.org. Retrieved on 8 July 2014.
  4. ^ Steven DeRose. The SGML FAQ Book: Understanding the Relationship of SGML and XML, Kluwer Academic Publishers, 1997. ISBN 978-0-7923-9943-8.
  5. ^ Canonical S-expressions#cite note-0
  6. ^ Buswell, Steven; Devitt, Stan; Diaz, Angel; et al. (7 July 1999). "Mathematical Markup Language (MathML) 1.01 Specification (Abstract)". Retrieved 26 September 2006. "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." 
  7. ^ Wang, Frédéric, Mozilla MathML Status, Mozilla 
  8. ^ Sidje, Roger B., Authoring MathML for Mozilla, Mozilla 
  9. ^ Bug 3251 – Implement MathML (master bug), WebKit 
  10. ^ Safari 5.1 and math 
  11. ^ MathML Support Coming To Chrome, BrowserFame, retrieved 16 October 2012 
  12. ^ Stable Chrome 24 supports MathML and closes security holes, The H Online, retrieved 11 January 2013 
  13. ^ Stable Channel Update, retrieved 7 April 2013 
  14. ^ McCathieNevile, Charles (27 September 2007), Can Kestrels do Math? MathML support in Opera Kestrel, Opera 
  15. ^ Olsen, Tommy A. (16 November 2007), Even more work, Opera, archived from the original on 18 November 2007 
  16. ^ MathML – The Opera MathML blog. My.opera.com (1 November 2007). Retrieved on 9 May 2012.
  17. ^ UserJS for MathML 2.0. My.opera.com. Retrieved on 9 May 2012.
  18. ^ Opera 14 beta for Android is out, archived from the original on 2013-03-08 
  19. ^ MathPlayer – version history 
  20. ^ Bug 30526 – MathML support for Konqi 
  21. ^ Vismor, Timothy, Viewing Mathematics on the Internet, retrieved 13 April 2011 
  22. ^ WIRIS editor page describing the use of MathML. Wiris.com. Retrieved on 9 May 2012.
  23. ^ MathML Software – Editors at W3C. W3.org (24 April 2012). Retrieved on 9 May 2012.
  24. ^ MathML Implementations
  25. ^ ASCIIMathML: Math on the web for everyone. .chapman.edu. Retrieved on 9 May 2012.
  26. ^ LaTeXMathML: a dynamic LaTeX mathematics to MathML converter. Maths.nottingham.ac.uk. Retrieved on 9 May 2012.
  27. ^ MathJax MathML Support. Mathjax.org. Retrieved on 9 May 2012.
  28. ^ Cuellar, Autumn; Topping, Paul (June 2013), "What you need to know about the Maths Stack", XML London 2013: 63–68, doi:10.14337/XMLLondon13.Cuellar01, ISBN 978-0-9926471-0-0 
  29. ^ TeX-Math. TeX-Math. Retrieved on 9 May 2012.
  30. ^ jqMath – Put Math on the Web. Mathscribe.com. Retrieved on 9 May 2012.
  31. ^ MathFlow. Dessci.com. Retrieved on 9 May 2012.
  32. ^ David Carlisle (9 May 2007), XHTML and MathML from Office 2007, David Carlisle, retrieved 20 September 2007 

External links[edit]

Specifications[edit]

Software[edit]

Miscellaneous[edit]