The deflection is given as the vector ∇ψR,
in a Cartesian co-ordinate system with axes aligned with the
axes of the lens. We call this the lens frame.
We are interested in the deflection vector α(x,y) in
a global frame, which shares the origin with the lens frame,
but is rotated clockwise by an angle θ.
In other words, the lens is oriented at an angle θ
(counterclockwise) in the global frame.
We will let (x,y) denote the point in the global frame, and
(x′,y′) the same point in the lens frame. Hence
\begin{aligned}
\end{aligned}
In other words, the (x,y) coordinates are rotated clockwise.
Similarly the deflection is given as ∇ψR(x′,y′) in
the lens frame, and α(x,y) in the global frame.
Thus, ∇ψR has to be rotated counterclockwise, as
\begin{aligned}
\vec{\alpha}(x,y)
&=