Lowercase r←⌊y

r is the scalar application of the lowercase function, which converts Unicode chracters to their lowercase equivalent, if applicable.