notation modification