Revisions for mini-notation