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/E...