I made the following pages, based on the MathML W3C Recommendation, to test MathML in Amaya. They can also be useful for developpers of other MathML softwares especially browsers. The symbols in this page are displayed using their numeric references and as a consequence entity names recognization is not tested.

This first part is based on chapter 3. You can see whether all presentation elements are recognized and the result for several values of their attributes.

- Token Element
- General layout
- Script and limit
- Tables and matrices
- maction

This part is based on chapter 4.

[...]

This part is based on chapter 5.

[...]

This part is based on chapter 6 and allows to see whether all MathML characters can be displayed. The tables have been taken from the page Characters Ordered by Unicode. Some characters are repeated several times.

- Non-Marking Characters : see invisible operators in Operator Dictionnary section.
- Special Constants
- Negated and Mathematical Characters
- Variant and Mathematical Characters
- Characters ordered by Unicode (00009 - 000bf)
- Characters ordered by Unicode (000c0 - 0045f)
- Characters ordered by Unicode (U02002 - U0266F)
- Characters ordered by Unicode (U02713 - U0FFFD)
- Characters ordered by Unicode (U1D400 - U1D7FF)

This part is based on Appendix
F. The purpose is to check the symbols of operators listed in this
appendix or in the same category. Also, attention is focused on the Horizontal
Stretching Rules and the Vertical
Stretching Rules. Different methods are used to see if the symbol can be
streched, but generally it is put as the sole direct sub-expression of an
`mtd`

to check both directions.

- Invisible operators
- Integrals and Differentials
- Large operators
- Union and intersection
- Accents
- Fences
- Arrows (thickmathspace)
- Arrows (verythinmathspace)
- Elements and subsets
- Logical symbols
- Lines and Bars
- Binary relations
- Other operators

This part gives examples that show the use of MathML in mathematical formulae.

- The infinite in set theory : An introduction to (infinite) cardinal arithmetic with three theorems of set theory. Among other things, you will find basic operations on sets (union, complement, powerset...), definition of sets by separation and mapping and of course the omega, aleph and beth notations.
- Goodstein's sequences : An overview of these strange sequences, that increase to enormous values but finally tend to zero. A good way to check numbers written using a lot of <msup>'s.

The content of these MathML tests are under a Creative Commons
License.