Fuente TeX:
Dr(2,ab)=aa Dr(3,b) = aabb Dr(3,\epsilon)= aabb