i1 : f = () -> ZZ[local t] o1 = f o1 : Function
i2 : f() o2 = ZZ[$t] o2 : PolynomialRing
i3 : t o3 = t o3 : Symbol
See also global and quote.