TeX source:
c = 7