I've wanted this for years. I believe it's still an area of research, due to (among other things) the two-dimensional nature of written mathematics.