Notation Notes: Principles for Choosing Notation