CADLibrary::operator~