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:

:{| cellpadding="2"

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

| ''j'' : ''x'' <font face="system"><s>&lt;</s>&nbsp;<s>&gt;</s></font> ''y''

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

| &hArr;

| <math>\Leftrightarrow</math>

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

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

| and

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

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

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

| for some ''m''

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

| &isin; ''Q''&nbsp;,

|-

|-

| ''k'' : ''x'' <font face="system"><s>&gt;</s>&nbsp;<s>&lt;</s></font> ''y''

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

| &hArr;

| <math>\Leftrightarrow</math>

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

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

| and

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

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

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

| for some ''n''

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

| &isin; ''E''&nbsp;.

|}

|}