updated notation section with a bit of content