Method __sub__

python/__expr.py:50–51

(self, other)

        return SumExpr(self, Expr(other))

    def __sub__(self, other):
        return SumExpr(self, Expr(other).Scale(-1))
    
    def __neg__(self):
        return self.Scale(-1)