我没看过你那本书，不过我想那本书应该不会违背大家习惯的用法。
uxxv 通常是 ((ux)x)v 的意思，所以你把他解读成 (ux)(xv) 就不一样了。
根本问题是，省掉括号以后，符号是左结合还右结合？application 通常是
左结合，所以那题答案是这样出来的：
[x].uxxv
≡ S([x].uxx)([x].v) by (d)

原来是结合 真是一语惊醒梦中人! 谢谢!