If I choose to edit the following in my user layer
set font_family = "Times New Romans, serif";
to something like
set font_family ="Fred, Times New Romans, serif";
does that mean that in the event that the user doesn't have Fred as a font in their computer, Times New Romans is displayed for them, and if not Times, then serif?