A collection of quotes on the design of notation as a tool of thought