for nt being Symbol of PeanoNat holds TerminalLanguage nt = {<*0*>}