Rotation formulas