Hodge dual#Formal definition of the Hodge star of k-vectors