An even better definition for (^) (trac #1687)