I am surprised that you think that you can't program WYSIWYG input: I even suspect that the thought depends on habit of thinking, and not on consideration of th

I am surprised that you think that you can't program WYSIWYG input: I even suspect that the thought depends on habit of thinking, and not on consideration of the matter on its own merits. I did not check the things that you do---described in your message above---one by one, but I expect you can do all of them using TeXmacs, as it is completely programmable using Scheme (which of course I like much more than a macro expansion language ;-) ).