TeX source:
n = 8