12,080
edits
Changes
Directory:Jon Awbrey/Papers/Cactus Language (view source)
Revision as of 03:58, 27 December 2008
, 03:58, 27 December 2008→The Cactus Language : Syntax: spacing
<li><p>For <math>k > 1,\!</math></p>
<li><p>For <math>k > 1,\!</math></p>
<p><math>\operatorname{Conc}^k_j s_j \ = \ (\operatorname{Conc}^{k-1}_j s_j) \cdot s_k.</math></p></li>
<p><math>\operatorname{Conc}^k_j s_j \ = \ (\operatorname{Conc}^{k-1}_j s_j) \, \cdot \, s_k.</math></p></li>
</ol>
</ol>
<ol style="list-style-type:lower-alpha">
<ol style="list-style-type:lower-alpha">
<li><math>\operatorname{Surc}^1_j s_j \ = \ ^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot s_1 \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math></li>
<li><math>\operatorname{Surc}^1_j s_j \ = \ ^{\backprime\backprime} \, \operatorname{(} \, ^{\prime\prime} \, \cdot \, s_1 \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math></li>
<li><p>For <math>k > 1,\!</math></p>
<li><p>For <math>k > 1,\!</math></p>
<p><math>\operatorname{Surc}^k_j s_j \ = \ (\operatorname{Surc}^{k-1}_j s_j) \cdot \, (^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime})^{-1} \cdot \, ^{\backprime\backprime} \, \operatorname{,} \, ^{\prime\prime} \, \cdot s_k \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math></p></li>
<p><math>\operatorname{Surc}^k_j s_j \ = \ (\operatorname{Surc}^{k-1}_j s_j) \, \cdot \, ( \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime} \, )^{-1} \, \cdot \, ^{\backprime\backprime} \, \operatorname{,} \, ^{\prime\prime} \, \cdot \, s_k \, \cdot \, ^{\backprime\backprime} \, \operatorname{)} \, ^{\prime\prime}.</math></p></li>
</ol></ol>
</ol></ol>