Changes

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

30 bytes added , 17:10, 12 June 2009

→‎Note 2: \operatorname{d}

Line 207: Line 207:

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

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

12,080

edits