我沒看過你那本書，不過我想那本書應該不會違背大家習慣的用法。
uxxv 通常是 ((ux)x)v 的意思，所以你把他解讀成 (ux)(xv) 就不一樣了。
根本問題是，省掉括號以後，符號是左結合還右結合？application 通常是
左結合，所以那題答案是這樣出來的：
[x].uxxv
≡ S([x].uxx)([x].v) by (d)

原來是結合 真是一語驚醒夢中人! 謝謝!