TeX source:
ab = 7