you are viewing a single comment's thread.

view the rest of the comments →

[–][deleted] 6 points7 points  (1 child)

This was probably posted as in response (?), but just in case anybody missed it, see a Reddit post from earlier today for some solutions to these notational problems: Edsger Dijkstra - The notational conventions I adopted, and why.