technologies like MathML. However, almost all mathematical documents
available on the Web are marked up only for presentation (in this respect,
current practice in MathML improves on, but does not fundamentally differ
- from the older paper-oriented markup schemes like {\LaTeX} or Postscript).
+ from the older paper-oriented markup schemes like LaTeX or Postscript).
A consequence of this is that the online material is machine-readable, but
not machine-understandable, severely crippling the possibility to offer
added-value services like</p>
stylesheets [<a href="http://www.w3.org/TR/xslt">XSLT</a>], to pass from
one language to the other.</p>
- <img border="0" alt="Architecture" src="./../images/arch.gif" />
+ <img border="0" alt="Architecture" src="./../images/arch.png" />
<p>The fact of encoding also the microscopic, logical level of mathematics
opens the possibility to have completely formalised subsystems of the