Changes

MyWikiBiz, Author Your Legacy — Thursday December 05, 2024
Jump to navigationJump to search
→‎The Cactus Language : Syntax: nobody here but us operators
Line 72: Line 72:  
<math>\begin{array}{llccc}
 
<math>\begin{array}{llccc}
 
1. &
 
1. &
\text{If} &  
+
\operatorname{If} &  
 
^{\backprime\backprime}\operatorname{A}^{\prime\prime} &
 
^{\backprime\backprime}\operatorname{A}^{\prime\prime} &
 
\rightarrow &
 
\rightarrow &
 
\operatorname{Ann}, \\
 
\operatorname{Ann}, \\
 
&
 
&
\text{that is}, &
+
\operatorname{that~is}, &
 
^{\backprime\backprime}\operatorname{A}^{\prime\prime} &
 
^{\backprime\backprime}\operatorname{A}^{\prime\prime} &
 
\operatorname{denotes} &
 
\operatorname{denotes} &
 
\operatorname{Ann}, \\
 
\operatorname{Ann}, \\
 
&
 
&
\text{then} &
+
\operatorname{then} &
 
\operatorname{A} &
 
\operatorname{A} &
 
= &
 
= &
\operatorname{Ann}, \\
+
\operatorname{Ann} \\
 
&
 
&
\text{and} &
+
\operatorname{and} &
 
\operatorname{Ann} &
 
\operatorname{Ann} &
 
= &
 
= &
 
\operatorname{A}. \\
 
\operatorname{A}. \\
 
&
 
&
\text{Thus} &
+
\operatorname{Thus} &
 
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
 
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
 
\rightarrow &
 
\rightarrow &
 
\operatorname{A}, \\
 
\operatorname{A}, \\
 
&
 
&
\text{that is}, &
+
\operatorname{that~is}, &
 
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
 
^{\backprime\backprime}\operatorname{Ann}^{\prime\prime} &
 
\operatorname{denotes} &
 
\operatorname{denotes} &
Line 109: Line 109:  
<math>\begin{array}{llccc}
 
<math>\begin{array}{llccc}
 
2. &
 
2. &
\text{If} &  
+
\operatorname{If} &  
 
\operatorname{Bob} &
 
\operatorname{Bob} &
 
\leftarrow &
 
\leftarrow &
 
^{\backprime\backprime}\operatorname{B}^{\prime\prime}, \\
 
^{\backprime\backprime}\operatorname{B}^{\prime\prime}, \\
 
&
 
&
\text{that is}, &
+
\operatorname{that~is}, &
 
\operatorname{Bob} &
 
\operatorname{Bob} &
 
\operatorname{is~denoted~by} &
 
\operatorname{is~denoted~by} &
 
^{\backprime\backprime}\operatorname{B}^{\prime\prime}, \\
 
^{\backprime\backprime}\operatorname{B}^{\prime\prime}, \\
 
&
 
&
\text{then} &
+
\operatorname{then} &
 
\operatorname{Bob} &
 
\operatorname{Bob} &
 
= &
 
= &
 
\operatorname{B} \\
 
\operatorname{B} \\
 
&
 
&
\text{and} &
+
\operatorname{and} &
 
\operatorname{B} &
 
\operatorname{B} &
 
= &
 
= &
 
\operatorname{Bob}. \\
 
\operatorname{Bob}. \\
 
&
 
&
\text{Thus} &
+
\operatorname{Thus} &
 
\operatorname{B} &
 
\operatorname{B} &
 
\leftarrow &
 
\leftarrow &
 
^{\backprime\backprime}\operatorname{Bob}^{\prime\prime}, \\
 
^{\backprime\backprime}\operatorname{Bob}^{\prime\prime}, \\
 
&
 
&
\text{that is}, &
+
\operatorname{that~is}, &
 
\operatorname{B} &
 
\operatorname{B} &
 
\operatorname{is~denoted~by} &
 
\operatorname{is~denoted~by} &
12,080

edits

Navigation menu