TeX source:
\mu = 5