Angle of twist of a double-bent leaf flexure under torsion