Line 8,517: |
Line 8,517: |
| | | |
| {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" | | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" |
− | |+ style="height:30px" | <math>\text{Table 1.} ~~ \text{Sign Relation of Interpreter A}\!</math> | + | |+ style="height:30px" | <math>\text{Table 80.} ~~ \text{Reflective Extension} ~ \operatorname{Ref}^1 (\text{A})\!</math> |
| |- style="height:40px; background:#f0f0ff" | | |- style="height:40px; background:#f0f0ff" |
| | width="33%" | <math>\text{Object}\!</math> | | | width="33%" | <math>\text{Object}\!</math> |
Line 8,535: |
Line 8,535: |
| | valign="bottom" | | | | valign="bottom" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\backprime\backprime} \text{A} {}^{\prime\prime} | + | {}^{\langle} \text{A} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{A} {}^{\prime\prime} | + | {}^{\langle} \text{A} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{i} {}^{\prime\prime} | + | {}^{\langle} \text{i} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{i} {}^{\prime\prime} | + | {}^{\langle} \text{i} {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| | valign="bottom" | | | | valign="bottom" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\backprime\backprime} \text{A} {}^{\prime\prime} | + | {}^{\langle} \text{A} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{i} {}^{\prime\prime} | + | {}^{\langle} \text{i} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{A} {}^{\prime\prime} | + | {}^{\langle} \text{A} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{i} {}^{\prime\prime} | + | {}^{\langle} \text{i} {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
Line 8,566: |
Line 8,566: |
| | valign="bottom" | | | | valign="bottom" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\backprime\backprime} \text{B} {}^{\prime\prime} | + | {}^{\langle} \text{B} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{B} {}^{\prime\prime} | + | {}^{\langle} \text{B} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{u} {}^{\prime\prime} | + | {}^{\langle} \text{u} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{u} {}^{\prime\prime} | + | {}^{\langle} \text{u} {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| | valign="bottom" | | | | valign="bottom" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\backprime\backprime} \text{B} {}^{\prime\prime} | + | {}^{\langle} \text{B} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{u} {}^{\prime\prime} | + | {}^{\langle} \text{u} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{B} {}^{\prime\prime} | + | {}^{\langle} \text{B} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{u} {}^{\prime\prime} | + | {}^{\langle} \text{u} {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| |} | | |} |
Line 8,589: |
Line 8,589: |
| | | |
| {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" | | {| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%" |
− | |+ style="height:30px" | <math>\text{Table 2.} ~~ \text{Sign Relation of Interpreter B}\!</math> | + | |+ style="height:30px" | <math>\text{Table 81.} ~~ \text{Reflective Extension} ~ \operatorname{Ref}^1 (\text{B})\!</math> |
| |- style="height:40px; background:#f0f0ff" | | |- style="height:40px; background:#f0f0ff" |
| | width="33%" | <math>\text{Object}\!</math> | | | width="33%" | <math>\text{Object}\!</math> |
Line 8,607: |
Line 8,607: |
| | valign="bottom" | | | | valign="bottom" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\backprime\backprime} \text{A} {}^{\prime\prime} | + | {}^{\langle} \text{A} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{A} {}^{\prime\prime} | + | {}^{\langle} \text{A} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{u} {}^{\prime\prime} | + | {}^{\langle} \text{u} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{u} {}^{\prime\prime} | + | {}^{\langle} \text{u} {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| | valign="bottom" | | | | valign="bottom" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\backprime\backprime} \text{A} {}^{\prime\prime} | + | {}^{\langle} \text{A} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{u} {}^{\prime\prime} | + | {}^{\langle} \text{u} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{A} {}^{\prime\prime} | + | {}^{\langle} \text{A} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{u} {}^{\prime\prime} | + | {}^{\langle} \text{u} {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
Line 8,638: |
Line 8,638: |
| | valign="bottom" | | | | valign="bottom" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\backprime\backprime} \text{B} {}^{\prime\prime} | + | {}^{\langle} \text{B} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{B} {}^{\prime\prime} | + | {}^{\langle} \text{B} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{i} {}^{\prime\prime} | + | {}^{\langle} \text{i} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{i} {}^{\prime\prime} | + | {}^{\langle} \text{i} {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| | valign="bottom" | | | | valign="bottom" | |
| <math>\begin{matrix} | | <math>\begin{matrix} |
− | {}^{\backprime\backprime} \text{B} {}^{\prime\prime} | + | {}^{\langle} \text{B} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{i} {}^{\prime\prime} | + | {}^{\langle} \text{i} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{B} {}^{\prime\prime} | + | {}^{\langle} \text{B} {}^{\rangle} |
| \\ | | \\ |
− | {}^{\backprime\backprime} \text{i} {}^{\prime\prime} | + | {}^{\langle} \text{i} {}^{\rangle} |
| \end{matrix}</math> | | \end{matrix}</math> |
| |} | | |} |