TeX source:
t(13,2,7)