An interesting and often overlooked exposition by Dijkstra on notation: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/EWD1300.html https://www.cs.u

An interesting and often overlooked exposition by Dijkstra on notation: https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/EWD1300.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/E... https://www.cs.utexas.edu/users/EWD/ewd13xx/EWD1300.PDF https://www.cs.utexas.edu/users/EWD/ewd13xx/EWD1300.PDF