TeX source:
P(C_1)