THE DREAM TOOL IS NOT TEX
TEX is not great to work with. Tex is probably (I am not an expert in printing matters) good to provide a layer decoupling document from printing niceties and complexities.
The conceptual line is this :
A mathematician is not a secretary, his main concern is WHAT he wants to show, not HOW to show it.
So one more layer of abstraction is needed above that of Latex.
General goal :
Hence there is a need (a dream) for a tool that allows to be much closer to what we can do by hand and of course faster than by hand (in fact I once saw a written answer scanned in .pdf catching red-handed one of the main author of Latex in not using it!).
Dream Tool specifications : (rough one to get the idea)
S1. About an hour of initial time in the learning curve.
S2. Allow to write a document quickly (by simple analogy) even when tired.
S3. Cut and paste of seen formula available.
S4. To correct a document faster than by hand (2 minutes instead of 5 by hand).
Today best tools abilities :
S1. About the same.
S2. Impossible while thinking about something else.
S3. Cut and paste of formula description (implementation).
S4. It take 20 minutes instead of 5 by hand (everything is specific you have to decipher back and forth).
Another example of sluggishness : Ask someone who wrote a latex document with 10 diagrams in category theory to draw all the squared ones in a slanted way, certainly not a quick job.
