TeX source:
t4(x)