Changes

MyWikiBiz, Author Your Legacy — Thursday December 05, 2024
Jump to navigationJump to search
→‎The Cactus Language : Syntax: format display as TeX array
Line 100: Line 100:  
\operatorname{denotes} &
 
\operatorname{denotes} &
 
\operatorname{A}. \\
 
\operatorname{A}. \\
 +
\end{array}</math>
 +
|}
 +
 +
{| cellpadding="8"
 +
| &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
 +
|
 +
<math>\begin{array}{llccc}
 +
2. &
 +
\text{If} &
 +
\operatorname{Bob} &
 +
\leftarrow &
 +
^{\backprime\backprime}\operatorname{B}^{\prime\prime}, \\
 +
&
 +
\text{that is}, &
 +
\operatorname{Bob} &
 +
\operatorname{is~denoted~by} &
 +
^{\backprime\backprime}\operatorname{B}^{\prime\prime}, \\
 +
&
 +
\text{then} &
 +
\operatorname{Bob} &
 +
= &
 +
\operatorname{B} \\
 +
&
 +
\text{and} &
 +
\operatorname{B} &
 +
= &
 +
\operatorname{Bob}. \\
 +
&
 +
\text{Thus} &
 +
\operatorname{B} &
 +
\leftarrow &
 +
^{\backprime\backprime}\operatorname{Bob}^{\prime\prime}, \\
 +
&
 +
\text{that is}, &
 +
\operatorname{B} &
 +
\operatorname{is~denoted~by} &
 +
^{\backprime\backprime}\operatorname{Bob}^{\prime\prime}. \\
 
\end{array}</math>
 
\end{array}</math>
 
|}
 
|}
    
<pre>
 
<pre>
2.  If        Bob  <-<  "B",
  −
  −
    i.e.      Bob  ned  "B",
  −
  −
    then      Bob  =    B,
  −
  −
    thus      B  <-<  "Bob",
  −
  −
    i.e.      B  ned  "Bob".
  −
   
When I say that the sign "blank" denotes the sign " ",
 
When I say that the sign "blank" denotes the sign " ",
 
it means that the string of characters inside the first
 
it means that the string of characters inside the first
12,080

edits

Navigation menu