Down-shift_operator