03.5 Notation as Interface
3.5 Notation as an Interface Notation is not decoration. It is an interface between ideas and reasoning. A well-designed notation exposes structure, hides irrelevant detail, and supports composition. An interface answers three questions: Question Role of notation What are the objects? Names, symbols, types What operations are allowed? Function application, algebraic operators What properties are visible? Equalities, relations, invariants When notation is effective, you can manipulate expressions without rederiving definitions...