Txfonts and pxfonts copyright notice June 2002 Txfonts and pxfonts, as of June 2002, are distributed under the GNU General Public License (GPL) with a special exception. See http://www.gnu.org/licenses/licenses.html#GPL for the detail of GPL. The special exception is as follows: Permission is granted to include txfonts and pxfonts in a document in the Postscript, PDF, or any other formats that may be displayed or printed using these fonts, regardless of the licensing condition applied to the document itself. Young Ryu