$AL
is the head for dummy indices which may be
introduced by Amputate
and Uncontract
. By
default it is unset, but may be set to anything.
Overview, Amputate, Uncontract.
[ScalarProduct[p, q], q, Pair -> All] Uncontract
\overline{p}^{\text{\$AL}(\text{\$19})} \overline{q}^{\text{\$AL}(\text{\$19})}
= \[Mu];
$AL
[ScalarProduct[p, q], q, Pair -> All] Uncontract
\overline{p}^{\mu (\text{\$20})} \overline{q}^{\mu (\text{\$20})}
=.; $AL