The notational conventions I adopted, and why (EWD 1300) www.cs.utexas.edu 2 points by tosh 2 hours ago