../ newtxsf.sty 17-Jul-2024 19:32 87549 omlntxsfmi.fd 17-Jul-2024 19:32 801 untxsfmia.fd 17-Jul-2024 19:32 797