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