Manuscript XIV-E@1 · XIV-E.tex · section · e89fd2a5
The grouped characteristic target
E0: the six-branch contract › The grouped characteristic target · lines 492–516
XIV-E@1#eq:target
The complete formal two-line expression remains
On the retained mixed germ it is
The factor includes the two mixed slot orderings of XIV-D.
This difference stays grouped. Formula (eq:target) specifies the composition to be constructed; it does not assert its existence on the characteristic set.
Displayed formulas in this passage
XIV-E@1#eq:target · line 501
unlabeled · line 495