\form#0:$u$
\form#1:$s$
\form#2:$w = u \cdot 2^s$
\form#3:$w$
\form#4:$0$
\form#5:$0 = 1$
\form#6:$0 \leq 1$
\form#7:$\Rset^0$
\form#8:$le = 0 \pmod{m}$
\form#9:$0 = 1 \pmod{0}$
\form#10:$0 = 1 \pmod{1}$
\form#11:$[\mathrm{first}, \mathrm{last})$
\form#12:$e < 0$
\form#13:$e \leq 0$
\form#14:$e = 0$
\form#15:$e \geq 0$
\form#16:$e > 0$
\form#17:$2^w$
\form#18:$\frac{\mathrm{lb}}{\mathrm{d}} \leq \mathrm{var}' \leq \frac{\mathrm{ub}}{\mathrm{d}}$
\form#19:$\mathrm{var}' \relsym \frac{\mathrm{le}}{\mathrm{d}}$
\form#20:$\mathord{\relsym}$
\form#21:$\mathrm{lhs}' \relsym \mathrm{rhs}$
\form#22:$d$
\form#23:$\pm v \leq r$
\form#24:$\pm v < r$
\form#25:$r \in \Qset$
