This tag should be used for symbols introduced by the txfonts LaTeX package.