The notational conventions I adopted, and why (EWD 1300)

4 points | by tosh 13 hours ago