<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 π
and →
. An interesting feature of MathML is that entities also exist to express normally-invisible operators, such as ⁢
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[6] is closely coordinated with the corresponding specifications for use with HTML and XML[7] in general.
Thus, the expression 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:
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:
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:
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.[8]
For example, <apply><sin/><ci>x</ci></apply>
represents and <apply><plus/><ci>x</ci><cn>5</cn></apply>
represents . The elements representing operators and functions are empty elements, because their operands are the other elements under the containing <apply>
.
The expression could be represented as
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:
This reflects the long-known close relationship between XML element structures, and LISP or Scheme S-expressions.[9][10]
Wikidata annotation in Content MathML[edit]
According to the OM Society,[11] OpenMath Content Dictionaries can be employed as collections of symbols and identifiers with declarations of their semantics – names, descriptions and rules. As proposed in,[12] the semantic knowledge-base Wikidata[13] can be used as OpenMath Content Dictionary to link semantic elements of a mathematical formula to unique and language-independent Wikidata items.
Example and comparison to other formats[edit]
The well-known quadratic formula:
would be marked up using LaTeX syntax like this:
in troff/eqn like this:
in Apache OpenOffice Math and LibreOffice Math like this (all three are valid):
in AsciiMath like this:
The above equation could be represented in Presentation MathML as an expression tree made up from layout elements like mfrac or msqrt elements:
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 an interpretation of its meaning in mathematical software products. MathML is not intended to be written or edited directly by humans.[14]
Embedding MathML in HTML/XHTML files[edit]
MathML, being XML, can be embedded inside other XML files such as XHTML files using XML namespaces. Browsers such as Firefox 3+ and Opera 9.6+ (support incomplete) can display Presentation MathML embedded in XHTML.
Inline MathML is also supported in HTML5 files in the current versions of WebKit (Safari and JavaFX/WebView ), Gecko (Firefox). There is no need to specify namespaces like in the XHTML.
Browser support[edit]
Of the major web browsers, Gecko-based browsers (e.g., Firefox) have the most complete native support for MathML.[15][16]
While the WebKit layout engine has a development version of MathML,[17] this feature is only available in version 5.1 and higher of Safari,[18] Chrome 24[19][20] but not in later versions of Chrome.[21] Google removed support of MathML claiming architectural security issues and low usage do not justify their engineering time.[22] As of October 2013, the WebKit/Safari implementation has numerous bugs.[23]
JavaFX/WebView. Also based on WebKit, the JavaFX embedded web browser supports MathML starting with JavaFX 8 Update 192 and JavaFX 11 versions. Support is broken, in JavaFX 8 previous versions, JavaFX 9 and JavaFX 10.
Opera, between version 9.5 and 12, supports MathML for CSS profile,[24][25] but is unable to position diacritical marks properly.[26] Prior to version 9.5 it required User JavaScript or custom stylesheets to emulate MathML support.[27] Starting with Opera 14, Opera drops support for MathML by switching to the Chromium 25 engine.[28]
Internet Explorer does not support MathML natively. Support for IE6 through IE9 can be added by installing the MathPlayer plugin.[29] IE10 has some crashing bugs with MathPlayer and Microsoft decided to completely disable in IE11 the binary plug-in interface that MathPlayer needs.[30] MathPlayer has a license that may limit its use or distribution in commercial webpages and software. Using or distributing the MathPlayer plugin to display HTML content via the WebBrowser control in commercial software may also be forbidden by this license.
The KHTML-based Konqueror currently does not provide support for MathML.[31]
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.[32]
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 exists is overwhelmingly the result of unpaid volunteer time/work.[33]
In 2015 the MathML Association was founded to support the adoption of the MathML standard.[34]
Browser | MathML |
---|---|
Amaya | Yes |
AOL Explorer | No [note 1] |
Avant | No |
Arora | Yes |
Basilisk | Yes |
Camino | Yes |
Chrome | No[22] |
Dillo | No |
Dooble | Yes |
ELinks | No |
Falkon | No |
Flock | Yes |
Galeon | Yes |
iCab | No |
Internet Explorer | No [note 1] |
Internet Explorer for Mac | No |
K-Meleon | Yes |
Konqueror | No |
Links | No |
Lunascape | Yes [35] |
Lynx | No |
Maxthon | No |
Microsoft Edge | Yes |
Midori | No |
Mosaic | No |
Mozilla | Yes |
Mozilla Firefox | Yes |
Netscape | Yes |
Netscape Browser | Depends [36] |
Netscape Navigator | No |
Netscape Navigator 9 | Yes |
NetSurf | No |
OmniWeb | No |
Opera | Yes |
Otter Browser | Yes |
Pale Moon | Yes |
Polarity | No |
qutebrowser | No |
Safari | No |
SeaMonkey | Yes |
Shiira | No |
Sleipnir | No [note 1] |
surf | No |
Torch Browser | No |
Web | Yes |
WorldWideWeb | No |
w3m | No |
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
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[37] through relatively simple XSL Transformations.
See also[edit]
- CSS
- List of document markup languages
- Comparison of document markup languages
- Formula editors
- LaTeX2HTML
- LaTeXML
- KaTeX – JavaScript library that converts LaTeX to MathML
- MathJax – JavaScript library that converts LaTeX to MathML
Notes[edit]
References[edit]
- ^ "A MathML for CSS Profile". W3C. 7 June 2011. Retrieved 25 July 2013.
- ^ ab Mathematical Markup Language Version 3.0 W3C Recommendation. W3.org. Retrieved on 9 May 2012.
- ^ MathML Version 3.0 2nd Edition. W3.org. Retrieved on 8 July 2014.
- ^ "W3C MathML 3.0 Approved as ISO/IEC International Standard". W3.org. 23 June 2015. Retrieved 12 July 2015.
- ^ "JAWS Version 16".
- ^ "Characters, Entities and Fonts". www.w3.org.
- ^ "XML Entity Definitions for Characters (2nd Edition)". www.w3.org.
- ^ "Content Markup". www.w3.org.
- ^ Steven DeRose. The SGML FAQ Book: Understanding the Relationship of SGML and XML, Kluwer Academic Publishers, 1997. ISBN 978-0-7923-9943-8.
- ^ Canonical S-expressions#cite note-0
- ^ "OpenMath Home · OpenMath". www.openmath.org.
- ^ Moritz Schubotz; Philipp Scharpf; Bela Gipp. (2018). "Representing Mathematical Formulae in Content MathML using Wikidata" (PDF). Birndl@sigir.
- ^ "Wikidata". www.wikidata.org.
- ^ 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.
- ^ Wang, Frédéric, Mozilla MathML Status, Mozilla
- ^ Sidje, Roger B., Authoring MathML for Mozilla, Mozilla
- ^ Bug 3251 – Implement MathML (master bug), WebKit . . . (However, "see also") https://trac.webkit.org/wiki/MathML%20Status
- ^ Safari 5.1 and math
- ^ MathML Support Coming To Chrome, BrowserFame, archived from the original on 14 October 2012, retrieved 16 October 2012
- ^ Stable Chrome 24 supports MathML and closes security holes, The H Online, retrieved 11 January 2013
- ^ Stable Channel Update, retrieved 7 April 2013
- ^ ab "Google subtracts MathML from Chrome, and anger multiplies". CNET. Retrieved 22 November 2014.
- ^ Frédéric Wang. "Funding MathML Developments in Gecko and WebKit - Blog de Frédéric". maths-informatique-jeux.com. Archived from the original on 14 December 2014. Retrieved 22 November 2014.
- ^ McCathieNevile, Charles (27 September 2007), Can Kestrels do Math? MathML support in Opera Kestrel, Opera
- ^ Olsen, Tommy A. (16 November 2007), Even more work, Opera, archived from the original on 18 November 2007
- ^ MathML – The Opera MathML blog. My.opera.com (1 November 2007). Retrieved on 9 May 2012.
- ^ UserJS for MathML 2.0. My.opera.com. Retrieved on 9 May 2012.
- ^ Opera 14 beta for Android is out, archived from the original on 8 March 2013
- ^ MathPlayer – version history
- ^ "Microsoft cripples the display of math in IE10 & 11". dessci.com. Archived from the original on 1 July 2014. Retrieved 22 November 2014.
- ^ Bug 30526 – MathML support for Konqi
- ^ Vismor, Timothy, Viewing Mathematics on the Internet, retrieved 13 April 2011
- ^ Peter Krautzberger. "MathML forges on". oreilly.com. Retrieved 22 November 2014.
- ^ Deyan Ginev; Michael Kohlhase; Moritz Schubotz; Raniere Silva; Frédéric Wang, Mondial Association for Tools Handling MathML, retrieved 20 June 2016
- ^ Depends on the layout engine which is chosen: Trident or Gecko or WebKit.
- ^ Depends on the layout engine which is chosen: Trident or Gecko.
- ^ David Carlisle (9 May 2007), XHTML and MathML from Office 2007, David Carlisle, retrieved 20 September 2007
Further reading[edit]
Specifications[edit]
- W3C Recommendation: Mathematical Markup Language (MathML) 1.01 Specification
- W3C Recommendation: Mathematical Markup Language (MathML) Version 2.0 (Second Edition)
- W3C Recommendation: Mathematical Markup Language (MathML) Version 3.0 (Third Edition)
External links[edit]
- W3C Math Home – Contains the specifications, a FAQ, and a list of supporting software.
- Pavi, Sandhu (12 December 2002). "The Mathml Handbook". Charles River Media. Retrieved 2 October 2015.
No comments:
Post a Comment