(self, other)
return Implies(other, self)
Overloading for <<
Overloading for <<
Overloading for <<
def __lshift__(self, other):
        """Overloading for <<"""
        return Implies(other, self)
def __lshift__ ( self , other ) : return Implies ( other , self )