Question

What is the rule for rotation of 90 degrees clockwise?

Answer 1

(x, y) ⇒ (y, -x) will rotate a point 90° clockwise around the origin.

If the center of rotation is (a, b), then you have
.. (x, y) ⇒ (y+a-b, a+b-x)