where the tensor product symbol \otimes is used to emphasize the fact that the product of a function times a vector field is being taken over the entire manifold.
Additional properties are consistent with that of the Lie bracket.