12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic (view source)
Revision as of 19:08, 9 June 2009
, 19:08, 9 June 2009→Note 4: alignment
& = & x & \cdot & y & \cdot & ((\operatorname{d}x)(\operatorname{d}y))
& = & x & \cdot & y & \cdot & ((\operatorname{d}x)(\operatorname{d}y))
\\[4pt]
\\[4pt]
& + & x & \cdot & (y) & \cdot & (\operatorname{d}x)~\operatorname{d}y
& + & x & \cdot & (y) & \cdot & ~(\operatorname{d}x)~\operatorname{d}y~~
\\[4pt]
\\[4pt]
& + & (x) & \cdot & y & \cdot & \operatorname{d}x~(\operatorname{d}y)
& + & (x) & \cdot & y & \cdot & ~~\operatorname{d}x~(\operatorname{d}y)~
\\[4pt]
\\[4pt]
& + & (x) & \cdot & (y) & \cdot & \operatorname{d}x~~\operatorname{d}y
& + & (x) & \cdot & (y) & \cdot & ~~\operatorname{d}x~~\operatorname{d}y~~
\end{array}</math>
\end{array}</math>
|}
|}