12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic (view source)
Revision as of 19:58, 9 June 2009
, 19:58, 9 June 2009→Note 9: spacing
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" width="90%"
| <math>\mathrm{G} ~=~ \mathrm{e} + \mathrm{f} + \mathrm{g} + \mathrm{h}</math>
| <math>\mathrm{G} ~=~ \mathrm{e} ~+~ \mathrm{f} ~+~ \mathrm{g} ~+~ \mathrm{h}</math>
|}
|}
& + & \mathrm{g}:\mathrm{g}
& + & \mathrm{g}:\mathrm{g}
& + & \mathrm{h}:\mathrm{h}
& + & \mathrm{h}:\mathrm{h}
\\
\\[4pt]
& + & \mathrm{e}:\mathrm{f}
& + & \mathrm{e}:\mathrm{f}
& + & \mathrm{f}:\mathrm{e}
& + & \mathrm{f}:\mathrm{e}
& + & \mathrm{g}:\mathrm{h}
& + & \mathrm{g}:\mathrm{h}
& + & \mathrm{h}:\mathrm{g}
& + & \mathrm{h}:\mathrm{g}
\\
\\[4pt]
& + & \mathrm{e}:\mathrm{g}
& + & \mathrm{e}:\mathrm{g}
& + & \mathrm{f}:\mathrm{h}
& + & \mathrm{f}:\mathrm{h}
& + & \mathrm{g}:\mathrm{e}
& + & \mathrm{g}:\mathrm{e}
& + & \mathrm{h}:\mathrm{f}
& + & \mathrm{h}:\mathrm{f}
\\
\\[4pt]
& + & \mathrm{e}:\mathrm{h}
& + & \mathrm{e}:\mathrm{h}
& + & \mathrm{f}:\mathrm{g}
& + & \mathrm{f}:\mathrm{g}