Square r←↗y

r is the result of the scalar application of the square function, y 2 y^2 .