TeX source:
P(T_1, ..., T_k)