notation is now unified