Source TeX:
\nu=32