> . Use e.g. `$' instead of the backtick for all short eqn formulae. My mistake: `$' doesn't work since this character gets used differently also. But `@' works:
mv ch09.t ch09.t.orig sed 's/`/@/g' < ch09.t.orig > ch09.t and it seems that after this fix UTP compiles just fine. Werner