Rotation on the digital plane