Line 759:
Line 759:
| <math>\text{Entitative}\!</math>
| <math>\text{Entitative}\!</math>
|-
|-
−
|
+
| height="100px" | [[Image:Cactus Node Big Fat.jpg|20px]]
−
<pre>
−
o-------------------o
−
| |
−
| @ |
−
| |
−
o-------------------o
−
</pre>
| <math>{}^{\backprime\backprime}\texttt{~}{}^{\prime\prime}</math>
| <math>{}^{\backprime\backprime}\texttt{~}{}^{\prime\prime}</math>
| <math>\operatorname{true}.</math>
| <math>\operatorname{true}.</math>
| <math>\operatorname{false}.</math>
| <math>\operatorname{false}.</math>
|-
|-
−
|
+
| height="100px" | [[Image:Cactus Spike Big Fat.jpg|20px]]
−
<pre>
−
o-------------------o
−
| |
−
| o |
−
| | |
−
| @ |
−
| |
−
o-------------------o
−
</pre>
| <math>\texttt{(~)}</math>
| <math>\texttt{(~)}</math>
| <math>\operatorname{false}.</math>
| <math>\operatorname{false}.</math>
| <math>\operatorname{true}.</math>
| <math>\operatorname{true}.</math>
|-
|-
−
|
+
| height="100px" | [[Image:Cactus A Big.jpg|20px]]
−
<pre>
−
o-------------------o
−
| |
−
| a |
−
| @ |
−
| |
−
o-------------------o
−
</pre>
| <math>a\!</math>
| <math>a\!</math>
| <math>a.\!</math>
| <math>a.\!</math>
| <math>a.\!</math>
| <math>a.\!</math>
|-
|-
−
|
+
| height="120px" | [[Image:Cactus (A) Big.jpg|20px]]
−
<pre>
−
o-------------------o
−
| |
−
| a |
−
| o |
−
| | |
−
| @ |
−
| |
−
o-------------------o
−
</pre>
| <math>\texttt{(} a \texttt{)}</math>
| <math>\texttt{(} a \texttt{)}</math>
| <math>\lnot a</math>
| <math>\lnot a</math>
| <math>\lnot a</math>
| <math>\lnot a</math>
|-
|-
−
|
+
| height="100px" | [[Image:Cactus ABC Big.jpg|50px]]
−
<pre>
−
o-------------------o
−
| |
−
| a b c |
−
| @ |
−
| |
−
o-------------------o
−
</pre>
| <math>a~b~c</math>
| <math>a~b~c</math>
| <math>a \land b \land c</math>
| <math>a \land b \land c</math>