Add a reference to pkg docs from notation section