Symbol: canonicalize_commutative