Fuente TeX:

Z \longrightarrow ccBc | ccX | abbaZ