remove old notation