Here and in the following we use the symbol
for both the Killing field
and the corresponding one-form
.