Some great initial ideas here, but the focus still seems to be on notation for pencil and paper. This is the medium of the past and it's worth thinking about how mathematical ideas should be represented in a computing medium. Some potential ideas here:

- http://geometry.mrao.cam.ac.uk/ - http://worrydream.com/KillMath/