[tex-live] txfonts bug

Norbert Preining preining at logic.at
Tue Jan 22 07:46:01 CET 2008


Hi all, 

there is a bug in txfonts.sty, easily reproducible with:
\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}


But whom to send to? Does anyone have an email adress of Young Kyu? And
how to fix that bug on CTAN?

Best wishes

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
-------------------------------------------------------------------------------
SCRABBY (n.) A curious-shaped duster given to you by your mother which
on closer inspection turns out to be half an underpant.
			--- Douglas Adams, The Meaning of Liff


More information about the tex-live mailing list