Again, the "obviousness" cuts both ways. In other words, it is obvious to mathematicians that concise symbols are better, and it is obvious to programmers that

Again, the "obviousness" cuts both ways. In other words, it is obvious to mathematicians that concise symbols are better, and it is obvious to programmers that verbose strings are better, and both have a lot of experience backing their claims... if anything, math has more. So, I think the real question is how do we quantify and measure it? How do we gather the formal and empirical data needed to resolve this issue?