Added notation section