> The thin and fat arrows, by comparison, are used in the exact same contexts. This makes them much more error prone. You can say that, but in practice it does

> The thin and fat arrows, by comparison, are used in the exact same contexts. This makes them much more error prone. You can say that, but in practice it doesn't really happen. They look somewhat different, they do somewhat different things. It's programming, ya know? Not that I'm trying to make you like it or anything-- of course you have the right to your own aesthetic sensibility.