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 @@
[EMAIL PROTECTED]
[EMAIL PROTECTED]
[EMAIL PROTECTED]
[EMAIL PROTECTED]
[EMAIL PROTECTED]
[EMAIL PROTECTED]
[EMAIL PROTECTED]
[EMAIL PROTECTED]
[EMAIL PROTECTED]
[EMAIL PROTECTED]
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 <[EMAIL PROTECTED]> Vienna University of Technology
Debian Developer <[EMAIL PROTECTED]> 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
--
LaTex produces wrong symbols
https://bugs.launchpad.net/bugs/184065
You received this bug notification because you are a member of Ubuntu
Bugs, which is the bug contact for Ubuntu.
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
