Definition:Cycle Notation