TeX source:

P(T_1T_2T_3)