[carstimon]

Ok, I can agree that we shouldn't design notation around their limitations. And I do like what they do in SICM. But, I'm just trying to root for the point up-thread:

>It seems tempting to have a single unambiguous notation for mathematics. But In constructing such a language, one will quickly realize that doing mathematics becomes an intensely arduous task.

When talking about math, our notation doesn't have to be precise, and that's ok.

> No, I don't dispute that blackboards are useful. Just obsolete :P