Я чувствовал, что кто-то должен упомянуть продукт Design Science, MathFlow .У меня нет опыта работы с продуктом, но компания уже давно поддерживает MathML и соответствующие стандарты, и продукты, безусловно, заслуживают некоторого внимания для серьезного проекта.
На MathJax: OP запросил WYSIWYG, и я бы сказал, что он может быстро записать математическое выражение в ascii, latex или mathml и напрямую интерпретировать его с помощью однострочного сценария, включенного встраница, обеспечивает столько же или больше немедленной доступности и обратной связи, чем интерфейс GUI.