TeX source:
2^t − 1