12,080
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 21:05, 10 February 2009
, 21:05, 10 February 2009→Variant 2
|- style="height:50px"
|- style="height:50px"
| 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="12%" style="border-top:1px solid black" | <math>\text{If}\!</math>
| width="64%" style="border-top:1px solid black" | <math>L ~\subseteq~ O \times S \times I</math>
| width="66%" style="border-top:1px solid black" | <math>L ~\subseteq~ O \times S \times I</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:50px"
|- style="height:50px"
|- style="height:60px"
|- style="height:60px"
| 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{F2.1a.}</math>
| width="12%" style="border-top:1px solid black" | <math>\operatorname{F2.1a.}</math>
| width="64%" style="border-top:1px solid black" | <math>\operatorname{Der}^L</math>
| width="66%" style="border-top:1px solid black" | <math>\operatorname{Der}^L</math>
| width="20%" style="border-top:1px solid black; border-left:1px solid black; text-align:center" | <math>\operatorname{F2.1a~:~D13a}</math>
| width="20%" style="border-top:1px solid black; border-left:1px solid black; text-align:center" | <math>\operatorname{F2.1a~:~D13a}</math>
|- style="height:20px"
|- style="height:20px"
|
|
| style="border-left:1px solid black; text-align:center" | <math>::\!</math>
| style="border-left:1px solid black; text-align:center" | <math>::\!</math>
|- style="height:40px"
|- style="height:60px"
|
|
| <math>\operatorname{F2.1e.}</math>
| valign="top" | <math>\operatorname{F2.1e.}</math>
| <math>\ldots</math>
| valign="top" |
<math>\begin{array}{ll}
\{ & (x, y) \in S \times I ~: \\
& \overset{O}{\underset{o}{\forall}}~ \upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~=~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o) \\
\} & \\
\end{array}</math>
| style="border-left:1px solid black; text-align:center" |
| style="border-left:1px solid black; text-align:center" |
<math>\operatorname{F2.1e~:~R9c}</math>
<math>\operatorname{F2.1e~:~R9c}</math>
|- style="height:40px"
|- style="height:40px"
|
|
| <math>\operatorname{F2.1f.}</math>
| valign="top" | <math>\operatorname{F2.1f.}</math>
| <math>\ldots</math>
| valign="top" |
<math>\begin{array}{ll}
\{ & (x, y) \in S \times I ~: \\
& \operatorname{Conj}_o^O~ \upharpoonleft \operatorname{Den}(L, x) \upharpoonright (o) ~=~ \upharpoonleft \operatorname{Den}(L, y) \upharpoonright (o) \\
\} & \\
\end{array}</math>
| style="border-left:1px solid black; text-align:center" |
| style="border-left:1px solid black; text-align:center" |
<math>\operatorname{F2.1f~:~R9d}</math>
<math>\operatorname{F2.1f~:~R9d}</math>