TermSymbols

Matches lists of term symbols, including the empty list. All symbols in the list are assumed to be of the same kind.