"MathML will make the Web even better for educational, scientific and technical materials. It also has the potential to make mathematics accessible to those with visual disabilities. It will allow mathematical content to be reused and exchanged with technical computing systems for further manipulation." -- Tim Berners-Lee, Director W3C
What are the goals of MathML ?
The principal goal of MathML is to enable mathematics to be served,
received, and processed on the Web, just as HTML has enabled this functionality
for text. In more detail, MathML is intended to:
Who are the intended users ?
MathML is intended to be used (indirectly usually) by everyone
from high-school mathematics students to academics and engineers in
industry (These categories are not necessarily distinct !). It also
provides an interchange mechanism between applications processing
mathematical representation in some form.
Why do the goals of MathML go beyond the display of mathematical
expressions ?
The Web represents a fundamental change in the underlying
metaphor for knowledge storage, a change in which interconnectivity
and interactivity play central roles. The intention is to provide ways
of communicating mathematics which, in addition to rendering
mechanisms, facilitate automatic processing, searching and indexing,
and reuse in other mathematical applications and contexts. This
includes contexts where the underlying mathematical semantics are
important, such as, for example, in a distance learning course in Linear
Algebra.
MathML is verbose - I edit HTML by hand with emacs, and MathML
looks tedious to read and edit in text form.
True! The verbosity of MathML is largely a consequence of the
WG decision to use XML as
the base syntax. The reasons for doing this include standardisation,
availability of tools and the general tendency of web-based
applications to use XML as a carrier format. The downside is that the
encodings become verbose for examples of any complexity, with
resulting requirements on tools for MathML generation and
manipulation. See MathML Tools, Products and
Content
Backwards compatibility - Why has MathML not reused TeX/LaTeX,
or the SGML DTDs ISO 12083 or AAP Math ?
TeX and LaTeX are very widely used for encoding mathematical
expressions. However, they encode only the presentation of an
expression, not the underlying semantics. It has been one of the WG
goals to provide a presentation mechanism with the expressive
capabilities of TeX. Moreover, in addition to this it is necessary to
provide mechanisms for encoding mathematical semantic content, and
controlling the interface between the embedded MathML fragment and the
browser processing the containing page. We also considered that it was
preferable for a document with embedded mathematical formulas to
require only one type of parser rather than having a completely
different type of encoding for the mathematics level.
SGML DTDs are oriented towards entire documents governed by one DTD rather than math fragments within Web pages. Apart from the work done on the development of a 'Semantic Maths DTD fragment' within the ISO 12083 working group (not part of the standard), existing SGML DTDs are presentation-oriented and lack support for content encoding.
Does the verbose MathML syntax takes a long time to transfer across
the net and parse?
By comparison with existing image based methods of embedding
math(s) in web pages, for example GIF files, MathML is relatively quick
to transfer and process.
MathML is XML-based. Will the browser manufacturers support XML
fully? Will they support MathML natively ?
Yes. Both Microsoft and Netscape have publicly declared support
for the XML recommendation. Some XML support is already available for
IE 4. As the browser manufacturers move toward fuller support of XML
and the associated style sheet standards such as
XSL that are developing,
support for MathML will become more "native".
Can I get a plugin or applet to render MathML ?
Yes, see
MathML Tools, Products and Content
Is there a MIME type for MathML ?
The WG has discussed this but there is as yet no registered MIME
type.
Can I embed APPLET, EMBED or OBJECT tags within MathML ?
MathML is defined as an XML application, so there is no special
support for embedding web objects within MathML fragments. You can use
APPLET and EMBED in the containing HTML page to launch an applet or
plugin to render and process a MathML fragment or file.
Does the WG still intend to develop a short form input syntax as
part of MathML ?
During the development of MathML it has become clear that the
requirements on input syntaxes vary so widely that no single syntax
will satisfy all users. Various members of the WG have developed input
syntaxes for their particular tools. The WG will provide technical
advice to all those who are involved in the development of input
syntaxes for MathML-aware tools. Input syntaxes do not form part of
the core MathML recommendation.
Can I overload the presentation for content elements - for
instance, can I render ⅈ as 'j' ?
Yes, you can use the semantics element to attach a preferred
presentation (encoded in MathML presentation elements) as an
annotation-xml.
How do you use entities to stop whitespace compression ?
With difficulty!
Why is math(s) difficult to render in a browser. Microsoft Equation
Editor has no difficulty rendering math(s) ?
The main problem is that existing browsers don't provide an adequate interface for third-party software used to render such as plugins, applets or ActiveX controls. It is hoped this will be solved as a result on work on the next generation of HTML, DOM and CSS. In addition, with due respect to a successful piece of software, it cannot be said that Equation Editor provides math presentation of the highest quality or gives widely portable results.
As an example of the kinds of problems faced: The rendering code for an embedded piece of mathematics would like to use a font size and family that matches the font used for the rest of the document's text. The plugin would like to control the vertical positioning for a math expression relative to the baseline of the text line in which the math is placed. The plugin would like to negotiate the height and width for the math object according to the space needed and not have this fixed at authoring time. At present, because of the lack of a way of communication between embedded objects and the containing document, none of these requirements can be met.
A richer model for the rendering objects that compose a document, that doesn't treat plugins as impoverished distant relatives will go a long way to solving the problems.
Has the Unicode consortium accepted the additional characters
proposed by the WG ?
Unicode 2.1 has just been released but the new characters for
mathematics have to been included yet. The process of gaining recognition
from the Unicode Technical Committee and the related body overseeing
the Universal Character Set ISO 10646 is a long drawn out one. It is
underway; more encouraging information will be provided as it becomes
available.
Which products do (or will) support MathML input/output/editing ?
Available and announced products and prototypes include:
Is automatic translation to and from LaTeX possible ? Is there
anything available which does it ?
Generation of MathML from that in LaTeX documents (presentation
and content) is certainly possible. Organisations working on this
problem include University of Western
Ontario,and the AMS and SIAM.
I am a content provider (e.g. a technical publisher). (Why) Should I
convert my legacy data to MathML. How ?
The usual dilemma with emerging standards: content is useless
without tools to create and manipulate it, and tool vendors are
reluctant to embark upon costly developments when the market for the
product is unclear. However, there are already a number of tools under
development, see MathML Tools.
Another important issue is the general trend of web-based applications towards the use of XML as a carrier format. MathML is the only 'standard' XML DTD for maths on the Web. Indeed, the working group of the ISO 12083 committee considers that MathML could be an appropriate 'plugin' mathematics module in a future modular version of the 12083 standard.
Where can I learn more about MathML ?
you can find out more at the W3C Web site. Follow the link for math(s)
from the MathML Recommendation
http://www.w3.org/TR/PR-math
Can I download the recommendation in 1 go (e.g. zipped .htm files,
PDF/postscript version) ?
Yes, try
http://www.w3.org/TR/PR-math.zip or
http://www.w3.org/TR/PR-math.tar.gz
To what extent has MathML been accepted by the public and
industry outside the W3C Math WG and its friends ? What is being done
to further this ?
One of the tasks of the re-chartered W3C Math WG is to promote
the adoption of MathML in industry and academia. More information can
be found on the Math WG's Web page
http://www.w3.org/Math/
Who are the members of the MathML working group ?
Active members of the present W3C Math WG (&dag; denotes
continuing members) are
Name | Organization | |
Stephen Buswell | Stilo Technologies | sb@stilo.demon.co.uk |
David Carlisle | NAG | davidc@nag.co.uk |
Stéphane Dalmas | SAFIR Research Group(INRIA) | Stephane.Dalmas@sophia.inria.fr |
Stan Devitt | Waterloo Maple Inc. | jsdevitt@maplesoft.com |
Angel Diaz | IBM Research Division | aldiaz@us.ibm.com |
Roger Hunter | MacKichan Software, Inc. | Roger@hipnt.com |
Patrick Ion | AMS | ion@ihes.fr |
Barry MacKichan (Alternate) | MacKichan Software, Inc. | barry@mackichan.com |
Robert Miner | Geometry Technologies, Inc. | rminer@geomtech.com |
Nico A.F.M. Poppelier | Elsevier Science | n.poppelier@elsevier.nl |
Dave Raggett | Math WG W3C Laison | dsr@w3.org |
T. V. Raman | Adobe | raman@adobe.com |
Murray Sargent | Microsoft | murrays@microsoft.com |
Neil Soiffer | Wolfram Research | soiffer@wri.com |
Robert Sutor (Alternate) | IBM Research Division | sutor@us.ibm.com |
Paul Topping | Design Science Inc. | pault@mathtype.com |
Stephen Watt | University of Western Ontario | watt@csd.uwo.ca |
The following additional persons were associated with the earlier W3C Math WG whose charter expired in June 1998.
How do I join the W3C Math Working group ?
Send e-mail to one of the
co-chairs