adding local notation to interface