User blog comment:Gleive/Gleive's U Notation - Part 1 of ? Parts/@comment-30869823-20180831185344

It al seems to be well-explained and well-defined until:

> With mixed arrows, three entries - abc = a(ab-1c)c-1

You need to use different letters/symbols/subscripts for different variables:

abc = a(ab-1c)c-1

> With mixed arrows, arbitary amounts - Xt+1(Xt+1p-1<n>q)<n>q-1

In this one you don't even have an equality.