rename to get_symbol as creation happens only once, and symbols are then interned