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 17:10, 12 June 2009
, 17:10, 12 June 2009→Note 2: \operatorname{d}
{| align="center" cellpadding="6" width="90%"
{| align="center" cellpadding="6" width="90%"
| align="center" |
| align="center" |
<math>x ~\operatorname{and}~ y \quad \xrightarrow{~\operatorname{Diff}~} \quad dx ~\operatorname{or}~ dy</math>
<math>x ~\operatorname{and}~ y \quad \xrightarrow{~\operatorname{Diff}~} \quad \operatorname{d}x ~\operatorname{or}~ \operatorname{d}y</math>
|-
|-
| align="center" |
| align="center" |
