Added some notational stuff