Changes

Line 2,929: Line 2,929:  
|- style="height:48px; text-align:right"
 
|- style="height:48px; text-align:right"
 
| width="98%" | <math>\text{Logical Translation Rule 1}\!</math>
 
| width="98%" | <math>\text{Logical Translation Rule 1}\!</math>
| width="2%"   | &nbsp;
+
| width="2%" | &nbsp;
 
|}
 
|}
 
|-
 
|-
Line 3,076: Line 3,076:  
|- style="height:48px; text-align:right"
 
|- style="height:48px; text-align:right"
 
| width="98%" | <math>\text{Logical Translation Rule 2}\!</math>
 
| width="98%" | <math>\text{Logical Translation Rule 2}\!</math>
| width="2%"   | &nbsp;
+
| width="2%" | &nbsp;
 
|}
 
|}
 
|-
 
|-
12,089

edits