TeX source:
80 - 6q = 0