TITLE: Rotation around the origin by a specified angle