Prover Step 5b omits an inner-product notation present in the original Bulletproofs paper for z W_v, \gamma

[kayabaNerve]

Presumably, this SHOULD have an inner product notation such that it's a scalar which can be used in the polynomial which when evaluated for x, outputs $\tau_x$.