repair notation