⍒ Sort By Down r←x⍒y
r is the major cells of x sorted according to the descending grade of y: r←x⊇⍨⍒y. Supports the tolerance extra argument for the comparisons; supports the backward extra argument, which returns the ⍋ Sort By Up of y.