But if i is the symbol *, the first inequality is omitted. If j
is the symbol *, the second inequality is omitted. If instead of
being an integer, the second element of the type specification is a
list containing an integer, (i), then the first inequality is made
strict. An analogous remark holds for the (j) case. The RATIONAL
and REAL type specifiers are similarly generalized.