WolframAlpha computational knowledge AI
RotationTransform[-\[Phi], {-1, 1, 0}]