Fuente TeX:
S \longrightarrow aX | ab