The binary arithmetic operation -

x.__sub__(y) <==> x-y