Line 1,282: |
Line 1,282: |
| | infer | | | infer |
| | <math>(q)\!</math> | | | <math>(q)\!</math> |
| + | | next. |
| + | | |
| + | |} |
| + | |}<br> |
| + | |
| + | {| align="center" border="1" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%" |
| + | | |
| + | {| align="center" border="0" cellpadding="8" cellspacing="0" style="background:lightcyan; text-align:center; width:96%" |
| + | | |
| + | | From |
| + | | <math>\overline{q}\!</math> |
| + | | and |
| + | | <math>\overline{\operatorname{d}q}\!</math> |
| + | | infer |
| + | | <math>\overline{q}\!</math> |
| + | | next. |
| + | | |
| + | |- |
| + | | |
| + | | From |
| + | | <math>\overline{q}\!</math> |
| + | | and |
| + | | <math>\operatorname{d}q\!</math> |
| + | | infer |
| + | | <math>q\!</math> |
| + | | next. |
| + | | |
| + | |- |
| + | | |
| + | | From |
| + | | <math>q\!</math> |
| + | | and |
| + | | <math>\overline{\operatorname{d}q}\!</math> |
| + | | infer |
| + | | <math>q\!</math> |
| + | | next. |
| + | | |
| + | |- |
| + | | |
| + | | From |
| + | | <math>q\!</math> |
| + | | and |
| + | | <math>\operatorname{d}q\!</math> |
| + | | infer |
| + | | <math>\overline{q}\!</math> |
| | next. | | | next. |
| | | | | |
| |} | | |} |
| |} | | |} |