Added examples from books for doing the notation