TeX source:
N_2 = 7