Extensions to txfonts, using GNU Freefont
