\input amstex

$(t_0, x_0, \ldots, x_0^{(n-1)})\in\hbox{\pmb{G}}$
\bye