mailing-list for TeXmacs Users

[Joris van der Hoeven <address@hidden>]

On Thu, Dec 08, 2005 at 01:21:31PM -0600, Luo Chong wrote:
> How to type Annotated Alignment in TeXmacs, like what the LaTeX code below 
> does?
> 
> \begin{align} \label{E:DoAlign}
> x &= x \wedge (y \vee z)
>         & &\text{(by distributivity)}\\
> &= (x \wedge y) \vee (x \wedge z)
>         & &\text{(by condition (M))} \notag\\
> &= y \vee z. \notag
> \end{align}

In the eqnarray* environment (A-&), you may do in M-tab in the rightmost
column and add text at the right hand side (use A-$ to re-enter text mode).
More generally, you may create your own tables and use M-tab or
an additional column at the right-hand side.