Line 1,299: |
Line 1,299: |
| 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><</s> <s>></s></font> ''y'' | + | | <math> j : x \lessdot \gtrdot y</math> |
− | | ⇔ | + | | <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> |
− | | ∈ ''Q'' ,
| |
| |- | | |- |
− | | ''k'' : ''x'' <font face="system"><s>></s> <s><</s></font> ''y'' | + | | <math>k : x \gtrdot \lessdot y</math> |
− | | ⇔ | + | | <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> |
− | | ∈ ''E'' .
| |
| |} | | |} |
| | | |