$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.
Uncontract[ScalarProduct[p, q], q, Pair -> All]\overline{p}^{\text{\$AL}(\text{\$19})} \overline{q}^{\text{\$AL}(\text{\$19})}
$AL = \[Mu];
Uncontract[ScalarProduct[p, q], q, Pair -> All]\overline{p}^{\mu (\text{\$20})} \overline{q}^{\mu (\text{\$20})}
$AL =.;