added notational convention section