Ciro Santilli @cirosantilli 40

See: exam.

Then a specific metric is involved, sometimes we want to automatically add it to products.

E.g., in a context considering the common Minkowski inner product matrix where the $\eta$ 4x4 matrix and $\mu$ is a vector in ${\mathbb{R}}^4$which leads to the change of sign of some terms.