You can use numbered_symbols