Skip to Content.
Sympa Menu

texmacs-users - [TeXmacs]Annotated Alignment?

Subject: mailing-list for TeXmacs Users

List archive

[TeXmacs]Annotated Alignment?


Chronological Thread 
  • From: Luo Chong <address@hidden>
  • To: address@hidden
  • Subject: [TeXmacs]Annotated Alignment?
  • Date: Thu, 8 Dec 2005 13:21:31 -0600
  • Domainkey-signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=AMTZcc0F0qpoYdjezyoWAwWfktwo3TIEZAm86bXasm7l3nzSwDkc86g/pJKIQeEAf3rECqHuEG8oqryCIzPbROyJ2ocebIjBCDJKILmtONsjbqmGRUfBKcKGaAhlA2oCsMkRbXUjkZRvB743QLbcPJsV4yscCN2OW5j1y1guBBM=
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}

Thank you!
--
***********************************
Chong Luo
Graduate Student
Department of Mathematics
University of Minnesota

Archive powered by MHonArc 2.6.19.

Top of Page