А можно ли просуммировать по всем перестановкам (permutations)? Не употребимо ли

Конкретно такое обозначение, я, например, не встречал, но само суммирование по всем перестановкам используется часто, например, в доказательстве теоремы Машке (при усреднении скалярного произведения). Да и в целом, чтобы написать какую-нибудь такую сумму, достаточно задать действие какой-нибудь подгруппы

, а потом уже суммировать по орбите, в первом случае, например, суммирование идёт по орбите действия

Если Ваш вопрос был именно о специфических обозначениях, то прощу прощения.