mailing-list for TeXmacs Users

[address@hidden]

Hello,

I've been looking about in all the documentation, but I've been unable
to find anything similar to LaTeX's tab stops within its tabbing
environment.  I can almost emulate the effect (kludgily) by just typing
the right number of spaces in the formula & single equation modes, but
I'd prefer, since I'm using multiple equations, to use the equation
array mode, in which I can't figure out how to add a newline that will
return the cursor to the right place; I would rather, of course, use
proper tabs instead of kludging spaces together, though.

Specifically, I'm trying to format something somewhat like this, with
lambda substituted for backslash, kappa substituted for k, & mu
substituted for m:

        M[[v]] = \km.  k v m
  M[[E_1 E_2]] =
    \km. M[[E_1]] (\fm'.
                    M[[E_2]] (\xm''.  f x k m'')
                             m')
                  m
                 ^---------^- Note the indentation in those two spots.
   M[[\v.  E]] = \km.  k (\vk'm'.  M[[E]] k' m') m

If it is impossible to indent the right-hand side for M[[E_1 E_2]]
thus within equation array mode, some other formatting might be
satisfactory, but I have a limit within a two-column paper.

Here is the LaTeX code to format it the way I desire, which I have been
able to translate all of except for the tabbing into TeXmacs:  

\newcommand{\codebracket}[1]{[\![#1]\!]}
\newcommand{\go}[1]{\hbox{\hspace*{#1em}}}
\def\MCPS{\hbox{$\cal M$}}

\begin{tabbing}$
\MCPS\codebracket{v} =
  \lambda\kappa\mu.\: \kappa\,v\,\mu$\\
$
\MCPS\codebracket{E_1\,E_2} =$\\
  \go{1}$\lambda\kappa\mu.\:
    \MCPS\codebracket{E_1}\,$\=$
      (\lambda f\mu'.$\\
      \>\go{1}$\MCPS\codebracket{E_2}\,$\=$
        (\lambda x\mu''.\:f\,x\,\kappa\,\mu'')$\\
      \>  \>$\mu')$\\
      \>$\mu$\\
$
\MCPS\codebracket{\lambda v.\:E} =
  \lambda\kappa\mu.\:
    \kappa\,(\lambda v\kappa'\mu'.\:
        \MCPS\codebracket{E}\,\kappa'\,\mu')
      \,\mu
$\end{tabbing}