Alternative uses of the TX fonts, with improved metrics
