notation edits