Changes

Line 3,402: Line 3,402:  
<br>
 
<br>
   −
<pre>
+
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%"
Table 47.2 Derived Types for ERs of Sign Relations
+
|+ style="height:30px" |
Type Symbol Construction
+
<math>\text{Table 47.2} ~~ \text{Derived Types for ERs of Sign Relations}\!</math>
Relation R S(T(U))
+
|- style="height:40px; background:#f0f0ff"
</pre>
+
| width="33%" | <math>\text{Type}\!</math>
 +
| width="33%" | <math>\text{Sign}\!</math>
 +
| width="33%" | <math>\text{Construction}\!</math>
 +
|-
 +
| <math>\text{Relation}\!</math>
 +
| <math>R\!</math>
 +
| <math>S(T(U))\!</math>
 +
|}
    
<br>
 
<br>
   −
<pre>
+
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:80%"
Table 47.3 Derived Types for IRs of Sign Relations
+
|+ style="height:30px" |
Type Symbol Construction
+
<math>\text{Table 47.3} ~~ \text{Derived Types for IRs of Sign Relations}\!</math>
Relation P(R) P(S(T(U)))
+
|- style="height:40px; background:#f0f0ff"
</pre>
+
| width="33%" | <math>\text{Type}\!</math>
 +
| width="33%" | <math>\text{Sign}\!</math>
 +
| width="33%" | <math>\text{Construction}\!</math>
 +
|-
 +
| <math>\text{Relation}\!</math>
 +
| <math>P(R)\!</math>
 +
| <math>P(S(T(U)))\!</math>
 +
|}
    
<br>
 
<br>
12,080

edits