Fuente TeX:

X \rightarrow aa | ab | ba | bb