(quote _,Ring,String)
R_"x"
-- produce the indeterminate of the polynomial ring R whose name is x.
i1 : R = ZZ[x,y,z];
i2 : R_"x"
o2 = x
o2 : R
Eventually we will implement this for monoids, too.