I wonder how many places we have in modern math symbols which we use for historical reasons, rather than because it's most convenient overall. I guess we are balancing things here.