Generalized Artin–Hasse and Iwasawa formulas for the Hilbert symbol in a higher local field. II

In this paper we consider the generalized Hilbert symbol in a higher local field of charactersitic 0 with the first residue field of characteristic 0 as well and with perfect last residue field of positive characteristic p which comes from higher local $p$-class field theory developed by I. Fesenko. Using the descent to a subfield of mixed characteristic we deduce from the generalized Artin–Hasse and Iwasawa formulas proved in a previous paper the corresponding Artin–Hasse and Iwasawa explicit reciprocity laws in the case under consideration.