Can I put the the attribute to the operator"^"? Example: a^(b+c) -->a^b*a^c kill(all)$ (%i1) declare(["^",exp],additive); a^(b+c); exp(b+c); (%o1) done (%o2) a^(c+b) (%o3) %e^c+%e^b