Definition:Divisor Notation