12,089
edits
Changes
User:Jon Awbrey/SCRATCHPAD (view source)
Revision as of 21:03, 28 January 2009
, 21:03, 28 January 2009→Geometric Translation Rule 2
|
|
| align="left" | <math>\text{G2b}_{1}.\!</math>
| align="left" | <math>\text{G2b}_{1}.\!</math>
| <math>\upharpoonleft \operatorname{neither}~ s ~\operatorname{nor}~ t \upharpoonright</math>
| <math>\upharpoonleft {}^{_\sim} P ~\cap~ {}^{_\sim} Q \upharpoonright</math>
| <math>=\!</math>
| <math>=\!</math>
| <math>(\upharpoonleft s \upharpoonright)(\upharpoonleft t \upharpoonright)</math>
| <math>(\upharpoonleft {}^{_\sim} P \upharpoonright)(\upharpoonleft {}^{_\sim} Q \upharpoonright)</math>
| <math>=\!</math>
| <math>=\!</math>
| <math>(p)(q)\!</math>
| <math>(p)(q)\!</math>