Fuente TeX:
x \in L(ab^*)