Actually, mathematical notation often has quite some redundancy. But yeah, you don't want to hunt it down in too many different places.