Symbolic math for students. More generally, UI principles for tree manipulation.

Why am I still using pen and paper for math homework? Why do I have to rewrite the whole friggin thing every step?

And there's a hope that whatever I learn might be useful for lisps, too.