Math notation was't so much designed as accreted, and it shows in how awkward it can get. Dijkstra indirectly makes this point (among others) in "The notational conventions I adopted, and why" at http://www.cs.utexas.edu/~EWD/ewd13xx/EWD1300.PDF