Line 6,614: |
Line 6,614: |
| | <math>\epsilon</math> : | | | <math>\epsilon</math> : |
| |- | | |- |
− | | ''U''<sup> •</sup> → E''U''<sup> •</sup>, ''X''<sup> •</sup> → E''X''<sup> •</sup>, | + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| |- | | |- |
| | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → ''X''<sup> •</sup>) | | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → ''X''<sup> •</sup>) |
Line 6,645: |
Line 6,645: |
| | <math>\eta</math> : | | | <math>\eta</math> : |
| |- | | |- |
− | | ''U''<sup> •</sup> → E''U''<sup> •</sup>, ''X''<sup> •</sup> → E''X''<sup> •</sup>, | + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| |- | | |- |
| | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) | | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) |
Line 6,676: |
Line 6,676: |
| | E : | | | E : |
| |- | | |- |
− | | ''U''<sup> •</sup> → E''U''<sup> •</sup>, ''X''<sup> •</sup> → E''X''<sup> •</sup>, | + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| |- | | |- |
| | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) | | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) |
Line 6,707: |
Line 6,707: |
| | D : | | | D : |
| |- | | |- |
− | | ''U''<sup> •</sup> → E''U''<sup> •</sup>, ''X''<sup> •</sup> → E''X''<sup> •</sup>, | + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| |- | | |- |
| | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) | | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) |
Line 6,738: |
Line 6,738: |
| | d : | | | d : |
| |- | | |- |
− | | ''U''<sup> •</sup> → E''U''<sup> •</sup>, ''X''<sup> •</sup> → E''X''<sup> •</sup>, | + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| |- | | |- |
| | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) | | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) |
Line 6,769: |
Line 6,769: |
| | r : | | | r : |
| |- | | |- |
− | | ''U''<sup> •</sup> → E''U''<sup> •</sup>, ''X''<sup> •</sup> → E''X''<sup> •</sup>, | + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| |- | | |- |
| | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) | | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → d''X''<sup> •</sup>) |
Line 6,800: |
Line 6,800: |
| | <font face=georgia>'''e'''</font> = ‹<math>\epsilon</math>, <math>\eta</math>› : | | | <font face=georgia>'''e'''</font> = ‹<math>\epsilon</math>, <math>\eta</math>› : |
| |- | | |- |
− | | | + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| |- | | |- |
− | | | + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>) |
| |} | | |} |
| | | | | |
Line 6,831: |
Line 6,831: |
| | <font face=georgia>'''E'''</font> = ‹<math>\epsilon</math>, E› : | | | <font face=georgia>'''E'''</font> = ‹<math>\epsilon</math>, E› : |
| |- | | |- |
− | | | + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| |- | | |- |
− | | | + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>) |
| |} | | |} |
| | | | | |
Line 6,862: |
Line 6,862: |
| | <font face=georgia>'''D'''</font> = ‹<math>\epsilon</math>, D› : | | | <font face=georgia>'''D'''</font> = ‹<math>\epsilon</math>, D› : |
| |- | | |- |
− | | | + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| |- | | |- |
− | | | + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>) |
| |} | | |} |
| | | | | |
Line 6,894: |
Line 6,894: |
| | <font face=georgia>'''T'''</font> = ‹<math>\epsilon</math>, d› : | | | <font face=georgia>'''T'''</font> = ‹<math>\epsilon</math>, d› : |
| |- | | |- |
− | | | + | | ''U''<sup> •</sup> → E''U''<sup> •</sup> , ''X''<sup> •</sup> → E''X''<sup> •</sup> , |
| |- | | |- |
− | | | + | | (''U''<sup> •</sup> → ''X''<sup> •</sup>) → (E''U''<sup> •</sup> → E''X''<sup> •</sup>) |
| |} | | |} |
| | | | | |