Kenneth E. Iverson, Notation as a Tool of Thought, 1980

Important characteristics of notation:

• Ease of expressing constructs arising in problems
• Suggestivity
• Subordination of detail
• Economy
• Amenability to formal proofs