TeX source:
t1(x)