12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Saturday June 29, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 20:20, 31 January 2009
, 20:20, 31 January 2009→Syntactic Transformations: spacing
|- style="height:40px"
|- style="height:40px"
| width="2%" style="border-top:1px solid black" |
| width="2%" style="border-top:1px solid black" |
| width="14%" style="border-top:1px solid black" | <math>\text{If}\!</math>
| width="18%" style="border-top:1px solid black" | <math>\text{If}\!</math>
| width="64%" style="border-top:1px solid black" | <math>Q ~\subseteq~ X</math>
| width="60%" style="border-top:1px solid black" | <math>Q ~\subseteq~ X</math>
| width="20%" style="border-top:1px solid black; border-left:1px solid black" |
| width="20%" style="border-top:1px solid black; border-left:1px solid black" |
|- style="height:40px"
|- style="height:40px"
|- style="height:40px"
|- style="height:40px"
| width="2%" style="border-top:1px solid black" |
| width="2%" style="border-top:1px solid black" |
| width="14%" style="border-top:1px solid black" | <math>\operatorname{R3a.}</math>
| width="18%" style="border-top:1px solid black" | <math>\operatorname{R3a.}</math>
| width="64%" style="border-top:1px solid black" | <math>x ~\in~ Q</math>
| width="60%" style="border-top:1px solid black" | <math>x ~\in~ Q</math>
| width="20%" style="border-top:1px solid black; border-left:1px solid black; text-align:center" | <math>\operatorname{R3a~:~R1a}</math>
| width="20%" style="border-top:1px solid black; border-left:1px solid black; text-align:center" | <math>\operatorname{R3a~:~R1a}</math>
|- style="height:20px"
|- style="height:20px"
