Deleted redundant export of notation