Adding notation back