Re: [GiNaC-devel] Derivative of conjugated is conjugated of derivative.