12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 19:23, 23 December 2008
, 19:23, 23 December 2008→The Cactus Language : Syntax: format display as TeX array
\operatorname{denotes} &
\operatorname{denotes} &
\operatorname{A}. \\
\operatorname{A}. \\
\end{array}</math>
|}
{| cellpadding="8"
|
|
<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>
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