TeX source:
t7(x)