Template:Individual-TLP-paragraph-en-6.01

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

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