symbol where is interned