Fuente TeX:

C \longrightarrow aaaaS''' | \epsilon