!! +var+ +exec+ +string+
tit:recursion
type:$type_both
syntax:!recursion `fn' for `v'=`v1' to `v2' [step `st']\
$ !recursion `fn' for `v' in `v1,v2,v3,...'
mean:让变量 `v' 逐次取从 `v1' 到\
  `v2' 的值, 递归地计算函数 `fn' 的值. <p>\
  如果是第二句的形式, 变量依次取表 `v1,v2,...' 里的值. <p>\
  函数 `fn' 内应使用变量 `last'\
  表示上一次计算得到的值. 初始值可以放在WIMS变量 <tt>$$recursion_start</tt> 内.
