Manuscript XI-A-ST@1 · XI-A-ST.tex · section · c3f0929d
The local transfer rule
The retained host and its three ledgers › The local transfer rule · lines 410–417
In particular, no additional minus sign is inserted into the XI-A action because the host convention is . That action is still the analysis action with background .