add to-notation