TeX source:

P(F \text{ OR }L)