Edsger Dijkstra, who was a mathematician by training, wrote a wonderful little monograph on this subject called The notational conventions I adopted, and why[1]

Edsger Dijkstra, who was a mathematician by training, wrote a wonderful little monograph on this subject called The notational conventions I adopted, and why[1]. I am particularly fond of his commented equational proof format. [1] https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/EWD1300.html https://www.cs.utexas.edu/users/EWD/transcriptions/EWD13xx/E...