Fuente TeX:
L(r^*) = L((r^*)^1) \Longleftrightarrow L(r^*) = L(r^*)