SP[a, b] denotes a four-dimensional scalar product. SP[a, b] is transformed into ScalarProduct[a, b] by FeynCalcInternal. SP[p] is the same as SP[p, p] ).
See also: Calc, ExpandScalarProduct, ScalarProduct.