adding notation