Fuente TeX:
a \in L((0|1)^*)