Fuente TeX:

w \in L(1^∗0(0|1)^∗) \Longrightarrow w \in L((0|1)^∗01^∗)