From Notation to Semantics: There and Back Again