TeX source:
t(2,13,7)