TeX source:
0\leq b\leq 31