The notational conventions I adopted, and why (EWD 1300)userweb.cs.utexas.edu2 pointspmiller216 years ago