XHTML, MathML, and SVG editor from w3.org
 Amaya is a Web editor, i.e. a tool used to create and update documents
 directly on the Web. Browsing features are seamlessly integrated with
 the editing and remote access features in a uniform environment.
 Amaya is based on the Thot toolkit developed at INRIA.
Manual and Help Documents