Fuente TeX:
a = a^* mcd(a,b)