\ Fold Back r←x(F\)y

r is the result of folding the major cells of y with starting value x using F right-to-left.