[math-fun] RE : Symbol for rotation?