Equivalence between definitions of the gravitational deflection angle of light for a stationary spacetime

The Gibbons-Werner-Ono-Ishihara-Asada method for gravitational lensing in a stationary spacetime has been recently reexamined [Huang and Cao, arXiv:2306.04145], in which the gravitational deflection angle of light based on the Gauss-Bonnet theorem can be rewritten as a line integral of two functions $H$ and $T$. The present paper proves that the Huang-Cao line integral definition and the Ono-Ishihara-Asada one [Phys. Rev. D 96, 104037 (2017)] are equivalent to each other, whatever asymptotic regions are. A remark is also made concerning the direction of a light ray in a practical use of these definitions.