 Double cochain complex

Two degree-raising differentials square to zero and anticommute. If an initial convention uses commuting differentials, introduce a sign in one of them before forming the total cochain complex.