Added notation description to readme