12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Sunday December 22, 2024
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Differential Logic (view source)
Revision as of 02:04, 11 June 2009
, 02:04, 11 June 2009→Note 11: center formula displays
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" width="90%"
| <math>\mathrm{G} ~=~ \mathrm{e} ~+~ \mathrm{f} ~+~ \mathrm{g} ~+~ \mathrm{h}</math>
| align="center" | <math>\mathrm{G} ~=~ \mathrm{e} ~+~ \mathrm{f} ~+~ \mathrm{g} ~+~ \mathrm{h}</math>
|}
|}
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" width="90%"
|
| align="center" |
<math>\begin{matrix}
<math>\begin{matrix}
\mathrm{G}
\mathrm{G}
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" width="90%"
|
| align="center" |
<math>\begin{matrix}
<math>\begin{matrix}
\mathrm{e}
\mathrm{e}
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" width="90%"
| <math>\operatorname{g} \quad \text{converts} \quad \operatorname{e} ~\text{to}~ \operatorname{g}, \quad \operatorname{f} ~\text{to}~ \operatorname{h}, \quad \operatorname{g} ~\text{to}~ \operatorname{e}, \quad \operatorname{h} ~\text{to}~ \operatorname{f}.</math>
| align="center" | <math>\operatorname{g} \quad \text{converts} \quad \operatorname{e} ~\text{to}~ \operatorname{g}, \quad \operatorname{f} ~\text{to}~ \operatorname{h}, \quad \operatorname{g} ~\text{to}~ \operatorname{e}, \quad \operatorname{h} ~\text{to}~ \operatorname{f}.</math>
|}
|}
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" width="90%"
|
| align="center" |
<math>\begin{matrix}
<math>\begin{matrix}
\mathrm{e}
\mathrm{e}
