Fuente TeX:
P(w) \equiv (\alpha(w) \to \beta(w))