[Blindmath] LaTeX vs Nemeth Question

[Susan Jolly]

I'm curious whether any of you would actually prefer LaTeX to Nemeth if you
could get quality Nemeth in a timely manner. I've chosen an example of
something a bit harder than algebra to contrast these two representations.

First is a LaTeX example from p. 263 of Sewell's "Weaving a Program."

$$\eqalign{\sin[(2n+1)\theta&=
\Im(e^{(2n+1)i\theta})\cr
  &=\Im\{[\cos(\theta)
+ i \sin(\theta)]^{2n+1}\}\cr
  &=\sum_{k=0}^n(-1)^k
{{2n+1}\choose{2k+1}}\sin^{2k+1}
(\theta)\cos^{2(n-k)}(\theta)\cr
  &=\Bigl[\sum_{k=0}^n (-1)^k
{{2n+1}\choose{2k+1}}\cot^{2(n-k)}(\theta)
\Bigr]\Bigl[\sin^{2n+1}(\theta)\Bigr]\)\cr$$

Here's the same expression in Nemeth which I entered directly. Please let me
know if I've made any errors.

sin (2n+1).t .k im e^(2n+1)i.t
.k im (cos .t + isin .t)^2n+1
.k ".,s<k .k #0%n]-#1^k(2n+1%2k+1)
sin^2k+1 .t cos^2(n-k) .t
.k @(".,s<n .k #0%n]-#1^k(2n+1%2k+1)
cot^2(n-k) .t@) sin^2n+1 .t