Has anyone tried to use software not just for typing math to produce good-looking documents after solving problems/doing research with paper&pencil, but for actually doing research/problem solving with lots of maths directly in electronic form? Has anyone managed to have the same productivity as with paper and pencil? I have been trying to use LaTeX this way for some time, and I found that my productivity is far lower than with paper&pencil, in particular because LaTeX is non-WYSIWYG and you have to compile to check results. Caring about that takes part of my attention away from the actual problem solving. I currently have somewhat more success with LyX, which is WYSIWYG, however I still think that my productivity is lower.