Template:Individual-TLP-paragraph-en-6.01

6.01 The general form of the operation $\Omega '({\bar {\eta }})$ is therefore: $[{\bar {\xi }},N({\bar {\xi }})]'({\bar {\eta }})(=[{\bar {\eta }},{\bar {\xi }},N({\bar {\xi }})])$.

This is the most general form of transition from one proposition to another.