Rotate First R←X⊖[K]Y

The form R←X⊖Y implies rotation along the first axis. See Rotate.