Fuente TeX:
\forall w' \in L(s) \Longrightarrow w' \in L(r)