TeX source:
\{t t\}, x=1