The notation I:J is equivalent to quotient(I,J), although with the latter form, optional arguments can be provided. See quotient for further details.
