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