Source TeX:

P(1) \equiv \textrm{vrai}