Fuente TeX:
(0|1)^∗01^∗