TeX source:
\text{WN = PC (and P(C)=P}