Hodge dual

Given a measure over an n-dimensional manifold expressible as an n-form μ (not all measures are of this form, for example, the Dirac delta function), the Hodge dual of a p-form A is defined as the contraction where is the dual n-vector. See sign convention.