MathML
https://developer.mozilla.org/en-US/docs/Web/MathML/Examples/MathML_Pythagorean_Theorem
Mathematical Markup Language (MathML) is a dialect of XML for describing mathematical notation and capturing both its structure and content.
We will now prove the Pythagorean theorem:
Statement: In a right angled triangle, the square of the hypotenuse is equal to the sum of the squares of the other two sides.
https://www.ibm.com/developerworks/cn/xml/x-mathml/index.html
MathML于1997年首先由W3C提出WG内部版本，到了2001年2月给出了2.0正式版，也是目前最为成熟的版本。MathML使用XML来描述数学表达式的结构和内容。MathML的目标就是使Web可以服务、接收、处理数学公式，正如HTML处理文本的功能那样。
TAG
https://developer.mozilla.org/en-US/docs/Web/MathML/Element
<msgroup>(Grouped rows of<mstack>and<mlongdiv>elements)<msline>(Horizontal lines inside<mstack>elements)<mspace>(Space)<msqrt>(Square root without an index)<msrow>(Rows in<mstack>elements)<mstack>(Stacked alignment)<mstyle>(Style change)<msub>(Subscript)<msup>(Superscript)<msubsup>(Subscript-superscript pair)
工具
图形化工具， 不用识别上面所述的MathML标签， 使用图像化工具输入，生成MathML
https://www.w3.org/Amaya/User/BinDist.html
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. This follows the original vision of the Web as a space for collaboration and not just a one-way publishing medium.
Work on Amaya started at W3C in 1996 to showcase Web technologies in a fully-featured Web client. The main motivation for developing Amaya was to provide a framework that can integrate as many W3C technologies as possible. It is used to demonstrate these technologies in action while taking advantage of their combination in a single, consistent environment.
Amaya started as an HTML + CSS style sheets editor. Since that time it was extended to support XML and an increasing number of XML applications such as the XHTML family, MathML, and SVG. It allows all those vocabularies to be edited simultaneously in compound documents.