add insertion notation