WIRIS formula editor

A two-way WYSIWYG formula editor for edits::OpenMath or edits::MathML formulae, implemented as a Java applet. Features a "domain editor", i.e. has an adaptable set of supported symbols, operators, etc. (That's important for steadily-changing document collections as in SWiM!)