tokens: In this formalization the original signature of the TRS is extended with new tuple symbols for substituting the defined symbols ( see comments after Definition of DPs ) , which implies the analysis of additional properties of the new term rewriting system induced over the extended signature and also properties relating this new rewriting system with the original one .