12,080
edits
Changes
Directory:Jon Awbrey/Papers/Differential Logic : Introduction (view source)
Revision as of 18:50, 16 September 2009
, 18:50, 16 September 2009→Cactus Language for Propositional Logic: use alternate images
| <math>\text{Other Notations}\!</math>
| <math>\text{Other Notations}\!</math>
|-
|-
| height="100px" | [[Image:Cactus Node Big Fat.jpg|20px]]
| height="100px" | [[Image:Rooted Node.jpg|20px]]
| <math>~</math>
| <math>~</math>
| <math>\operatorname{true}</math>
| <math>\operatorname{true}</math>
| <math>1\!</math>
| <math>1\!</math>
|-
|-
| height="100px" | [[Image:Cactus Spike Big Fat.jpg|20px]]
| height="100px" | [[Image:Rooted Edge.jpg|20px]]
| <math>\texttt{(~)}</math>
| <math>\texttt{(~)}</math>
| <math>\operatorname{false}</math>
| <math>\operatorname{false}</math>