Richard Fateman <fateman@cs.berkeley.edu> writes:
> Andrey G. Grozin wrote:
>
>> First, high-quality typesetting of formulae is not a trivial
>> problem. Just have a look at the sizes of programs that can do it
>> well: TeX, lout, TeXmacs.
>
> Besides which, TeX (I don't know about the others) doesn't solve the
> problem of expressions that are too long. I have heard about but not
> tried a latex macro package that supposedly does this, but frankly I
> would be surprised if it works. Maxima used to (probably still does)
> change
>
> a+b+c
> -----
> d+e+f ....
>
> to
> (a+b+c)/(d+e+f)..
> as the numerator and denominator grow. Is the Latex macro clever
> enough for this?
No, it isn't that clever. In general, the package deals quite well with
breaking at binary relations, like + and -, but doesn't know how to deal
with very wide fractions, superscripts, subscripts etc. I think the same
applies to TeXmacs.