[texhax] pdftex and Unicode

[David Carlisle]

On Sun, 26 Aug 2018 at 19:02, Bob Tennent <rdtennent at gmail.com> wrote:

>  >|
>  >|(It's not obvious to me how the string
>  >|"[lmmono10-regular]" gets converted to a reference to
>  >|a particular installed font,


the font is

/usr/local/texlive/2018/texmf-dist/fonts/opentype/public/lm/lmmono10-regular.otf

so in this case it's just the font filename, although you can also use
the internal font names (as used in font menus in most GUI
applications)

David