12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday April 08, 2025
Jump to navigationJump to searchDirectory: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
Line 40:
Line 40:
| <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>
