12,122
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic (view source)
Revision as of 18:52, 9 June 2009
, 18:52, 9 June 2009→Note 5: markup
|}
|}
{| align="center" cellpadding="10" width="90%"
{| align="center" cellpadding="10"
|
<pre>
<math>\begin{array}{rcccccc}
f
& = & x & \cdot & y
\\[4pt]
\operatorname{E}f
& = & x & \cdot & y & \cdot & (\operatorname{d}x)(\operatorname{d}y)
\\[4pt]
& + & x & \cdot & (y) & \cdot & (\operatorname{d}x)~\operatorname{d}y~
\\[4pt]
& + & (x) & \cdot & y & \cdot & ~\operatorname{d}x~(\operatorname{d}y)
\\[4pt]
& + & (x) & \cdot & (y) & \cdot & ~\operatorname{d}x~~\operatorname{d}y~\end{array}</math>
</pre>
|}
|}