Metamath book cover

[Norman Megill]

The Metamath book cover proposed by David is here:
https://dwheeler.com/misc/24804269_cover.pdf

The cover logo aleph is a slightly different shape from our standard logo, since David used another source to get a clean (non-jagged) font.  Here is the largest standard logo we have, which is 320x320:
http://us.metamath.org/mmbig.gif

Does anyone with graphics talent have the ability to smooth out the 320x320 one so it looks non-jagged in a 1920x1080 cover image?

Here is the issue page if you wish to post there:
https://github.com/metamath/metamath-book/issues/208

Norm

[vvs]

On Monday, June 3, 2019 at 1:29:39 AM UTC+3, Norman Megill wrote:

Does anyone with graphics talent have the ability to smooth out the 320x320 one so it looks non-jagged in a 1920x1080 cover image?

I'm not a graphics artist but this should be doable in Inkscape, It has the ability to convert vector fonts into vector images.

If you can't do it for some reason, I'd try to do that myself but I won't be able to for at least a next day.

[Benoit]

The ideal solution would be to use MetaPost to design a real $\Aleph_0$... or maybe to use an existing one (see https://tex.stackexchange.com/questions/170476/how-to-get-aleph-and-beth-symbols-in-similar-font#170494 for various fonts) ?

Benoit

[David A. Wheeler]

Unfortunately, the current one we use on the Metamath site doesn't look very good when scaled up.

I used Powerpoint to create a 500pt Aleph-null & took a screenshot it. The result seems to be pretty good: https://dwheeler.com/images/aleph0-2.png from https://dwheeler.com/images/aleph0-2.pptx

--- David A. Wheeler