TeX source:
t5(x)