Обозначения Свидлера для коумножения + знаки

составляют совершенную гремучую смесь. В формуле

(-1)^|c₍₁₎| c₍₁₎a ⊗ c₍₂₎ = (-1)^|c₍₁₎| c₍₁₎ ⊗ ac₍₂₎,

где a -- нечетный оператор, сокращать знаковые множители, абсолютно одинаковые на вид слева и справа, ни в коем случае нельзя. Иначе смысл формулы поменяется на противоположный и вы будете битый час искать ошибку в ваших вычислениях.

Вообще обозначения Свидлера уродливы и дики, и все же они оказываются несопоставимо лучше любых приходящих в голову альтернатив. На изобретение современных обозначений для сложения и умножения ушли века; сколько-то времени понадобится, чтобы придумать хорошие обозначения для коумножения?