12,080
edits
Changes
Directory talk:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 04:38, 30 June 2009
, 04:38, 30 June 2009→Original Version
|
|
<pre>
<pre>
@
o-------------------o
| |
| @ |
| |
o-------------------o
</pre>
</pre>
| <math>{}^{\backprime\backprime}\texttt{~}{}^{\prime\prime}</math>
| <math>{}^{\backprime\backprime}\texttt{~}{}^{\prime\prime}</math>
|
|
<pre>
<pre>
o
o-------------------o
|
| |
@
| o |
| | |
| @ |
| |
o-------------------o
</pre>
</pre>
| <math>\texttt{(~)}</math>
| <math>\texttt{(~)}</math>
|
|
<pre>
<pre>
a
o-------------------o
@
| |
| a |
| @ |
| |
o-------------------o
</pre>
</pre>
|
|
|
|
<pre>
<pre>
a
o-------------------o
o
| |
|
| a |
@
| o |
| | |
| @ |
| |
o-------------------o
</pre>
</pre>
|
|