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