And while I'm nit-picking, "Computer Modern Concrete" isn't a thing; the font (family) is called Concrete Roman. https://en.wikipedia.org/wiki/Concrete_Roman h

And while I'm nit-picking, "Computer Modern Concrete" isn't a thing; the font (family) is called Concrete Roman. https://en.wikipedia.org/wiki/Concrete_Roman https://en.wikipedia.org/wiki/Concrete_Roman (Not, of course, to be confused with Roman Concrete: https://en.wikipedia.org/wiki/Roman_concrete https://en.wikipedia.org/wiki/Roman_concrete.)