TeX source:
t3(x)