(self, other)
return Implies(self, other)
Overloading for >>
Overloading for >>
Overloading for >>
def __rshift__(self, other):
        """Overloading for >>"""
        return Implies(self, other)
def __rshift__ ( self , other ) : return Implies ( self , other )