TeX source:
t2(x)