Changes

Directory:Jon Awbrey/Papers/Differential Logic (view source)

Revision as of 02:04, 11 June 2009

85 bytes added , 02:04, 11 June 2009

→‎Note 11: center formula displays

Line 2,926: Line 2,926:

{| 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>

|}

Line 2,932: Line 2,932:

{| align="center" cellpadding="6" width="90%"

−

|

+

| align="center" |

<math>\begin{matrix}

\mathrm{G}

Line 2,964: Line 2,964:

{| align="center" cellpadding="6" width="90%"

−

|

+

| align="center" |

<math>\begin{matrix}

\mathrm{e}

Line 2,995: Line 2,995:

{| 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>

|}

Line 3,003: Line 3,003:

{| align="center" cellpadding="6" width="90%"

−

|

+

| align="center" |

<math>\begin{matrix}

\mathrm{e}

Jon Awbrey

12,080

edits