Changes

MyWikiBiz, Author Your Legacy — Thursday November 28, 2024
Jump to navigationJump to search
Line 1,817: Line 1,817:     
===Type Tables===
 
===Type Tables===
  −
====Completed Work====
      
<br>
 
<br>
Line 1,837: Line 1,835:  
\end{matrix}</math>
 
\end{matrix}</math>
 
|}
 
|}
  −
<br>
  −
  −
====Current Work====
      
<br>
 
<br>
Line 1,856: Line 1,850:  
| <math>S(T(U))\!</math>
 
| <math>S(T(U))\!</math>
 
|}
 
|}
  −
<br>
  −
  −
<pre>
  −
Table 47.2  Derived Types for ERs of Sign Relations
  −
Type Symbol Construction
  −
Relation R S(T(U))
  −
</pre>
      
<br>
 
<br>
Line 1,879: Line 1,865:  
| <math>P(S(T(U)))\!</math>
 
| <math>P(S(T(U)))\!</math>
 
|}
 
|}
  −
<br>
  −
  −
<pre>
  −
Table 47.3  Derived Types for IRs of Sign Relations
  −
Type Symbol Construction
  −
Relation P(R) P(S(T(U)))
  −
</pre>
      
<br>
 
<br>
12,080

edits

Navigation menu