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

となる