I found this in Srednicki's QFTbook.
I don't know what ↔ means.
Help me, please
Presumably "the same term as before, but with the two indices exchanged". It should be deductible from the context, though.
Yes, like that. (Except you forgot the i.) This is Eq (34.4) in Srednicki.
Separate names with a comma.