Revert "notation: edited"

This reverts commit 590c7592f3504f54df10df4a0e52123090baac51.