W3C

Mathematical Markup Language (MathML) Version 2.0

W3C Working Draft 11 February 2000

This version:
http://www.w3.org/TR/2000/WD-MathML2-20000211
Also available as: HTML zip archive, XHTML zip archive, XML zip archive, PDF (screen), PDF (paper)
Latest version:
http://www.w3.org/TR/MathML2
Previous versions:
http://www.w3.org/TR/1999/WD-MathML2-19991222
http://www.w3.org/TR/1999/WD-MathML2-19991201
Editors:
Nico Poppelier (Salience)
Robert Miner (Geometry Technologies, Inc.)
Patrick Ion (Mathematical Reviews, American Mathematical Society)
Principal Writers:
Stephen Buswell, Stan Devitt, Angel Diaz, Bruce Smith, Neil Soiffer, Robert Sutor, Stephen Watt, Stéphane Dalmas, David Carlisle, Roger Hunter, Ron Ausbrooks

Abstract

This specification defines the Mathematical Markup Language, or MathML. MathML is an XML application for describing mathematical notation and capturing both its structure and content. The goal of MathML is to enable mathematics to be served, received, and processed on the World Wide Web, just as HTML has enabled this functionality for text.

This specification of the markup language MathML is intended primarily for a readership consisting of those who will be developing or implementing renderers or editors using it, or software that will communicate using MathML as a protocol for input or output. It is not a User's Guide but rather a reference document.

This document begins with background information on mathematical notation, the problems it poses, and the philosophy underlying the solutions MathML proposes. MathML can be used to encode both mathematical notation and mathematical content. About thirty of the MathML tags describe abstract notational structures, while another one hundred provide a way of unambiguously specifying the intended meaning of an expression. Additional chapters discuss how the MathML content and presentation elements interact, and how MathML renderers might be implemented and should interact with browsers. Finally, this document addresses the issue of MathML entities (extended characters) and their relation to fonts.

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. Several early versions of such MathML tools already exist, and a number of others, both freely available software and commercial products, are under development.

Status of this document

This is a W3C working draft for review by W3C members and other interested parties. It is a draft document and may be updated, replaced or obsoleted by other documents at any time. It is inappropriate to use W3C working drafts as reference material or to cite them as other than `work in progress'. This is work in progress and does not imply endorsement by, or the consensus of, either W3C or members of the Math working group.

This document has been produced by the W3C Math Working Group.

A list of current W3C Technical Reports can be found at http://www.w3.org/TR.

It is expected that there will be at least two more Working Drafts, appearing at roughly one month intervals, before finalization of the Working Group's proposed specification MathML 2.0.

The present draft is a revision of the earlier corrected W3C Recommendation MathML 1.01. It differs from it in that several chapters have been modified and one added. The introductory chapters 1 and Chapter 2 are almost unchanged in this draft. They remain essentially correct, but will later be revised to reflect the changes in the rest of the document when these have settled down.

Chapters 3 and 4 have been extended to describe new functionalities added, as well as smaller improvements of material already proposed. Chapter 5 has been newly written to reflect changes in the technology available. The major tables in chapter 6 are being regenerated to reflect an improved list of characters useful for mathematics. However, since the outcomes of several initiatives with respect to mathematics in Unicode are not yet clear, the main text of this chapter has not yet been revised, and the character tables are omitted. Chapter 7 has been completely revised. A new chapter 8 on the DOM for MathML has been added; the latter points to a new appendix E for a detailed listing.

The appendices have been reorganized into normative and non-normative groups. The former have draft updates. Appendices E and H are completely new.

Comments on this document should be sent to the public mailing list of the Math Working Group.

Table of contents

1 Introduction
    1.1 Mathematics and its Notation
    1.2 Origins and Goals
    1.3 The Role of MathML on the Web
2 MathML Fundamentals
    2.1 MathML Overview
    2.2 Some MathML Examples
    2.3 MathML Syntax and Grammar
3 Presentation Markup
    3.1 Introduction
    3.2 Token Elements
    3.3 General Layout Schemata
    3.4 Script and Limit Schemata
    3.5 Tables and Matrices
    3.6 Enlivening Expressions
4 Content Markup
    4.1 Introduction
    4.2 Content Element Usage Guide
    4.3 Content Element Attributes
    4.4 The Content Markup Elements
5 Combining Presentation and Content Markup
    5.1 Why Two Different Kinds of Markup?
    5.2 Mixed Markup
    5.3 Parallel Markup
    5.4 Tools, Style Sheets and Macros for Combined Markup
6 Entities, Characters and Fonts
    6.1 Introduction
7 The MathML Interface
    7.1 Embedding MathML in HTML
    7.2 Generating, Processing and Rendering MathML
    7.3 Future Extensions
8 Document Object Model for MathML
    8.1 Introduction

Appendices

A Parsing MathML
    A.1 The MathML DTD
B Content Markup Validation Grammar
C Content Element Definitions
    C.1 About Content Markup Elements
    C.2 Definitions of MathML Content Elements
D Operator Dictionary (Non-normative)
    D.1 Format of operator dictionary entries
    D.2 Indexing of operator dictionary
    D.3 Choice of entity names
    D.4 Notes on lspace and rspace attributes
    D.5 Operator dictionary entries
E Document Object Model for MathML (Non-normative)
    E.1 IDL Interfaces
F Glossary (Non-normative)
G Working Group Membership (Non-normative)
H Changes (Non-normative)
I  References (Non-normative)