12,089
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 17:12, 26 January 2009
, 17:12, 26 January 2009→Syntactic Transformations: adjust spacing between rows of array : \\[6pt]
& \text{R1a.}
& \text{R1a.}
& x \in Q
& x \in Q
\\
\\[6pt]
& & \text{as} & &
& & \text{as} & &
\\
\\[6pt]
\text{R3b.}
\text{R3b.}
& \upharpoonleft Q \upharpoonright (x)
& \upharpoonleft Q \upharpoonright (x)
& \text{R1b.}
& \text{R1b.}
& \upharpoonleft Q \upharpoonright (x)
& \upharpoonleft Q \upharpoonright (x)
\\
\\[6pt]
& & \text{and} & &
& & \text{and} & &
\\
\\[6pt]
\text{R3b.}
\text{R3b.}
& \upharpoonleft Q \upharpoonright (x)
& \upharpoonleft Q \upharpoonright (x)
& \text{R2a.}
& \text{R2a.}
& f(x)
& f(x)
\\
\\[6pt]
& & \text{as} & &
& & \text{as} & &
\\
\\[6pt]
\text{R3c.}
\text{R3c.}
& \upharpoonleft Q \upharpoonright (x) = \underline{1}
& \upharpoonleft Q \upharpoonright (x) = \underline{1}