<div dir="ltr"><div dir="ltr"><br></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Sun, Feb 13, 2022 at 2:17 AM Keiran Harcombe <<a href="mailto:kjh@harcombe.net">kjh@harcombe.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><div dir="ltr"><div><br></div><div>It’s the font shown in figure 8.16 on page 523. It’s based on the Tekton font from Adobe. It would work well for the documents I’m producing at the moment. </div><div><br></div></div></div></blockquote><div><br></div><div>I guessed page 523 of The LaTeX Companion, 2nd edition.  And that is exactly right.</div><div><br></div><div>Bob T.  </div><div><br></div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div dir="auto"><div dir="ltr"><div></div><div><blockquote type="cite"><div dir="ltr"><div dir="ltr"><div> I am not sure what "informal fonts" are, </div></div>
</div></blockquote></div></div></div></blockquote></div></div>