rtxbmi の "5E と "5F の実体が逆になっている

名前: munepi
日時: 2009-01-05 20:28:02
IPアドレス: 122.208.217.*

明けましておめでとうございます．

さて，txfonts 2005/01/03 v3.2 において，
rtxbmi の "5E と "5F の実体が逆になっているのは既知の不具合でしょうか？

\documentclass{jarticle}

\usepackage{txfonts}
\usepackage{amsbsy}

\begin{document}

\begin{tabular}{c|*2c}
 & smile & frown \\
\hline
non-boldsymbol & $\smile$ & $\frown$ \\
boldsymbol & $\boldsymbol{\smile}$ & $\boldsymbol{\frown}$ \\
\end{tabular}

\end{document}

この書き込みへの返事：