operator~