Changes

Finally, the constant motif names <math>j\!</math> and <math>k\!</math> can be collected to one side of a composition or distributed to its individual links:

Finally, the constant motif names <math>j\!</math> and <math>k\!</math> can be collected to one side of a composition or distributed to its individual links:

{| align="center" cellpadding="8" style="text-align:center"

{| align="center" cellpadding="8"

| <math> j : x \lessdot \gtrdot y</math>

|

| <math>\Leftrightarrow</math>

<math>\begin{array}{llllll}

| <math> j : x \lessdot m</math>

j : x \lessdot \gtrdot y &

| <math>\operatorname{and}</math>

\Leftrightarrow         &

| <math>j : m \gtrdot y</math>

j : x \lessdot m         &

| <math>(\exists m \in Q).</math>

\operatorname{and}       &

j : m \gtrdot y         &

| <math>k : x \gtrdot \lessdot y</math>

(\exists m \in Q).     \\

| <math>\Leftrightarrow</math>

k : x \gtrdot \lessdot y &

| <math>k : x \gtrdot n</math>

\Leftrightarrow         &

| <math>\operatorname{and}</math>

k : x \gtrdot n         &

| <math>k : n \lessdot y</math>

\operatorname{and}       &

| <math>(\exists n \in E).</math>

k : n \lessdot y         &

(\exists n \in E).     \\

\end{array}</math>

|}

|}