Changes

Line 2,859: Line 2,859:  
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black" width="90%"
 
{| align="center" cellpadding="0" cellspacing="0" style="border-left:1px solid black; border-top:1px solid black; border-right:1px solid black; border-bottom:1px solid black" width="90%"
 
|
 
|
{| align="center" cellpadding="0" cellspacing="0" style="text-align:right" width="100%"
+
{| align="center" cellpadding="0" cellspacing="0" width="100%"
|- style="height:48px"
+
|- style="height:48px; text-align:right"
 
| width="98%" | <math>\text{Logical Translation Rule 0}\!</math>
 
| width="98%" | <math>\text{Logical Translation Rule 0}\!</math>
| width=2%"   | &nbsp;
+
| width="2%" | &nbsp;
 
|}
 
|}
 
|-
 
|-
12,080

edits