clarify range indexing, fixes #638

Author: avehtari

src/reference-manual/expressions.qmd

@@ -782,8 +782,10 @@ In addition to single integer indexes, as described in
 [the language indexing section](#language-indexing.section), Stan supports multiple indexing.
 Multiple indexes can be integer arrays of indexes, lower
 bounds, upper bounds, lower and upper bounds, or simply shorthand for
-all of the indexes.  A complete table of index types is given in the
-following table.
+all of the indexes.  If the upper bound is smaller than the lower bound, 
+the range is empty (unlike, e.g. in R). Upper bound and lower bound can be 
+expressions that evaluate to integer. A complete table of index types is 
+given in the following table.
 
 ##### Indexing Options Table {- #index-types-table}
 
@@ -797,6 +799,8 @@ following table.
  |  lower bound  | `a[3:]`  |     `a[3]`, ..., `a[N]`     |
  |  upper bound  | `a[:5]`  |     `a[1]`, ..., `a[5]`     |
  |     range     | `a[2:7]` |    `a[2]`, ...,  `a[7]`     |
+ |     range     | `a[7:2]` |             []              |
+ |     range     | `a[5-3:5+2]` |    `a[2]`, ...,  `a[7]`     |
  |      all      |  `a[:]`  |     `a[1]`, ..., `a[N]`     |
  |      all      |  `a[]`   |     `a[1]`, ..., `a[N]`     |