> You can use numbered_symbols

Ok.