TeX source:
32/2^k