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