Kennt irgendjemand einen Editor mit dem man bequem in Math-ML schreiben könnte, bzw der eine normale Gleichungen in MML konvertiert?
Das tippen von MML ist ja nicht gerade die pure Freude, da man unmengen an Tags selbst für kleine gleichungen benötigt.