CADLibrary::operator^