Source TeX:

P(14) \equiv \textrm{vrai}