Terry Tao on some desirable properties of mathematical notation