i1 : R = ZZ[x,y,z];
i2 : use R;
i3 : S = ZZ[x,t];
i4 : x o4 = x o4 : S
i5 : R_0 o5 = x o5 : R
i6 : R_"x" o6 = x o6 : R
i7 : use R;
i8 : x o8 = x o8 : R