[tex-live] txfonts bug

[Norbert Preining]

Dear Ryu,

I am one of the TeX Live maintainers, upstream and also for Debian. One
user of the Ubuntu packages found a small bug in the txfonts which is
easily seen by trying that:
\documentclass{article}
\usepackage{txfonts}
\begin{document}
\verb=\precapprox= prints as \ \  $\precapprox$\\
\verb=\nprecapprox= prints as \ \  $\nprecapprox$\\
\verb=\succapprox= prints as \ \  $\succapprox$\\
\verb=\nsuccapprox= prints as \ \  $\nsuccapprox$
\end{document}

If you compare that with the output using amssymb instead of txfonts you
see that \precapprox and \succapprox are exchanged. The fix is simple:

--- txfonts.sty.orig	2008-01-22 07:42:45.000000000 +0100
+++ txfonts.sty	2008-01-22 07:43:06.000000000 +0100
@@ -579,8 +579,8 @@
 \re at DeclareMathSymbol{\thicksim}{\mathrel}{AMSb}{115}
 \re at DeclareMathSymbol{\thickapprox}{\mathrel}{AMSb}{116}
 \re at DeclareMathSymbol{\approxeq}{\mathrel}{AMSb}{117}
-\re at DeclareMathSymbol{\succapprox}{\mathrel}{AMSb}{118}
-\re at DeclareMathSymbol{\precapprox}{\mathrel}{AMSb}{119}
+\re at DeclareMathSymbol{\succapprox}{\mathrel}{AMSb}{119}
+\re at DeclareMathSymbol{\precapprox}{\mathrel}{AMSb}{118}
 \re at DeclareMathSymbol{\curvearrowleft}{\mathrel}{AMSb}{120}
 \re at DeclareMathSymbol{\curvearrowright}{\mathrel}{AMSb}{121}
 \re at DeclareMathSymbol{\digamma}{\mathord}{AMSb}{122}

It would be great if you could fix this (as upstream) and re-upload a
fixed package (only uploading this file should be enough if there are no
other changes) to the CTAN archive, from where it will find its way into
the TeX Live distribution etc.

Thanks a lot for your contribution and all the best

Norbert

-------------------------------------------------------------------------------
Dr. Norbert Preining <preining at logic.at>        Vienna University of Technology
Debian Developer <preining at debian.org>                         Debian TeX Group
gpg DSA: 0x09C5B094      fp: 14DF 2E6C 0307 BE6D AD76  A9C0 D2BF 4AA3 09C5 B094
-------------------------------------------------------------------------------
VALLETTA (n.)
On ornate head-dress or loose garment worn by a person in the belief
that it renders then invisibly native and not like a tourist at
all. People who don huge colonial straw collie hats with 'I Luv Lagos'
on them in Nigeria, or fat solicitors from Tonbridge on holiday in
Malaya who insist on appearing in the hotel lobby wearing a sarong
know what we're on about.
			--- Douglas Adams, The Meaning of Liff