>-- Other systems: Writing with a typewriter doesn't seem to be a serious
>alternative, and I doubt that it will be faster in most cases. And as
>for the other systems I can't find any point against TeX here other than
>"complicated to use" or "too time-comsuming". That is too commonplace
>as long as no better way is given explicitly. I simply doubt that other
>systems are superior here when one wishes to get the same quality as with
>TeX. So please give explicit examples, ...
>-- Rules for mathematical typography: Hans Abergs arguments here esentially
>boil down to "most mathematicians don't know about rules for typography,
>if they would know, they wouldn't like to follow them, and they couldn't
>care less about typography anyway". ...
I just tried to indicate that some mathematicians do use others systems,
because they _feel_ it is better for them, knocking out some papers. But I
tried to carefully to avoid the question whether they are right or not, and
which mathematics they might work with, in order to not clutter this group
with lots of upset letters. :-)
However, I think mathematicians in general are very sensitive to rules of
typography, and do want a nice, final typeset output (this was one reason
for not using the original LaTeX, because it did not conform to
mathematical standards, and was hard to reprogram). But the getting a
correct semantics comes in the first place.
The LaTeX3 project is doing some very good work, and it would be good if
one could spend some extra effort on the math interface, so that
mathematicians would feel they do not need AMS-TeX or own non-LaTeX
macro-packages anymore, because LaTeX has so many other features, no single
person could develop.
Concerning TeX, it is the ultimate in classical typesetting; by
"classical" I mean typsetting of kerned boxes of pictures (with no
knowledge of the graphics in the box). It seems me that the LaTeX3 now is
securing the principles of such classical typesetting, as far as TeX has
capacity; when this is done, the next step would probably be to find new
principles for typesetting.
In fact, I am not sure that even the things that Frank Mittelbach wants
to do with LaTeX3, can be fully done without requesting a new TeX version.
This importance of the LaTeX3, namely, as an indicator on how TeX might
evolve, was already recognized by the NTS project several years ago.
>-- Commutative diagrams:
>This is surely rather hard to do in TeX. But that is because this
>is rather a picture than math text...
Because of the limitation of TeX, diagonal arrows are hard to make, but
some things are surely possible. Michael Barr has a nice "diagram.tex"
package (on CTAN under his name) which can use digonal LaTeX arrows for
making commutative diagrams.
In general, though, it is hard to reason that commutative diagrams "are
pictures", because they should normally have typeset information, and this
should come from the same macros used in the other formulas in the text.
So this is really a flaw of TeX. Could one not integrate the METAFONT
drawing capacities into TeX? (But this is probably not a LaTeX3