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