Corrected a bug in the definition of (^).