| Result Source | Subterm− Input | Subterm u Input | Subterm+ Input | Surplus | Sum |
| Carried | αk(−) | αk(u) | αk(+) | γk | Ψk |
| Subterm− Output | ρk(−−) | ρk(−u) | ρk(−+) | βk(−) | Yk(−) |
| Subterm u Output | ρk(u−) | ρk(uu) | ρk(u+) | βk(u) | Yk(u) |
| Subterm+ Output | ρk(+−) | ρk(+u) | ρk(++) | βk(+) | Yk(+) |
| Sum | Xk(−) | Xk(u) | Xk(+) | Ωk |
|