Interior product
The interior product is a way to go “down” a degree of a differential form
(As opposed to the exterior derivative which goes “up” a degree).
Thus, for a vector field
It is defined by holding the first spot of the differential form constant by the vector field and leaving all the others to vary.
More formally,
Notation
Some authors use the notation