The explicit formula of the Hilbert symbol for Honda formal groups

In the present paper, we give an explicit formula for the Hilbert symbol in the case of Honda formal groups. The proof uses the Shafarevich basis and the relationship between the Lubin–Tate formal groups and Honda formal groups.