left boundary for rotation set