TeX source:
ax+by = gcd(a,b)