Changes

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>
 
|}
 
|}
12,080

edits