times
Select Adobe Times Roman (or equivalent) as default font
See also txfonts newtx.
The author is Sebastian Rahtz.
License: lppl Catalogued: 2016-06-24