<?xml version="1.0" encoding="us-ascii"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1//EN"
      "http://www.w3.org/TR/xhtml11/DTD/xhtml11.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
  <title>MathML Test : Home</title>
  <meta http-equiv="content-type" content="text/html; charset=us-ascii" />
  <meta name="generator" content="Amaya, see http://www.w3.org/Amaya/" />
  <meta name="author" content="Frederic WANG" />
</head>

<body>
<p><a href="../index.php">Back to home</a></p>

<h1>MathML Test : Home</h1>

<h2>Introduction</h2>

<p>I made the following pages, based on the <a
href="http://www.w3.org/TR/MathML2/">MathML W3C Recommendation</a>, 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.</p>

<h2>Presentation Markup</h2>

<p>This first part is based on <a
href="http://www.w3.org/TR/2003/REC-MathML2-20031021/chapter3.html">chapter
3</a>. You can see whether all presentation elements are recognized and the
result for several values of their attributes.</p>
<ul>
  <li><a href="token_elements.xml">Token Element</a> 
    <ul>
      <li><a href="mo_element.xml">mo</a></li>
      <li><a href="mspace.xml">mspace</a></li>
    </ul>
  </li>
  <li><a href="general_layout.xml">General layout</a> 
    <ul>
      <li><a href="mfrac.xml">mfrac</a></li>
      <li><a href="menclose.xml">menclose</a></li>
    </ul>
  </li>
  <li><a href="script_and_limit.xml">Script and limit</a></li>
  <li>Tables and matrices </li>
  <li><a href="maction.xml">maction</a></li>
</ul>

<h2>Content Markup</h2>

<p>This part is based on <a
href="http://www.w3.org/TR/2003/REC-MathML2-20031021/chapter4.html">chapter
4</a>.</p>

<p>[...]</p>

<h2>Combining Presentation and Content Markup</h2>

<p>This part is based on <a
href="http://www.w3.org/TR/2003/REC-MathML2-20031021/chapter5.html">chapter
5</a>.</p>

<p>[...]</p>

<h2 id="characters">Characters, Entities and Fonts</h2>

<p>This part is based on <a
href="http://www.w3.org/TR/2003/REC-MathML2-20031021/chapter6.html">chapter
6</a> and allows to see whether all MathML characters can be displayed. The
tables have been taken from the page <a
href="http://www.w3.org/TR/2003/REC-MathML2-20031021/characters/bycodes.html">Characters
Ordered by Unicode</a>. Some characters are repeated several times.</p>
<ul>
  <li>Non-Marking Characters : see invisible operators in <a
    href="#operators">Operator Dictionnary section</a>.</li>
  <li><a href="special_constants.xml">Special Constants</a></li>
  <li><a href="negated_characters.xml">Negated and Mathematical
  Characters</a></li>
  <li><a href="variant_characters.xml">Variant and Mathematical
  Characters</a></li>
  <li><a href="unicode_00009_000bf.xml">Characters ordered by Unicode (00009
    - 000bf)</a></li>
  <li><a href="unicode_000c0_0045f.xml">Characters ordered by Unicode (000c0
    - 0045f)</a></li>
  <li><a href="unicode2.xml">Characters ordered by Unicode (U02002 -
    U0266F)</a></li>
  <li><a href="unicode3.xml">Characters ordered by Unicode (U02713 -
    U0FFFD)</a></li>
  <li><a href="unicode4.xml">Characters ordered by Unicode (U1D400 -
    U1D7FF)</a></li>
</ul>

<h2 id="operators">Operator Dictionnary</h2>

<p>This part is based on <a
href="http://www.w3.org/TR/2003/REC-MathML2-20031021/chapter3.html">Appendix
F</a>. The purpose is to check the symbols of operators listed in this
appendix or in the same category. Also, attention is focused on the <a
href="http://www.w3.org/TR/2003/REC-MathML2-20031021/chapter3.html#id.3.2.5.8.3">Horizontal
Stretching Rules</a> and the <a
href="http://www.w3.org/TR/2003/REC-MathML2-20031021/chapter3.html#id.3.2.5.8.2">Vertical
Stretching Rules</a>. 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
<code>mtd</code> to check both directions.</p>
<ul>
  <li><a href="invisible_operators.xml">Invisible operators</a></li>
  <li><a href="integrals_and_differentials.xml">Integrals and
    Differentials</a></li>
  <li><a href="large_operators.xml">Large operators</a></li>
  <li><a href="union_and_intersection.xml">Union and intersection</a></li>
  <li><a href="accents.xml">Accents</a></li>
  <li><a href="fences.xml">Fences</a></li>
  <li><a href="arrows_thick.xml">Arrows (thickmathspace)</a></li>
  <li><a href="arrows_verythin.xml">Arrows (verythinmathspace)</a></li>
  <li><a href="elements_and_subsets.xml">Elements and subsets</a></li>
  <li><a href="logical_symbols.xml">Logical symbols</a></li>
  <li><a href="lines_and_bars.xml">Lines and Bars</a></li>
  <li><a href="binary_relations.xml">Binary relations</a></li>
  <li><a href="other_operators.xml">Other operators</a></li>
</ul>

<h2 id="examples">Examples with various mathematical formulae</h2>

<p>This part gives examples that show the use of MathML in mathematical
formulae.</p>
<ul>
  <li><a href="infinite_set_theory.xml">The infinite in set theory</a> : 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.</li>
  <li><a href="goodstein_sequences.xml">Goodstein's sequences</a> : 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
    &lt;msup&gt;'s.</li>
</ul>

<div
style="margin-right:auto;margin-left:auto;width:700px;text-align:center;">

<div>
<a href="http://creativecommons.org/licenses/by-sa/3.0/"><img
alt="Creative Commons License"
src="http://i.creativecommons.org/l/by-sa/3.0/88x31.png" /></a> </div>

<div style="font-size:80%;">
The content of these MathML tests are under a <a
href="http://creativecommons.org/licenses/by-sa/3.0/">Creative Commons
License</a>.</div>
</div>
</body>
</html>
