3 ms·E.W.Dijkstra Archive: The notational conventions I adopted, and why (EWD 1300)2 points by tosh 5mo ago