We're putting the final touches on the upcoming (revised) Metamath book. If you're curious, here's the current draft of the book cover: https://dwheeler.com/misc/24804269_cover-2.pdf
If anyone has comments/concerns, please let us know ASAP! The images may get some updates. The plan is to use aleph zero on the front cover, just like it's on the front page of the website... it seemed like the obvious image to use. I'm happy with the aleph zero (aleph null) on the current draft cover, but it may get a replacement. Norm's picture may be changed to http://us2.metamath.org/norm2011.jpg Here's the issue discussing the book cover: https://github.com/metamath/metamath-book/issues/208 --- David A. Wheeler -- You received this message because you are subscribed to the Google Groups "Metamath" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/metamath/E1hXbNh-0008Fx-3Y%40rmmprod05.runbox.
