Fuente TeX:

P(w) \equiv (\alpha(w) \to \beta(w))