The double-complex function method is used to find a multiple Lax pair
for the double Ernst equation. Then multiple hidden symmetries and mu
ltiple infinite sequences of nonlocal conserved charges are obtained.
The result of Papachristou and Harrison is contained in our result.