'String representation of list of termnames of a formula.'

def __str__(self):

    value = []
    for term in self.terms:
        value += [term.termname]
    return ('<formula:    %s>' % '    +    '.join(value))
