s ..< t
i1 : R = QQ[a..z] o1 = R o1 : PolynomialRing
i2 : b ..< i o2 = (b, c, d, e, f, g, h) o2 : Sequence
i3 : plus oo o3 = b + c + d + e + f + g + h o3 : R