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