'Returns the term-wise subtraction of \'self\' and \'other\'.
``other`` should be a sequence.
Examples
>>> from sympy import S, oo, SeqFormula
>>> from sympy.abc import n
>>> SeqFormula(n**2) - (SeqFormula(n))
SeqFormula(n**2 - n, (n, 0, oo))'

def __sub__(self, other):

    if (not isinstance(other, SeqBase)):
        raise TypeError(('cannot    subtract    sequence    and    %s' % type(other)))
    return SeqAdd(self, (- other))
