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=
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=