Fuente TeX:

X = X.r | s \Longrightarrow X = s.r^*