Sentido is a browser, editor, and environment (including document classification and search) for the mathematical document format OMDoc.
About Sentido
Versions of Sentido available
New since 2012-12-31: inserting MathML formulas in TinyMCE finally works. See the screenshot below, and click on it to try it live.