TeX source:
0\leq m\leq 2^{31} - 1