Fuente TeX:
w \in L(1^∗0(0|1)^∗)