probably, you should use `numbered_symbols`