Rotating a vector can be simplified to:
There are as many ways of doing this as there are people, surely.