1

It is rather common to typeset theories (that is a set of statements) such as ZFC in a sans serif font family. I tried the following:

\font\ss=ecss1000
\def\ZFC{\ss ZFC}

\ZFC

$\ZFC\models\exists X\forall x(x\not\in X)$

\bye

The first command correctly produces a sans-serif text but not the second one.

1 Answer 1

1

enter image description here

\font\sstext=ecss1000
\font\sssub=ecss1000 at 7pt
\font\sssubsub=ecss1000 at 5pt

\newfam\ssfam
\textfont\ssfam=\sstext
\scriptfont\ssfam=\sssub
\scriptscriptfont\ssfam=\sssubsub

\def\ss{\fam\ssfam\sstext} % usually \sf as \ss is ß
\def\ZFC{\ss ZFC} % or more likely \def\ZFC{{\ss ZFC}}

\ZFC

$\ZFC\models\exists X\forall x(x\not\in X)$

\bye
7
  • You probably want \def\ZFC{{\ss ZFC}} so the font change is just for ZFC not the whole document but that isn't directly related to your question Nov 28, 2022 at 12:30
  • Great thank you, so I should replace ss by sf everywhere (except in ecss1000 and so on) to be more idiomatic?
    – user285558
    Nov 28, 2022 at 12:31
  • @atrst especially if you are German and want stra\ss e to be straße, but plain tex is an example format for small examples in the texbook, I would expect any format designed for typsetting documents would have this set up already Nov 28, 2022 at 12:36
  • I occasionally write in German and forgot about that, thank you. I am just playing a bit with TeX, I am not planning to use this in a published book or something, just for my notes
    – user285558
    Nov 28, 2022 at 12:39
  • 1
    @wipet yes or context even eplain Nov 28, 2022 at 13:38

You must log in to answer this question.