Fuente TeX:

a^{\mu}a_{\mu}=...=\tilde{a}^{\nu}\tilde{a}_{\nu}