I find these kind of discussions of notation really interesting. They're not at all the bike-shedding they might first appear to be. One of the last EWDs[1] is

I find these kind of discussions of notation really interesting. They're not at all the bike-shedding they might first appear to be. One of the last EWDs[1] is an interesting meditation on the topic. [1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/EWD1300.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/E...