generated at
downshift
Down-shift operator, in mathematics