どのラムダ項を簡約するかを明示する記法
from
β簡約
$ M\xrightarrow{n}_\beta N
例えば、
$ M\equiv(\lambda x.(xx))((\lambda y.y)z)
とするとき、ここに
$ \lambda
は2つあるのでどちらを簡約したのか明示したい
$ M\xrightarrow{1}_\beta (\lambda y.y)z
$ M\xrightarrow{2}_\beta (\lambda x.(xx))z
となる