Rot_(a, b)(θ) in projective geometry
Trans(a, b) Rot(θ) Trans(-a, -b)