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