TeX source:
P(M \text{ OR }R)